다른 스레드가 작업을 완료했을 때 확인하려는 스레드가 있다고 가정 해보십시오. 다른 스레드가 완료되었다는 알림을받을 때 까지이 스레드를 대기시키는 wait () 유형 함수를 호출해야한다는 것을 읽었습니다. 그리고 이것은 값 비싼 폴링을 수행하지 않음을 의미하기 때문에 좋습니다.
그러나 내부적으로 더 낮은 레벨에서 폴링이 발생하지 않습니까? 즉, 스레드를 wait ()로 만들면 다른 스레드가 완료되면 첫 번째 스레드에 알릴 수 있는지 확인하기 위해 커널이 폴링을 수행하지 않습니까?
나는 여기에 뭔가 빠진 것으로 추정됩니다. 누군가 나를 밝게 할 수 있습니까?
답변:
운영 체제는 폴링이 필요없는 이러한 프로세스 간 통신을위한 특정 기본 요소를 제공합니다.
프로세스 A가 뮤텍스 M에서 대기중인 경우 OS는 A를 실행할 수 없다는 것을 알고 무언가가 발생할 때까지 대기하는 프로세스 버킷에 넣습니다. M을 보유한 프로세스가이를 해제하면 OS는이를 기다리는 프로세스 목록을 확인합니다. 목록의 첫 번째 프로세스 (아마도 A)가 유휴 버킷에서 제거되고 실행 큐 에 배치 됩니다 . 다음에 A가 시간 조각을 가져 오면 호출 한 wait ()가 반환되고 프로그램이 계속됩니다.
_exit(2)POSIX-y 시스템 에서 호출 ) 또는 비자발적으로 (예를 들어, 0으로 나누기 오류로 인해 인터럽트가 발생하거나 다른 항목이 호출 됨 kill(2)) 종료 될 수 있습니다. 두 경우 모두 제어가 OS로 명시 적으로 전달되어 실행중인 프로세스 또는 종료 될 프로세스를 알고 있습니다. 프로세스 종료 작업에는 리소스 해제, 뮤텍스 포함이 포함됩니다. 현재 죽은 프로세스가 뮤텍스를 보유한 경우 OS에서이를 해제합니다. 프로세스가 뮤텍스의 대기 목록에있는 경우 제거됩니다.