컨텍스트 스위치나 타임 슬라이스에 대한 자세한 내용은 《Operating System Concepts 8판》(홍릉과학출판사, 2013)¹¹의 Part 2 프로세스 관리를 참고하세요.

▲ 그림 1-46 운영체제론 도서

 

원자 조작을 잘 활용하면 잠금 없이도 여러 스레드가 안전하게 접근할 수 있는 프로그램을 만들 수 있습니다. 대표적인 것이 병렬 자료 구조입니다. 그러나 변수 2개 이상의 일관성을 유지하면서 잠금 없이 안전한 프로그램을 만드는 것은 엄청나게 어렵습니다. 당장 잘 작동하게 만들더라도 그것이 어떠한 조건에서든지 안전하다고 보장하려면 논리적인 증명을 반드시 거쳐야 합니다. 그렇지 않고는 10억분의 1 확률로도 오류가 발생할 수 있기 때문에 안심하고 쓸 수가 없습니다. 이 영역은 전산 학문에서 아직도 뜨거운 주제입니다.