論文の概要: Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction

• arxiv url: http://arxiv.org/abs/2512.23552v1
• Date: Mon, 29 Dec 2025 15:50:26 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-30 22:37:30.565015
• Title: Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
• Title（参考訳）: スレッド単位のロックセットを超えて:マルチスレッドクリティカルセクションと動的デッドロック予測
• Authors: Martin Sulzmann,
• Abstract要約: ロックセットはデッドロックの動的解析に一般的に使用される。 スレッド単位のロックセット構成では、同じスレッドで取得したロックのみを考慮するが、別のスレッドで取得したロックには気づかない。 本稿では, 部分順序関係を用いて, トレースに基づく特徴量の音響的近似法を示す。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Lock sets are commonly used for dynamic analysis of deadlocks. The standard per-thread lock set construction only considers locks acquired in the same thread, but is unaware of locks acquired in another thread. This leads to false positives and false negatives. The underlying issue is that the commonly used notion of a critical section on which the lock set construction relies ignores events from other threads. We give a trace-based characterization of critical sections that drops this restriction. Critical sections are no longer restricted to a single thread and can cover multiple threads. Such forms of critical sections exist, are natural, and correct the standard formulation. We show how to soundly approximate the trace-based characterization via partial order relations. Thus, we obtain an improved lock set construction that can still be efficiently computed and allows us to remove false positives reported by the DIRK deadlock predictor and remove false negatives by extending the SPDOffline deadlock predictor. We integrate various lock set constructions with increased precision in an extension of SPDOffline. Our extensions remain sound (no false positives) but are more complete (fewer false negatives) w.r.t. SPDOffline. For an extensive standard benchmark suite we can also show that the performance is not affected.
• Abstract（参考訳）: ロックセットはデッドロックの動的解析に一般的に使用される。 スレッド単位のロックセット構成では、同じスレッドで取得したロックのみを考慮するが、別のスレッドで取得したロックには気づかない。 これは偽陽性と偽陰性につながる。 根底にある問題は、ロックセットの構成が依存するクリティカルセクションの概念が、他のスレッドからのイベントを無視していることだ。 この制限を下げるクリティカルセクションをトレースベースで特徴づける。 クリティカルセクションは、もはや単一のスレッドに制限されず、複数のスレッドをカバーすることができる。 このような批判的部分の形式は存在し、自然であり、標準定式化を正す。 本稿では, 部分順序関係を用いて, トレースに基づく特徴量の音響的近似法を示す。 そこで我々は,DIRKデッドロック予測器によって報告された偽陽性を除去し,SPDOfflineデッドロック予測器を拡張して偽陰性を除去できる改良されたロックセット構成を得る。 我々は、SPDOfflineの拡張において、様々なロックセット構成を精度の向上と統合する。 我々の拡張は音(偽陽性ではない)のままだが、より完全(偽陰性でない)である。 広範な標準ベンチマークスイートでは、パフォーマンスに影響を与えていないことも示せる。

関連論文リスト

• Key-Conditioned Orthonormal Transform Gating (K-OTG): Multi-Key Access Control with Hidden-State Scrambling for LoRA-Tuned Models [26.81598226089532]
  K-OTGはデュアルパスコーパスコーパスでトレーニングする:ロールキーを持つ認証された例はタスクの出力を、未承認例は可視なブロックトークンを学習する。 キーは特別なトークンとして追加されず、LoRAを4ビットベースでクリーンに構成する。
  論文  参考訳（メタデータ） (2025-12-19T12:42:53Z)
• Bag of Tricks for Subverting Reasoning-based Safety Guardrails [62.139297207938036]
  推論に基づくガードレールを覆い隠すジェイルブレイク手法の袋を提示する。 攻撃対象は白、グレー、ブラックボックスの設定で、無駄なテンプレート操作から完全に自動化された最適化までさまざまです。
  論文  参考訳（メタデータ） (2025-10-13T16:16:44Z)
• Cute-Lock: Behavioral and Structural Multi-Key Logic Locking Using Time Base Keys [1.104960878651584]
  我々は、Cute-Lockと呼ばれるセキュアなマルチキー論理ロックアルゴリズムのファミリーを提案し、実装し、評価する。 種々の攻撃条件下での実験結果から,Cute-Lockファミリーを応用した脆弱な最先端手法と比較して,余分なオーバーヘッドを伴わずに致命的な攻撃を試みていることが確認された。
  論文  参考訳（メタデータ） (2025-01-29T03:44:55Z)
• K-Gate Lock: Multi-Key Logic Locking Using Input Encoding Against Oracle-Guided Attacks [1.104960878651584]
  K-Gate Lockは、複数のキーを使用して入力パターンをエンコードする。 複数のキーを使用すると、回路はオラクル誘導攻撃に対して安全になり、攻撃者は指数関数的に時間のかかるブルートフォースサーチに努力するようになる。
  論文  参考訳（メタデータ） (2025-01-03T22:07:38Z)
• Late Breaking Results: On the One-Key Premise of Logic Locking [0.40980625270164805]
  ロック技術は、この正しいキーを見つけるための優れた攻撃に抵抗すると、安全であると判断される。 本稿では、より効率的な攻撃手法を導入することで、このワンキー前提に挑戦する。 我々の攻撃は、単一の正しいキーを見つけようとする従来の攻撃と比較して、最大99.6%のランタイム削減を実現している。
  論文  参考訳（メタデータ） (2024-08-22T19:05:13Z)
• SubLock: Sub-Circuit Replacement based Input Dependent Key-based Logic Locking for Robust IP Protection [1.804933160047171]
  既存のロジックロック技術はSATベースの攻撃に対して脆弱である。 いくつかのSAT耐性論理ロック法が報告されている。 本稿では,新しい入力依存鍵ベースの論理ロック(IDKLL)を提案する。
  論文  参考訳（メタデータ） (2024-06-27T11:17:06Z)
• Certifying LLM Safety against Adversarial Prompting [70.96868018621167]
  大規模言語モデル(LLM)は、入力プロンプトに悪意のあるトークンを追加する敵攻撃に対して脆弱である。 我々は,認証された安全保証とともに,敵のプロンプトを防御する最初の枠組みである消去・チェックを導入する。
  論文  参考訳（メタデータ） (2023-09-06T04:37:20Z)
• 'Frequency-modulated' pulsed Bell setup avoids post-selection [62.997667081978825]
  ベル実験は一致を定義するためにデータのポストセレクションを必要とする。 量子鍵分布(QKD)では、敵対的相手の脆弱性を開放する。 パルス源はクロックのドリフトを除去するが、各遠隔局で同じパルスを識別する問題がある。 これは、時計間のドリフトの影響を受けない方法で、有効な偶然の条件を直ちに定義する。
  論文  参考訳（メタデータ） (2023-07-05T18:09:51Z)
• Robust and Provable Guarantees for Sparse Random Embeddings [72.24615341588846]
  我々は、Freksen が al. (NIPS'18) と Jagadeesan (NIPS'18) で提供したスパースランダム埋め込みの保証を改善する。 a) 前述した保証とは対照的に我々の境界は明示的であり、(b)我々の境界は実際に重要な定数によってよりシャープであることが保証されている。 我々は、我々の境界が、広範囲の現実世界のデータセットに関する先行研究よりも著しく優れていることを実証的に実証した。
  論文  参考訳（メタデータ） (2022-02-22T11:15:59Z)
• Open Problem: Tight Online Confidence Intervals for RKHS Elements [57.363123214464764]
  我々は、RKHS設定におけるオンライン信頼区間の質問を形式化し、既存の結果を概観する。 準最適後悔境界がこれらのアルゴリズムの根本的な欠点なのか、あるいは証明の成果物なのかは定かではない。
  論文  参考訳（メタデータ） (2021-10-28T22:36:20Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。