論文の概要: CONCURDEP: Event-Guided Analysis of Dependency Invalidation in CPython Concurrency
- arxiv url: http://arxiv.org/abs/2609.28608v1
- Date: Wed, 23 Sep 2026 16:44:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-25 21:10:09.445439
- Title: CONCURDEP: Event-Guided Analysis of Dependency Invalidation in CPython Concurrency
- Title（参考訳）: CONCURDEP: CPythonの並行処理における依存性の無効化に関するイベントガイド解析
- Abstract要約: 本研究では,依存性の無効化に関するソースレベルの静的解析であるCONCURDEPを提案する。
マッチした180のセマンティック・コンフォーマンス・ケースを正しく分類し、3つのCPythonリリースをそれぞれ分析する。
調査では、これまで公開されていない95件を含む、フリースレッドおよび従来のGILビルドで144件のバグが特定されている。
- 参考スコア（独自算出の注目度）: 6.347513722672205
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Removing CPython's Global Interpreter Lock (GIL) exposes native code to concurrency absent from ordinary C types. Mutation or re-entry can revoke a borrowed object, storage pointer, traversal state, or lease between acquisition and use while its owner remains alive, causing native memory errors and runtime-state corruption. Race analyses track conflicting accesses. Python/C lifecycle analyses track individual object states. These reporting units leave implicit owner-subject-storage relations disconnected from later uses under parallel and re-entrant events. We present CONCURDEP, a source-level static analysis of dependency invalidation. Its key insight is to represent the runtime property a native use requires and ask which target-matched event can revoke it within the dependency's live region. CONCURDEP recovers runtime-semantic dependencies, connects them to events through an event-aware native concurrency dependency graph, and applies property-specific state and protection transfers through a shared engine and six mechanism plugins. CONCURDEP correctly classifies all 180 matched semantic-conformance cases and analyzes each of three production CPython releases with five-run medians of 22.13-27.66 seconds and 670-784 MiB peak resident memory. Source auditing confirms 1,094 of 4,273 unique production fingerprints (25.60% confirmation yield). Removing derived relation recovery loses 25-44 represented roots per release; removing cross-entry events loses 73-94. The study identifies 144 distinct bugs across free-threaded and conventional-GIL builds, including 95 previously unreported in public sources. These results show that explicit dependency, event, and property semantics expose consequential runtime failures across API boundaries and execution modes at release scale.
- Abstract（参考訳）: CPythonのGIL(Global Interpreter Lock)の削除は、ネイティブコードを通常のC型にはない並行性に公開する。
ミューテーションや再エントリーは、借用されたオブジェクト、ストレージポインタ、トラバース状態、あるいは所有者が生存している間の取得と使用の間のリースを無効にすることができ、ネイティブメモリエラーと実行時状態の破損を引き起こす。
レース分析は競合するアクセスを追跡します。
Python/Cライフサイクル分析は、個々のオブジェクト状態を追跡する。
これらの報告ユニットは、暗黙の所有者-オブジェクト-ストレージ関係を、並列および再エントリーイベントにおける後続の使用から切り離す。
本研究では,依存性の無効化に関するソースレベルの静的解析であるCONCURDEPを提案する。
その重要な洞察は、ネイティブが必要とするランタイムプロパティを表現し、どのターゲットマッチングイベントが依存関係のライブリージョン内で取り消すことができるかを尋ねることである。
CONCURDEPは実行時セマンティックな依存関係を回復し、イベント対応のネイティブ並行依存性グラフを通じてイベントに接続し、共有エンジンと6つのメカニズムプラグインを介してプロパティ固有の状態と保護転送を適用する。
CONCURDEPは、マッチした180のセマンティック・コンフォーマンス・ケースを正しく分類し、3つのCPythonリリースのそれぞれを22.13-27.66秒と670-784MiBピーク常駐メモリの5ラン中央値で解析する。
ソース監査では4,273のユニークな生産指紋(25.60%の確認利得)のうち1,094が確認されている。
引き起こされた関係回復はリリース毎に25-44の表現根を失う。
調査では、これまで公開されていない95件を含む、フリースレッドおよび従来のGILビルドで144件のバグが特定されている。
これらの結果は、明示的な依存関係、イベント、プロパティのセマンティクスが、リリーススケールでのAPIバウンダリと実行モード間の連続したランタイム障害を公開していることを示している。
関連論文リスト
- Versioned Transitive Dependency-Closure Binding and Operation-Time Effect Governance for Agent Skills: ClosureBound [4.805352087824778]
ClosureBoundは、正確なクロージャルート、エフェクト天井、目的/実績、妥当性、エポックをバインドする。
閉鎖と状態を再解決し、操作を外部効果IRに正規化し、共同証人がすべての境界を満たす場合にのみ承認する。
549 Public Skillsの語彙監査では、526のルートのうち21がバンドルされたファイル名であり、すべての非マニファストパスの動詞名であり、67はルートの外で解決されるリンクを含んでおり、ルートはフロントマッター依存フィールドを宣言しない。
論文 参考訳（メタデータ） (2026-09-05T06:27:52Z) - Context as an Environment: Programmatic Context Management for Long-Horizon Agents [47.21335299084925]
それぞれのエージェントセッションを実行可能なセッション環境として扱うコンテキストマネージャであるScrollを提示する。
カーネルはモデルコールにまたがって型付けされ、ツール出力、検索された履歴、派生した状態が変数にバインドされる。
論文 参考訳（メタデータ） (2026-08-21T23:39:19Z) - Qwen-CUA: Native Computer Use for (almost) Everything [104.78368489343713]
本稿では,Qwen-CUAについて紹介する。
DOMツリー、アクセシビリティメタデータ、タスク固有のAPIなしで、スクリーンショットのみを観察し、キーボードやマウスのイベントを通じて動作します。
足場は最大20個のアクティブなスクリーンショットを保持し、最近の証拠を保持するために固定サイズのブロックで古い視覚履歴を折り畳む。
論文 参考訳（メタデータ） (2026-08-03T15:04:20Z) - TraceCompiler: Skill-Guided Mining and Compilation of LLM Agent Traces into Mostly Deterministic Workflows [2.435006380732194]
ノイズの多いトレースをトラジェクトリにコンパイルする,スキルガイドシステムであるTraceCompilerを提案する。
あらゆるハードエッジは監査可能な証拠を持ち、あいまいな関係が疑われる。
コールの削減を計測するが、オフラインのコンパイルコストはかからない。
論文 参考訳（メタデータ） (2026-08-03T01:05:06Z) - PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering [2.2262915480980063]
PULSEはObject-Process-Methodologyにインスパイアされた言語で、4つの運用ロールをローカライズし、その書き込み効果を1つの型付きランタイムで表現する。
実装されたコントラクトは、非オーバーライト、ブランチアイソレーション、接地されたマルチオブジェクトタイマー、ガードされた状態変更、時間と空間に関する宣言付きイベント順序のエビデンスを修正する。
Lean 4は、位置、エビデンス、クロック、モニター、アトミック性、ブランチソース保持のカーネルアナログをチェックする。
論文 参考訳（メタデータ） (2026-07-26T17:44:05Z) - AgentDebugX: An Open-Source Toolkit for Failure Observability, Attribution, and Recovery in LLM Agents [83.37969790806069]
LLMエージェントのエラーは、エラーが表面化するステップが原因ではないことが多いため、デバッグが難しい。
Agent DebuggerXはオープンソースのフレームワークで、デバッグをDe Detect, Attribute, Recover, Rerunのクローズドループとして整理する。
コアとなるDeep Debuggerは、グローバルな軌跡理解を通じてマルチターン根本原因診断を行う。
論文 参考訳（メタデータ） (2026-07-21T06:21:13Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - WildClawBench: A Benchmark for Real-World, Long-Horizon Agent Evaluation [88.10947115397971]
この研究でWildClawBenchは、6つのテーマのカテゴリにまたがる60の人間によるバイリンガルなマルチモーダルタスクのネイティブランタイムベンチマークである。
各タスクは、約8分間のウォールクロック時間と20以上のツールコールで実行されます。
グラディングはハイブリッドであり、決定論的ルールベースのチェック、副作用の環境状態監査、意味的検証のためのLLM/VLM判定を組み合わせている。
論文 参考訳（メタデータ） (2026-05-11T17:49:43Z) - From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python [2.7324157162184157]
本稿では,大規模な言語モデルでRustの目的をPythonに翻訳するLLM支援型連続コード翻訳手法を提案する。
我々は、Pythonポートが59/80 SWE-bench検証タスク(73.8%)をRustの56/80(70.0%)に対して解決し、現実世界のエージェントタスクでほぼ同等であることを実証した。
評価の結果,APIレイテンシが支配的な LLM ベースのエージェントでは,Python の表現性が 15.9 倍のコード削減を実現している。
論文 参考訳（メタデータ） (2026-04-13T14:21:44Z) - ClawArena: Benchmarking AI Agents in Evolving Information Environments [61.664633997138004]
ClawArenaは、進化する情報環境におけるAIエージェントの評価のためのベンチマークである。
それぞれのシナリオは、エージェントをノイズ、部分的、時には矛盾するトレースだけに露呈しながら、完全に隠された地上の真実を維持します。
評価は、マルチソースコンフリクト推論、動的信念修正、暗黙のパーソナライゼーションという3つの複合的な課題に基づいて構成される。
論文 参考訳（メタデータ） (2026-04-05T17:55:23Z) - Diffploit: Facilitating Cross-Version Exploit Migration for Open Source Library Vulnerabilities [13.559398564795048]
Diffploitは2つのキーモジュールを中心に構成された反復的で差分駆動のエクスプロイトマイグレーション手法である。
79のライブラリにわたる102のJava CVEと689のバージョンマイグレーションタスクを含む大規模データセット上でDiffploitを評価する。
84.2%のエクスプロイトの移行に成功し、変更対応のテスト修正ツールであるTARGETを52.0%、IDEAのルールベースのツールを61.6%上回った。
論文 参考訳（メタデータ） (2025-11-17T04:06:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。