generated at
2/12/2025, 11:22:01 AM
排他制御
mutual exclusion
https://ja.wikipedia.org/wiki/排他制御