미량 이론이란 무엇입니까?

추적 이론은 컴퓨터 하드웨어와 소프트웨어가 명령을 동시에 처리하는 방법과 관련이 있습니다. 때때로 동시 컴퓨팅이라고하며 병렬 컴퓨팅의 아이디어와 비교 될 수 있습니다. 동시 컴퓨팅의 기본 아이디어는 여러 프로세스가 동일한 리소스를 사용하고 서로 의존한다는 것입니다. 이론을 추적하는 핵심은 프로세스가 형성 할 수있는 무한한 패턴과 관계가 있다는 아이디어입니다.

대부분의 컴퓨터 하드웨어 및 프로그래밍 언어는 추적 이론을 중심으로 설계되었습니다. 동시 컴퓨팅은 처리중인 항목과 처리 활동이 발생하는 방식을 검사합니다. 동일한 리소스를 사용하는 동시 프로세스는 일반적으로 서로 독립적이지만 상호 작용할 수도 있습니다. 상호 의존적 프로세스라는 아이디어는 동시 컴퓨팅 및 의존성 그래프의 핵심을 구성합니다.

각 컴퓨팅 프로세스가 개별적으로 발생할 수 있지만 종속성 그래프는 어떤 프로세스가 동일한 하드웨어 또는 소프트웨어를 사용하고 있는지 보여줍니다. 이 그래프와 계산에서 종속 요소는 문자 "C"또는 "D"로 표시 될 수 있습니다. 종속성 그래프는 두 프로세스가 특정 요소를 사용하는 경우 동일한 식별자를 포함하는 다른 프로세스도 동일한 요소에 종속됨을 보여줍니다.

추적 이론은 다양한 컴퓨팅 프로세스와 명령이 어떻게 발생하는지 설명하려고 시도하기 때문에 종속성 그래프는 사용중인 리소스뿐만 아니라 프로세스가 수행하는 경로와 경로를 식별합니다. 이론에 따르면 한 가지 요인으로 발생할 수있는 특정 수의 종속성 또는 관계 만 있다고 명시하는 것이 중요합니다. 동시 계산의 패턴 수는 무한하지만 선택한 프로세스 수만 동일한 종속성을 형성하거나 동일한 리소스를 사용합니다.

트레이스 이론은 병렬 프로세스가 수학적으로 서로 동일하다는 것을 보여줍니다. 두 개의 평행선을 취하여 교차하는 선을 그리고 각 교차점의 반대쪽에서 각도를 측정하는 아이디어와 유사합니다. 평행선 자체가 교차하지 않더라도 서로 동일하고 동일한 값을 갖습니다. 동시 계산의 경우 교차 선은 종속성과 같습니다.

동일한 종속성을 사용하는 다양한 프로세스를 나타내는 데 사용되는 언어는 이진입니다. 예를 들어, 하나의 프로세스는 문자 "AC"로 표시되고 두 번째 프로세스는 문자 "AB"로 표시 될 수 있습니다. 프로세스 "AC"에 이진 값 "0"을 할당 할 수 있고 "AB"라는 프로세스에 이진 값 1을 할당 할 수 있습니다.