Lý thuyết Trace là gì?

Lý thuyết theo dõi liên quan đến cách thức phần cứng và phần mềm máy tính xử lý các lệnh đồng thời.Đôi khi nó được gọi là điện toán đồng thời và có thể được so sánh với ý tưởng tính toán song song.Ý tưởng chính đằng sau điện toán đồng thời là một số quy trình sử dụng cùng một tài nguyên và phụ thuộc vào nhau.Lý thuyết trung tâm để theo dõi là ý tưởng rằng có vô số các mẫu và mối quan hệ có thể mà các quá trình có thể hình thành. Hầu hết các ngôn ngữ lập trình và phần cứng máy tính được thiết kế xung quanh lý thuyết dấu vết.Điện toán đồng thời kiểm tra những gì đang được xử lý và cách thức hoạt động xử lý xảy ra.Mặc dù các quy trình đồng thời sử dụng cùng một tài nguyên thường độc lập với nhau, nhưng chúng cũng có thể tương tác.Ý tưởng về các quy trình phụ thuộc lẫn nhau tạo nên cốt lõi của các biểu đồ tính toán và phụ thuộc đồng thời. Mặc dù mỗi quá trình tính toán có thể xảy ra riêng biệt, các biểu đồ phụ thuộc cho thấy các quy trình nào có thể sử dụng cùng một phần cứng hoặc phần mềm.Trong các biểu đồ và tính toán này, hệ số phụ thuộc có thể được dán nhãn bằng chữ C hoặc D. Đồ thị phụ thuộc minh họa rằng nếu hai quá trình sử dụng một yếu tố nhất định, thì các quá trình khác có chứa các định danh giống hệt nhau cũng sẽ phụ thuộc vào cùng một yếu tố.Lý thuyết theo dõi cố gắng giải thích cách các quy trình và lệnh tính toán khác nhau xảy ra, các biểu đồ phụ thuộc không chỉ xác định được tài nguyên đang được sử dụng, mà các đường dẫn và tuyến đường mà các quy trình đang thực hiện.Điều quan trọng là phải xem xét rằng lý thuyết nói rằng chỉ có một số lượng phụ thuộc hoặc mối quan hệ nhất định có thể xảy ra với một yếu tố.Mặc dù số lượng các mẫu trong tính toán đồng thời là vô hạn, nhưng chỉ có một số quá trình chọn lọc sẽ hình thành cùng sự phụ thuộc hoặc sử dụng cùng một tài nguyên. Lý thuyết Trace minh họa rằng các quá trình song song bằng toán học với nhau.Nó tương tự như ý tưởng lấy hai đường song song, vẽ một đường giao nhau qua chúng và đo các góc ở phía đối diện của mỗi điểm giao nhau.Mặc dù bản thân các đường song song không giao nhau, nhưng chúng giống hệt nhau và có cùng một giá trị.Trong trường hợp tính toán đồng thời, dòng giao nhau sẽ tương đương với sự phụ thuộc. Ngôn ngữ được sử dụng để thể hiện các quá trình khác nhau sử dụng cùng một phụ thuộc là nhị phân.Ví dụ, một quá trình có thể được biểu diễn bằng các chữ cái AC, trong khi quá trình thứ hai được biểu thị bằng các chữ cái AB.Giá trị nhị phân là 0 có thể được gán cho quá trình AC và giá trị nhị phân của 1 sẽ được gán cho quy trình được dán nhãn AB.