ロック（ミューテックス）の再入可能性：柴田 芳樹 (Yoshiki Shibata)：So-netブログ

Go言語で提供されているsync.Mutexは、再入可能（re-entrant）ではありません。それについては、『プログラミング言語Go』（p,306）には次のように書かれています。 Go のミューテックスが再入可能ではないことには正当な理由があります。ミューテックスの目的は、共有された変数のある種の不変式がプログラム実行中の重要な時点で維持されているのを保証することです。不変式の一つは、「共有された変数へアクセスするゴルーチンが存在しない」*2ですが、ミューテックスが保護しているデータ構造に特有の追加の不変式が存在するかもしれません。一つのゴルーチンがミューテックスロックを獲得したときには、そのゴルーチンは不変式が維持されていると想定するでしょう。ロックを保持している間に共有された変数が更新され、一時的に不変式が破られるかもしれません。しかし、ロックを解放するときには、秩序が回復されて不

[escape_artist]

再度読み返している

[Dai_Kamijo]

先週、@t_wadaさんと@yosuke_furukawaさんと議論した再入可能性に関する私の経験について書きました | ロック（ミューテックス）の再入可能性 — Yoshiki Shibata/柴田芳樹 (@yoshiki_shibata) October 22, 2018 from Twitter https://twitter.com/Dai_Kamijo N

[versatile]

POSIX Thread からしか触ったこと無いな。しかもその後 マルチスレッドからは遠ざかったので完全に素人化してしまった

[iekusup]

ほー。

[yosuke_furukawa]

リエントラントロックの話だ！！