• 危険な領域をブロックとして扱う
• Concurrent Pascalで導入
• Javaでも使われている
  • Synchronized
• 構造化セマフォのようなもの