論文の概要: On the Impossibility of a Perfect Hypervisor

• arxiv url: http://arxiv.org/abs/2506.09825v1
• Date: Wed, 11 Jun 2025 15:05:07 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-13 06:35:03.077989
• Title: On the Impossibility of a Perfect Hypervisor
• Title（参考訳）: 完全ハイパーバイザの不確かさについて
• Authors: Mordechai Guri,
• Abstract要約: 私たちはこのモデルの中で2つの定理を証明します。 理論上の不確定性にもかかわらず、完全なハイパーバイザは有限の計算資源を持つ任意のマシンには存在しない。
• 参考スコア（独自算出の注目度）: 1.74048653626208
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We establish a fundamental impossibility result for a `perfect hypervisor', one that (1) preserves every observable behavior of any program exactly as on bare metal and (2) adds zero timing or resource overhead. Within this model we prove two theorems. (1) Indetectability Theorem. If such a hypervisor existed, no guest-level program, measurement, or timing test could distinguish it from native execution; all traces, outputs, and timings would be identical. (2) Impossibility Theorem. Despite that theoretical indetectability, a perfect hypervisor cannot exist on any machine with finite computational resources. These results are architecture-agnostic and extend beyond hypervisors to any virtualization layer emulators, sandboxes, containers, or runtime-instrumentation frameworks. Together they provide a formal foundation for future work on the principles and limits of virtualization.
• Abstract（参考訳）: 完全ハイパーバイザ(perfect hypervisor, 完全ハイパーバイザ)は,(1) 任意のプログラムの可観測的挙動をベアメタル上で正確に保存し,(2) タイミングやリソースのオーバーヘッドをゼロにする。 このモデルの中では、2つの定理を証明している。 1)非検出性理論 そのようなハイパーバイザが存在する場合、ゲストレベルのプログラム、測定、タイミングテストはネイティブ実行と区別することができず、すべてのトレース、アウトプット、タイミングは同じである。 2)不合理理論 理論上の不確定性にもかかわらず、完全なハイパーバイザは有限の計算資源を持つ任意のマシンには存在しない。 これらの結果はアーキテクチャに依存しず、ハイパーバイザを越えて、任意の仮想化レイヤエミュレータ、サンドボックス、コンテナ、ランタイムインストールフレームワークに拡張されます。 彼らは共に、仮想化の原則と限界に関する将来の研究のための正式な基盤を提供します。

関連論文リスト

• Nonclassical Nullifiers for Quantum Hypergraph States [0.0]
  量子ハイパーグラフ状態はグラフ状態形式主義の一般化を形成する。 このような状態のネットワークは、連続変数測定に基づく量子計算の普遍性を達成することができる。
  論文  参考訳（メタデータ） (2025-02-04T11:06:19Z)
• HyperMono: A Monotonicity-aware Approach to Hyper-Relational Knowledge Representation [27.28214706269035]
  ハイパーリレーショナル・ナレッジグラフ(HKG)では、各事実は属性値の修飾子に関連する主三重からなり、追加の事実知識が表現される。 本稿では,ハイパーリレーショナル知識グラフ補完のためのHyperMonoモデルを提案する。
  論文  参考訳（メタデータ） (2024-04-15T15:00:17Z)
• Enhancing Hyperedge Prediction with Context-Aware Self-Supervised Learning [57.35554450622037]
  我々は新しいハイパーエッジ予測フレームワーク(CASH)を提案する。 CASHは、コンテキスト認識ノードアグリゲーションを用いて、(C1)ハイパーエッジの各ノード間の複雑な関係をキャプチャし、(2)ハイパーエッジ予測のコンテキストにおける自己教師付きコントラスト学習を行い、(C2)ハイパーグラフ表現を強化する。 6つの実世界のハイパーグラフの実験により、CASHはハイパーエッジ予測の精度で競合する全ての手法を一貫して上回っていることが明らかとなった。
  論文  参考訳（メタデータ） (2023-09-11T20:06:00Z)
• Information-Theoretic Limits and Strong Consistency on Binary Non-uniform Hypergraph Stochastic Block Models [0.0]
  非一様ハイパーグラフブロックモデル(HSBM)の下でのランダムハイパーグラフの教師なし分類問題 本稿では,クラスタリング精度と強い一貫性しきい値に対する情報理論の限界を確立する。
  論文  参考訳（メタデータ） (2023-06-12T03:38:25Z)
• ManiSkill2: A Unified Benchmark for Generalizable Manipulation Skills [24.150758623016195]
  我々は、一般化可能な操作スキルのための次世代のSAPIEN ManiSkillベンチマークであるManiSkill2を紹介する。 ManiSkill2には、2000以上のオブジェクトモデルと4M以上のデモフレームを備えた20の操作タスクファミリが含まれている。 幅広いアルゴリズムをサポートする統一インターフェースと評価プロトコルを定義する。 高速な視覚入力学習アルゴリズムにより、CNNベースのポリシーでサンプルを約2000 FPSで収集することができる。
  論文  参考訳（メタデータ） (2023-02-09T14:24:01Z)
• Global Nash Equilibrium in Non-convex Multi-player Game: Theory and Algorithms [66.8634598612777]
  ナッシュ均衡(NE)はマルチプレイヤーゲームにおいて全てのプレイヤーに受け入れられることを示す。 また、一般理論から一歩ずつ一方的に利益を得ることはできないことも示している。
  論文  参考訳（メタデータ） (2023-01-19T11:36:50Z)
• Toward Theoretical Guidance for Two Common Questions in Practical Cross-Validation based Hyperparameter Selection [72.76113104079678]
  クロスバリデーションに基づくハイパーパラメータ選択における2つの一般的な質問に対する最初の理論的治療について述べる。 これらの一般化は、少なくとも、常に再トレーニングを行うか、再トレーニングを行わないかを常に実行可能であることを示す。
  論文  参考訳（メタデータ） (2023-01-12T16:37:12Z)
• Validation tests of GBS quantum computers give evidence for quantum advantage with a decoherent target [62.997667081978825]
  複数モードデータの検証に指紋としてグループカウント確率の正P位相空間シミュレーションを用いる。 偽データを解き放つ方法を示し、これを古典的なカウントアルゴリズムに適用する。
  論文  参考訳（メタデータ） (2022-11-07T12:00:45Z)
• Reachable sets for two-level open quantum systems driven by coherent and incoherent controls [77.34726150561087]
  我々はコヒーレントかつ非コヒーレントな制御によって駆動される2レベル開量子系の全密度行列の集合における制御性について研究する。 2つのコヒーレント制御に対して、系は全密度行列の集合において完全に制御可能であることが示されている。
  論文  参考訳（メタデータ） (2021-09-09T16:14:23Z)
• Learning to Prove Theorems by Learning to Generate Theorems [71.46963489866596]
  我々は、定理証明器を訓練するために、定理と証明を自動的に合成するニューラルジェネレータを学習する。 実世界の課題に関する実験は、我々の手法による合成データが定理証明器を改善することを示した。
  論文  参考訳（メタデータ） (2020-02-17T16:06:02Z)

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

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