ç¯ å´Žæ„›â˜†å¯æ„›ã„オッãƒ'イåã
過去2年間、彼らは「セマンティックガーディアン」と呼ばれるものに取り組んできました。これは、マイクロプロセッサーに搭載された小さなモニターで、設計者が品質保証テストで予測できなかったことをチップに出すように求められているかどうかをチェックします。
IntelやAdvanced Micro Devicesなどの企業は、現実の世界では、チップはしばしばクラッシュを引き起こす可能性のある新しいことをするように求められます。セマンティックガーディアンは、これらのテストされていない状態を識別して、プロセッサのパフォーマンスを向上させる鐘や笛の多くが無効になっているセーフモードに蹴り込むことによってプロセッサを減速させることができます。
これにより、彼女のチームはセマンティックガーディアンをソフトウェアベースのチップシミュレーターに組み込み、今では取得しようとしています。フィールドプログラマブルゲートアレイと呼ばれるプログラム可能なマイクロチップ上で実行される。現在の設計では、モニターはチップの不動産の約3％を占めていますが、商業的に開発されていればそれはずっと小さくなると予想しています。 Bertacco氏は、「商用企業がこれをすることに決めれば、1％未満になるだろう」と述べた。チップメーカーは、出荷後に、業界の正誤表と呼ばれる何百ものバグを発見することが多い。これらのバグはBIOSアップデートで対処することができますが、欠陥が深刻であれば、企業の製品計画を脱線させる可能性があります。昨年、AMD社のクアッドコアOpteronプロセッサ（バルセキス・コードネーム）は、チップの公式打ち上げ後に深刻な欠陥が発見されたとき、ほぼ半年遅れた。
Insight 64のアナリスト、Nathan Brookwoodは、 AMDのバルセロナ問題を解決しました。彼によると、このアプローチには少なくとも2つの大きな問題があります。まず、市販のプロセッサでテストされたすべての状態を追跡するのは難しいでしょう。 「正当な州が非常に多いので、これが現実的な解決策になるかどうかは本当に疑問だ」と彼は述べた。第二の問題は、多くの設計作業が必要になるということだ
「私の推測では、現実に現れ、現場で捕まえられるような、本当に微妙なものを捕まえることはないだろう」と彼は語った。 "私は懐疑的だ。"しかし、セキュリティの問題が、チップメーカーに、ミシガン大学の研究を精査する可能性があるかもしれない。例えば、セキュリティ研究者のKris Kasperskyは、来月、悪意のあるJavaScriptコードとネットワークパケットを使ってIntelプロセッサを攻撃する方法を示す予定です。クアラルンプールのハック・イン・ザ・ボックス会議で講演した話の記述によれば、「インターネットでもっと壊滅的な形で行われているこれらの攻撃を見てみるのは時間の問題だ」と述べた。
Bertaccoは、セキュリティ上の懸念がセマンティックガーディアンをチップメーカにとってより魅力的にする可能性があると考えている。 「一般市民は安全保障にもっと敏感だ」と彼女は言った。