Fugu-MT 論文翻訳(概要): Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)

論文の概要: Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)

arxiv url: http://arxiv.org/abs/2609.00246v1
Date: Mon, 31 Aug 2026 18:47:23 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-02 16:31:36.007775
Title: Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)
Title（参考訳）: ロックとスレッドIDを超えて:Beaten Pathの静的データレース検出(拡張版)
Abstract要約: 我々はダイジェストフレームワークを拡張して、静的なレース検出で無視されたコンストラクトと同期メカニズムを扱います。 pthread_onceは、アクションが一度だけ実行されることを保証します。
参考スコア（独自算出の注目度）: 3.5832940717897217
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Maintaining an abstraction of the execution history of threads can improve the precision of data race detection in static analysis. Here, we extend the digest framework to handle concurrency constructs and synchronization mechanisms that have been ignored in static race detection. We introduce mechanisms for the commonly used thread barriers, as well as pthread_once, which allows to ensure that an action is executed only once. We also instantiate the framework with an abstraction of locksets held by ancestor threads. We propose a suite of litmus tests to evaluate analyses for these features and compare our implementation to state-of-the-art tools, finding that they lack support.
Abstract（参考訳）: スレッドの実行履歴の抽象化を維持することで、静的解析におけるデータ競合検出の精度を向上させることができる。ここでは,静的な競合検出において無視された並列構造や同期機構を扱うために,ダイジェストフレームワークを拡張した。 pthread_onceは、アクションが一度だけ実行されることを保証します。また、祖先スレッドが保持するロックセットの抽象化でフレームワークをインスタンス化する。本稿では,これらの特徴の分析結果を評価するためのリトマステストスイートを提案し,その実装を最先端のツールと比較し,それらがサポートされていないことを確認する。

関連論文リスト

SoK: Intent-Oriented Systematization of Multi-Turn LLM Jailbreaks [69.08780911753102]
マルチターンジェイルブレイクはターン間で有害なインテントを前進させることでパターンを利用するため、単一のメッセージが完全な目的を公開することはない。敵意構造を用いて多ターンジェイルブレイクを組織する4部構成の意図指向分類法を開発した。
論文参考訳（メタデータ） (2026-08-02T09:24:08Z)
The Path Matters: Learning a Token-Commitment Policy for Diffusion Language Models [52.93186090124315]
トークンのコミットメントは、再利用可能なトレースステートポリシとして学ぶことができる、と私たちは主張する。凍結拡散言語モデルのためにこのポリシーをインスタンス化する軽量プラグインコントローラであるTraceLockを紹介する。
論文参考訳（メタデータ） (2026-05-23T18:23:46Z)
Provable Robustness against Backdoor Attacks via the Primal-Dual Perspective on Differential Privacy [51.758416625168]
ランダムな平滑化は、敵の摂動に対する堅牢性を証明するための強力なツールである。本稿では,複雑な構成機構の認証のためのフレームワークを提案する。複雑な脅威モデル下での堅牢性を証明するために複合メカニズムを使用するための原則的で一般的なフレームワークを提供する。
論文参考訳（メタデータ） (2026-05-20T22:17:29Z)
Memory Forensics Techniques for Automated Detection and Analysis of Go Malware [0.73493417424903]
Goバイナリのランタイム解析のための最初のメモリフォサイシクスフレームワークを提示する。我々のフレームワークは、型と関数のメタデータを再構築し、ヒープに割り当てられた静的文字列を復元し、アプリケーションレベルの関数を識別する。
論文参考訳（メタデータ） (2026-05-13T18:34:00Z)
Dynamic analysis enhances issue resolution [53.50448142467294]
DAIRA(Dynamic Analysis-enhanced Issue Resolution Agent)は、エージェントの推論サイクルに動的解析を組み込む自動修復フレームワークである。テストトレース駆動の方法論によって駆動されるDAIRAは、軽量モニタを使用して重要なランタイムデータを抽出する。 Gemini 3 Flash Previewを使用すると、DAIRAは新たな最先端(SOTA)パフォーマンスを確立し、SWE-bench Verifiedデータセットで79.4%の解像度を達成する。
論文参考訳（メタデータ） (2026-03-23T14:48:54Z)
Compiling Away the Overhead of Race Detection [4.072903728718951]
動的データ競合検出器は、ソフトウェアにおけるエラーのフラグ付けには不可欠だが、その高いランタイムオーバーヘッドは採用を制限している。そこで本稿では,競合のないアクセスのためのインスツルメンテーションをなくすための,命令間静的解析のスイートを紹介する。提案手法はレース検出のオーバーヘッドを大幅に低減し,ジオ平均速度が1.34倍,ピーク速度が2.5倍に達した。
論文参考訳（メタデータ） (2025-12-05T09:26:08Z)
Static Deadlock Detection for Rust Programs [6.596623081054982]
Rustはスレッドとメモリの安全性を確保するために独自のオーナシップメカニズムに依存している。 Rustの新しい言語機能は、脆弱性検出に新たな課題をもたらす。本稿では,Rustプログラムに適した静的デッドロック検出手法を提案する。
論文参考訳（メタデータ） (2024-01-02T09:09:48Z)
Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
論文参考訳（メタデータ） (2023-12-13T21:53:32Z)
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization [3.6731536660959985]
コールグラフ構築における音質改善によるシリアライズ処理手法であるSeecaを提案する。我々は,信頼できないオブジェクトデシリアライズ脆弱性の検出において,音質,精度,性能,有用性に関して,我々のアプローチを評価する。
論文参考訳（メタデータ） (2023-11-02T02:07:54Z)
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs [5.064868362565062]
本稿では,Rustのバグを効率よく,高精度に検出するペトリネット方式を提案する。中心となるイノベーションは、Rustのオーナシップセマンティクスと同期プリミティブの厳格でコントロールフロー駆動のモデリングである。 LockBudと比較して、私たちのアプローチは偽陽性を35.7%、偽陰性を28.3%削減します。
論文参考訳（メタデータ） (2022-12-06T05:11:21Z)
FineDiving: A Fine-grained Dataset for Procedure-aware Action Quality Assessment [93.09267863425492]
競争力のあるスポーツビデオにおける行動の高レベル意味論と内部時間構造の両方を理解することが、予測を正確かつ解釈可能なものにする鍵である、と我々は主張する。本研究では,多様なダイビングイベントに対して,アクションプロシージャに関する詳細なアノテーションを付加した,ファインディビングと呼ばれる詳細なデータセットを構築した。
論文参考訳（メタデータ） (2022-04-07T17:59:32Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。