デッドロックを発生させて並行プログラムを学ぶ「The Deadlock Empire」

TL に流れてた自分がスケジューラーになりきって、デッドロックを発生させながら並行プログラミングの原理について学ぶ The Deadlock Empire というサイトが面白かったのでメモ。

マルチスレッドプログラミングでは非決定性によって、デッドロックやレースコンディションが生じる可能性があり、それを防ぐ為にはいろいろとコツが必要になりますが、これをコードではなくてスケジューラになりきって学ぶというのがユニークですね。モデル検査とかやったことがあれば、モデル検査機になりきって反例を探している気分と言ってもいいかもしれません。

The Deadlock Empire

Welcome to The Deadlock Empire. dear player! You are the Scheduler. Before you are two threads of a parallelized computer program. Your objective here, as always, is to make sure it breaks in some way. In this tutorial, you will break it by having both threads enter the critical section at the same time.