チェシャ猫の消滅定理

数学にプログラミング、素敵なもの何もかも。

2019-11-01から1ヶ月間の記事一覧

状態機械を合成してデッドロックを検出できる Go 言語パッケージを作ってみました

はじめに マルチスレッドで動作するプログラムの設計は難しい問題です。個々のスレッドの動作は単純に見えても、複数が並行して動作する場合の動作は組み合わせ論的に複雑になります。また、タイミングに依存する不具合は狙って再現することが難しく、通常の…