Key points are not available for this paper at this time.
느슨하게 연결된 순환 순차 프로세스 간의 동기화 작업(예를 들어 운영 체제에서 구별할 수 있는)은 "시스템이 합법적 상태에 있다"는 관계를 불변으로 유지하는 것으로 볼 수 있습니다. 결과적으로, 그 관계를 위반할 가능성이 있는 각 개별 프로세스 단계는 해당 프로세스가 진행될 수 있는지 여부를 결정하는 테스트에 의해 선행되어야 합니다. 그 결과로 생성된 디자인은 서로 다른 프로세스가 "현재 시스템 상태"가 기록된 공통 저장소에 상호 배타적으로 접근할 수 있다면 쉽게—그리고 꽤 체계적으로—구현됩니다.
Edsger W. Dijkstra (금요일)은 이 질문을 연구했습니다.