排他制御とデッドロック 入門 - ミューテックス・セマフォから食事する哲学者まで
約21分
レースコンディションはなぜ起きるのか、から始めて、クリティカルセクション・相互排他・ミューテックス・セマフォ（生産者消費者問題）・条件変数・スピンロックを整理します。デッドロックのCoffman4条件と食事する哲学者の問題、予防・回避（銀行家のアルゴリズム）・検出の違い、ライブロックとスターベーション、ロック順序統一やタイムアウトなど実務の回避策を、C++・Python・Go・Javaの同期プリミティブのコード例つきで解説します。