운영체제 제5강
교재 p75
다중프로세서에서 소프트웨어 해결 방법일때,"여기서 임계 영역은 거의 항상 비어 있고, 바쁜 대기가 거의 일어나지 않는 것처럼 보이게 된다." 라고 적혀있는데요.
그 이유가 무엇이지요??

"'utex' 세마포어는 버퍼 ..."에서 'utex'는 'mutex'의 오타인가요?

교재 p78
판독기 소스코드에서
readcount:=readcount1; 은 readcount:=readcount+1; 의 오류인가요?
if readcount=0 then V(wre); 은 if readcount=0 then V(wrt) 의 오류인가요?

교재 p86
"이 방법은 Thoth 운영체제에서 적용되었다."에서 Thoth 운영체제는 어떤건가요? 설명부탁드립니다.
"send와 realy 기본 연산자의 차이점은..."에서 realy는 reply의 오타이지요?

교재 p87
"프로세스 P1에서 프로세스 P1로 송신되는 메시지는 하드웨어나 통신 라인 고장으로 인한여 통신 네트워크 내에서 상실될 수 있다." 에서 P1->P1이 아니라 P1->P2 아닐까요?

교재 p89
"하나의 요구처리를 끝마친 후에는 다른 서비스 요구를 jfl하기 위해서 ..." 에서 jfl이 뭐죠??

교재 p90
"모니터는 여러 프로세스들이 추사적인 자료를..."에서 "추사적인"은 "추가적인"에 오타이지요??

교재 p94
"인접한 두 철학자가 동시에 먹는 경우는 없고 ..."에서 인접한 두 철학자가 동시에 먹는 경우가 없다는걸 어떻게 증명할 수 있나요??

"그러므로 각 외부 프로시져 favoredprocess 다음과 같이 대치된다."에서 "외부 프로시저 favoredprocess"의 구현은 어디에 있나요?

교재 p95
"next-count:=next-count-q;"에서 "-q"는 "-1"의 오류인가요??

"x, signal 연산은 다음과 같이 실현된다." 에서 "x, signal"에서 컴마는 "s. signal"의 오타인가요????