fix(settings): 設定の保存の排他を錠前ファイルに移す

[limit7412]

issue #81 への対応。#80 に積んでいたが、#80 がマージされたので base は master である。

直すもの

GlobalMutex.Create は Global\ の名前で Mutex を作り、作れなければセッション内だけの名前へ落ちる。落ちた側は誰とも待ち合わせていないのに、待ち合わせているつもりで進む。 設定の保存でこれが起きると、両方が同じ内容を読んでから書き戻し、片方の更新が黙って消える。#52 で直したかったものが、この経路だけ残る。

#81 の前提を見直した

issue には「昇格したプロセスが作った物は mandatory label で開けない」と書いた。これは #80 の時点で半分外れている可能性が高い。

Mutex.OpenExisting が求めるのは Synchronize と Modify である。mutant の generic mapping では MUTANT_QUERY_STATE が read、SYNCHRONIZE が execute に写る。どちらも write ではないので、既定の NO_WRITE_UP では下の integrity level からでも通る。断られるのは new Mutex の方で、こちらは WRITE_DAC などを含む全権を求める。#80 で OpenExisting を足した時点で、label だけが理由の相手とは待ち合わせられているはずである。

それでも残るものの方が大きい。 Global\ の名前を作るには SeCreateGlobalPrivilege が要る。持たない相手は物を作れず、OpenExisting も「物が無い」で返るので、結局セッション内だけの名前へ落ちる。しかも全員が落ちるので、誰も Global\ の物を作らない。対話セッションをまたぐ排他が、黙って丸ごと無くなる。 label の話より広く、しかも静かである。

label に P/Invoke で触る案は、この見立てだと的も外している。採らなかった。

直し方: 名前空間の話を持ち込まない

設定ファイルの隣に置いた錠前ファイル (settings.json.lock) を FileShare.None で開く。

• ファイルハンドルの共有の指定は計算機の中で一意に効く。 どの対話セッションから開いても同じ 1 つを取り合う。Global\ のような名前空間の分岐がそもそも無い
• 権限が要らない。 設定ファイルを書ける相手なら、その隣の錠前も開ける
• 持ったまま落ちても詰まらない。 ハンドルはプロセスの終了で OS が閉じる。ファイルは残るが、中身は使っていない
• 守る相手ごとに分かれる。 置き場所がそのまま鍵になるので、パスの綴りをそろえる話 (aeb212d) も要らない

取れなかったときは、これまでどおり諦めてプロセス内ロックだけで best-effort で書く。待ち続けると呼び出し元がその間ずっと止まるためである。

旧版と待ち合わせるための旧名の Mutex (33d7494) はそのまま残し、「旧名 → 錠前ファイル」の順で取る。錠前ファイルを取るのはこの版だけで、この版は必ず旧名から取るので、順の食い違いは起きない。

受け入れるもの: 更新の適用と取得のロック

UpdateStage の 2 つは GlobalMutex のままにした。

失うものが違う。 あちらで待ち合わせに失敗しても、失うのは更新のやり直し 1 回である。.old も設定も残る。設定の保存で失うのは利用者が入力した値そのものである。

差し替えの重さも違う。 適用のロックは CrossProcessLock (Mutex のスレッド親和性のために所有スレッドを立てている) と CLI の ApplyLockHolder (返して取り直す) が噛んでいる。錠前ファイルにはスレッド親和性が無いのでどちらも単純になるが、#74 / #75 で詰めたばかりの適用の経路をまとめて書き換えることになる。ここで持ち込む重さではない。

#81 はこの分を残して開けておく。

検証

• テストを追加
  • 取った錠前は返すまで他から取れないこと
  • 返せば次の相手が取れること
  • 取れないときに待ち続けずに戻ること
  • 前回の錠前ファイルが残っていても取れること
  • 別のファイルの錠前とは互いに待たないこと
• fix(settings): 設定の保存の排他を対話セッションをまたぐ名前にする #80 で足した並走の保存のテストは、そのまま通る
• 2 つの対話セッションでの確認は環境が要るため、実機に委ねる

Refs #81, #52

---

Generated by Claude Code

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 74937918ca

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".