理系学生日記

おまえはいつまで学生気分なのか

問題3-47 (3.4.1 The Nature of Time in Concurrent Systems)

n 個までのプロセスがクリティカルセクションに入れるようなセマフォを作成するのが課題.in terms of mutexes って話だと,mutex を n 個用意してやるしかないんじゃねと.in terms of atomic test-and-set! operations って話は,結局 mutex を n 個用意する話に帰着しそう.