中世東アジア論理学による並行性不変量の再構築

中期エンジン：東アジア構造論理学による並行処理不変条件の再構築

計算の理論的基盤に関する議論は、通常、西洋の形式的な系譜から引き出されます。アリストテレスの範疇論的推論、ライプニッツの計算機、そしてデジタル回路の基礎となったブール代数です。非西洋システムが言及される場合、しばしば文化的な型にはめられた表現や哲学的な抽象化に還元されます。

より生産的な比較は、東アジアの中期（11世紀から14世紀、宋・元時代の中国および高麗後期の朝鮮半島にまたがる）の構造的枠組みが、決定論的な状態機械にどのようにアプローチしたかを分析することにあります。この時代、ユーラシアの科学的交流はイスラムの天文計算と球面三角法を東アジアにもたらし、回回天文台や郭守敬の授時暦の完成につながりました。同時に、地域の数学と機械式時計学は、アルゴリズム的で配列中心のパラダイムを維持していました。

1. 邵雍の組み合わせ順序（先天学）、これは決定論的な 2^n の状態遷移として三才構造をマッピングしました。
2. 秦九韶、李冶、朱世傑の多項式行列代数、これは計数盤上での配置（置）、減算（減）、変数消去（消）といった位置配列操作によるアルゴリズム的消去を形式化しました。
3. 蘇頌の水駆動時計塔に例示される機械的なインターロックとエスケープメント工学、ここで機械的な停止機構が構造的損傷を防ぐための逐次的な排他制御を強制しました。

これらの構造的論文は、システムを明示的な可視性、状態遷移、および排他規則を持つ、境界付けられた実体として扱います。これらの原則を現代の低レベルシステムプログラミングを通じて再評価することで、並行メモリ解放のための正確な記号言語を提供します。特に、ポインタの可視性とヒープリソースの破棄との分離に焦点を当てます。

問題：共有ターゲットの並行解除

2つのポインタフィールド（l、r）を持つコンテナ構造体（house_t）を考えます。両方のポインタは、共有のヒープ割り当て p（玉）を参照しています。2つのワーカー・スレッドが、並行してクリーンアップ操作を実行します。両方のスレッドが、可視性の取り消しに関する明示的なシーケンスなしに p の解放を試みると、ランタイムは調整されていない競合に遭遇し、ダブルフリー（減二回）を引き起こします。

問題は、古典的な手続き構文、それに続く英語の翻訳、および具体的な公理的定義で以下のように述べられています。

今有樓閣, 置一玉於樓中格.
置兩鏡於左右格.
欲除玉, 兩鏡各欲減玉, 遂致減二回.
若鏡唯識 "減一回" 與 "勿減", 則鏡當動幾何?

身物皆陽, 目視為陰.

翻訳：楼閣があり、その中央の部屋に一つの玉が置かれていると仮定します。二つの鏡が左右の部屋に置かれています。玉を取り除くために、両方の鏡がそれを減少させようとし、結果として二度減少させます。鏡が「一度減少」または「減少しない」という二つの状態しか認識できない場合、鏡はどう行動すべきでしょうか？

公理的マッピング：

• 実体とデータ（身、物）は陽（Yang）：ヒープ上の具体的なメモリブロック（コンテナノードとデータペイロード p）。
• ポインタと可視性（目）は陰（Yin）：実体のない方向参照（アドレスリンク l と r）。
• 実体の減少（減身、減物）：割り当てに対する free() の呼び出し。
• 参照の減少（減目、無目）：ポインタリンクに NULL を書き込むことによる可視性の取り消し。

四法とスレッド並行処理メカニズム

具体的な競合セマンティクスを持つ並行実行をモデル化するために、C11アトミックプリミティブを使用して共有状態を操作する2つのワーカー・スレッドを考えます。

#include <stdatomic.h>
#include <stdlib.h>
#include <string.h>

typedef struct {
    int value;
} payload_t;

typedef struct {
    _Atomic(payload_t *) l;
    _Atomic(payload_t *) r;
} house_t;

// スレッド実行前の共有初期化：
// house_t *house = malloc(sizeof(house_t));
// payload_t *p = malloc(sizeof(payload_t));
// atomic_init(&house->l, p);
// atomic_init(&house->r, p);

1. 乾法（Qian Method）：標準的な不変条件

乾法

包兩鏡, 使鏡未知.
置兩鏡於樓外, 減二身.
置玉於樓外, 減一物.

減二身, 減一物.

// Thread A (Worker 1)
payload_t *expected = p;
if (atomic_compare_exchange_strong(&house->l, &expected, NULL)) {
    // 左側の可視性が正常に取り消されました
}

// Thread B (Worker 2)
payload_t *expected = p;
if (atomic_compare_exchange_strong(&house->r, &expected, NULL)) {
    // 右側の可視性が正常に取り消されました
}

// バリア / 同期：両方のパスが NULL と評価されたら、
// 正確に1つの調整スレッドが実体をリタイアします。
// (例：コーディネーターまたは最後のCAS勝者)
free(p);

テキスト分析：鏡は玉を見えないように包まれ（包兩鏡, 使鏡未知）、両方の鏡は建物の外に置かれ、その参照が破棄されます（置兩鏡於樓外, 減二身）。最後に、玉が外に置かれ、解放されます（置玉於樓外, 減一物）。

並行処理メカニズム：エポックベースの解放（EBR）や読み取り-コピー-更新（RCU）では、アンリンクはメモリ解放の前に厳密に行われる必要があります。house->l と house->r を free(p) を呼び出す前にクリアすることで、並行ワーカー・スレッドはもはやノードに到達できなくなります。両方のパスは「減少しない」状態に遷移します。指定された1つのアクターのみが p を解放し、データ競合とダブルフリーを防ぎます。

2. 坤法（Kun Method）：非対称ハンドオフ

坤法

包右鏡, 使鏡未知.
置右鏡於樓外, 減一身.
置玉於樓外, 減一物.
減左鏡, 減一目.

減一身, 減一目, 減一物.

// Thread B (Reclaimer)
// 1. 右側のパスを先に切断します (包右鏡, 置右鏡於樓外)
atomic_store_explicit(&house->r, NULL, memory_order_release);

// 2. ペイロードを安全にリタイアします
free(p);

// Thread A (Reader/Consumer concurrently executing)
// 3. 左側のパスは公開されたままです。残りのリンクを削除します (減一目)
payload_t *node = atomic_load_explicit(&house->l, memory_order_acquire);
if (node != NULL) {
    // 古いまたは転送された参照：Thread A は free(p) を呼び出してはなりません
    atomic_store_explicit(&house->l, NULL, memory_order_release);
}

テキスト分析：右側の鏡が最初に分離され、一つの参照本体が破棄されます（減一身）。玉が解放され、左側の鏡が解決され、開いた視覚パスが削除されます（減一目）。

並行処理メカニズム：これは非対称な転送またはパイプラインの所有権ハンドオフを表します。バイアス付きロックフリー構造や方向性コンシューマーパイプラインでは、一方のパスがアンリンクされ、もう一方のワーカーが残りのハンドルを処理します。これは構造的な対称性を破り、明示的なバリア同期を必要としますが、厳密に順序付けられたシングルプロデューサー・シングルコンシューマーのステージ内では有効です。

3. 坎法（Kan Method）：ぶら下がりトラップ

坎法

置鏡面向玉, 勿減其身, 感一目.
置玉於樓外, 減一物.
減兩鏡, 感一目.

減二目, 減一物.

// Thread A (Premature Reclaimer)
// 可視性を切断せずにメモリを解放します。ポインタはまだ生きています
free(p);

atomic_store_explicit(&house->l, NULL, memory_order_relaxed);
atomic_store_explicit(&house->r, NULL, memory_order_relaxed);

// Thread B (Concurrent Reader)
// Thread A が NULL ストアを実行する前にポインタを逆参照します
payload_t *target = atomic_load_explicit(&house->r, memory_order_relaxed);
if (target != NULL) {
    int leak = target->value; // CRASH / Use-After-Free (UAF)
}

テキスト分析：鏡は、その存在を切断することなく（勿減其身）、玉の方を向いたままです。実体が先に移動され解放されますが、パスは開いたままです（置玉於樓外, 減一物）。

並行処理メカニズム：典型的なUse-After-Free（UAF）競合条件です。基盤となるヒープブロック p は、house->l と house->r がグローバルに公開されたまま解放されます。Thread B が Thread A のクリア伝播の前に house->r を並行して逆参照した場合、マッピングされていないメモリや再利用されたメモリにアクセスし、未定義の動作またはプロセス終了を引き起こします。

4. 離法（Li Method）：完全な焼却

離法

包樓, 包鏡, 包玉, 使鏡未知.
置兩鏡於樓外, 減三目.
無目如不見.
去樓.

// Thread A (Zeroing Coordinator)
// コンテナポインタとペイロードの両方を並行して消去します
memset(house, 0, sizeof(house_t));
memset(p, 0, sizeof(payload_t));
free(house);
free(p);

// Thread B (Concurrent Reader)
// 並行読み取りが memset と競合 -> トルネード読み取りまたはワイルドポインタ
payload_t *corrupted = atomic_load_explicit(&house->l, memory_order_relaxed);
if (corrupted != NULL) {
    int fault = corrupted->value; // ページフォルト / 解放された親コンテナの逆参照
}

テキスト分析：建物、鏡、玉は無差別に包み込まれます。参照は完全な盲目状態に消去され（無目如不見）、構造自体が削除されます（去樓）。

並行処理メカニズム：アクセスライフサイクルを調整する代わりに、このアプローチは解放直前の生のメモリゼロ化（memset）に依存します。アドレスをクリアすることで完全なポインタに対するダブルフリー呼び出しを回避しますが、アクティブな並行読み取り中に共有構造全体にわたる生のバイトレベルのリセットを発行すると、トルネード読み取りや解放された親コンテナへの逆参照が発生します。これは、割り当てコンテキスト全体を破壊することで、並行処理の調整をバイパスします。

評決

勿用坎, 離消母子.
乾為正法, 坤為仄法.

翻訳と運用評価：

• 勿用坎（坎を使用しない）：坎は危険な窪みまたはトラップ（坎険）を表します。参照パスが公開されたままでメモリを解放することは、見えないダングリングポインタを作成します。これはUse-After-Freeパターンに対する明示的な禁止です。
• 離消母子（Liは母子を焼却する）：Liは制御不能な燃焼を表します。コンテナ（house、母）とその内部割り当て（p、子）を memset で同時に消去し、アンリンクしないことは、アクティブなリーダーとの競合を保証します。
• 乾為正法, 坤為仄法（乾は正統な規則、坤は斜めの便宜）：対称的な可視性取り消し（乾）は、並行解放のための標準的な不変条件です。パスを切断し、同期し、次に解放します。非対称な分離（坤）は、方向性のある非対称パイプライン内でのみ許容されます。

神秘主義や時代錯誤的な偏見なしに検討されたこの中世の枠組みは、一貫した状態機械の語彙を提供します。実体はメモリを占有し、可視性はエントリパスを制御し、参照のライフタイムは割り当てられたストレージの境界を超えてはなりません。