Lock-free スキル

これはシミュレータ版のスキルです。実際のスレッドも時間の計測もありません。スレッドは短いステップのリスト、スケジュールは次に誰のステップを動かすかの指示で、自分で書くマシンがそれを実行するので、並行性のバグは印刷して再生できるスレッド番号のリストになります。各講義は小さな例とその出力で1つの考え方を教え、続く採点付きラボが同じマシンを拡張します。インターリーブがどう更新を失うかを見て、小さなプログラムの全スケジュールを列挙し、ロックフリーキューが何を保証するかを述べ、市場データのファンアウトの不変条件を全スケジュールで証明できるようになります。