【誤訳訂正書】
【提出日】平成23年1月5日(2011.1.5)
【誤訳訂正１】
【訂正対象書類名】特許請求の範囲
【訂正対象項目名】全文
【訂正方法】変更
【訂正の内容】
【特許請求の範囲】
【請求項１】
コンピュータが、互いに離れて実行される先行スレッドおよび追跡スレッド内に、それぞれのスレッドからの出力値を指定するチェッカ命令を生成し、前記先行スレッド内に、前記出力値を指定する選択された命令を残して前記チェッカ命令を追加し、前記追跡スレッド内の前記選択された命令を前記生成した前記チェッカ命令で置き換える段階と、
前記コンピュータが、前記先行スレッドおよび前記追跡スレッドからの対応するチェッカ命令を待つ段階と、
前記コンピュータが、前記先行スレッドおよび前記追跡スレッドからの前記対応するチェッカ命令を比較する段階と
を備える方法。
【請求項２】
前記先行スレッド内に前記チェッカ命令を追加する場合に、前記選択された命令の前に前記チェッカ命令を挿入する
請求項１に記載の方法。
【請求項３】
前記チェッカ命令は前記先行スレッドおよび前記追跡スレッドの対応するパイプラインでパイプライン処理される
請求項１または２に記載の方法。
【請求項４】
前記コンピュータが、前記先行スレッドおよび前記追跡スレッドからの前記対応するチェッカ命令の比較が一致した場合に、前記チェッカ命令をコミットする段階
をさらに備える請求項１から３のいずれか一項に記載の方法。
【請求項５】
前記コンピュータが、前記先行スレッドおよび前記追跡スレッドからの前記対応するチェッカ命令の比較が一致した場合に、前記先行スレッドの前記選択された命令に含まれる前記出力値を記憶する段階
をさらに備える請求項４に記載の方法。
【請求項６】
前記先行スレッドおよび前記追跡スレッドは、単一のプロセッサによって実行される
請求項１から５のいずれか一項に記載の方法。
【請求項７】
前記先行スレッドおよび前記追跡スレッドは、複数のプロセッサによって実行される
請求項１から５のいずれか一項に記載の方法。
【請求項８】
前記コンピュータは、前記チェッカ命令によって、前記先行スレッドの命令をホールドすることなく、前記追跡スレッドの前記対応するチェッカ命令が現れるまでリタイアポインタをホールドする
請求項１から７のいずれか一項に記載の方法。
【請求項９】
スレッドからの出力値を指定するチェッカ命令が当該出力値を指定する選択された命令を残してスレッド内に追加された先行スレッドを実行する回路である先行スレッド回路と、
スレッドからの出力値を指定するチェッカ命令でスレッド内の前記選択された命令が置き換えられた追跡スレッドを実行する回路である追跡スレッド回路と、
互いに離れて実行される前記先行スレッドおよび前記追跡スレッドからの対応するチェッカ命令を比較して、前記先行スレッドおよび前記追跡スレッドからの対応するチェッカ命令をコミットするコミットユニットと
を備える装置。
【請求項１０】
前記先行スレッド回路および前記追跡スレッド回路はパイプラインを有する
請求項９に記載の装置。
【請求項１１】
前記先行スレッドおよび前記追跡スレッドは、単一のプロセッサによって実行される
請求項９または１０に記載の装置。
【請求項１２】
前記先行スレッドおよび前記追跡スレッドは、複数のプロセッサによって実行される
請求項９または１０に記載の装置。
【請求項１３】
前記先行スレッド回路および前記追跡スレッド回路に結合されるバッファ
をさらに備える請求項９から１２のいずれか一項に記載の装置。
【請求項１４】
前記先行スレッドの前記チェッカ命令および前記追跡スレッドの前記チェッカ命令は、前記バッファにおいて対応するチェッカ命令を待つ
請求項１３に記載の装置。
【請求項１５】
前記選択された命令が指定する出力値は、前記先行スレッドおよび前記追跡スレッドのそれぞれの前記対応するチェッカ命令の比較が一致する場合に記憶される
請求項９から１４のいずれか一項に記載の装置。
【請求項１６】
前記コミットユニットは、前記対応するチェッカ命令が一致しない場合にエラーを生成する
請求項９から１５のいずれか一項に記載の装置。
【請求項１７】
前記先行スレッドにおいて、前記チェッカ命令は前記選択された命令の前にバイナリトランスレータにより配置される
請求項９から１６のいずれか一項に記載の装置。
【請求項１８】
前記選択された命令はストア命令である
請求項９から１７のいずれか一項に記載の装置。
【請求項１９】
前記チェッカ命令は、前記先行スレッドの命令をホールドすることなく、前記追跡スレッドの前記対応するチェッカ命令が現れるまでリタイアポインタをホールドする
請求項９から１８のいずれか一項に記載の装置。
【請求項２０】
第１プロセッサと、
第２プロセッサへの第１インタフェースと、
入／出力装置への第２インタフェースと、
前記第２インタフェースに結合されるオーディオ入出力装置と
を備え、
前記第１プロセッサは、
スレッドからの出力値を指定するチェッカ命令が当該出力値を指定する選択された命令を残してスレッド内に追加された先行スレッドを実行する回路である先行スレッド回路と、
スレッドからの出力値を指定するチェッカ命令で、スレッド内の前記選択された命令が置き換えられた追跡スレッドを実行する回路である追跡スレッド回路と、
互いに離れて実行される前記先行スレッドおよび前記追跡スレッドからの対応するチェッカ命令を比較して、前記先行スレッドおよび前記追跡スレッドからの対応するチェッカ命令をリタイアさせるリタイアユニットと
を有するシステム。
【請求項２１】
前記先行スレッド回路および前記追跡スレッド回路はパイプラインを含む
請求項２０に記載のシステム。
【請求項２２】
前記選択された命令が指定する出力値は、前記先行スレッドおよび前記追跡スレッドのそれぞれの前記対応するチェッカ命令の比較が一致する場合に記憶される
請求項２０または２１に記載のシステム。
【請求項２３】
前記先行スレッド回路および前記追跡スレッド回路に結合されるバッファ
をさらに備える請求項２０から２２のいずれか一項に記載のシステム。
【請求項２４】
前記リタイアユニットは、前記対応するチェッカ命令が一致しない場合にエラーを生成する
請求項２０から２３のいずれか一項に記載のシステム。
【請求項２５】
前記先行スレッド内において、前記チェッカ命令は前記選択された命令の前にバイナリトランスレータにより配置される
請求項２０から２４のいずれか一項に記載のシステム。
【請求項２６】
前記選択された命令はストア命令である
請求項２０から２５のいずれか一項に記載のシステム。
【請求項２７】
前記第１インタフェースおよび前記第２インタフェースはポイントツーポイントインタフェースである
請求項２０から２６のいずれか一項に記載のシステム。
【請求項２８】
前記チェッカ命令は、前記先行スレッドの命令をホールドすることなく、前記追跡スレッドの前記対応するチェッカ命令が現れるまでリタイアポインタをホールドする
請求項２０から２７のいずれか一項に記載のシステム。
【誤訳訂正２】
【訂正対象書類名】明細書
【訂正対象項目名】０００２
【訂正方法】変更
【訂正の内容】
【０００２】
不都合なことに、比較命令を複製することにより、アーキテクチャは冗長マルチスレッド（ＲＭＴ）の性能利点を失うことになる。ＲＭＴの性能利点は、先行スレッドが追跡スレッドのキャッシュミス及び分岐予測をプリフェッチできるように十分に離れた先行スレッド及び追跡スレッドを有することから生じる。比較命令が複製される場合、キューの追加が必要なだけでなく（より高いオーバーヘッドを招く）、アーキテクチャは、両方向で求められる同期により２つのスレッドを十分離れた状態で保持することができなくなり得る。したがって、必要なのは、ＲＭＴの性能利点を犠牲にすることなくより低い故障率を実現できる命令である。
【誤訳訂正３】
【訂正対象書類名】明細書
【訂正対象項目名】０００８
【訂正方法】変更
【訂正の内容】
【０００８】
複製範囲１００内の構成要素（たとえば、先行スレッド１０５を実行しているプロセッサ及び追跡スレッド１１０を実行しているプロセッサ）が冗長実行の対象である。これとは対照的に、複製範囲１００外の構成要素（たとえば、メモリ１１５）は冗長実行の対象ではない。故障保護は他の技法、たとえばメモリ１１５の誤り修正符号によって提供される。他の装置は複製範囲１００外であってもよく、且つ／又は他の技法を使用して故障保護を複製範囲１００外の装置に提供することができる。
【誤訳訂正４】
【訂正対象書類名】明細書
【訂正対象項目名】０００９
【訂正方法】変更
【訂正の内容】
【０００９】
複製範囲１００に入るデータは、データを複製し且つデータのコピーを先行スレッド１０５及び追跡スレッド１１０に送る入力複製エージェント１２０を通して入る。同様に、複製範囲１００を出るデータは、データを比較し且つエラーが発生したか否かを判断する出力比較エージェント１２５を通って出る。複製範囲１００の境界の変更は、性能とハードウェア量との間のトレードオフである。たとえば、メモリ１１５を複製すると、ストア命令の出力比較を避けることによりメモリへのより高速でのアクセスが可能になるが、システムでのメモリ量を２倍にすることによってシステムコストが増大する。
【誤訳訂正５】
【訂正対象書類名】明細書
【訂正対象項目名】００１１
【訂正方法】変更
【訂正の内容】
【００１１】
図２は、チェッカ命令を生成する一方法を示す。まず、大半のコンピュータでのようにコンパイラが命令を生成する。コンパイラから、コンピュータはここで、一連のストア命令であり得るがこれに限定されないバイナリプログラムを有する（２００）。次に、バイナリトランスレータがバイナリプログラム中の各ストア命令の前にチェッカ命令を挿入することができる（２０５）。バイナリトランスレータは当該技術分野において既知の任意のバイナリトランスレータであってもよい。バイナリプログラムの変換後、システムは先行スレッド及び追跡スレッドの両方にバイナリプログラムを作成する。先行スレッドのバイナリプログラムは、チェッカ命令をストア命令に追加する（２１０）。追跡スレッドのバイナリプログラムは、ストア命令を先行スレッドのピアチェッカ命令で置き換える（２１５）。
【誤訳訂正６】
【訂正対象書類名】明細書
【訂正対象項目名】００１２
【訂正方法】変更
【訂正の内容】
【００１２】
図３は、チェッカ命令の一実施態様を示す。ＲＭＴが比較を要求すると、プロセッサはチェッカ命令を先行スレッド及び追跡スレッドの両方において発することができる（３００）。各チェッカ命令は各スレッドから６４ビット量を伝達することができる。チェッカ命令は、各パイプラインの終わりにあるバッファに達するまで各スレッドの個々のパイプラインを独立して移行することができる（３０５）。チェッカ命令は、ピアチェッカ命令をバッファで待つ（３１０）。これら２つのチェッカ命令は次いで、伝達している６４ビット量の比較を行うことができる（３１５）。一致しない場合、両方がエラーを報告することができる。一致する場合、プロセッサにチェッカ命令をコミットさせることができる（３２０）。パイプラインは、ＣＭＰ中の異なるプロセッサからであっても、又はＳＭＴプロセッサと同じマルチスレッドプロセッサからであってもよい。
【誤訳訂正７】
【訂正対象書類名】明細書
【訂正対象項目名】００１３
【訂正方法】変更
【訂正の内容】
【００１３】
この実施態様では、チェッカ命令は、命令キューからの処理命令からの先行する命令を中断しない。むしろ、リタイアポインタのみを、追跡スレッドからの対応するチェッカ命令が現れるまで中断するだけである。また、環境がＲＭＴ環境ではない場合、チェッカ命令はＮＯＰとして扱われることができる。
【誤訳訂正８】
【訂正対象書類名】明細書
【訂正対象項目名】００１４
【訂正方法】変更
【訂正の内容】
【００１４】
図４は、２つのパイプラインを通って流れるチェッカ命令の一例のブロック図である。ストア命令Ｒ１→［Ｒ２］が、レジスタＲ１中の値をレジスタＲ２中のアドレスによってポイントされるメモリロケーションに記憶するものと仮定する。このストア命令は、チェッカ命令と共に先行スレッド及び追跡スレッドの両方で複製することができる。先行スレッドのストア命令は、チェッカ命令及びストア命令の両方を以下に示すように含むことができる。
Checkerinst R1
Checkerinst R2
Store: R1→[R2]
したがって、先行スレッドは、パイプライン４００を移行する時にストア命令とともにチェッカ命令を含むことができる。
【誤訳訂正９】
【訂正対象書類名】明細書
【訂正対象項目名】００１５
【訂正方法】変更
【訂正の内容】
【００１５】
追跡スレッドのストア命令は、以下に示すようにチェッカ命令のみを含むことができる。
Checkerinst R1
Checkerinst R2
したがって、追跡スレッドはパイプライン４０５を通って移行するストア命令を有さない。
【誤訳訂正１０】
【訂正対象書類名】明細書
【訂正対象項目名】００１６
【訂正方法】変更
【訂正の内容】
【００１６】
パイプライン４００中の先行スレッドからのcheckerinst R1は、バッファ４１０においてピアチェッカ命令を待つ。パイプライン４０５中の追跡スレッドからのcheckerinst R１は、バッファ４１５においてピアチェッカ命令を待つ。チェッカ命令は常にその相手方すなわちピアを探すか、又は待つ。ミラースレッドがある場合、チェッカ命令はバッファ４１０、４０５においてそのスレッドを探すか、又は待ち、ミラースレッドがそこにあることを確認してから、チェッカ命令を比較する。
【誤訳訂正１１】
【訂正対象書類名】明細書
【訂正対象項目名】００１７
【訂正方法】変更
【訂正の内容】
【００１７】
先行スレッドからのcheckerinst R1及び追跡スレッドからのcheckerinst R1は、コミット順によりペアになることができ、レジスタ指示子とＲ１の値を比較して、レジスタがいずれのエラーも有さなかったことを保証する。エラーが見つからない場合、チェッカ命令はコミットされる（４２０）。チェッカ命令がコミットされると、Ｒ１の値が記憶される。Ｒ１の値は、コミットポイントを通ってから記憶される。したがって、システムは、従来のように検査をストア毎に行うのではなくすべてのストアを同時に検査することができる。
【誤訳訂正１２】
【訂正対象書類名】図面
【訂正対象項目名】図１
【訂正方法】変更
【訂正の内容】
【図１】
2008515064.tif 000001
【誤訳訂正１３】
【訂正対象書類名】図面
【訂正対象項目名】図２
【訂正方法】変更
【訂正の内容】
【図２】
2008515064.tif 000002