*용어 정리병행 객체: 여러 스레드에서 함께 read&write하는 공유 객체로, 서로 다른 스레드에서 동시에 접근했을 때 발생하는 문제점을 아래 개념들에서 논리적으로 다룬다. 스레드가 병행객체를 read/write하는 방법은 함수를 호출하는 것이다. 함수 호출을 호출 시작+이벤트+응답 이벤트 세 부분으로 나눌 수 있다. 완전(total)인 함수와 부분(partial)인 함수: 전자는 FIFO 큐에 객체를 삽입하는 enqueue 함수처럼 조건 없이 항상 실행할 수 있는 함수이고 후자는 dequeue 함수처럼 큐 내부의 객체 수가 0이면 안된다는 조건이 있어서 항상 실행할 수는 없는 함수를 말한다. 1. 정지 무모순성 정지 무모순성이란, 객체가 아무 스레드도 함수를 호출하지 않는 정지(quiescent..
