GenPark Distributed Deadlock Wait-For-Graph Detector について
Python 標準ライブラリのみで実装され、Tarjan の強連結成分アルゴリズムで分散ロックの待機グラフ内の循環を検出し、低コストの被害トランザクションを選びます。ロックデッドロックを扱う分散システム向けです。
主な機能
- 01待機グラフの循環検出
- 02Tarjan 強連結成分分析
- 03被害トランザクションの裁定
- 04Python 標準ライブラリのみで実装
活用シーン
- 01分散ロックグラフの循環検出
- 02デッドロック解消時の被害トランザクション選択
MCP 対応
Claude Desktop または Cursor 用の MCP サーバーとして設定できます。README にはツールや返却データの詳細がありません。
設定
ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。
インストール方法は未掲載です
このサーバーのパッケージやリモートエンドポイントはまだ取得できていません。プロジェクトの README の手順に従ってください。
ツール
ツール一覧はまだ取得されていません
ローカルサーバーのツールはマシン上で起動して初めて取得できます。メンテナーはまだツール一覧を提供していません。
詳細
genpark-distributed-deadlock-wait-for-graph-detector-skill
ロックの Wait-For-Graph 上で Tarjan SCC によるサイクル検出をリアルタイムに行い、最小コストの被害トランザクションを調停します。
クイックインストールと MCP 統合
Claude Desktop または Cursor の設定に追加します。
{
"mcpServers": {
"genpark-distributed-deadlock-wait-for-graph-detector-skill": {
"command": "python",
"args": ["mcp_server.py"]
}
}
}
依存関係なし
Python 3 の標準ライブラリのみで実装されています。
コメント
Markdown 対応
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。