ピーターソンのアルゴリズムは、通信のために共有メモリだけを使い「2個」のプロセス間でリソースを競合することなく共有する相互排他のためのアルゴリズムである。 ピーターソンのアルゴリズム - WikipediaAlloyでモデリングしてみた。 https://github.com/…

事件: PHPが殺されました 状況設定 PHP, Python, Ruby, Perlは仲良し四人組。PHPが殺された当日もその4人が一緒にいるのが目撃されている。しかしなんか諸般の事情で全員に殺害動機はあるらしい。Perlは友人が殺されたショックで寝込んでいるのでまずはRuby…