メニュー
[0.7.5] Thread-local queue node containing locked flag and successor pointer; must be cache-aligned and allocated per-
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/sancovp/concurrency-synchronization-primitives-a-module --skill 0-7-5-understand-mcs-lock-qnodeコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
[0.1.1] A relation between atomic operations in memory models where a release fence on one thread synchronizes with an
[0.1.2] C11/C++11 memory ordering that only guarantees atomicity of the operation with no ordering constraints relativ
[0.1.3] The strongest memory ordering requiring a single total order of all sequentially consistent operations visible
SOC 職業分類に基づく
SKILL.md を表示中
| name | 0.7.5-understand-mcs_lock_qnode |
| description | [0.7.5] Thread-local queue node containing locked flag and successor pointer; must be cache-aligned and allocated per- |
CALL NUMBER: deep_spinlock.mcs_lock_qnode
DEFINITION: Thread-local queue node containing locked flag and successor pointer; must be cache-aligned and allocated per-thread to enable local spinning without shared contention.
Invoke this skill to understand mcs_lock_qnode down to its primitives. The RELATIVE ROOT below is the least-fixed-point closure of everything it bundles from — the full import cone, grouped by the lib each prim comes from. Projected from a prover-typed KB (MAP/SWI-Prolog consistency gate): every reference below resolves.
?mcs_lock_acquire, mcs_lock_local_spinning
Projected from the concurrency synchronization primitives and memory models KB (407 concepts / 477 relations) — consistency-typed by MAP; the facet list after the colon IS the cross-lib dependency web.
(leaf — this is an actual skill.)