ทฤษฎีการติดตามคืออะไร?

การติดตามทฤษฎีเกี่ยวข้องกับวิธีการที่ฮาร์ดแวร์คอมพิวเตอร์และซอฟต์แวร์ประมวลผลคำสั่งพร้อมกันบางครั้งมันเรียกว่าการคำนวณพร้อมกันและอาจเปรียบเทียบกับแนวคิดของการคำนวณแบบขนานแนวคิดหลักที่อยู่เบื้องหลังการคำนวณพร้อมกันคือหลายกระบวนการใช้ทรัพยากรเดียวกันและขึ้นอยู่กับกันและกันศูนย์กลางของทฤษฎีการติดตามเป็นความคิดที่ว่ามีรูปแบบและความสัมพันธ์ที่เป็นไปได้มากมายที่กระบวนการสามารถเกิดขึ้นได้

ภาษาคอมพิวเตอร์และภาษาการเขียนโปรแกรมส่วนใหญ่ได้รับการออกแบบรอบทฤษฎีการติดตามการคำนวณที่เกิดขึ้นพร้อมกันตรวจสอบสิ่งที่กำลังประมวลผลและกิจกรรมการประมวลผลเกิดขึ้นได้อย่างไรในขณะที่กระบวนการพร้อมกันที่ใช้ทรัพยากรเดียวกันมักจะเป็นอิสระซึ่งกันและกัน แต่ก็สามารถโต้ตอบได้แนวคิดของกระบวนการพึ่งพาซึ่งกันและกันทำให้เกิดหลักการของกราฟการคำนวณและการพึ่งพาพึ่งพาร่วมกัน

แม้ว่ากระบวนการคำนวณแต่ละกระบวนการอาจเกิดขึ้นแยกกัน แต่กราฟการพึ่งพาแสดงให้เห็นว่ากระบวนการใดที่อาจใช้ฮาร์ดแวร์หรือซอฟต์แวร์เดียวกันในกราฟและการคำนวณเหล่านี้ปัจจัยขึ้นอยู่กับอาจติดป้ายด้วยตัวอักษร C หรือ D. กราฟการพึ่งพา D. แสดงให้เห็นว่าหากสองกระบวนการใช้ปัจจัยที่แน่นอนกระบวนการอื่น ๆ ที่มีตัวระบุที่เหมือนกันจะขึ้นอยู่กับปัจจัยเดียวกัน

ทฤษฎีติดตามความพยายามที่จะอธิบายว่ากระบวนการและคำสั่งการคำนวณต่าง ๆ เกิดขึ้นได้อย่างไรกราฟการพึ่งพาไม่เพียง แต่ระบุว่ามีการใช้ทรัพยากรใดบ้าง แต่เส้นทางและเส้นทางที่กระบวนการกำลังดำเนินการเป็นสิ่งสำคัญที่จะต้องคำนึงถึงว่าทฤษฎีระบุว่ามีเพียงจำนวนการพึ่งพาหรือความสัมพันธ์ที่สามารถเกิดขึ้นได้กับปัจจัยเดียวในขณะที่จำนวนรูปแบบในการคำนวณที่เกิดขึ้นพร้อมกันนั้นไม่มีที่สิ้นสุดเพียงจำนวนกระบวนการที่เลือกเท่านั้นที่จะสร้างการพึ่งพาเดียวกันหรือใช้ทรัพยากรเดียวกันทฤษฎีการติดตามแสดงให้เห็นว่ากระบวนการขนานนั้นมีค่าทางคณิตศาสตร์เท่ากันมันคล้ายกับความคิดของการใช้เส้นคู่ขนานสองเส้นวาดเส้นตัดผ่านผ่านพวกเขาและวัดมุมที่ด้านตรงข้ามของแต่ละจุดตัดกันแม้ว่าเส้นคู่ขนานจะไม่ตัดกัน แต่ก็เหมือนกันและมีค่าเท่ากันในกรณีของการคำนวณพร้อมกันเส้นตัดกันจะเทียบเท่ากับการพึ่งพา

ภาษาที่ใช้เพื่อแสดงกระบวนการต่าง ๆ ที่ใช้การพึ่งพาเดียวกันคือไบนารีตัวอย่างเช่นกระบวนการหนึ่งอาจถูกแทนด้วยตัวอักษร AC ในขณะที่กระบวนการที่สองแสดงด้วยตัวอักษร ABค่าไบนารีของ 0 สามารถกำหนดให้กับกระบวนการ AC และค่าไบนารีของ 1 จะถูกกำหนดให้กับกระบวนการที่มีป้ายกำกับ AB.