JP2016512627A - Vectorfloatingpointtestdataclassimmediate命令を処理するためのコンピュータ・システム、コンピュータ・プログラム及び方法 - Google Patents

Vectorfloatingpointtestdataclassimmediate命令を処理するためのコンピュータ・システム、コンピュータ・プログラム及び方法 Download PDF

Info

Publication number
JP2016512627A
JP2016512627A JP2015553197A JP2015553197A JP2016512627A JP 2016512627 A JP2016512627 A JP 2016512627A JP 2015553197 A JP2015553197 A JP 2015553197A JP 2015553197 A JP2015553197 A JP 2015553197A JP 2016512627 A JP2016512627 A JP 2016512627A
Authority
JP
Japan
Prior art keywords
operand
register
vector
instruction
field
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2015553197A
Other languages
English (en)
Other versions
JP6410238B2 (ja
Inventor
ブラッドベリ、ジョナサン、デービッド
シュワルツ、エリック、マーク
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by International Business Machines Corp filed Critical International Business Machines Corp
Publication of JP2016512627A publication Critical patent/JP2016512627A/ja
Application granted granted Critical
Publication of JP6410238B2 publication Critical patent/JP6410238B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/3001Arithmetic instructions
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/30018Bit or string instructions
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/30021Compare instructions, e.g. Greater-Than, Equal-To, MINMAX
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/30032Movement instructions, e.g. MOVE, SHIFT, ROTATE, SHUFFLE
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/30036Instructions to perform operations on packed data, e.g. vector, tile or matrix operations
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/30036Instructions to perform operations on packed data, e.g. vector, tile or matrix operations
    • G06F9/30038Instructions to perform operations on packed data, e.g. vector, tile or matrix operations using a mask
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30145Instruction analysis, e.g. decoding, instruction word fields
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30145Instruction analysis, e.g. decoding, instruction word fields
    • G06F9/3016Decoding the operand specifier, e.g. specifier format
    • G06F9/30167Decoding the operand specifier, e.g. specifier format of immediate specifier, e.g. constants
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30181Instruction operation extension or modification
    • G06F9/30185Instruction operation extension or modification according to one or more bits in the instruction, e.g. prefix, sub-opcode

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Mathematical Physics (AREA)
  • Mathematical Analysis (AREA)
  • Computational Mathematics (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Advance Control (AREA)
  • Complex Calculations (AREA)
  • Executing Machine-Instructions (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

【課題】 中央演算処理ユニットにおいてマシン命令を実行するためのコンピュータ・システム、方法、及びコンピュータ・プログラムを提供する。【解決手段】 命令内で指定されたベクトルの1つ又は複数の要素が1つ又は複数の選択されたクラス及び符号のものであるかどうかを判断する、Vector Floating Point Test Data Class Immediate命令が提供される。ベクトル要素が選択されたクラス及び符号のものである場合、ベクトル要素に対応する命令のオペランドの要素が第1の規定値に設定され、ベクトル要素が選択されたクラス及び符号のものでない場合、ベクトル要素に対応するオペランド要素は第2の規定値に設定される。【選択図】 図3

Description

1つ又は複数の態様は、一般に、コンピューティング環境内での処理に関し、特定的には、こうした環境内でのベクトル処理に関する。
コンピューティング環境内での処理は、1つ又は複数の中央演算処理ユニット(CPU)の動作を制御することを含む。通常、中央演算処理ユニットの動作は、ストレージ内の命令によって制御される。命令は、異なる形式を有し、多くの場合、種々の動作の実施に用いられるレジスタを指定することができる。
中央演算処理ユニットのアーキテクチャによって、例えば、例を挙げると汎用レジスタ、専用レジスタ、浮動小数点レジスタ、及び/又はベクトル・レジスタを含む種々のタイプのレジスタを使用することができる。異なるタイプのレジスタを、異なるタイプの命令と共に使用することができる。例として、浮動小数点レジスタは、浮動小数点命令により用いられる浮動小数点数を格納し、ベクトル・レジスタは、ベクトル命令を含む、Single Instruction、Multiple Data(SIMD)命令によって実施されるベクトル処理のためのデータを保持する。
米国特許第5,551,013号明細書 米国特許第6,009,261号明細書 米国特許第5,574,873号明細書 米国特許第6,308,255号明細書 米国特許第6,463,582号明細書 米国特許第5,790,825号明細書
IBM(登録商標)、「z/Architecture Principles of Operation」、IBM(登録商標)出版番号SA22−7832−09、第10版、2012年9月 インターナショナル・ビジネス・マシーンズ・コーポレーション、「Power ISA(商標) Version 2.06 改定B」、2010年7月23日 「Intel(登録商標)64 and IA−32 Architectures Developer’s Manual:Vol.2B,Instructions Set Reference,A−L」、注文番号253666−045US、2013年1月 「Intel(登録商標)64 and IA−32 Architectures Developer’s Manual:Vol.2B,Instructions Set Reference,M−Z」、注文番号253667−045US、2013年1月
中央演算処理ユニットにおいてマシン命令を実行するためのコンピュータ・システム、方法、及びコンピュータ・プログラムを提供する。
マシン命令を実行するためのコンピュータ・プログラム製品を提供することにより、従来技術の欠点が克服され、利点がもたらされる。このコンピュータ・プログラム製品は、処理回路により読み出し可能であり、且つ、方法を実施するための、処理回路による実行される命令を格納するコンピュータ可読ストレージ媒体を含む。この方法は、例えば、プロセッサにより、実行のためのマシン命令を取得することであって、マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、且つ、Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドとを含む、取得することと、マシン命令を実行することとを含み、実行することは、第2のオペランドの選ばれた要素の特性を判断することと、マシン命令への入力から、選ばれた要素の特性を表す選択されたデータ単位を選択することであって、入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、チェックすることに基づいて、第2のオペランドの選ばれた要素に対応する第1のオペランドの要素を設定することであって、設定することは選択されたデータ単位が特定の値に設定されることに基づく、設定することとを含む。
第1の態様から見ると、本発明は、中央演算処理ユニットにおいてマシン命令を実行するためのコンピュータ・システムを提供し、このコンピュータ・システムは、メモリと、メモリと通信状態を行うプロセッサとを含み、且つ、方法を実施するように構成され、方法は、プロセッサにより、実行のためのマシン命令を取得することであって、マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、且つ、Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドとを含む、取得することと、マシン命令を実行することとを含み、実行することは、第2のオペランドの選ばれた要素の特性を判断することと、マシン命令への入力から、選ばれた要素の特性を表す選択されたデータ単位を選択することであって、入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、チェックすることに基づいて、第2のオペランドの選ばれた要素に対応する第1のオペランドの要素を設定することであって、設定することは選択されたデータ単位が特定の値に設定されることに基づく、設定することとを含む。
好ましくは、本発明は、第2のオペランドが複数の要素を含み、判断することが、複数の要素の各要素についての特性を判断することを含み、設定することが、選択されたデータ単位が特定の値に設定されるかどうかに基づいて、第2のオペランドの各要素に対応する第1のオペランドの各要素を設定することを含む、コンピュータ・システムを提供する。
好ましくは、本発明は、設定することは、チェックすることが、選択されたデータ単位が特定の値に設定されることを示すことに基づいて、第1のオペランドの要素を1に設定することと、チェックすることが、選択されたデータ単位が特定の値に設定されないことを示すことに基づいて、第1のオペランドの要素をゼロに設定することとを含む、コンピュータ・システムを提供する。
好ましくは、本発明は、入力が複数のデータ単位を含み、複数のデータ単位の各データ単位がクラス及び符号を表す、コンピュータ・システムを提供する。
好ましくは、本発明は、マシン命令が入力を含むフィールドをさらに含む、コンピュータ・システムを提供する。
好ましくは、本発明は、マシン命令が1つ又は複数のレジスタを指定するのに用いられる拡張フィールドをさらに含み、第1のレジスタ・フィールドと拡張フィールドの第1の部分とが組み合わされて第1のレジスタが指定され、第2のレジスタ・フィールドと拡張フィールドの第2の部分とが組み合わされて第2のレジスタが指定され、マシン命令が、第2のオペランドの1つ又は複数の要素が判断することに含まれるかどうかを示すためのマスク・フィールドと、第2のオペランドの要素の浮動小数点数のサイズを示すための別のマスク・フィールドとをさらに含む、コンピュータ・システムを提供する。
別の態様から見ると、本発明は、中央演算処理ユニットにおいてマシン命令を実行するための方法を提供し、この方法は、プロセッサにより、実行のためのマシン命令を取得することであって、マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、且つ、Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドとを含む、取得することと、マシン命令を実行することとを含み、実行することは、第2のオペランドの選ばれた要素の特性を判断することと、マシン命令への入力から、選ばれた要素の特性を表す選択されたデータ単位を選択することであって、入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、チェックすることに基づいて、第2のオペランドの前記選ばれた要素に対応する第1のオペランドの要素を設定することであって、設定することは選択されたデータ単位が特定の値に設定されることに基づく、設定することとを含む。
好ましくは、本発明は、設定することは、チェックすることが、選択されたデータ単位が特定の値に設定されることを示すことに基づいて、第1のオペランドの要素を1に設定することと、チェックすることが、選択されたデータ単位が特定の値に設定されないことを示すことに基づいて、第1のオペランドの前記要素をゼロに設定することとを含む、方法を提供する。
好ましくは、本発明は、マシン命令が1つ又は複数のレジスタを指定するのに用いられる拡張フィールドをさらに含み、第1のレジスタ・フィールドと拡張フィールドの第1の部分とが組み合わされて第1のレジスタが指定され、第2のレジスタ・フィールドと拡張フィールドの第2の部分とが組み合わされて第2のレジスタが指定され、マシン命令が、第2のオペランドの1つ又は複数の要素が判断することに含まれるかどうかを示すためのマスク・フィールドと、第2のオペランドの要素の浮動小数点数のサイズを示すための別のマスク・フィールドとをさらに含む、方法を提供する。
別の態様から見ると、本発明は、中央演算処理ユニットにおいてマシン命令を実行するためのコンピュータ・プログラム製品を提供し、このコンピュータ・プログラム製品は、処理回路により読み出し可能であり、且つ、方法を実施するための、処理回路により実行される命令を格納するコンピュータ可読ストレージ媒体を含み、この方法は、プロセッサにより、実行のためのマシン命令を取得することであって、マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、且つ、Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドとを含む、取得することと、マシン命令を実行することとを含み、実行することは、第2のオペランドの選ばれた要素の特性を判断することと、マシン命令への入力から、選ばれた要素の特性を表す選択されたデータ単位を選択することであって、入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、チェックすることに基づいて、第2のオペランドの前記選ばれた要素に対応する第1のオペランドの要素を設定することであって、設定することは選択されたデータ単位が特定の値に設定されることに基づく、設定することとを含む。
好ましくは、本発明は、第2のオペランドが複数の要素を含み、判断することが、複数の要素の各要素についての特性を判断することを含み、設定することが、選択されたデータ単位が特定の値に設定されるかどうかに基づいて、第2のオペランドの各要素に対応する第1のオペランドの各要素を設定することを含む、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、設定することは、チェックすることが、選択されたデータ単位が特定の値に設定されることを示すことに基づいて、第1のオペランドの要素を1に設定することと、チェックすることが、選択されたデータ単位が特定の値に設定されないことを示すことに基づいて、第1のオペランドの要素をゼロに設定することとを含む、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、特性がクラス及び符号を含む、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、入力が複数のデータ単位を含み、複数のデータ単位の各データ単位がクラス及び符号を表す、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、複数のデータ単位が複数のビットを含み、各ビットが、複数の要素クラスのうちの1つの要素クラスを表し、複数の要素クラスが、ゼロ、正規数、非正規数、無限大、クワイエット非数、シグナリング非数を含み、各ビットが正又は負の符号を表す、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、マシン命令が入力を含むフィールドをさらに含む、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、マシン命令が、1つ又は複数のレジスタを指定するのに用いられる拡張フィールドをさらに含み、前記第1のレジスタ・フィールドと拡張フィールドの第1の部分とが組み合わされて第1のレジスタが指定され、第2のレジスタ・フィールドと拡張フィールドの第2の部分とが組み合わされて第2のレジスタが指定される、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、マシン命令が、第2のオペランドの1つ又は複数の要素が判断することに含まれるかどうかを示すためのマスク・フィールドをさらに含む、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、マシン命令が、第2のオペランドの要素の浮動小数点数のサイズを示すための別のマスク・フィールドをさらに含む、コンピュータ・プログラム製品を提供する。
好ましくは、本発明は、実行することが、第1のオペランドの要素の設定を要約するための、マシン命令についての条件コードを設定することをさらに含む、コンピュータ・プログラム製品を提供する。
1つ又は複数の態様に関連する方法及びシステムも、本明細書で説明され、特許請求される。さらに、1つ又は複数の態様に関連するサービスも、本明細書で説明され、特許請求され得る。
1つ又は複数の態様の技術を通じて、付加的な特徴及び利点が実現される。他の実施形態及び態様は、本明細書で詳細に説明され、特許請求の範囲の一部と見なされる。
本発明は多数の方法で実現することができ、ここで、単なる一例として、添付図面を参照して実施形態を説明する。
1つ又は複数の態様を組み込み、用いるためのコンピューティング環境の一例を示す。 1つ又は複数の態様を組み込み、用いるためのコンピューティング環境の別の例を示す。 図2のメモリの更なる詳細を示す。 レジスタ・ファイルの一例を示す。 Vector Floating Point Test Data Class Immediate命令の形式の一例を示す。 図5のVector Floating Point Test Data Class Immediate命令の第3のオペランドのビット値の一例を示す。 図5のVector Floating Point Test Data Class Immediate命令と関連付けられた論理の一実施形態を示す。 図5のVector Floating Point Test Data Class Immediate命令の実行のブロック図の一例を示す。 2進浮動小数点データの種々のクラスの定義の一例を示す。 Vector Checksum命令の形式の一例を示す。 図10のVector Checksum命令と関連付けられた論理の一実施形態を示す。 図10のVector Checksum命令の実行のブロック図の一例を示す。 Vector Galois Field Multiply Sum and Accumulate命令の形式の一例を示す。 図13のVector Galois Field Multiply Sum and Accumulate命令と関連付けられた論理の一実施形態を示す 図13のVector Galois Field Multiply Sum and Accumulate命令の実行のブロック図の一例を示す。 Vector Generate Mask命令の形式の一例を示す。 図16のVector Generate Mask命令と関連付けられた論理の一実施形態を示す。 図16のVector Generate Mask命令の実行のブロック図の一例を示す。 Vector Element Rotate and Insert Under Mask命令の形式の一例を示す。 図19のVector Element Rotate and Insert Under Mask命令と関連付けられた論理の一実施形態を示す 図19のVector Element Rotate and Insert Under Mask命令の実行のブロック図の一例を示す。 ベクトル例外コード(Vector Exception Code)の一例を示す。 図22のベクトル例外コードを設定するための論理の一実施形態を示す。 1つ又は複数の態様を組み込むコンピュータ・プログラム製品の一実施形態を示す。 ホスト・コンピュータ・システムの一実施形態を示す。 コンピュータ・システムの更に別の例を示す。 コンピュータ・ネットワークを含むコンピュータ・システムの別の例を示す。 コンピュータ・システムの種々の要素の一実施形態を示す。 図28のコンピュータ・システムの実行ユニットの一実施形態を示す。 図28のコンピュータ・システムの分岐ユニットの一実施形態を示す。 図28のコンピュータ・システムのロード/ストア・ユニットの一実施形態を示す。 エミュレートされたホスト・コンピュータ・システムの一実施形態を示す。
1つ又は複数の態様によると、種々のベクトル命令、並びにベクトル例外処理を含むベクトル・ファシリティが提供される。本明細書で説明される命令の各々は、1つ又は複数のベクトル・レジスタ(本明細書では、ベクトルとも呼ばれる)を用いるSingle Instruction Multiple Data(SIMD)命令である。ベクトル・レジスタは、例えば、中央演算処理ユニット(CPU)又は他のプロセッサの一部として利用可能な小容量のストレージである(例えば、主メモリではない)プロセッサ・レジスタ(ハードウェア・レジスタとも呼ばれる)である。各ベクトル・レジスタは、1つ又は複数の要素を有するベクトル・オペランドを含み、要素の長さは、例えば、1バイト、2バイト、4バイト、又は8バイトである。他の実施形態において、要素は他のサイズのものとすることができ、また、ベクトル命令はSIMD命令である必要はない。
1つ又は複数の態様を組み込み、用いるためのコンピューティング環境の一実施形態が、図1を参照して説明される。コンピューティング環境100は、例えば1つ又は複数のバス108及び/又は他の接続を介して互いに結合された、例えばプロセッサ102(例えば中央演算処理ユニット)、メモリ104(例えば主メモリ)、並びに1つ又は複数の入力/出力(I/O)デバイス及び/又はインターフェース106を含む。
一例において、プロセッサ102は、インターナショナル・ビジネス・マシーンズ・コーポレーションにより提供されるz/Architectureに基づいており、同じくインターナショナル・ビジネス・マシーンズ・コーポレーションにより提供され、z/Architectureを実装する、System zサーバなどのサーバの一部である。z/Architectureの一実施形態は、IBM(登録商標)の刊行物である非特許文献1に記載されており、その全体は引用により本明細書に組み入れられる。一例において、プロセッサは、同じくインターナショナル・ビジネス・マシーンズ・コーポレーションにより提供される、z/OSなどのオペレーティング・システムを実行する。IBM(登録商標)、z/Architecture(登録商標)、及びZ/OS(登録商標)は、米国ニューヨーク州アーモンク所在のインターナショナル・ビジネス・マシーンズ・コーポレーションの登録商標である。本明細書で使用される他の名称は、インターナショナル・ビジネス・マシーンズ・コーポレーション又は他の会社の登録商標、商標、又は製品名である場合がある。
さらに別の実施形態において、プロセッサ102は、インターナショナル・ビジネス・マシーンズ・コーポレーションにより提供されるPower Architectureに基づいている。Power Architectureの一実施形態は、非特許文献2に記載されており、その全体は引用により本明細書に組み入れられる。Power Architecture(登録商標)は、インターナショナル・ビジネス・マシーンズ・コーポレーションの登録商標である。
さらに別の実施形態において、プロセッサ102は、Intel Corporationにより提供されるIntelアーキテクチャに基づいている。Intelアーキテクチャの一実施形態は、非特許文献3及び非特許文献4に記載されており、その各々の全体は引用により本明細書に組み入れられる。Intel(登録商標)は、カリフォルニア州サンタクララ所在のIntel Corporationの登録商標である。
1つ又は複数の態様を組み込み、用いるためのコンピューティング環境の別の実施形態が、図2を参照して説明される。この例において、コンピューティング環境200は、例えば1つ又は複数のバス208及び/又は他の接続を介して互いに結合された、例えばネイティブ中央演算処理プロセッサ202、メモリ204、並びに1つ又は複数の入力/出力(I/O)デバイス及び/又はインターフェース206を含む。例として、コンピューティング環境200は、ニューヨーク州アーモンク所在のインターナショナル・ビジネス・マシーンズ・コーポレーションにより提供されるPowerPCプロセッサ、pSeiesサーバ、又はxSeriesサーバ、及びカリフォルニア州Palo Alto所在のHewlett Packard Co.,により提供される、Intel Itanium IIプロセッサを搭載するHP Superdome、及び/又はインターナショナル・ビジネス・マシーンズ・コーポレーション、Hewlett Packard、Intel、Oracle、又はその他により提供されるアーキテクチャに基づく他のマシンを含むことができる。
ネイティブ中央演算処理ユニット202は、環境内での処理の際に用いられる、1つ又は複数の汎用レジスタ及び/又は1つ又は複数の専用レジスタなどの1つ又は複数のネイティブ・レジスタ210を含む。これらのレジスタは、任意の特定の時点での環境の状態を表す情報を含む。
さらに、ネイティブ中央演算処理ユニット202は、メモリ204に格納された命令及びコードを実行する。1つの具体的な例においては、中央演算処理ユニットは、メモリ204に格納されたエミュレータ・コード212を実行する。このコードにより、1つのアーキテクチャで構成された処理環境が、別のアーキテクチャをエミュレートすることが可能になる。例えば、エミュレータ・コード212は、PowerPCプロセッサ、pSeriesサーバ、xSeriesサーバ、HP Superdomeサーバなどのような、z/Architecture以外のアーキテクチャに基づくマシンが、z/Architectureをエミュレートし、z/Architectureに基づき開発されたソフトウェア及び命令を実行することを可能にする。
エミュレータ・コード212に関する更なる詳細が、図3を参照して説明される。メモリ204に格納されたゲスト命令250が、ネイティブCPU202のもの以外のアーキテクチャで実行されるように開発されたソフトウェア命令(例えば、マシン命令に関する)を含む。例えば、ゲスト命令250は、z/Architectureプロセッサ102上で実行されるように設計されているが、代わりに、例えばIntel Itanium IIプロセッサとすることができるネイティブCPU202上でエミュレートされてもよい。一例において、エミュレータ・コード212は、メモリ204から1つ又は複数のゲスト命令250を取得し、取得した命令のためのローカル・バッファリングを随意的に提供するための命令フェッチ・ルーチン252を含む。エミュレータ・コード212はまた、取得したゲスト命令のタイプを判断し、ゲスト命令を1つ又は複数の対応するネイティブ命令256に変換するための命令変換ルーチン254も含む。この変換は、例えば、ゲスト命令により実施される機能を識別すること、及びその機能を実施するためのネイティブ命令を選択することを含む。
さらに、エミュレータ212は、ネイティブ命令を実行させるためのエミュレーション制御ルーチン260を含む。エミュレーション制御ルーチン260は、ネイティブCPU202に、既に取得した1つ又は複数のゲスト命令をエミュレートするネイティブ命令のルーチンを実行させ、こうした実行の最後に、制御を命令フェッチ・ルーチンに戻して、次のゲスト命令又はゲスト命令のグループの取得をエミュレートすることができる。ネイティブ命令256の実行は、データをメモリ204からレジスタにロードすること、データをレジスタから再びメモリに格納すること、又は変換ルーチンによって求められるような何らかのタイプの算術演算又は論理演算を実施することを含むことができる。
各ルーチンは、例えば、メモリに格納され、ネイティブ中央演算処理ユニット202によって実行される、ソフトウェアの形で実装される。他の例においては、ルーチン又は演算は、ファームウェア、ハードウェア、ソフトウェア、又はそれらの何らかの組み合わせの形で実装される。エミュレートされるプロセッサのレジスタは、ネイティブCPUのレジスタ210又はメモリ204内の位置を使用して、エミュレートすることができる。実施形態において、ゲスト命令250、ネイティブ命令256、及びエミュレータ・コード212は、同一のメモリ内にあっても、又は異なるメモリ・デバイス間に分散されてもよい。
本明細書で用いられるファームウェアは、例えば、プロセッサのマイクロコード、ミリコード、及び/又はマクロコードを含む。ファームウェアは、例えば、上位レベルのマシン・コードの実装に用いられるハードウェア・レベルの命令及び/又はデータ構造体を含む。一実施形態において、ファームウェアは、例えば、典型的には、信頼できるソフトウェアを含むマイクロコード、又は基礎をなすハードウェアに特有のマイクロコードとして配信される独自のコードを含み、システム・ハードウェアへのオペレーティング・システムのアクセスを制御する。
一例において、取得され、変換され、実行されるゲスト命令250は、本明細書で説明される1つの命令である。1つのアーキテクチャ(例えば、z/Architecture)のものであるこの命令が、メモリからフェッチされ、変換され、別のアーキテクチャ(例えば、PowerPC、pSeries、xSeries、Intel等)のネイティブ命令256のシーケンスとして表される。次に、これらのネイティブ命令が実行される。
一実施形態において、本明細書で説明される命令は、ベクトル・ファシリティの一部であるベクトル命令である。ベクトル・ファシリティは、例えば、1つの要素から16の要素までの範囲の固定サイズのベクトルを提供する。各ベクトルは、ファシリティ内で定められたベクトル命令により操作されるデータを含む。一実施形態において、ベクトルが複数の要素で構成される場合、各要素は、他の要素と共に並行処理される。全ての要素の処理が完了するまで、命令は完了しない。他の実施形態において、要素は部分的に並行処理され、及び/又は逐次的に処理される。
ベクトル命令は、z/Architecture、Power、x86、IA−32、IA−64等を含むがこれらに限定されるものではない、種々のアーキテクチャの一部として実装することができる。本明細書で説明される実施形態はz/Architectureに関するものであるが、本明細書で説明されるベクトル命令及び1つ又は複数の他の態様は、他の多数のアーキテクチャに基づくものであってもよい。z/Architectureは一例にすぎない。
ベクトル・ファシリティがz/Architectureの一部として実装される一実施形態において、ベクトル・レジスタ及び命令を使用するために、指定された制御レジスタ(例えば、制御レジスタ0)におけるベクトル・イネーブルメント制御(vector enablement control)及びレジスタ制御が、例えば1に設定される。ベクトル・ファシリティがインストールされており、ベクトル命令がイネーブルメント制御の設定なしに実行される場合、データ例外が認識される。ベクトル・ファシリティがインストールされておらず、ベクトル命令が実行される場合、演算例外が認識される。
一実施形態においては、32のベクトル・レジスタが存在し、他のタイプのレジスタは、ベクトル・レジスタの象限にマッピングすることができる。例えば、図4に示すように、レジスタ・ファイル300は32のベクトル・レジスタ302を含み、各レジスタの長さは128ビットである。長さが64ビットである16の浮動小数点レジスタ304は、ベクトル・レジスタに重ね合わせることができる。従って、一例として、浮動小数点レジスタ304が修正されると、ベクトル・レジスタ302も修正される。他のタイプのレジスタに対する他のマッピングも可能である。
ベクトル・データは、ストレージにおいて、例えば、他のデータ形式と同じ左から右への順序で現れる。0−7の番号が付けられたデータ形式のビットは、ストレージ内の左端の(最小番号を付された)バイト位置のバイトを構成し、ビット8−15は、次の順次位置のバイトを形成し、以下同様である。さらに別の例において、ベクトル・データは、ストレージにおいて、右から左などの別の順序で現れることがある。
本明細書で説明されるベクトル命令の各々は複数のフィールドを有し、フィールドの1つ又は複数は、それに付随する下付き数字を有する。命令フィールドに付随する下付き数字は、そのフィールドが適用されるオペランドを示す。例えば、ベクトル・レジスタVに付随する下付き数字1は、Vのレジスタが第1のオペランドを含むことを示し、以下同様である。レジスタ・オペランドは、長さが1レジスタであり、これは例えば128ビットである。
さらに、ベクトル・ファシリティが与えられるベクトル命令の多くは、指定ビットのフィールドを有する。レジスタ拡張ビット(register extension bit)又はRXBと呼ばれるこのフィールドは、ベクトル・レジスタ指定のオペランドの各々についての最上位ビットを含む。命令によって指定されないレジスタ指示のためのビットは、予約され、ゼロに設定される。最上位ビットは、例えば、4ビットのレジスタ指示の左に連結されて、5ビットのベクトル・レジスタ指示を作成する。
一例において、RXBフィールドは4ビット(例えば、ビット0−3)を含み、これらのビットは、以下のように定義される。:
0−命令の第1のベクトル・レジスタ指定(例えば、ビット8−11内)のための最上位ビット。
1−もしあれば、命令の第2のベクトル・レジスタ指定(例えば、ビット12−15内)のための最上位ビット。
2−もしあれば、命令の第3のベクトル・レジスタ指定(例えば、ビット16−19内)のための最上位ビット。
3−もしあれば、命令の第4のベクトル・レジスタ指定(例えば、ビット32−35内)のための最上位ビット。
各ビットは、例えば、レジスタ番号に応じて、アセンブラによりゼロ又は1に設定される。例えば、レジスタ0−15に対してビットは0に設定され、レジスタ16−31に対してビットは1に設定される、などである。
一実施形態において、各RXBビットは、1つ又は複数のベクトル・レジスタを含む命令における特定の位置のための拡張ビットである。例えば、1つ又は複数のベクトル命令において、RXBのビット0は、位置8−11のための拡張ビットであり、これが例えばVに割り当てられ、RXBのビット1は、位置12−15のための拡張ビットであり、これが例えばVに割り当てられ、以下同様である。さらに別の実施形態において、RXBフィールドは付加的なビットを含み、1つより多くのビットが、各ベクトル又は位置のための拡張として用いられる。
RXBフィールドを含む、一態様に従って提供される1つの命令が、Vector Floating Point Test Data Class Immediate(VFTCI)命令であり、その一例を図5に示す。一例において、Vector Floating Point Test Data Class Immediate命令400は、Vector Floating Point Test Data Class Immediate操作を指示するオペコード・フィールド402a(例えば、ビット0−7)、402b(例えば、ビット40−47)と、第1のベクトル・レジスタ(V)を指示するのに用いられる第1のベクトル・レジスタ・フィールド404(例えば、ビット8−11)と、第2のベクトル・レジスタ(V)を指示するのに用いられる第2のベクトル・レジスタ・フィールド406(例えば、ビット12−15)と、ビットマスクを含むための即値フィールド(I)408(例えば、ビット16−27)と、第1のマスク・フィールド(M)410(例えば、ビット28−31)と、第2のマスク・フィールド(M)412(例えば、ビット32−35)と、RXBフィールド414(例えば、ビット36−39)とを含む。フィールド404−414の各々は、一例においては、オペコード・フィールドから分離し、独立している。さらに、一実施形態において、これらのフィールド404−414は互いに分離し、独立しているが、他の実施形態においては、1つより多くのフィールドを組み合わせてもよい。これらのフィールドの使用に関する更なる情報を以下に説明する。
一例において、オペコード・フィールド402aにより指示されるオペコードの選択されたビット(例えば、最初の2ビット)は、命令の長さを指定する。この特定の例において、選択されたビットは、長さが3ハーフワード(halfword)であることを示す。さらに、命令の形式は、拡張されたオペコード・フィールドを伴うベクトル・レジスタ・アンド即値操作(vector register−and−immediate)操作である。ベクトル(V)フィールドの各々は、RXBによって指定されたその対応する拡張ビットと共に、ベクトル・レジスタを指示する。特に、ベクトル・レジスタについては、オペランドを含むレジスタが、例えば、その対応するレジスタ拡張ビット(RXB)を最上位ビットとして付加したレジスタ・フィールドの4ビット・フィールドを用いて指定される。例えば、4ビット・フィールドが0110であり、拡張ビットが0である場合、5ビット・フィールド00110はレジスタ番号6を示す。
さらに、VFTCI命令の一実施形態において、V404及びV406は、それぞれ、命令のための第1のオペランド及び第2のオペランドを含むベクトル・レジスタを指定する。付加的に、以下でさらに詳細に説明されるように、I408は複数のビットを有するビットマスクを含み、各ビットは2進浮動小数点要素のクラス及び符号(正又は負)を表すのに用いられる。
さらに別の実施形態において、ビットマスクは、例として、汎用レジスタ、メモリ、(要素ごとに異なる)ベクトル・レジスタの要素において、又はアドレス計算から、提供することができる。ビットマスクは、命令の明示的オペランドとして含ませてもよく、又は暗黙オペランド若しくは入力として含ませてもよい。
フィールド410は、例えば、4ビット(0−3)を有し、例えばビット0における単一要素制御(S)を指定する。ビット0が1に設定される場合、操作は、ベクトル内のゼロ・インデックス付の要素に対してのみ行われる。第1のオペランド・ベクトル内の他の全ての要素のビット位置は、予測不能である。ビット0がゼロに設定される場合、操作は、ベクトル内の全ての要素に対して行われる。
フィールド412は、例えば、命令の第2のオペランド内の浮動小数点数のサイズを指定するのに用いられる。一例において、このフィールドは、倍精度2進浮動小数点数を示す3に設定される。他の例も可能である。
Vector Floating Point Test Data Class Immediate命令の一実施形態の実行において、第3のオペランドから1つ又は複数のビットを選択するために、第2のオペランドの浮動小数点要素のクラス及び符号を検査する。選択されたビットが設定された場合、第1のオペランド内の対応する要素の全てのビット位置が1に設定され、そうでなければ、これらはゼロに設定される。つまり、第2のオペランドの要素内に含まれる浮動小数点数のクラス/符号が、第3のオペランド内の設定されたビット(即ち、例えば1に設定されたビット)と一致した場合、第2のオペランドの要素に対応する第1のオペランドの要素は、1に設定される。一例において、全てのオペランド要素は、長形式(long format)のBFP(2進浮動小数点)数を含む。
本明細書で示されるように、第3のオペランドの12ビット、すなわち命令テキストのビット16−27を用いて、BFPデータのクラス及び符号の12の組み合わせを指定する。一例において、図6に示されるように、BFPオペランド要素は、6つのクラス430:即ち、ゼロ、正規数、非正規数、無限大、クワイエット(quiet)NaN(NaN:Not−a−Number(非数))、及びシグナリング(signaling)NaNに分けられ、各クラスは、これと関連付けられた符号432(正又は負のいずれか)を有する。従って、例えば、Iのビット0は正符号を有するゼロ・クラスを指定し、ビット1は負符号を有するゼロ・クラスを指定する等である。
第3のオペランドの1つ又は複数のビットを1に設定することができる。さらに、一実施形態において、命令は、同時に1つ又は複数の要素を操作することができる。
IEEE例外を引き起こすことなく、SNaN(シグナリングNaN)及びQNaN(クワイエットNaN)を含むオペランド要素が検査される。
全ての要素に対する結果のサマリ条件コード:
0 全ての要素について、選択されたビットは1である(一致)
1 全ての要素ではないが、少なくとも1つの要素について、選択されたビットは1である(Sビットがゼロである場合)
2 −−
3 全ての要素について、選択されたビットは0である(非一致)
IEEE例外:なし
プログラム例外:
*ベクトル・ファシリティがイネーブルにされていないことを示す、データ例外コード(DXC)FEを伴うデータ、ベクトル命令
*演算(z/Architectureのためのベクトル・ファシリティがインストールされていない場合)
*指定
*トランザクション制限
プログラミング上の注意:
1.この命令は、例外のリスクなしに又はIEEEフラグを設定せずにオペランド要素をテストする方法を提供する。
2.Sビットが設定された場合、1の条件コードは使用されない。
Vector Floating Point Test Data Class Immediate命令の一実施形態に関する更なる詳細が、図7及び図8を参照して説明される。特に、図7は、プロセッサ(例えば、CPU)によって実施されるVector Floating Point Test Data Class Immediate命令と関連付けられた論理の一実施形態を示し、図8は、Vector Floating Point Test Data Class Immediate命令の実行を図示するブロック図の一例を示す。
図7を参照すると、最初に、要素インデックス(Ei)と呼ばれる変数をゼロに初期化する(ステップ450)。次に、この場合は要素0である要素Eiの値を、命令の第2のオペランドから(例えば、Vによって指示されるレジスタに格納されたオペランドから)抽出する(ステップ452)。以下で説明されるように、長形式の2進浮動小数点の値であるこの値をタイプ番号に変換し、第2のオペランドの浮動小数点要素についてのクラス及び符号を取得する(ステップ454)。一例において、浮動小数点数のサイズ453を変換論理に入力する。図6を参照して説明されるように、取得したクラス及び符号を特定のクラス/符号ビットと関連付ける。例えば、浮動小数点数が正の正規数であることが変換により示される場合、ビット2をその浮動小数点数と関連付ける。
変換に続いて、変換に基づいて決定された特定のビットに対応する第3のオペランド内のビット(選択されたビットと呼ばれる)をチェックする(ステップ456)。選択されたビットが設定された場合(問い合わせ458)、要素(Ei)に対応する第1のオペランド内の要素を全て1に等しくなるように設定し(ステップ460)、そうでなければ、第1のオペランド内の要素をゼロと等しくなるように設定する(ステップ462)。例えば、要素0内の浮動小数点数の変換が正の正規数を示す場合、ビット2をその数と関連付ける。従って、第3のオペランドのビット2をチェックし、これが1に設定された場合、第1のオペランドの要素0を全て1に設定する。
その後、Eiが第2のオペランドの要素の最大数に等しいかどうかについての判断を行う(問い合わせ464)。等しくない場合、Eiを例えば1だけインクリメントし(ステップ466)、処理はステップ452を続行する。そうではなく、Eiが要素の最大数に等しい場合、サマリ条件コードを生成する(ステップ468)。サマリ条件コードは、第2のオペランドの全ての要素についての処理を要約する。例えば、全ての要素について、選択されたビットが1である場合(一致)、結果の条件コードはゼロである。一方、要素の全てではないが少なくとも1つについて、選択されたビットが1である場合(Sビットがゼロでない場合)、条件コードは1であり、要素の全てについて選択されたビットが0である場合(非一致)、条件コードは3である。
上記の処理は、図8のブロック図に示される。示されるように、ベクトル・レジスタ480は、各々が浮動小数点数を含む、複数の要素482a−482nを含む。浮動小数点数483a−483nの各々の浮動小数点数及びサイズは、タイプ番号への変換(convert−to−type number)論理484a−484nに入力され、その出力は、その浮動小数点数についてのクラス/符号を表す特定のビットである。次に、特定のビットの各々に対応する各マスク486a−486n内の選択されたビットをチェックする。選択されたビットが設定されているかどうかに応じて、ベクトル・レジスタ480内の第1のオペランドが設定される。例えば、第2のオペランドの要素0に対して、選択されたビットが設定されている場合、第1のオペランドの要素490aは全て1に設定される。同様に、第2のオペランドの要素1に対する選択されたビットが設定されていない(例えば、ゼロに設定されている)場合、第1のオペランドの要素490bは全てゼロに設定される。
ここで、タイプ番号への変換論理の一実施形態の更なる詳細を説明する。最初に、標準的なIEEE2進浮動小数点数である浮動小数点数を、既知のように、3つの部分:即ち符号部、指数部(8ビット)+127、及び仮数部(23ビット)に変換する。次に、図9に示されるように、3つの部分全ての値をチェックして、クラス及び符号を判断する。例えば、符号は符号部の値であり、クラス(図9では、エンティティとしても知られる)は、指数部及び仮数部の値に基づいている(図9の単位ビットは、仮数部の暗黙ビットである)。一例として、指数部及び仮数部(単位ビットを含む)の値がゼロの場合、クラスはゼロであり、符号部が正の場合、符号は正である。従って、ビット0(図6)は、この浮動小数点数のクラス/符号を表す。
上述したのは、ベクトル内の要素の浮動小数点クラスをテストし、結果のビットマスクを設定するための命令の一実施形態である。Vector Floating Point Test Data Class Immediate命令は、検出するための浮動小数点数のクラスを各ビットが表す即値フィールドを有する。入力ベクトルの各浮動小数点の要素をテストして、値が、命令によって指定されるクラスのいずれかの中にあるかどうかを確認する。浮動小数点要素がクラスの1つの中にある場合、出力ベクトルの対応する要素のビット位置は1に設定される。これは、いかなる例外又は割り込みも引き起こすことなく、2進浮動小数点数に関する何らかの特性(例えば、クラス及び符号)を判断するための技術を提供する。
さらに別の実施形態において、第3のオペランドのどのビットが(例えば1に)設定されているかをチェックし、次いで、第2のオペランドの1つ又は複数の要素のクラス/符号が設定されたビットの1つと同じであるかどうかを判断することにより、テストを行うことができる。次いで、比較に基づいて第1のオペランドを設定する。
さらに別の態様において、Vector Checksum命令が提供され、その一例が図10に示される。一例において、Vector Checksum命令500は、Vector Checksum操作を示すオペコード・フィールド502a(例えば、ビット0−7)、502b(例えば、ビット40−47)と、第1のベクトル・レジスタ(V)を指示するのに用いられる第1のベクトル・レジスタ・フィールド504(例えば、ビット8−11)と、第2のベクトル・レジスタ(V)を指示するのに用いられる第2のベクトル・レジスタ・フィールド506(例えば、ビット12−15)と、第3のベクトル・レジスタ(V)を指示するのに用いられる第3のベクトル・レジスタ・フィールド508(例えば、ビット16−19)と、RXBフィールド510(例えば、ビット36−39)とを含む。フィールド504乃至510の各々は、一例において、オペコード・フィールドから分離され、独立している。さらに、一実施形態において、これらのフィールド504乃至510は互いに分離し、独立しているが、他の実施形態においては、1つより多くのフィールドを組み合わせてもよい。
さらに別の実施形態において、第3のベクトル・レジスタ・フィールドは、命令の明示的オペランドとしては含まれず、代わりに、暗黙オペランド又は入力である。さらに、オペランドにおいて提供される値を、例えば汎用レジスタで、メモリで、アドレス計算としてなど、他の手法で提供することもできる。
さらに別の実施形態において、第3のオペランドは、明示的であれ又は暗黙的であれ、全く提供されない。
一例において、オペコード・フィールド502aにより指示されるオペコードの選択されたビット(例えば、最初の2ビット)は、命令の長さを指定する。この特定の例において、選択されたビットは、長さが3ハーフワードであることを示す。さらに、命令の形式は、拡張されたオペコード・フィールドを伴うベクトル・レジスタ・アンド・レジスタ(vector register−and−register)操作である。ベクトル(V)フィールドの各々は、RXBによって指定されたその対応する拡張ビットと共に、ベクトル・レジスタを指示する。特に、ベクトル・レジスタについては、オペランドを含むレジスタは、例えば、その対応するレジスタ拡張ビット(RXB)を最上位ビットとして付加したレジスタ・フィールドの4ビット・フィールドを用いて指定される。
Vector Checksum命令の一実施形態の実行において、例えばワード(word)サイズである第2のオペランドからの要素が、第3のオペランドの選択された要素、例えば第3のオペランドのワード1内の要素と共に、1つずつ加算される。(別の実施形態においては、第3のオペランドの選択された要素の加算は任意である。)和は、第1のオペランドの選択された位置、例えばワード1に入れられる。第1のオペランドの他のワード要素、例えばワード要素0及び2−3に、ゼロが入れられる。ワード・サイズ要素は、全て32ビットの符号なし2進整数として扱われる。要素のそれぞれの加算後、例えば和のビット位置0のキャリー出力を、例えば、第1のオペランドのワード要素1における結果のビット位置31に加算する。
条件コード:コードは変更されないままである。
プログラム例外:
*ベクトル・ファシリティがイネーブルにされていないことを示す、データ例外コード(DXC)FEを伴うデータ、ベクトル命令
*演算(z/Architectureのためのベクトル・ファシリティがインストールされていない場合)
*トランザクション制限
プログラミング上の注意:
1.第3のオペランドのコンテンツは、チェックサム計算アルゴリズムの開始時にゼロを含むことになる。
2.16ビット・チェックサムは、例えば、TCP/IPアプリケーションにおいて用いられる。32ビット・チェックサムを計算した後、以下のプログラムを実行することができる。
Figure 2016512627
要素2内のハーフワードは、16ビット・チェックサムを含む。
Vector Checksum命令に関する更なる詳細が、図11及び図12を参照して説明される。一例において、図11は、Vector Checksum命令の実行においてプロセッサにより実施される論理の一実施形態を示し、図12は、Vector Checksum命令の実行の一例のブロック図を示す。
図11を参照すると、最初に、第1のオペランド(OP1)の要素インデックス(Ey)を、例えば第1のオペランドの要素1を示す1に設定する(ステップ530)。同様に、第3のオペランド(OP3)の要素インデックス(Ex)を、例えば第3のオペランドの要素1を示す1に設定する(ステップ532)。次に、要素インデックス(Ei)を0と等しくなるように設定し、要素インデックス(Ey)における要素、即ちこの例では要素1をゼロに初期化する(ステップ534)。さらに別の実施形態において、Ex及びEyは、任意の有効な要素インデックスに設定することができる。
OP1(Ey)=OP1(Ey)+OP2(Ei)+OP2(Ei+1)である、エンド・アラウンド・キャリー(EAC)加算を行う(ステップ536)。従って、出力ベクトル(OP1)の要素1を、その要素のコンテンツに第2のオペランド(OP2)の要素0内の値及び第2のオペランドの要素1内の値を加算したものと等しくなるように、設定する。エンド・アラウンド・キャリー加算を用いて、加算演算を行い、加算からのあらゆるキャリー出力を和に戻し、新しい和を生成する。
さらに別の実施形態においては、上述のように加算する代わりに、以下を実施する。すなわち、一時的アキュムレータ値を定め、ゼロに初期化し、次に、一度に1つの要素を加算する。さらに別の実施形態として、全てのワードを並列に加算し、一時的アキュムレータは存在しない。他の変形も可能である。
その後、第2のオペランド内に加算するべき付加的な要素があるかどうかについての判断を行う(問い合わせ538)。例えば、Ei−2<第2のオペランドの要素の番号であるか。加算すべき第2のオペランドの要素がさらにある場合、Eiを、例えば2だけインクリメントし(ステップ540)、処理はステップ536を続行する。
第2のオペランドにわたって要素を加算した後、結果を第3のオペランド内の値に加算する。例えば、第1のオペランドの要素(Ey)(これは、全ての第2のオペランドの要素にわたるEAC加算の和である)と第3のオペランド(OP3)の要素(Ex)内の値とのエンド・アラウンド・キャリー加算を行う(即ち、EAC ADD OP1(Ey)+OP3(Ex))(ステップ542)。これは、図12に示される。
図12に示されるように、第2のオペランド550は複数の要素552a−552nを含み、これらの要素が、第3のオペランド560のワード1内の要素(562)と共に1つずつ加算される。結果は、第1のオペランド570の要素1(572)に入れられる。これは、式Ey=Ex+Eの総和、により数学的に表され、ここで、iは0乃至nであり、加算はエンド・アラウンド・キャリー加算である。
上述したのは、レーン(lane)算術計算を行う代わりに、ベクトル・レジスタの要素にわたってチェックサムを行うVector Checksum命令の一実施形態である。一実施形態において、Vector Checksum命令は、エンド・アラウンド・キャリー加算によりsum−acrossを実施することにより、チェックサムを行う。一例において、Vector Checksum命令は、ベクトル・レジスタから4つの4バイト整数要素を取り出し、これらを加算する。加算からのあらゆるキャリー(桁上げ、carry)が戻されて加えられる。4バイトの和を別のオペランド内の4バイト要素に加算し、次に、さらに別のベクトル・レジスタに保存する(例えば、ベクトル・レジスタの下位4バイト要素が、ベクトル・レジスタの上位要素内に格納される)。
さらに別の実施形態において、値を保存するためにさらに別のベクトル・レジスタ又は別のレジスタが使用されず、代わりに、他のレジスタ(即ち、オペランド)の1つがアキュムレータとして使用される。
与えられるチェックサムを用いて、データの完全性を保つことができる。受信したデータが正しいことを検証するために、チェックサムが、データに適用され、ノイズのあるチャネル上で送られることが多い。この例では、本明細書で説明されるように、連続する4バイト整数を加算することによって、チェックサムが計算される。整数算術演算のキャリー出力がある場合、キャリー及び付加的な1が、累積和に加算される。
本明細書ではチェックサムが説明されるが、類似の技術を他のエンド・アラウンド・キャリー加算に対して用いることができる。
一態様に従って提供されるさらに別の命令は、Vector Galois Field Multiply Sum and Accumulate(VGFMA)命令であり、その一例を図13に示す。一例において、Vector Galois Field Multiply Sum and Accumulate命令600は、Vector Galois Field Multiply Sum and Accumulate操作を示す、オペコード・フィールド602a(例えば、ビット0−7)、602b(例えば、ビット40−47)と、第1のベクトル・レジスタ(V)を指示するのに用いられる第1のベクトル・レジスタ・フィールド604(例えば、ビット8−11)と、第2のベクトル・レジスタ(V)を指示するのに用いられる第2のベクトル・レジスタ・フィールド606(例えば、ビット12−15)と、第3のベクトル・レジスタ(V)を指示するのに用いられる第3のベクトル・レジスタ・フィールド608(例えば、ビット16−19)と、マスク・フィールド(M)610(例えば、ビット20−23)と、第4のベクトル・レジスタ(V)を指示するのに用いられる第4のベクトル・レジスタ・フィールド612(例えば、ビット32−35)と、RXBフィールド614(例えば、ビット36−39)とを含む。フィールド604−614の各々は、一例において、オペコード・フィールドから分離し、独立している。さらに、一実施形態においては、これらのフィールド604−614は互いに分離し、独立しているが、他の実施形態においては、1つより多くのフィールドを組み合わせてもよい。
一例において、オペコード・フィールド602aにより指示されるオペコードの選択されたビット(例えば、最初の2ビット)は、命令の長さを指定する。この特定の例において、選択されたビットは、長さが3ハーフワードであることを示す。さらに、命令の形式は、拡張されたオペコード・フィールドを伴うベクトル・レジスタ・アンド・レジスタ操作である。ベクトル(V)フィールドの各々は、RXBによって指定されたその対応する拡張ビットと共に、ベクトル・レジスタを指示する。特に、ベクトル・レジスタについては、例えば、その対応するレジスタ拡張ビット(RXB)を最上位ビットとして付加したレジスタ・フィールドの4ビット・フィールドを用いて、オペランドを含むレジスタが指定される。
フィールド610は、例えば4ビット(0−3)を含み、要素サイズ(ES)制御を指定する。要素サイズ制御は、ベクトル・レジスタ・オペランド2及び3内の要素のサイズを指定し、第1のオペランド及び第4のオペランド内の要素は、ES制御によって指定されるものの2倍のサイズである。例えば、Mにおける0の値はバイト・サイズの要素を示し、例として、1はハーフワードを示し、2はワードを示し、3はダブルワード(doubleword)を示す。
Vector Galois Field Multiply Sum and Accumulate命令の一実施形態の実行においては、ガロア体(Galois field)(即ち、有限数の要素を有する有限フィールド)において、第2のオペランドの各要素に、第3のオペランドの対応する要素を乗算する。つまり、キャリーレス(桁上げなし、carryless)乗算を用いて、第2のオペランドの各要素に、対応する第3のオペランドの要素を乗算する。一例において、ガロア体は、2の位数を有する。この乗算は、標準的な2進乗算に類似しているが、シフトされる被乗数を加算する代わりに、排他的論理和演算(XOR)される。例えば、ダブル要素サイズの積の結果として得られる偶数−奇数の対を互いに排他的論理和演算し、第4のオペランドの、例えばダブルワイド要素などの対応する要素と排他的論理和演算する。結果は、例えば、第1のオペランドのダブルワイド要素に入れられる。
条件コード:コードは変更されないままである。
プログラム例外:
*ベクトル・ファシリティがイネーブルにされていないことを示す、データ例外コード(DXC)FEを伴うデータ、ベクトル命令
*演算(z/Architectureのためのベクトル・ファシリティがインストールされていない場合)
*指定
*トランザクション制限
さらに別の実施形態において、命令は、1つ又は複数のより少ない数のオペランドを含むことができる。例えば、第4のオペランドの代わりに、排他的論理和演算されるべき値は第1のオペランド内にあり、この値は結果も含む。他の変形も可能である。
Vector Galois Field Multiply Sum and Accumulate命令の実行の一実施形態に関する更なる詳細が、図14及び図15を参照して説明される。一例において、図14は、Vector Galois Field Multiply Sum and Accumulate命令を実行するためにプロセッサによって実施される論理の一実施形態を示し、図15は、その論理の実行を示すブロック図の一例を示す。
図14を参照すると、最初に、第2のオペランド(OP2)、第3のオペランド(OP3)、及び第4のオペランド(OP4)から、偶数/奇数の対を抽出し(ステップ630)、carryless multiply sum accumulate関数を実施する(ステップ632)。例えば、2の累乗のガロア体において動作する場合、キャリーレス乗算はシフト・アンドXOR(排他的OR)であり、これはあらゆるキャリーを事実上無視する。結果は、第1のオペランド(OP1)に入れられ(ステップ634)、抽出されるべき対がさらにあるかどうかについての判断が行われる(問い合わせ636)。対がさらにある場合、処理はステップ630を続行し、他の場合には、処理は完了する(ステップ638)。一例において、要素サイズ631は、ステップ630−634への入力である。
ステップ632のcarryless multiply sum accumulate関数の更なる詳細が、図15を参照して説明される。示されるように、オペランドの対OP2H 652a、OP2L 652bが、第2のオペランド650から抽出される。さらに、オペランドの対OP3H 662a、OP3L 662bが、第3のオペランド660から抽出され、オペランドの対OP4H 672a及びOP4L 672bが、第4のオペランド670から抽出される。キャリーレス乗算によって、オペランドOP2H 652aに、オペランドOP3H 662aを乗算して、結果H 680aが与えられる。同様に、キャリーレス乗算によって、オペランドOP2L 652bに、オペランドOP3L 662bを乗算して、結果L 680bが与えられる。次に、結果H 680aを結果L 680bと排他的論理和演算し、その結果をオペランドOPH 672a及びオペランドOP4L 672bと排他的論理和演算し、結果を、OP1H 690a、OP1L 690bに入れる。
本明細書で説明されたのは、キャリーレス乗算演算を行い、次に最終的な排他的論理和演算を行って累積和を生成するベクトル命令である。この技術は、2の位数を有する有限体で演算を行うエラー検出コード及び暗号化の種々の態様と共に使用することができる。
一例において、命令は、ベクトル・レジスタの複数の要素に対して、キャリーレス乗算演算を行って和を得る。さらに、命令は、和に対して最終的な排他的論理和演算を行って累積和を生成する。命令は、実行されると、ガロア体において第2のベクトル及び第3のベクトルの対応する要素を乗算し、シフトされた被乗数を排他的論理和演算する。各々のダブルワイドの積を互いに排他的論理和演算し、結果を、第1のベクトルの対応するダブルワイド要素と排他的論理和演算する。結果は、第1のベクトル・レジスタに格納される。ダブルワード要素が上述されているが、他の要素サイズのワード・サイズ要素を用いてもよい。命令は、多数の異なる要素サイズで動作することができる。
一態様に従って提供されるさらに別の命令は、Vector Generate Mask(VGM)命令であり、その一例が図16を参照して説明される。一例において、Vector Generate Mask命令700は、Vector Generate Mask操作を示すオペコード・フィールド702a(例えば、ビット0−7)、702b(例えば、ビット40−47)と、第1のベクトル・レジスタ(V)を指示するのに用いられる第1のベクトル・レジスタ・フィールド704(例えば、ビット8−11)と、第1の値を指定するのに用いられる第1の即値フィールドI706(例えば、ビット16−24)と、第2の値を指定するのに用いられる第2の即値フィールド(I)708(例えば、ビット24−32)と、マスク・フィールド(M)710(例えば、ビット32−35)と、RXBフィールド712(例えば、ビット36−39)とを含む。フィールド704−712の各々は、一例においては、オペコード・フィールドから分離し、独立している。さらに、一実施形態において、これらのフィールド704−712は互いに分離し、独立しているが、他の実施形態においては、1つより多くのフィールドを組み合わせてもよい。
さらに別の実施形態において、第1の値及び/又は第2の値は、例として、汎用レジスタ、メモリ、(要素ごとに異なる)ベクトル・レジスタの要素において、又は、アドレス計算から、提供することができる。値は、命令の明示的オペランドとして含ませてもよく、又は暗黙オペランド若しくは入力として含ませてもよい。
一例において、オペコード・フィールド702aにより指示されるオペコードの選択されたビット(例えば、最初の2ビット)は、命令の長さを指定する。この特定の例において、選択されたビットは、長さが3ハーフワードであることを示す。さらに、命令の形式は、拡張されたオペコード・フィールドを伴うベクトル・レジスタ・アンド即値操作である。ベクトル(V)フィールドの各々は、RXBによって指定されたその対応する拡張ビットと共に、ベクトル・レジスタを指示する。特に、ベクトル・レジスタについては、オペランドを含むレジスタが、例えば、その対応するレジスタ拡張ビット(RXB)を最上位ビットとして付加したレジスタ・フィールドの4ビット・フィールドを用いて指定される。
フィールドは、例えば、要素サイズ制御(ES)を指定する。要素サイズ制御は、ベクトル・レジスタ・オペランド内の要素のサイズを指定する。一例において、Mフィールドのビット0は1バイトを指定し、ビット1はハーフワード(例えば2バイト)を指定し、ビット2はワード(例えば4バイト、別名フルワード)を指定し、ビット3はダブルワードを指定する。
Vector Generate Mask命令の一実施形態の実行において、第1のオペランド内の各要素について、ビットマスクが生成される。マスクは、例えばI内の符号なし整数値が指定するビット位置から開始して、例えばI内の符号なし整数値が指定するビット位置で終了する、1に設定されたビットを含む。他の全てのビット位置はゼロに設定される。一例において、指定された要素サイズのビット位置の全てを表すのに必要なビット数のみが、Iフィールド及びIフィールドから使用され、他のビットは無視される。Iフィールド内のビット位置がIフィールド内のビット位置より大きい場合、ビット範囲は、指定された要素サイズの最大ビット位置でラップする。例えば、バイト・サイズの要素を仮定すると、I=1及びI=6であれば、結果のマスクは、Xξ7Eξ、又はBξ01111110ξである。しかしながら、I=6及びI=1であれば、結果のマスクは、Xξ81ξ、又はbξ10000001ξである。
条件コード:コードは変更されないままである。
プログラム例外:
*ベクトル・ファシリティがイネーブルにされていないことを示す、データ例外コード(DXC)FEを伴うデータ、ベクトル命令
*演算(z/Architectureのためのベクトル・ファシリティがインストールされていない場合)
*指定
*トランザクション制限
Vector Generate Mask命令の一実施形態に関する更なる詳細が、図17及び図18を参照して説明される。特に、図17は、プロセッサによって実施されるVector Generate Mask命令と関連付けられた論理の一実施形態を示し、図18は、Vector Generate Mask命令の実行の一実施形態を図示するブロック図の一例を示す。
図17を参照すると、最初に、第1のオペランド内の各要素について、マスクを生成する(ステップ720)。このステップは、第2のオペランド・フィールド内で開始位置(722)として指定された値と、第3のオペランド・フィールド内で終了位置(724)として指定された値と、Mフィールド内で指定された要素サイズ(726)とを含む種々の入力を用いる。これらの入力は、マスクを生成し、第1のオペランド(Op1)の、例えば要素0などの選択された要素の位置を埋める(ステップ730)のに用いられる。例えば、第1のオペランド(Op1)の要素0は、複数の位置(例えば、ビット位置)を含み、I内の符号なし整数値が指定する位置で開始し、I内の符号なし整数値が指定する位置で終了し、第1のオペランドの要素0の位置(例えば、ビット)は、1に設定される。他のビット位置は0に設定される。その後、第1のオペランド内に要素がさらにあるかどうかについての判断を行う(問い合わせ734)。要素がさらにある場合、処理はステップ720を続行する。他の場合には、処理は完了する(ステップ736)。
マスクを生成すること及び第1のオペランドを埋めることが、図18に示される。示されるように、入力(例えば、722−726)を用いて、第1のオペランドの各要素についてのマスクが生成され(720)、マスクを生成した結果は、第1のオペランドの要素740内に格納される。
上記で詳細に説明されるのは、ベクトルの各要素についてビットマスクを生成するための命令である。一実施形態において、命令は、開始ビット位置及び終了ビット位置を利用してビットマスクを生成し、このビットマスクは各要素について複製される。命令は、ビット範囲を指定し、範囲内の各ビットは、ベクトル・レジスタの各要素について1に設定されるが、他のビットはゼロに設定される。
一実施形態において、ビットマスクを生成するための命令を用いることにより、例えば、命令ストリームのキャッシュ・フットプリントを増大させ、必要なマスク数に応じて重要ループにおける待ち時間を増大させる場合があるメモリからビットマスクをロードすることに勝る利点が提供される。
1つの態様に従って提供されるさらに別の命令は、Vector Element Rotate and Insert Under Mask(VERIM)命令であり、その一例が図19に示される。一例において、Vector Element Rotate and Insert Under Mask命令800は、Vector Element Rotate and Insert Under Mask操作を示すオペコード・フィールド802a(例えば、ビット0−7)、802b(例えば、ビット40−47)と、第1のベクトル・レジスタ(V)を指示するのに用いられる第1のベクトル・レジスタ・フィールド804(例えば、ビット8−11)と、第2のベクトル・レジスタ(V)を指示するのに用いられる第2のベクトル・レジスタ・フィールド806(例えば、ビット12−15)と、第3のベクトル・レジスタ(V)を指示するのに用いられる第3のベクトル・レジスタ・フィールド808(例えば、ビット16−19)と、例えば各要素をローテートするためのビット数を指定する符号なし2進整数を含む即値フィールド(I)812(例えば、ビット24−31)と、マスク・フィールド(M)814(例えば、ビット32−35)と、RXBフィールド816(例えば、ビット36−39)とを含む。フィールド804−816の各々は、一例において、オペコード・フィールドから分離し、独立している。さらに、一実施形態において、これらのフィールド804−816は互いに分離し、独立しているが、他の実施形態においては、1つより多くのフィールドを組み合わせてもよい。
一例において、オペコード・フィールド802aにより指示されるオペコードの選択されたビット(例えば、最初の2ビット)は、命令の長さを指定する。この特定の例において、選択されたビットは、長さが3ハーフワードであることを示す。さらに、命令の形式は、拡張されたオペコード・フィールドを伴うベクトル・レジスタ・アンド即値操作である。ベクトル(V)フィールドの各々は、RXBによって指定されたその対応する拡張ビットと共に、ベクトル・レジスタを指示する。特に、ベクトル・レジスタについては、オペランドを含むレジスタが、例えば、対応するレジスタ拡張ビット(RXB)を最上位ビットとして付加したレジスタ・フィールドの4ビット・フィールドを用いて指定される。
フィールドは、要素サイズ制御(ES)を指定する。要素サイズ制御は、ベクトル・レジスタ・オペランド内の要素のサイズを指定する。一例において、Mフィールドのビット0はバイトを指定し、ビット1はハーフワード(例えば、2バイト)を指定し、ビット2はワード(例えば、4バイト、別名フルワード)を指定し、ビット3はダブルワードを指定する。
Vector Element Rotate and Insert Under Mask命令の一実施形態の実行において、第2のオペランドの各要素は、第4のオペランドによって指定されたビット数だけ左にローテートされる。要素の左端のビット位置から外にシフトされた各ビットは、要素の右端のビット位置に再び入る。第3のオペランドは、各要素内にマスクを含む。第3のオペランド内の1である各ビットについて、第2のオペランド内のローテートされた要素の対応するビットが、第1のオペランド内の対応するビットに置き換わる。つまり、ローテートされた要素の対応するビットの値が、第1のオペランド内の対応するビットの値に置き換わる。第3のオペランド内の0である各ビットについて、第1のオペランドの対応するビットは変更されないままである。第1のオペランドが第2のオペランド又は第3のオペランドのいずれかと同一である場合を除いて、第2のオペランド及び第3のオペランドは変更されないままである。
第4のオペランドは、例えば、第2のオペランド内の各要素をローテートするビット数を指定する、符号なし2進整数である。この値が指定された要素サイズのビット数より大きい場合、要素内のビット数を法として、値が減らされる。
一例において、第3のオペランドに含まれるマスクは、本明細書で説明されるVGM命令を用いて生成される。
条件コード:コードは変更されないままである。
プログラム例外:
*ベクトル・ファシリティがイネーブルにされていないことを示す、データ例外コード(DXC)FEを伴うデータ、ベクトル命令
*演算(z/Architectureのためのベクトル・ファシリティがインストールされていない場合)
*指定
*トランザクション制限
プログラミング上の注意:
1.VERIMとVGMとの組み合わせを用いて、Rotate and Insert Selected Bits命令の完全な機能を達成することができる。
2.Iフィールドのビットは、各要素を左にローテートするためのビット数を指定する符号なし2進整数を含むように定義されるが、右へのローテート量を効果的に指定する負の数をコード化してもよい。
Vector Element Rotate and Insert Under Mask命令の実行に関する更なる詳細が、図20及び図21を参照して説明される。特に、図20は、プロセッサによって実施されるVector Element Rotate and Insert Under Mask命令と関連付けられた論理の一実施形態を示し、図21は、Vector Element Rotate and Insert Under Mask命令の実行の一例を図形的に示す。
図20を参照すると、第2のオペランドの選択された要素が、第4のオペランドで指定された量(820)だけローテートされる(ステップ830)。第4のオペランドで指定された値が要素サイズ(822)で指定されたビット数より大きい場合、その値は要素内のビット数を法として減らされる。
要素のビットをローテートさせた後、merge under maskを実施する(ステップ832)。例えば、第3のオペランド内の1である各ビット(824)について、第2のオペランド内のローテートされた要素の対応するビットが、第1のオペランド内の対応するビットに置き換わる。
その後、ローテートされるべき要素がさらにあるかどうかについての判断が行われる(問い合わせ834)。ローテートされるべき要素がさらにある場合、処理はステップ830を続行する。そうでない場合には、処理は完了する(ステップ836)。
図21を参照すると、示されるように、第2のオペランドの要素は、入力820及び822に基づいてローテートされる(830)。さらに、入力824を用いて、merge under mask(832)を実施する。出力は、第1のオペランド850に与えられる。
上述したのは、Vector Element Rotate and Insert Under Mask命令の一例である。この命令は、定められたビット数だけ、選択されたオペランド内の要素をローテートするのに用いられる。ビットが指定されるが、さらに別の実施形態においては、位置の数だけ要素をローテートさせることができ、位置は、ビット以外であってもよい。さらに、命令は、異なる要素サイズと共に用いることができる。
一例として、こうした命令は、テーブル・ルックアップの数から特定のビット範囲を選択するために用いられる。
特定のベクトル命令又は他のSIMD操作の実行の際、例外が発生することがある。SIMD操作において例外が発生した場合、通常、ベクトル・レジスタのどの要素が例外を引き起こしたのかは未知である。どの要素が例外を引き起こしたのかを判断するために、ソフトウェア割り込みハンドラは、各要素を抽出し、スカラー・モードで計算をやり直さなければならない。しかしながら、一態様によれば、マシン(例えば、プロセッサ)がベクトル演算に起因するプログラム割り込みを処理するとき、例えば、例外を引き起こしたベクトル内の最小インデックス付き要素を示す要素インデックスが報告される。そして、ソフトウェア割り込みハンドラは、即座に当該要素にスキップし、いずれかの必要な又は所望のアクションを実施することができる。
例えば、一実施形態において、ベクトル・データ例外がプログラム割り込みを発生させた場合、ベクトル例外コード(VXC)が、例えば実メモリ位置(例えば、位置147(Xξ93ξ))に格納され、ゼロが、実メモリ位置144−146(Xξ90ξ−Xξ92ξ))に格納される。さらに別の実施形態において、指定された制御レジスタ(例えば、CR0)の指定されたビット(例えば、ビット45)が1である場合、VXCは、浮動小数点制御レジスタのデータ例外コード(DXC)フィールドにも入れられる。制御レジスタ0のビット45が0であり、制御レジスタ0のビット46が1である場合、FPCレジスタのDXC、及び、位置147(Xξ93ξ)におけるストレージのコンテンツは予測不能である。
一実施形態において、VXCは、種々のタイプのベクトル浮動小数点例外を区別して、どの要素が例外を引き起こしたのかを示す。一例において、図22に示されるように、ベクトル例外コード900が、ベクトル・インデックス(VIX)902と、ベクトル割り込みコード(VIC)904とを含む。一例において、ベクトル・インデックスは、ベクトル例外コードのビット0−3を含み、その値は、例外を認識した選択されたベクトル・レジスタの左端の要素のインデックスである。さらに、ベクトル割り込みコードは、ベクトル例外コードのビット4−7に含まれ、例として以下の値を有する。
0001 IEEE無効操作
0010 IEEEゼロ除算
0011 IEEEオーバーフロー
0100 IEEEアンダーフロー
0101 IEEE不正確
さらに別の実施形態において、VXCは、例外を引き起こした要素のベクトル・インデックス又は他の位置インジケータのみを含む。
一実施形態において、VXCは、例えば以下の命令を含む多数の命令:即ち、例として、Vector Floating Point(FP) Add、Vector FP Campare Scalar、Vector FP Compare Equal、Vector FP Compare High or Equal、Vector FP Convert From Fixed 64−Bit、Vector FP Convert From Logical 64−Bit、Vector FP Convert to Fixed 64−Bit、Vector FP Convert to Logical 64−Bit、Vector FP Divide、Vector Load FP Integer、Vector FP Load Lengthened、Vector FP Load Rounded、Vector FP Multiply、Vector FP Multiply and Add、Vector FP Multiple and Subtract、Vector FP Square Root、及びVector FP Subtract、並びに他のタイプのベクトル浮動小数点命令及び/又は他の命令によって設定することができる。
ベクトル例外コードの設定に関する更なる詳細が、図23を参照して説明される。一実施形態において、コンピューティング環境のプロセッサがこの論理を実施する。
図23を参照すると、最初に、上に列挙した命令の1つ又は別の命令などの、ベクトル・レジスタ上で動作する命令が実行される(ステップ920)。命令の実行の際、例外条件が引き起こされる(ステップ922)。一例において、例外条件は割り込みを発生させる。ベクトル・レジスタのどの要素が例外を引き起こしたかについての判断が行われる(ステップ924)。例えば、ベクトル・レジスタの1つ又は複数の要素の計算を実施しているプロセッサの1つ又は複数のハードウェア・ユニットが例外を判断し、信号を出す。例えば、複数のハードウェア・ユニットがベクトル・レジスタの複数の要素の計算を並行して実施し、要素の1つ又は複数の処理中に例外が引き起こされた場合、例外を引き起こした処理を実施しているハードウェア・ユニットは、例外条件、並びに処理していた要素の表示を信号で送る。さらに別の実施形態においては、ベクトルの要素が逐次的に処理され、要素の処理中に例外に遭遇した場合、ハードウェアは、例外が発生したときにシーケンス内のどの要素にとりかかっていたかを示す。
例外の信号送信に基づいて、ベクトル例外コードが設定される(ステップ926)。これは、例えば、例外を引き起こしたベクトル・レジスタ内の要素の位置、並びに割り込みコードを示すことを含む。
上記で詳細に説明したのは、効率的なベクトル例外処理を提供するベクトル例外コードである。一例において、マシンがベクトル演算に起因するプログラム割り込みを処理する際、例外を引き起こしたベクトル・レジスタ内の最小インデックス付き要素を示す要素インデックスが報告される。特定の例として、ベクトル加算(vector add)が実施されており、ベクトル・レジスタ毎に、A0+B0及びA1+B1を与える2つの要素があり、且つ、A1+B1ではなくA0+B0に関する不正確の結果を受信した場合、VIXは0に設定され、VICは0101に等しくなるように設定される。さらに別の例においては、A0+B0は例外を受信しないが、A1+B1は例外を受信した場合、VIXは1に等しくなるように設定される(VIC=0101)。両方とも例外を引き起した場合、それが左端インデックス付き位置であるので、VIXは0に設定され、VIC=0101である。
上記で詳細に説明したのは、種々のベクトル命令、並びに、ベクトル・レジスタ内の例外の位置を示すベクトル例外コードである。与えられたフロー図では、幾つかの処理は逐次的に見えることがあるが、1つ又は複数の実施形態においては、要素は並行処理され、従って、例えば、処理されるべき要素がさらにあるかどうかをチェックする必要がないことがある。他の多くの変形も可能である。
付加的に、さらに別の実施形態において、命令の1つ又は複数のフィールドのコンテンツを、例として、汎用レジスタ、メモリ、(要素ごとに異なる)ベクトル・レジスタの要素内に、又は、アドレス計算から提供することができる。コンテンツは、命令の明示的オペランドとして、又は、暗黙オペランド若しくは入力として含ませることができる。さらに、1つ又は複数の命令がより少ない数のオペランド又は入力を用いることがあり、代わりに、1つ又は複数のオペランドを複数の操作又はステップに用いることもある。
さらに、本明細書で説明されたように、命令のフィールドに要素サイズ制御を含む代わりに、要素サイズ制御を他の手法で提供することができる。付加的に、要素サイズはオペコードによって指示することができる。例えば、命令の特定のオペコードは、操作、並びに要素サイズ等を指示する。
本明細書において、メモリ、主メモリ、ストレージ、及び主ストレージは、明示的に又は文脈によって特に断りのない限り、交換可能に使用される。
当業者であれば理解するように、態様は、システム、方法又はコンピュータ・プログラムとして具体化することができる。従って、態様は、完全にハードウェアの実施形態、完全にソフトウェアの実施形態(ファームウェア、常駐ソフトウェア、マイクロコード等を含む)、又はソフトウェアの態様とハードウェアの態様とを組み合わせた実施形態の形態をとることができ、本明細書においては、これらは全て、一般的に「回路」、「モジュール」又は「システム」と呼ぶことがある。さらに、態様は、媒体内に具体化されたコンピュータ可読プログラム・コードを有する、1つ又は複数のコンピュータ可読媒体内に具体化されたコンピュータ・プログラムの形態をとることができる。
1つ又は複数のコンピュータ可読媒体のいずれかの組み合わせを用いることもできる。コンピュータ可読媒体は、コンピュータ可読ストレージ媒体とすることができる。コンピュータ可読ストレージ媒体は、例えば、これらに限定されるものではないが、電子、磁気、光学、電磁気、赤外線若しくは半導体のシステム、装置若しくはデバイス、又はこれらのいずれかの適切な組み合わせとすることができる。コンピュータ可読ストレージ媒体のより具体的な例(非網羅的なリスト)として、以下のもの、即ち、1つ又は複数の配線を有する電気的接続、ポータブル・コンピュータ・ディスケット、ハード・ディスク、ランダム・アクセス・メモリ(RAM)、読み出し専用メモリ(ROM)、消去可能なプログラム可能読み出し専用メモリ(EPROM又はフラッシュ・メモリ)、光ファイバ、ポータブル・コンパクト・ディスク型読み出し専用メモリ(CD−ROM)、光記憶装置、磁気記憶装置、又は上記のいずれかの適切な組み合わせが挙げられる。本明細書の文脈においては、コンピュータ可読ストレージ媒体は、命令実行システム、装置若しくはデバイスによって又はそれらと関連して用いるためのプログラムを収容又は格納することが可能な、任意の有形媒体とすることができる。
図24を参照すると、一例において、コンピュータ・プログラム製品1000は、例えば、本発明の1つ又は複数の態様を提供し、容易にするように、その上にコンピュータ可読プログラム・コード手段又は論理1004を格納するための、1つ又は複数の一時的でないコンピュータ可読ストレージ媒体1002を含む。
コンピュータ可読媒体上に具体化されたプログラム・コードは、これらに限定されるものではないが、無線、有線、光ファイバ・ケーブル、RF等、又はこれらの任意の適切な組み合わせを含む、適切な媒体を用いて伝送することができる。
態様のための動作を実行するためのコンピュータ・プログラム・コードは、Java、Smalltalk(登録商標)、C++などのようなオブジェクト指向型プログラミング言語、及び、「C」プログラミング言語などのような従来の手続き型プログラミング言語、アセンブラ、又は類似のプログラミング言語を含む、1つ又は複数のプログラミング言語の任意の組み合わせで記述することができる。プログラム・コードは、全体をユーザのコンピュータ上で実行することができ、独立型ソフトウェア・パッケージとして部分的にユーザのコンピュータ上で実行することができ、一部をユーザのコンピュータ上で実行し、一部を遠隔コンピュータ上で実行することができ、又は全体を遠隔コンピュータ若しくはサーバ上で実行することができる。後者のシナリオにおいては、遠隔コンピュータは、ローカル・エリア・ネットワーク(LAN)若しくは広域ネットワーク(WAN)を含むいずれかのタイプのネットワークを通じてユーザのコンピュータに接続されるか、又は、若しくはコンバージド・ネットワークを含むがこれらに限定されるものではない、いずれかのタイプのネットワーク若しくは通信システムを通じてユーザのコンピュータに接続することができ、又は(例えば、インターネット・サービス・プロバイダを用いたインターネットを通じて)外部コンピュータへの接続をなすことができる。
態様は、本明細書において、1つ又は複数の実施形態による方法、装置(システム)及びコンピュータ・プログラムのフローチャート図及び/又はブロック図を参照して説明される。フローチャート図及び/又はブロック図の各ブロック、並びにフローチャート図及び/又はブロック図におけるブロックの組み合わせは、コンピュータ・プログラム命令によって実装できることが理解されるであろう。これらのコンピュータ・プログラム命令を、汎用コンピュータ、専用コンピュータ、又は他のプログラム可能データ処理装置のプロセッサに与えて、マシンを製造し、その結果、コンピュータ又は他のプログラム可能データ処理装置のプロセッサによって実行される命令が、フローチャート及び/又はブロック図の1つ又は複数のブロックにおいて指定された機能/動作を実装するための手段を生成するようにすることができる。
これらのコンピュータ・プログラム命令を、コンピュータ、他のプログラム可能データ処理装置、又は他のデバイスを特定の方式で機能させるように指示することができるコンピュータ可読媒体内に格納し、その結果、そのコンピュータ可読媒体内に格納された命令が、フローチャート及び/又はブロック図の1つ又は複数のブロックにおいて指定された機能/動作を実装する命令を含む製品を製造するようにすることもできる。
コンピュータ・プログラム命令を、コンピュータ、他のプログラム可能データ処理装置、又は他のデバイス上にロードして、そのコンピュータ、他のプログラム可能装置、又は他のデバイス上で一連の動作ステップを行わせてコンピュータ実装プロセスを生成し、それにより、そのコンピュータ又は他のプログラム可能装置上で実行される命令が、フローチャート及び/又はブロック図の1つ又は複数のブロックにおいて指定された機能/動作を実施するためのプロセスを提供するようにすることもできる。
図面内のフローチャート及びブロック図は、種々の実施形態による、システム、方法及びコンピュータ・プログラムの可能な実装のアーキテクチャ、機能及び動作を示す。この点に関して、フローチャート又はブロック図内の各ブロックは、指定された論理機能を実行するための1つ又は複数の実行可能な命令を含む、モジュール、セグメント又はコードの一部を表すことができる。幾つかの代替的な実施において、ブロック内に記された機能は、図面内に記された順序とは異なる順序で行われることがあることにも留意すべきである。例えば、連続して示された2つのブロックは、関与する機能に応じて、実際には実質的に同時に実行されることもあり、又はこれらのブロックは、ときには逆の順序で実行されることもある。ブロック図及び/又はフローチャート図の各ブロック、並びにブロック図及び/又はフローチャート図内のブロックの組み合わせは、指定された機能又は動作を行う専用ハードウェアベースのシステム、又は専用ハードウェアとコンピュータ命令との組み合わせによって実装することができることにも留意されたい。
上記に加えて、1つ又は複数の態様は、顧客環境の管理を提供するサービス・プロバイダによって供与、提供、配置、管理、サービス等を行うことができる。例えば、サービス・プロバイダは、1又は複数の顧客のために1つ又は複数の態様を実施するコンピュータ・コード及び/又はコンピュータ・インフラストラクチャの作成、保守、サポート等を行うことができる。見返りに、サービス・プロバイダは、例として、予約申し込み及び/又は報酬契約の下で顧客から支払いを受けることができる。付加的に又は代替的に、サービス・プロバイダは、1又は複数の第三者に対する広告コンテンツの販売から支払いを受けることができる。
1つの態様において、1つ又は複数の態様を実施するために、アプリケーションを配置することができる。一例として、アプリケーションの配置は、1つ又は複数の態様を実施するように動作可能なコンピュータ・インフラストラクチャを提供することを含む。
更に別の態様として、コンピュータ可読コードをコンピュータ・システムに統合することを含む、コンピュータ・インフラストラクチャを配置することができ、そこでは、コードは、コンピューティング・システムと協働して、1つ又は複数の態様を実施することができる。
更に別の態様として、コンピュータ可読コードをコンピュータ・システムに統合することを含む、プロセスを提供することができる。コンピュータ・システムは、コンピュータ可読媒体を含み、ここで、コンピュータ媒体は、1つ又は複数の態様を含む。コードは、コンピュータ・システムと協働して、1つ又は複数の態様を実施することができる。
種々の実施形態が上述されたが、これらは例にすぎない。例えば、他のアーキテクチャのコンピューティング環境は、1つ又は複数の態様を組み込み、使用することができる。さらに、他のサイズのベクトルを使用することができ、1つ又は複数の態様から逸脱することなく、命令への変更をなすことができる。加えて、他の実施形態においては、ベクトル・オペランドは、ベクトル・レジスタの代わりに、メモリ位置とすることができる。他の変形も可能である。
さらに、他のタイプのコンピューティング環境は、1つ又は複数の態様から利益を得ることができる。一例として、プログラム・コードを格納及び/又は実行するのに適しており、システム・バスを介してメモリ要素に直接又は間接的に結合された少なくとも2つのプロセッサを含む、データ処理システムを使用することができる。メモリ要素は、例えば、プログラム・コードの実際の実行中に用いられるローカル・メモリ、大容量記憶装置、及び実行中に大容量記憶装置からコードを取り出さなければならない回数を減らすために少なくとも幾つかのプログラム・コードの一時的なストレージを提供するキャッシュ・メモリを含む。
入力/出力即ちI/Oデバイス(これらに限定されるものではないが、キーボード、ディスプレイ、ポインティング・デバイス、DASD、テープ、CD、DVD、サムドライブ及び他のメモリ媒体等)は、直接システムに結合することもでき、又は介在するI/Oコントローラを介してシステムに結合することができる。ネットワーク・アダプタをシステムに結合させて、データ処理システムが、介在する私的ネットワーク又は公衆ネットワークを通じて他のデータ処理システム又は遠隔プリンタ若しくはストレージ・デバイスに結合できるようにすることもできる。モデム、ケーブル・モデム及びイーサネット・カードは、ネットワーク・アダプタの利用可能なタイプのうちのほんの数例である。
図25を参照すると、1つ又は複数の態様を実装するためのホスト・コンピュータ・システム5000の代表的なコンポーネントが描かれる。代表的なホスト・コンピュータ5000は、コンピュータ・メモリ(即ち、中央ストレージ)5002と通信する1つ又は複数のCPU5001と、他のコンピュータ若しくはSANなどとの通信のためのストレージ媒体デバイス5011及びネットワーク5010に対するI/Oインターフェースとを含む。CPU5001は、アーキテクチャ化命令セット及びアーキテクチャ化機能を有するアーキテクチャに準拠している。CPU5001は、プログラム・アドレス(仮想アドレス)をメモリの実アドレスに変換するための動的アドレス変換(DAT)5003を有することができる。DATは、典型的には、変換をキャッシュに入れるための変換ルックアサイド・バッファ(TLB)5007を含み、後でコンピュータ・メモリ5002のブロックにアクセスしたときにアドレス変換による遅延を必要とせずに済むように変換をキャッシュに入れるための、変換ルックアサイド・バッファ(TLB)5007を含む。典型的には、キャッシュ5009は、コンピュータ・メモリ5002とプロセッサ5001との間で用いられる。キャッシュ5009は、1つより多くのCPUが利用できる大型キャッシュと、大型キャッシュと各CPUとの間のより小型で高速な(下位レベルの)キャッシュとを有する階層構造とすることができる。幾つかの実施において、下位レベルのキャッシュは、命令フェッチ及びデータ・アクセスのための個別の下位レベル・キャッシュを提供するように分割される。一実施形態において、命令は、命令フェッチ・ユニット5004によりメモリ5002からキャッシュ5009を介してフェッチされる。命令は、命令デコード・ユニット5006内でデコードされ(幾つかの実施形態においては他の命令と共に)、命令実行ユニット5008にディスパッチされる。典型的には、幾つかの実行ユニット5008、例えば、算術演算実行ユニット、浮動小数点実行ユニット及び分岐命令実行ユニットが用いられる。命令は、実行ユニットにより、必要に応じて命令が指定するレジスタ又はメモリからのオペランドにアクセスすることにより実行される。オペランドがメモリ5002からアクセスされる(ロードされる又はストアされる)場合には、典型的には、ロード/ストア・ユニット5005が、実行されている命令の制御下でアクセスを取り扱う。命令は、ハードウェア回路若しくは内部マイクロコード(ファームウェア)、又はこの両方の組み合わせにより実行することができる。
既述のように、コンピュータ・システムは、ローカル(又は、主)ストレージ内の情報、並びにアドレス指定、保護、並びに参照及び変更記録を含む。アドレス指定の幾つかの態様は、アドレスの形式、アドレス空間の概念、アドレスの種々のタイプ及び1つのタイプのアドレスが別のタイプのアドレスに変換される方法を含む。主ストレージの一部は、恒久的に割り当てられたストレージ位置を含む。主ストレージは、システムに、直接アドレス可能なデータの高速アクセス・ストレージを提供する。データ及びプログラムの両方とも、これらが処理される前に(入力デバイスから)主ストレージにロードされる。
主ストレージは、キャッシュと呼ばれることがある、1つ又は複数のより小型の高速アクセス・バッファ・ストレージを含むことができる。キャッシュは、典型的には、CPU又はI/Oプロセッサと物理的に関連付けられる。物理的構造の、性能を除いた効果及び別個のストレージ媒体の使用は、一般に、プログラムにより観察することができない。
命令及びデータ・オペランドに対して、別個のキャッシュを維持することができる。キャッシュ内の情報は、キャッシュ・ブロック又はキャッシュ・ライン(又は、簡単に言えばライン)と呼ばれる整数境界上の連続バイトで維持される。モデルは、キャッシュ・ラインのサイズをバイト単位で戻すEXTRACT CACHE ATTRIBUTE命令を提供することができる。モデルはまた、データ又は命令キャッシュへのストレージのプリフェッチ又はキャッシュからのデータの解放を行うPREFETCH DATA及びPREFETCH DATA RELATIVE LONG命令も提供することができる。
ストレージは、ビットの水平の長い文字列として見ることができる。殆どの操作では、ストレージへのアクセスは、左から右への順で進行する。ビットの文字列は、8ビット単位で細分される。この8ビットの単位はバイトと呼ばれ、これは全ての情報形式の基本構成単位である。ストレージ内の各々のバイト位置は、負でない固有の整数により識別され、この整数がバイト位置のアドレス、即ち、簡単にバイト・アドレスである。隣接するバイト位置は連続するアドレスを有し、左端の0から始まって左から右へ順に進行する。アドレスは、符号なしの2進整数であり、24ビット、31ビット又は64ビットである。
情報は、ストレージとCPU又はチャネル・サブシステムとの間で、一度に1バイトずつ、又は1グループ分のバイトで伝送される。特に断りのない限り、例えばz/Architectureにおいて、ストレージ内のバイト・グループは、グループの左端のバイトによりアドレス指定される。グループ内のバイト数は、実行される操作により暗黙的に決定される場合、又は明示的に決定される場合がある。CPU操作に使用される場合、バイト・グループはフィールドと呼ばれる。各々のバイト・グループ内において、例えばz/Architectureにおいて、ビットは、左から右の順に番号付けされる。z/アーキテクチャにおいて、左端のビットを「最上位」ビットと呼び、右端のビットを「最下位」ビットと呼ぶことがある。しかしながら、ビット番号はストレージ・アドレスではない。アドレス指定できるのはバイトだけである。ストレージ内の1つのバイトの個々のビットに対して操作を行うためには、そのバイト全体にアクセスされる。1バイトの中のビットには、(z/Architectureにおいて)左から右に0から7までの番号が付けられる。1つのアドレスの中のビットには、24ビット・アドレスの場合は、8−31若しくは40−63の番号が付けられ、又は31ビット・アドレスの場合は、1−31若しくは33−63の番号が付けられ、又は64ビット・アドレスの場合は、0−63の番号が付けられる。複数バイトの任意の他の固定長形式において、形式を構成するビットは、0から始まって連続的に番号が付けられる。エラー検出のため、また好ましくは訂正のため、各々のバイト又はバイト・グループと共に1又は複数の検査ビットを伝送することができる。こうした検査ビットは、マシンにより自動的に生成され、プログラムにより直接制御することはできない。ストレージ容量は、バイト数で表現される。ストレージ・オペランド・フィールドの長さが命令のオペコードで暗黙指定される場合、そのフィールドは固定長を有するといわれ、この長さは1バイト、2バイト、4バイト、8バイト又は16バイトとすることができる。幾つかの命令に対しては、より大きいフィールドが暗黙指定される。ストレージ・オペランドの長さが暗黙指定されず、明示的に指定される場合は、そのフィールドは可変長を有するといわれる。可変長オペランドは、1バイトのインクリメント(又は幾つかの命令では、2バイトの倍数又は他の倍数で)で長さが変化し得る。情報がストレージ内に配置されると、ストレージへの物理的パスの幅が格納されるフィールドの長さより大きい場合であっても、指定したフィールドに含まれているバイト位置のコンテンツのみが置き換えられる。
情報の特定の単位は、ストレージ内の整数境界上にあるべきである。境界は、そのストレージ・アドレスがバイトでの単位の長さの倍数である場合に、情報の単位に対して整数であると呼ばれる。整数境界上にある2バイト、4バイト、8バイト、及び16バイトのフィールドには、特別な名称が与えられる。ハーフワードは、2バイト境界上にある2個の連続したバイトのグループであり、これは命令の基本構成単位である。ワードは、4バイト境界上にある4個の連続したバイトのグループである。ダブルワードは、8バイト境界上にある8個の連続したバイトのグループである。クワッドワードは、16バイト境界上にある16個の連続したバイトのグループである。ストレージ・アドレスが、ハーフワード、ワード、ダブルワード、及びクワッドワードを指定するとき、そのアドレスの2進表現では、それぞれ1個、2個、3個、又は4個の右端の0ビットを含む。命令は、2バイト整数境界上にあるべきである。殆どの命令のストレージ・オペランドは、境界位置合わせ要件を有さない。
命令及びデータ・オペランドに対して別個のキャッシュを実装するデバイスにおいては、ストアが後にフェッチされる命令を変更するかどうかに関係なく、プログラムが、後にフェッチされるキャッシュ・ラインに格納される場合、著しい遅延が生じ得る。
一実施形態において、本発明は、ソフトウェア(ライセンス内部コード、ファームウェア、マイクロコード、ミリコード、ピココードなどとも呼ばれる場合があるが、そのいずれも1つ又は複数の態様と整合性がある)により実施することができる。図25を参照すると、1つ又は複数の態様を具体化するソフトウェア・プログラム・コードは、CD−ROMドライブ、テープドライブ、又はハードドライブといった長期ストレージ媒体デバイス5011から、ホスト・システム5000のプロセッサ5001によりアクセスすることができる。ソフトウェア・プログラム・コードは、ディスケット、ハードドライブ、又はCD−ROMのようなデータ処理システムと共に使用するための種々の周知の媒体のいずれかの上で具体化することができる。コードは、こうした媒体上に分散させても、又はコンピュータ・メモリ5002からユーザに分散させても、又はこうした他のシステムのユーザが使用するために、ネットワーク5010上の1つのコンピュータ・システムのストレージから他のコンピュータ・システムに分散させてもよい。
ソフトウェア・プログラム・コードは、種々のコンピュータ・コンポーネント及び1つ又は複数のアプリケーション・プログラムの機能及び相互作用を制御するオペレーティング・システムを含む。プログラム・コードは、通常、ストレージ媒体デバイス5011から相対的により高速のコンピュータ・ストレージ5002にページングされ、そこでプロセッサ5001による処理のために利用可能になる。ソフトウェア・プログラム・コードをメモリ内、物理的媒体上で具体化し、及び/又は、ネットワークを介してソフトウェア・コードを配布する技術及び方法は周知であり、ここではこれ以上論じない。プログラム・コードは、有形の媒体(これらに限定されるものではないが、電子メモリ・モジュール(RAM)、フラッシュ・メモリ、コンパクト・ディスク(CD)、DVD、磁気テープ等)上に作成され格納されたとき、「コンピュータ・プログラム」と呼ばれることが多い。コンピュータ・プログラム媒体は、典型的には、処理回路による実行のために、好ましくはコンピュータ・システム内の処理回路によって読み取り可能である。
図26は、1つ又は複数の態様を実施できる代表的なワークステーション又はサーバ・ハードウェア・システムを示す。図26のシステム5020は、随意的な周辺機器を含む、パーソナル・コンピュータ、ワークステーション、又はサーバなどの代表的なベース・コンピュータ・システム5021を含む。ベース・コンピュータ・システム5021は、1つ又は複数のプロセッサ5026と、周知の技術に従ってプロセッサ5026とシステム5021の他のコンポーネントを接続し、これらの間の通信を可能にするために用いられるバスとを含む。バスは、プロセッサ5026を、ハードドライブ(例えば、磁気媒体、CD、DVD及びフラッシュ・メモリのいずれかを含む)又はテープドライブを含むことができる、メモリ5025及び長期ストレージ5027に接続する。システム5021はまた、バスを介して、マイクロプロセッサ5026を、キーボード5024、マウス5023、プリンタ/スキャナ5030、及び/又はタッチ・センシティブ・スクリーン、デジタル化された入力パッド等のいずれかのユーザ・インターフェース機器とすることができる他のインターフェース機器といった、1つ又は複数のインターフェース機器に接続する、ユーザ・インターフェース・アダプタを含むこともできる。バスはまた、ディスプレイ・アダプタを介して、LCDスクリーン又はモニタなどのディスプレイ装置5022をマイクロプロセッサ5026にも接続する。
システム5021は、ネットワーク5029と通信する5028ことができるネットワーク・アダプタを介して、他のコンピュータ又はコンピュータ・ネットワークと通信することができる。例示的なネットワーク・アダプタは、通信チャネル、トークン・リング、イーサネット又はモデムである。代替的に、システム5021は、CDPD(セルラー・デジタル・パケット・データ)カードのような無線インターフェースを用いて通信することもできる。システム5021は、ローカル・エリア・ネットワーク(LAN)又は広域ネットワーク(WAN)又はシステム5021内のこうした他のコンピュータと関連付けることができ、又は、別のコンピュータ等とのクライアント/サーバ構成におけるクライアントとすることができる。これら構成の全て、並びに、適切な通信ハードウェア及びソフトウェアは、当技術分野において周知である。
図27は、1つ又は複数の態様を実施することができるデータ処理ネットワーク5040を示す。データ処理ネットワーク5040は、各々が複数の個々のワークステーション5041、5042、5043、5044を含むことができる、無線ネットワーク及び有線ネットワークのような複数の個々のネットワークを含むことができる。さらに、当業者であれば理解するように、1つ又は複数のLANを含ませることができ、そこで、LANは、ホスト・プロセッサに結合された複数のインテリジェント・ワークステーションを含むことができる。
さらに図27を参照すると、ネットワークはまた、ゲートウェイ・コンピュータ(クライアント・サーバ5046)、又はアプリケーション・サーバ(データ・リポジトリにアクセスすることができ、且つ、ワークステーション5045から直接アクセスすることもできる遠隔サーバ5048)のような、メインフレーム・コンピュータ又はサーバを含むこともできる。ゲートウェイ・コンピュータ5046は、各々の個々のネットワークへの入力点のとして働く。ゲートウェイは、1つのネットワーク・プロトコルを別のものに接続するときに必要とされる。ゲートウェイ5046は、通信リンクによって別のネットワーク(例えば、インターネット5047)に結合できることが好ましい。ゲートウェイ5046はまた、通信リンクを用いて、1つ又は複数のワークステーション5041、5042、5043、5044に直接結合することもできる。ゲートウェイ・コンピュータは、インターナショナル・ビジネス・マシーンズ・コーポレーションから入手可能なIBM eServer System zサーバを用いて実装することができる。
図26及び図27を同時に参照すると、本発明の1つ又は複数の態様を具体化することができるソフトウェア・プログラム・コードには、一般的に、CD−ROMドライブ又はハードドライブといった長期ストレージ媒体5027から、システム5020のプロセッサ5026によってアクセスすることができる。ソフトウェア・プログラム・コードは、ディスケット、ハードドライブ、又はCD−ROMといった、データ処理システムと共に用いるための種々の周知の媒体のいずれかの上で具体化することができる。コードは、そのような媒体上で分散させても、又はメモリからユーザ5050、5051に分散させても、又は、こうした他のシステムのユーザが用いるために、ネットワーク上の1つのコンピュータ・システムのメモリ若しくはストレージから他のコンピュータ・システムに分散させてもよい。
代替的に、プログラム・コードをメモリ5025内で具体化し、プロセッサ・バスを用いてプロセッサ5026によってプログラム・コードにアクセスすることができる。このようなプログラム・コードは、種々のコンピュータ・コンポーネント及び1つ又は複数のアプリケーション・プログラム5032の機能及び相互作用を制御するオペレーティング・システムを含む。プログラム・コードは、通常、ストレージ媒体5027から高速メモリ5025にページングされ、そこでプロセッサ5026による処理のために利用可能になる。ソフトウェア・プログラム・コードをメモリ内、物理的媒体上で具体化し、及び/又は、ネットワークを介してソフトウェア・コードを配布する技術及び方法は周知であり、ここではこれ以上論じない。プログラム・コードは、有形の媒体(これらに限定されるものではないが、電子メモリ・モジュール(RAM)、フラッシュ・メモリ、コンパクト・ディスク(CD)、DVD、磁気テープなどを含む)に格納されたとき、「コンピュータ・プログラム」と呼ばれることが多い。コンピュータ・プログラム媒体は、典型的には、処理回路による実行のために、好ましくはコンピュータ・システム内の処理回路によって読み取り可能である。
プロセッサが最も容易に利用できるキャッシュ(通常、プロセッサの他のキャッシュよりも高速で小さい)は、最下位(L1又はレベル1)のキャッシュであり、主ストア(主メモリ)は、最上位レベルのキャッシュ(3つのレベルがある場合にはL3)である。最下位レベルのキャッシュは、実行されるマシン命令を保持する命令キャッシュ(I−キャッシュ)と、データ・オペランドを保持するデータ・キャッシュ(D−キャッシュ)とに分割されることが多い。
図28を参照すると、プロセッサ5026についての例示的なプロセッサの実施形態が示される。典型的には、メモリ・ブロックをバッファに入れてプロセッサ性能を向上させるために、1つ又は複数のレベルのキャッシュ5053が用いられる。キャッシュ5053は、用いられる可能性が高いメモリ・データのキャッシュ・ラインを保持する高速バッファである。典型的なキャッシュ・ラインは、64バイト、128バイト、又は256バイトのメモリ・データである。データをキャッシュに入れるのではなく、命令をキャッシュに入れるために、別個のキャッシュが用いられることが多い。キャッシュ・コヒーレンス(メモリ及びキャッシュ内のラインのコピーの同期)は、多くの場合、当技術分野において周知の種々の「スヌープ」アルゴリズムによって与えられる。プロセッサ・システムの主メモリ・ストレージ5025は、キャッシュと呼ばれることが多い。4つのレベルのキャッシュ5053を有するプロセッサ・システムにおいて、主ストレージ5025は、典型的にはより高速であり、且つ、コンピュータ・システムが利用できる不揮発性ストレージ(DASD、テープ等)の一部だけを保持するので、レベル5(L5)のキャッシュと呼ばれることがある。主ストレージ5025は、オペレーティング・システムによって主ストレージ5025との間でページングされるデータのページを「キャッシュに入れる」。
プログラム・カウンタ(命令カウンタ)5061は、実行される現行の命令のアドレスを常時監視している。z/Architectureプロセッサのプログラム・カウンタは64ビットであり、従来のアドレッシング制限をサポートするために、31ビット又は24ビットに切り捨てることができる。プログラム・カウンタは、典型的には、コンテキスト・スイッチの際に持続するように、コンピュータのPSW(プログラム状況ワード)内で具体化される。従って、例えば、オペレーティング・システムにより、プログラム・カウンタ値を有する進行中のプログラムに割り込みをかけることが可能である(プログラム環境からオペレーティング・システム環境へのコンテキスト・スイッチ)。プログラムのPSWは、プログラムがアクティブでない間、プログラム・カウンタ値を保持し、オペレーティング・システムが実行されている間、オペレーティング・システムの(PSW内の)プログラム・カウンタが用いられる。典型的には、プログラム・カウンタは、現行の命令のバイト数に等しい量だけインクリメントされる。RISC命令は、典型的には固定長であり、CISC命令は、典型的には可変長である。IBM z/Architectureの命令は、2バイト、4バイト、又は6バイトの長さを有するCISC命令である。例えば、コンテキスト・スイッチ操作又は分岐命令の分岐成立操作により、プログラム・カウンタ5061が変更される。コンテキスト・スイッチ操作において、現行のプログラム・カウンタ値は、実行されるプログラムについての他の状態情報(条件コードのような)と共にプログラム状況ワード内に保存され、実行される新しいプログラム・モジュールの命令を指し示す新しいプログラム・カウンタ値がロードされる。分岐成立操作を行い、分岐命令の結果をプログラム・カウンタ5061にロードすることにより、プログラムが判断を下すこと又はプログラム内でループすることを可能にする。
典型的には、プロセッサ5026の代わりに命令をフェッチするために、命令フェッチ・ユニット5055が用いられる。フェッチ・ユニットは、「次の順次命令」、分岐成立命令のターゲット命令、又はコンテキスト・スイッチの後のプログラムの最初の命令のいずれかをフェッチする。今日の命令フェッチ・ユニットは、プリフェッチされた命令を用いることができる可能性に基づいて、命令を投機的にプリフェッチするプリフェッチ技術を用いることが多い。例えば、フェッチ・ユニットは、次の順次命令を含む16バイトの命令と、付加的なバイトの更なる順次命令とをフェッチすることができる。
次いで、フェッチされた命令が、プロセッサ5026によって実行される。一実施形態において、フェッチされた命令は、フェッチ・ユニットのディスパッチ・ユニット5056に渡される。ディスパッチ・ユニットは命令をデコードし、デコードされた命令についての情報を適切なユニット5057、5058、5060に転送する。実行ユニット5057は、典型的には、命令フェッチ・ユニット5055からデコードされた算術命令についての情報を受け取り、命令のオペコードに従ってオペランドに関する算術演算を行う。オペランドは、好ましくは、メモリ5025、アーキテクチャ化レジスタ5059、又は実行される命令の即値フィールドのいずれかから、実行ユニット5057に与えられる。実行の結果は、格納された場合には、メモリ5025、レジスタ5059、又は他のマシン・ハードウェア(制御レジスタ、PSWレジスタなどのような)内に格納される。
プロセッサ5026は、典型的には、命令の機能を実行するための1つ又は複数の実行ユニット5057、5058、5060を有する。図29を参照すると、実行ユニット5057は、インターフェース論理5071を介して、アーキテクチャ化された汎用レジスタ5059、デコード/ディスパッチ・ユニット5056、ロード・ストア・ユニット5060、及び他のプロセッサ・ユニット5065と通信することができる。実行ユニット5057は、幾つかのレジスタ回路5067、5068、5069を用いて、算術論理演算ユニット(ALU)5066が動作する情報を保持することができる。ALUは、加算、減算、乗算、及び除算などの算術演算、並びに、論理積、論理和、及び排他的論理和、ローテート及びシフトのような論理関数を実行する。ALUは、設計に依存する専用の演算をサポートすることが好ましい。他の回路は、例えば条件コード及び回復サポート論理を含む、他のアーキテクチャ化ファシリティ5072を提供することができる。典型的には、ALU演算の結果は、出力レジスタ回路5070に保持され、この出力レジスタ回路5070が、結果を種々の他の処理機能に転送することができる。多数のプロセッサ・ユニットの構成が存在し、本説明は、一実施形態の代表的な理解を与えることのみを意図している。
例えばADD命令は、算術及び論理機能を有する実行ユニット5057で実行され、一方、例えば浮動小数点命令は、特化された浮動小数点能力を有する浮動小数点実行部で実行される。実行ユニットは、オペランドに対してオペコードが定めた関数を行うことにより、命令が特定したオペランドに対して動作することが好ましい。例えば、ADD命令は、命令のレジスタ・フィールドによって特定された2つのレジスタ5059内に見出されるオペランドに対して、実行ユニット5057により実行することができる。
実行ユニット5057は、2つのオペランドに対して算術加算を実行し、結果を第3オペランドに格納し、ここで第3オペランドは、第3のレジスタであっても又は2つのソース・レジスタのいずれかであってもよい。実行ユニットは、シフト、ローテート、論理積、論理和、及び排他的論理和のような種々の論理関数、並びに、加算、減算、乗算、除法のいずれかを含む、種々の代数関数を実行することができる算術論理演算ユニット(ALU)5066を用いることが好ましい。スカラー演算のために設計されたALU5066もあり、浮動小数点のために設計されたものALU5066もある。データは、アーキテクチャに応じて、ビッグ・エンディアン(最下位のバイトが最も高いバイト・アドレスである)、又はリトル・エンディアン(最下位のバイトが最も低いバイト・アドレスである)とすることができる。IBM z/Architectureは、ビッグ・エンディアンである。符号付きフィールドは、アーキテクチャに応じて、符号及び大きさ、1の補数、又は2の補数とすることができる。2の補数における負の値又は正の値は、ALU内で加法しか必要としないため、ALUが減算能力を設計する必要がないという点で、2の補数は有利である。数値は、通常、省略表現で記述され、12ビット・フィールドは、4,096バイトブロックのアドレスを定め、通常、例えば4Kバイト(キロバイト)ブロックのように記述される。
図30を参照すると、分岐命令を実行するための分岐命令情報が、典型的には、分岐ユニット5058に送られ、この分岐ユニット5058は、多くの場合、分岐履歴テーブル5082のような分岐予測アルゴリズムを用いて、他の条件付き演算が完了する前に分岐の結果を予測する。条件付き演算が完了する前に、現行の分岐命令のターゲットがフェッチされ、投機的に実行される。条件付き演算が完了すると、投機的に実行された分岐命令は、条件付き演算の条件及び投機された結果に基づいて、完了されるか又は破棄される。典型的な分岐命令は、条件コードをテストし、条件コードが分岐命令の分岐要件を満たす場合、ターゲット・アドレスに分岐することができ、ターゲット・アドレスは、例えば、命令のレジスタ・フィールド又は即値フィールド内に見出されるものを含む幾つかの数に基づいて計算することができる。分岐ユニット5058は、複数の入力レジスタ回路5075、5076、5077と、出力レジスタ回路5080とを有するALU5074を用いることができる。分岐ユニット5058は、例えば、汎用レジスタ5059、デコード・ディスパッチ・ユニット5056、又は他の回路5073と通信することができる。
例えば、オペレーティング・システムによって開始されるコンテキスト・スイッチ、コンテキスト・スイッチを発生させるプログラム例外又はエラー、コンテキスト・スイッチを発生させるI/O割り込み信号、又は(マルチスレッド環境における)複数のプログラムのマルチスレッド活動を含む様々な理由により、命令のグループの実行に割り込みがかけられることがある。コンテキスト・スイッチ動作は、現在実行中のプログラムについての状態情報を保存し、次いで、起動される別のプログラムについての状態情報をロードすることが好ましい。状態情報は、例えば、ハードウェア・レジスタ又はメモリ内に保存することができる。状態情報は、実行される次の命令を指し示すプログラム・カウンタ値と、条件コードと、メモリ変換情報と、アーキテクチャ化されたレジスタのコンテンツとを含むことが好ましい。コンテキスト・スイッチの活動は、ハードウェア回路、アプリケーション・プログラム、オペレーティング・システム・プログラム、又はファームウェア・コード(マイクロコード、ピココード、又はライセンス内部コード(LIC))単独で又はその組み合わせで実施することができる。
プロセッサは、命令により定義された方法に従ってオペランドにアクセスする。命令は、命令の一部の値を用いて即値オペランドを与えることができ、汎用レジスタ又は専用レジスタ(例えば、浮動小数点レジスタ)のいずれかを明示的に指し示す1つ又は複数のレジスタ・フィールドを与えることができる。命令は、オペコード・フィールドによって、オペランドとして識別されるインプライド・レジスタを用いることができる。命令は、オペランドのためのメモリ位置を用いることができる。z/Architectureの長変位ファシリティにより例示されるように、オペランドのメモリ位置を、レジスタ、即値フィールド、又はレジスタと即値フィールドの組み合わせによって与えることができ、命令は、ベース・レジスタ、索引レジスタ、及び即値フィールド(変位フィールド)を定め、これらが、例えば互いに加算されてメモリ内のオペランドのアドレスをもたらす。ここでの位置は、典型的には、特に断りのない限り、主メモリ(主ストレージ)内の記憶位置を意味する。
図31を参照すると、プロセッサは、ロード/ストア・ユニット5060を用いて、ストレージにアクセスする。ロード/ストア・ユニット5060は、メモリ5025内のターゲット・オペランドのアドレスを取得し、オペランドをレジスタ5059又は別のメモリ5025の記憶位置にロードすることによってロード操作を行うことができ、或いは、メモリ5025内のターゲット・オペランドのアドレスを取得し、レジスタ5059又は別のメモリ5025の記憶位置から取得したデータをメモリ5025内のターゲット・オペランドの記憶位置に格納することによって、ストア操作を行うことができる。ロード/ストア・ユニット5060は、投機的なものであってもよく、命令シーケンスに対してアウト・オブ・オーダー式の順序でメモリにアクセスすることができるが、プログラムに対して、命令がインオーダー式に実行されたという外観を維持することになる。ロード/ストア・ユニット5060は、汎用レジスタ5059、デコード/ディスパッチ・ユニット5056、キャッシュ/メモリ・インターフェース5053、又は他の要素5083と通信することができ、ストレージ・アドレスを計算し、且つ、パイプライン処理を順に行って操作をインオーダー式に保持するための、種々のレジスタ回路、ALU5085、及び制御論理5090を含む。一部の動作は、アウト・オブ・オーダー式とすることができるが、ロード/ストア・ユニットは、アウト・オブ・オーダー式動作が、プログラムに対して、当技術分野において周知のようなインオーダー式に実行されたように見えるようにする機能を提供する。
好ましくは、アプリケーション・プログラムが「見ている」アドレスは、仮想アドレスと呼ばれることが多い。仮想アドレスは、「論理アドレス」及び「実効アドレス」と呼ばれることもある。これらの仮想アドレスは、これらに限定されるものではないが、単に仮想アドレスをオフセット値にプリフィックス付加すること、1つ又は複数の変換テーブルを介して仮想アドレスを変換することを含む、種々の動的アドレス変換(DAT)技術の1つによって、物理的メモリ位置にリダイレクトされるという点で仮想のものであり、変換テーブルは、少なくともセグメント・テーブル及びページ・テーブルを単独で又は組み合わせて含むことが好ましく、セグメント・テーブルは、ページ・テーブルを指し示すエントリを有することが好ましい。z/Architectureでは、領域第1テーブル、領域第2テーブル、領域第3テーブル、セグメント・テーブル、及び随意的なページ・テーブルを含む、変換の階層構成が提供される。アドレス変換の性能は、仮想アドレスを関連した物理的メモリ位置にマッピングするエントリを含む変換ルックアサイド・バッファ(TLB)を用いることにより改善されることが多い。DATが変換テーブルを用いて仮想アドレスを変換したときに、エントリが作成される。次いで、後に仮想アドレスを用いることで、低速の順次変換テーブル・アクセスではなく、高速のTLBのエントリを用いることが可能になる。TLBのコンテンツは、LRUを含む種々の置換アルゴリズムによって管理することができる。
プロセッサがマルチプロセッサ・システムのプロセッサである場合には、各プロセッサは、コヒーレンシのために、I/O、キャッシュ、TLB、及びメモリといった共有リソースをインターロック状態に保持する責任を負う。キャッシュ・コヒーレンシを保持する際に、一般的には「スヌープ」技術が用いられる。スヌープ環境においては、共有を容易にするために、各キャッシュ・ラインを、共有状態、排他的状態、変更状態、無効状態等のいずれか1つの状態にあるものとしてマーク付けすることができる。
I/Oユニット5054(図28)は、プロセッサに、例えば、テープ、ディスク、プリンタ、ディスプレイ、及びネットワークを含む周辺機器に取り付けるための手段を与える。I/Oユニットは、ソフトウェア・ドライバによってコンピュータ・プログラムに提示されることが多い。IBMによるSystem zのようなメインフレームにおいては、チャネル・アダプタ及びオープン・システム・アダプタが、オペレーティング・システムと周辺機器との間に通信をもたらすメインフレームのI/Oユニットである。
さらに、他のタイプのコンピューティング環境が、1つ又は複数の態様から利益を得ることができる。一例として、環境は、特定のアーキテクチャ(例えば、命令実行、アドレス変換などのアーキテクチャ化された機能、及びアーキテクチャ化されたレジスタを含む)又はそのサブセットをエミュレートする(例えば、プロセッサ及びメモリを有するネイティブ・コンピュータ・システム上で)エミュレータ(例えば、ソフトウェア又は他のエミュレーション機構)を含むことができる。このような環境においては、エミュレータを実行しているコンピュータが、エミュレートされる機能とは異なるアーキテクチャを有することができたとしても、エミュレータの1つ又は複数のエミュレーション機能は、本発明の1つ又は複数の態様を実施することができる。一例として、エミュレーション・モードにおいては、エミュレートされる特定の命令又は操作がデコードされ、適切なエミュレーション機能が構築され、個々の命令又は操作を実施する。
エミュレーション環境においては、ホスト・コンピュータは、例えば、命令及びデータを格納するためのメモリと、メモリから命令をフェッチし、随意的に、フェッチされた命令のためのローカル・バッファリングを提供するための命令フェッチ・ユニットと、フェッチされた命令を受信し、フェッチされた命令のタイプを判断するための命令デコード・ユニットと、命令を実行するための命令実行ユニットとを含む。実行は、データをメモリからレジスタ内にロードすること、データをレジスタから再びメモリに格納すること、又はデコード・ユニットにより判断されるように、何らかのタイプの算術演算又は論理演算を実行することを含むことができる。一例においては、各ユニットは、ソフトウェアで実装される。例えば、ユニットが実行する演算は、エミュレータ・ソフトウェア内の1つ又は複数のサブルーチンとして実装される。
より具体的には、メインフレームにおいて、アーキテクチャ化されたマシン命令は、通常、プログラマによって、多くの場合コンパイラ・アプリケーションを介して、今日では「C」プログラマによって用いられる。ストレージ媒体内に格納されたこれらの命令は、z/ArchitectureのIBMサーバにおいて、又は代替的に他のアーキテクチャを実行するマシンにおいて、ネイティブに実行することができる。これらの命令は、既存の及び将来のIBMメインフレーム・サーバにおいて、及び、IBMの他のマシン(例えば、Power Systemsサーバ及びSystem x(登録商標)サーバ)上で、エミュレートすることができる。これらの命令は、IBM(登録商標)社、Intel(登録商標)社、AMD(商標)社などによって製造されたハードウェアを用いて種々のマシン上でLinux(登録商標)を実行しているマシンにおいて実行することができる。Z/Architecture下でそのハードウェア上で実行することに加えて、Linuxを用いること、並びに、一般に実行がエミュレーション・モードにあるHercules、UMX、又はFSI(Fundamental Software,Inc)によるエミュレーションを用いるマシンを用いることもできる。エミュレーション・モードにおいては、ネイティブ・プロセッサによって、エミュレーション・ソフトウェアが実行され、エミュレートされたプロセッサのアーキテクチャをエミュレートする。
ネイティブ・プロセッサは、一般的に、エミュレートされたプロセッサのエミュレーションを実行するためにファームウェア又はネイティブ・オペレーティング・システムのいずれかを含むエミュレーション・ソフトウェアを実行する。エミュレーション・ソフトウェアは、エミュレートされたプロセッサ・アーキテクチャの命令のフェッチと実行を担当する。エミュレーション・ソフトウェアは、エミュレートされたプログラム・カウンタを維持し、命令境界を常時監視している。エミュレーション・ソフトウェアは、一度に1つ又は複数のエミュレートされたマシン命令をフェッチし、ネイティブ・プロセッサにより実行するために、その1つ又は複数のエミュレートされたマシン命令を、対応するネイティブマシン命令のグループに変換することができる。これらの変換された命令は、より速い変換を達成できるようにキャッシュに入れることができる。それにも関わらず、エミュレーション・ソフトウェアは、エミュレートされたプロセッサ・アーキテクチャのアーキテクチャ規則を維持して、オペレーティング・システム及びエミュレートされたプロセッサのために書かれたアプリケーションが正確に動作することを保証しなければならない。さらに、エミュレーション・ソフトウェアは、これらに限定されるものではないが、制御レジスタ、汎用レジスタ、浮動小数点レジスタ、例えばセグメント・テーブル及びページ・テーブルを含む動的アドレス変換機能、割り込み機構、コンテキスト・スイッチ機構、時刻(TOD)クロック、及びI/Oサブシステムへのアーキテクチャ化インターフェースを含む、エミュレートされたプロセッサのアーキテクチャによって識別されるリソースを提供し、オペレーティング・システム又はエミュレートされたプロセッサ上で実行するように設計されたアプリケーション・プログラムが、エミュレーション・ソフトウェアを有するネイティブ・プロセッサ上で実行することができる。
エミュレートされた特定の命令がデコードされ、個々の命令の機能を実行するためのサブルーチンが呼び出される。エミュレートされたプロセッサの機能をエミュレートするエミュレーション・ソフトウェア機能は、例えば、「C」サブルーチン若しくはドライバにおいて、又は1つ又は複数の実施形態の説明を理解した後で当業者の技術の範囲内にあるような特定のハードウェアのためにドライバを提供する他の何らかの方法で実装される。その各々の全体が引用により本明細書に組み入れられる、Beausoleil他による「Multiprocessor for Hardware Emulation」という名称の特許文献1、Scalzi他による「Preprocessing of Stored Target Routines for Emulating Incompatible Instructions on a Target Processor」という名称の特許文献2、Davidian他による「Decoding Guest Instruction to Directly Access Emulation Routines that Emulate the Guest Instructions」という名称の特許文献3、Gorishek他による「Symmetrical Multiprocessing Bus and Chipset Used for Coprocessor Support Allowing Non−Native Code to Run in a System」という名称の特許文献4、Lethin他による「Dynamic Optimizing Object Code Translator for Architecture Emulation and Dynamic Optimizing Object Code Translation Method」という名称の特許文献5、Eric Trautによる「Method for Emulating Guest Instructions on a Host Computer Through Dynamic Recompilation of Host Instructions」という名称の特許文献6及び他の多くを含むがこれらに限定されない、種々のソフトウェア及びハードウェア・エミュレーションの特許は、当業者が利用可能なターゲット・マシンのための異なるマシン用に設計された命令形式のエミュレーションを達成する様々な既知の方法を示す。
図32において、ホスト・アーキテクチャのホスト・コンピュータ・システム5000’をエミュレートする、エミュレートされたホスト・コンピュータ・システム5092の一例が提供される。エミュレートされたホスト・コンピュータ・システム5092では、ホスト・プロセッサ(CPU)5091は、エミュレートされたホスト・プロセッサ(又は、仮想ホスト・プロセッサ)であり、且つ、ホスト・コンピュータ5000’のプロセッサ5091のものとは異なるネイティブな命令セット・アーキテクチャを有するエミュレーション・プロセッサ5093を含む。エミュレートされたホスト・コンピュータ・システム5092は、エミュレーション・プロセッサ5093がアクセス可能なメモリ5094を有する。例示的な実施形態において、メモリ5094は、ホスト・コンピュータ・メモリ5096の部分と、エミュレーション・ルーチン5097の部分とにパーティション化される。ホスト・コンピュータ・メモリ5096は、ホスト・コンピュータ・アーキテクチャに従い、エミュレートされたホスト・コンピュータ・システム5092のプログラムに利用可能である。エミュレーション・プロセッサ5093は、エミュレートされたプロセッサ5091のもの以外のアーキテクチャのアーキテクチャ化された命令セットのネイティブ命令を実行し、このネイティブ命令はエミュレーション・ルーチン・メモリ5097から取得されたものであり、且つ、エミュレーション・プロセッサ5093は、シーケンス及びアクセス/デコード・ルーチンにおいて取得される1つ又は複数の命令を用いることにより、ホスト・コンピュータ・メモリ5096の中のプログラム由来の実行のためのホスト命令にアクセスすることができ、このシーケンス及びアクセス/デコード・ルーチンは、アクセスされたホスト命令をデコードして、アクセスされたホスト命令の機能をエミュレートするためのネイティブ命令実行ルーチンを判断することができる。ホスト・コンピュータ・システム5000’のアーキテクチャのために定められた、例えば、汎用レジスタ、制御レジスタ、動的アドレス変換、及びI/Oサブシステムのサポート、並びにプロセッサ・キャッシュといったファシリティを含む他のファシリティを、アーキテクチャ化ファシリティ・ルーチンによってエミュレートすることができる。エミュレーション・ルーチンは、エミュレーション・ルーチンの性能を高めるために、エミュレーション・プロセッサ5093において利用可能な(汎用レジスタ、及び仮想アドレスの動的変換といった)機能を利用することもできる。ホスト・コンピュータ5000’の機能をエミュレートする際にプロセッサ5093を補助するために、専用のハードウェア及びオフ・ロード・エンジンを設けることもできる。
本明細書で用いられる用語は、特定の実施形態を説明する目的のためのものにすぎず、本発明の限定であることを意図したものではない。本明細書で用いられる場合、単数形「1つの(a)」、「1つの(an)」及び「その(the)」は、文脈が特に明示しない限り、複数形も同様に含むことを意図したものである。「含む(comprise)」及び/又は「含んでいる(comprising)」という用語は、本明細書で用いられる場合、記述された特徴、整数、ステップ、動作、要素、及び/又はコンポーネントの存在を指示するが、1つ又は複数の他の特徴、整数、ステップ、動作、要素、コンポーネント、及び/又はそれらのグループの存在又は追加を排除するものではないこともさらに理解されるであろう。
以下の特許請求の範囲に存在する場合、「手段又はステップと機能との組み合わせ(ミーンズ又はステップ・プラス・ファンクション)」要素の対応する構造、材料、動作及び均等物は、明確に特許請求された他の請求要素と共に機能を実行するための任意の構造体、材料、又は行為を含むことを意図したものである。1つ又は複数の態様の説明は、例証及び説明のためだけに提示されたものであり、網羅的であること又は本発明を開示した形態に限定することを意図したものではない。1つ又は複数の態様の範囲から逸脱することなく、当業者には、多くの修正及び変形が明らかとなるであろう。実施形態は、1つ又は複数の態様の原理及び実際の用途を最もよく説明するため、及び、当業者が、企図した特定の用途に適するように種々の修正を有する種々の実施形態に関して1つ又は複数の態様を理解することができるように、選択され記述された。
100、200:コンピューティング環境
102、5026:プロセッサ
104、204、5025:メモリ
106、206:入力/出力デバイス及び/又はインターフェース
108、208:バス
202:ネイティブ中央演算処理ユニット(CPU)
210:ネイティブ・レジスタ
212:エミュレータ・コード
250:ゲスト命令
252:命令フェッチ・ユニット
254:命令変換ルーチン
256:ネイティブ命令
260:エミュレーション制御ルーチン
300:レジスタ・ファイル
302、480:ベクトル・レジスタ
304:浮動小数点レジスタ
400:Vector Floating Point Test Data Class Immediate命令
500:Vector Checksum命令
600:Vector Galois Field Multiply Sum and
700:Vector Generate Mask命令
800:Vector Element Rotate and Insert Under Mask命令
900:ベクトル例外コード
902:ベクトル・インデックス
904:ベクトル割り込みコード
1000:コンピュータ・プログラム製品

Claims (20)

  1. 中央演算処理ユニットにおいてマシン命令を実行するためのコンピュータ・システムであって、前記コンピュータ・システムは、
    メモリと、
    前記メモリと通信を行うプロセッサと、
    を含み、方法を実施するように構成され、
    前記方法は、
    プロセッサにより、実行のためのマシン命令を取得することであって、前記マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、
    Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、
    第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、
    第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドと、
    を含む、取得することと、
    前記マシン命令を実行することと、
    を含み、
    前記実行することは、
    前記第2のオペランドの選ばれた要素の特性を判断することと、
    前記マシン命令への入力から、前記選ばれた要素の前記特性を表す選択されたデータ単位を選択することであって、前記入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、
    前記選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、
    前記チェックすることに基づいて、前記第2のオペランドの前記選ばれた要素に対応する前記第1のオペランドの要素を設定することであって、前記設定することは前記選択されたデータ単位が前記特定の値に設定されることに基づく、設定することと、
    を含むコンピュータ・システム。
  2. 前記第2のオペランドは複数の要素を含み、前記判断することは、前記複数の要素の各要素についての特性を判断することを含み、前記設定することは、前記選択されたデータ単位が前記特定の値に設定されるかどうかに基づいて、前記第2のオペランドの各要素に対応する前記第1のオペランドの各要素を設定することを含む、請求項1に記載のコンピュータ・システム。
  3. 前記設定することは、前記チェックすることが、前記選択されたデータ単位が前記特定の値に設定されることを示すことに基づいて、前記第1のオペランドの前記要素を1に設定することと、前記チェックすることが、前記選択されたデータ単位が前記特定の値に設定されないことを示すことに基づいて、前記第1のオペランドの前記要素をゼロに設定することとを含む、請求項1に記載のコンピュータ・システム。
  4. 前記入力は複数のデータ単位を含み、前記複数のデータ単位の各データ単位はクラス及び符号を表す、請求項1に記載のコンピュータ・システム。
  5. 前記マシン命令は、前記入力を含むフィールドをさらに含む、請求項1に記載のコンピュータ・システム。
  6. 前記マシン命令は、1つ又は複数のレジスタを指定するのに用いられる拡張フィールドをさらに含み、前記第1のレジスタ・フィールドと前記拡張フィールドの第1の部分とが組み合わされて前記第1のレジスタが指定され、前記第2のレジスタ・フィールドと前記拡張フィールドの第2の部分とが組み合わされて前記第2のレジスタが指定され、前記マシン命令は、前記第2のオペランドの1つ又は複数の要素が前記判断することに含まれるかどうかを示すためのマスク・フィールドと、前記第2のオペランドの要素の浮動小数点数のサイズを示すための別のマスク・フィールドとをさらに含む、請求項1に記載のコンピュータ・システム。
  7. 中央演算処理ユニットにおいてマシン命令を実行する方法であって、前記方法は、
    プロセッサにより、実行のためのマシン命令を取得することであって、前記マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、
    Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、
    第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、
    第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドと、
    を含む、取得することと、
    前記マシン命令を実行することと、
    を含み、
    前記実行することは、
    前記第2のオペランドの選ばれた要素の特性を判断することと、
    前記マシン命令への入力から、前記選ばれた要素の前記特性を表す選択されたデータ単位を選択することであって、前記入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、
    前記選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、
    前記チェックすることに基づいて、前記第2のオペランドの前記選ばれた要素に対応する前記第1のオペランドの要素を設定することであって、前記設定することは前記選択されたデータ単位が前記特定の値に設定されることに基づく、設定することと、
    を含む方法。
  8. 前記設定することは、前記チェックすることが、前記選択されたデータ単位が前記特定の値に設定されることを示すことに基づいて、前記第1のオペランドの前記要素を1に設定することと、前記チェックすることが、前記選択されたデータ単位が前記特定の値に設定されないことを示すことに基づいて、前記第1のオペランドの前記要素をゼロに設定することとを含む、請求項7に記載の方法。
  9. 前記マシン命令は、1つ又は複数のレジスタを指定するのに用いられる拡張フィールドをさらに含み、前記第1のレジスタ・フィールドと前記拡張フィールドの第1の部分とが組み合わされて前記第1のレジスタが指定され、前記第2のレジスタ・フィールドと前記拡張フィールドの第2の部分とが組み合わされて前記第2のレジスタが指定され、前記マシン命令は、前記第2のオペランドの1つ又は複数の要素が前記判断することに含まれるかどうかを示すためのマスク・フィールドと、前記第2のオペランドの要素の浮動小数点数のサイズを示すための別のマスク・フィールドとをさらに含む、請求項7に記載の方法。
  10. 中央演算処理ユニットにおいてマシン命令を実行するためのコンピュータ・プログラムであって、前記コンピュータ・プログラムは、方法を実施するための命令を含み、
    前記方法は、
    プロセッサにより、実行のためのマシン命令を取得することであって、前記マシン命令は、コンピュータ・アーキテクチャに従ったコンピュータ実行のために定められ、
    Vector Floating Point Test Data Class Immediate操作を識別する操作コードを与えるための少なくとも1つのオペコード・フィールドと、
    第1のオペランドを含む第1のレジスタを指定するのに用いられる第1のレジスタ・フィールドと、
    第2のオペランドを含む第2のレジスタを指定するのに用いられる第2のレジスタ・フィールドと、
    を含む、取得することと、
    前記マシン命令を実行することと、
    を含み、
    前記実行することは、
    前記第2のオペランドの選ばれた要素の特性を判断することと、
    前記マシン命令への入力から、前記選ばれた要素の前記特性を表す選択されたデータ単位を選択することであって、前記入力は1つ又は複数の特性を表すための1つ又は複数のデータ単位を含む、選択することと、
    前記選択されたデータ単位が特定の値に設定されるかどうかをチェックすることと、
    前記チェックすることに基づいて、前記第2のオペランドの前記選ばれた要素に対応する前記第1のオペランドの要素を設定することであって、前記設定することは前記選択されたデータ単位が前記特定の値に設定されることに基づく、設定することと、
    を含む、コンピュータ・プログラム。
  11. 前記第2のオペランドは複数の要素を含み、前記判断することは、前記複数の要素の各要素についての特性を判断することを含み、前記設定することは、前記選択されたデータ単位が前記特定の値に設定されるかどうかに基づいて、前記第2のオペランドの各要素に対応する前記第1のオペランドの各要素を設定することを含む、請求項10に記載のコンピュータ・プログラム。
  12. 前記設定することは、前記チェックすることが、前記選択されたデータ単位が前記特定の値に設定されることを示すことに基づいて、前記第1のオペランドの前記要素を1に設定することと、前記チェックすることが、前記選択されたデータ単位が前記特定の値に設定されないことを示すことに基づいて、前記第1のオペランドの前記要素をゼロに設定することとを含む、請求項10に記載のコンピュータ・プログラム。
  13. 前記特性は、クラス及び符号を含む、請求項10に記載のコンピュータ・プログラム。
  14. 前記入力は複数のデータ単位を含み、前記複数のデータ単位の各データ単位はクラス及び符号を表す、請求項10に記載のコンピュータ・プログラム。
  15. 前記複数のデータ単位は複数のビットを含み、各ビットは、複数の要素クラスのうちの1つの要素クラスを表し、前記複数の要素クラスは、ゼロ、正規数、非正規数、無限大、クワイエット非数、シグナリング非数を含み、各ビットは正又は負の符号を表す、請求項14に記載のコンピュータ・プログラム。
  16. 前記マシン命令は、前記入力を含むフィールドをさらに含む、請求項10に記載のコンピュータ・プログラム。
  17. 前記マシン命令は、1つ又は複数のレジスタを指定するのに用いられる拡張フィールドをさらに含み、前記第1のレジスタ・フィールドと前記拡張フィールドの第1の部分とが組み合わされて前記第1のレジスタが指定され、前記第2のレジスタ・フィールドと前記拡張フィールドの第2の部分とが組み合わされて前記第2のレジスタが指定され、請求項10に記載のコンピュータ・プログラム。
  18. 前記マシン命令は、前記第2のオペランドの1つ又は複数の要素が前記判断することに含まれるかどうかを示すためのマスク・フィールドをさらに含む、請求項10のコンピュータ・プログラム。
  19. 前記マシン命令は、前記第2のオペランドの要素の浮動小数点数のサイズを示すための別のマスク・フィールドをさらに含む、請求項10のコンピュータ・プログラム。
  20. 前記実行することは、前記第1のオペランドの前記要素の前記設定を要約するための、前記マシン命令についての条件コードを設定することをさらに含む、請求項10に記載のコンピュータ・プログラム。
JP2015553197A 2013-01-23 2014-01-07 Vectorfloatingpointtestdataclassimmediate命令を処理するためのコンピュータ・システム、コンピュータ・プログラム及び方法 Active JP6410238B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/748,477 2013-01-23
US13/748,477 US9471308B2 (en) 2013-01-23 2013-01-23 Vector floating point test data class immediate instruction
PCT/IB2014/058089 WO2014115047A1 (en) 2013-01-23 2014-01-07 Vector floating point test data class immediate instruction

Publications (2)

Publication Number Publication Date
JP2016512627A true JP2016512627A (ja) 2016-04-28
JP6410238B2 JP6410238B2 (ja) 2018-10-24

Family

ID=51208695

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2015553197A Active JP6410238B2 (ja) 2013-01-23 2014-01-07 Vectorfloatingpointtestdataclassimmediate命令を処理するためのコンピュータ・システム、コンピュータ・プログラム及び方法

Country Status (7)

Country Link
US (4) US9471308B2 (ja)
JP (1) JP6410238B2 (ja)
CN (1) CN104956319B (ja)
DE (1) DE112014000252T5 (ja)
GB (1) GB2525356B (ja)
TW (1) TWI614679B (ja)
WO (1) WO2014115047A1 (ja)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109791491A (zh) * 2016-09-30 2019-05-21 国际商业机器公司 十进制加载立即指令
JP2022519258A (ja) * 2019-02-06 2022-03-22 アーム・リミテッド アンカーデータ要素における特殊値の符号化

Families Citing this family (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111831335A (zh) * 2011-12-23 2020-10-27 英特尔公司 经改进的插入指令的装置和方法
US9513906B2 (en) 2013-01-23 2016-12-06 International Business Machines Corporation Vector checksum instruction
US9471308B2 (en) 2013-01-23 2016-10-18 International Business Machines Corporation Vector floating point test data class immediate instruction
US9715385B2 (en) 2013-01-23 2017-07-25 International Business Machines Corporation Vector exception code
US9823924B2 (en) 2013-01-23 2017-11-21 International Business Machines Corporation Vector element rotate and insert under mask instruction
US9778932B2 (en) 2013-01-23 2017-10-03 International Business Machines Corporation Vector generate mask instruction
US9804840B2 (en) 2013-01-23 2017-10-31 International Business Machines Corporation Vector Galois Field Multiply Sum and Accumulate instruction
US9841997B2 (en) * 2015-06-25 2017-12-12 Intel Corporation Method and apparatus for execution mode selection
US20170177350A1 (en) * 2015-12-18 2017-06-22 Intel Corporation Instructions and Logic for Set-Multiple-Vector-Elements Operations
US10133691B2 (en) * 2016-06-23 2018-11-20 International Business Machines Corporation Synchronous input/output (I/O) cache line padding
US11281607B2 (en) * 2020-01-30 2022-03-22 Red Hat, Inc. Paravirtualized cluster mode for legacy APICs
US11748098B2 (en) 2021-05-05 2023-09-05 Apple Inc. Adler assist instructions
CN115390770B (zh) * 2022-10-31 2023-03-21 上海亿铸智能科技有限公司 一种用于简化sram输出数据多路选择方法及系统

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110047358A1 (en) * 2009-08-19 2011-02-24 International Business Machines Corporation In-Data Path Tracking of Floating Point Exceptions and Store-Based Exception Indication

Family Cites Families (170)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
ZA805329B (en) 1979-09-08 1981-08-26 Massey Ferguson Perkins Ltd Valve seats
US4569016A (en) 1983-06-30 1986-02-04 International Business Machines Corporation Mechanism for implementing one machine cycle executable mask and rotate instructions in a primitive instruction set computing system
JPS60103482A (ja) 1983-10-24 1985-06-07 インタ−ナショナル ビジネス マシ−ンズ コ−ポレ−ション ベクトル処理能力を有するデ−タ処理装置
JPS60136872A (ja) 1983-12-26 1985-07-20 Hitachi Ltd ベクトル処理装置
US5021945A (en) 1985-10-31 1991-06-04 Mcc Development, Ltd. Parallel processor system for processing natural concurrencies and method therefor
JPH0731669B2 (ja) 1986-04-04 1995-04-10 株式会社日立製作所 ベクトル・プロセツサ
JPS62267869A (ja) 1986-05-15 1987-11-20 Fujitsu Ltd ベクトル・プロセツサにおける演算例外時の処理方式
JPH01120638A (ja) 1987-11-04 1989-05-12 Nec Corp 情報処理装置
US5113521A (en) 1988-03-18 1992-05-12 Digital Equipment Corporation Method and apparatus for handling faults of vector instructions causing memory management exceptions
US5043867A (en) 1988-03-18 1991-08-27 Digital Equipment Corporation Exception reporting mechanism for a vector processor
JP2809710B2 (ja) 1989-06-19 1998-10-15 富士通株式会社 プログラム例外コード制御回路
US5974522A (en) 1990-01-24 1999-10-26 Cornell Research Foundation, Inc. Machine for processing interrupted out-of-order instructions
US5053986A (en) 1990-02-21 1991-10-01 Stardent Computer, Inc. Circuit for preservation of sign information in operations for comparison of the absolute value of operands
US5247524A (en) 1990-06-29 1993-09-21 Digital Equipment Corporation Method for generating a checksum
CA2045735A1 (en) 1990-06-29 1991-12-30 Richard Lee Sites Computer performance by eliminating branches
GB2263987B (en) 1992-02-06 1996-03-06 Intel Corp End bit markers for instruction decode
US5388233A (en) 1993-04-30 1995-02-07 Intel Corporation Method and apparatus for counting instruction types using bit masks and a programmable bit map
AU6629894A (en) 1993-05-07 1994-12-12 Apple Computer, Inc. Method for decoding guest instructions for a host computer
US5487159A (en) 1993-12-23 1996-01-23 Unisys Corporation System for processing shift, mask, and merge operations in one instruction
US5673407A (en) * 1994-03-08 1997-09-30 Texas Instruments Incorporated Data processor having capability to perform both floating point operations and memory access in response to a single instruction
US5551013A (en) 1994-06-03 1996-08-27 International Business Machines Corporation Multiprocessor for hardware emulation
JP3672634B2 (ja) 1994-09-09 2005-07-20 株式会社ルネサステクノロジ データ処理装置
US5680338A (en) 1995-01-04 1997-10-21 International Business Machines Corporation Method and system for vector processing utilizing selected vector elements
US5537606A (en) * 1995-01-31 1996-07-16 International Business Machines Corporation Scalar pipeline replication for parallel vector element processing
US5825678A (en) 1995-03-31 1998-10-20 International Business Machines Corporation Method and apparatus for determining floating point data class
US5663952A (en) 1995-07-07 1997-09-02 Sun Microsystems, Inc. Checksum generation circuit and method
US5742840A (en) 1995-08-16 1998-04-21 Microunity Systems Engineering, Inc. General purpose, multiple precision parallel operation, programmable media processor
US7301541B2 (en) 1995-08-16 2007-11-27 Microunity Systems Engineering, Inc. Programmable processor and method with wide operations
US5701316A (en) 1995-08-31 1997-12-23 Unisys Corporation Method for generating an internet protocol suite checksum in a single macro instruction
US5790825A (en) 1995-11-08 1998-08-04 Apple Computer, Inc. Method for emulating guest instructions on a host computer through dynamic recompilation of host instructions
JP2904099B2 (ja) 1996-02-19 1999-06-14 日本電気株式会社 コンパイル装置およびコンパイル方法
US5768168A (en) 1996-05-30 1998-06-16 Lg Semicon Co., Ltd. Universal galois field multiplier
GB9627069D0 (en) 1996-12-30 1997-02-19 Certicom Corp A method and apparatus for finite field multiplication
US5832235A (en) 1997-03-26 1998-11-03 Hewlett-Packard Co. System and method for pattern matching using checksums
US5884071A (en) 1997-03-31 1999-03-16 Intel Corporation Method and apparatus for decoding enhancement instructions using alias encodings
US5960012A (en) 1997-06-23 1999-09-28 Sun Microsystems, Inc. Checksum determination using parallel computations on multiple packed data elements
US5953240A (en) 1997-06-23 1999-09-14 Sun Microsystems, Inc. SIMD TCP/UDP checksumming in a CPU
US6088782A (en) 1997-07-10 2000-07-11 Motorola Inc. Method and apparatus for moving data in a parallel processor using source and destination vector registers
US6047304A (en) 1997-07-29 2000-04-04 Nortel Networks Corporation Method and apparatus for performing lane arithmetic to perform network processing
US5864703A (en) 1997-10-09 1999-01-26 Mips Technologies, Inc. Method for providing extended precision in SIMD vector arithmetic operations
US6009261A (en) 1997-12-16 1999-12-28 International Business Machines Corporation Preprocessing of stored target routines for emulating incompatible instructions on a target processor
US6223320B1 (en) 1998-02-10 2001-04-24 International Business Machines Corporation Efficient CRC generation utilizing parallel table lookup operations
US6105129A (en) 1998-02-18 2000-08-15 Advanced Micro Devices, Inc. Converting register data from a first format type to a second format type if a second type instruction consumes data produced by a first type instruction
US6173393B1 (en) 1998-03-31 2001-01-09 Intel Corporation System for writing select non-contiguous bytes of data with single instruction having operand identifying byte mask corresponding to respective blocks of packed data
US6308255B1 (en) 1998-05-26 2001-10-23 Advanced Micro Devices, Inc. Symmetrical multiprocessing bus and chipset used for coprocessor support allowing non-native code to run in a system
EP2302510B1 (en) 1998-08-24 2012-05-09 MicroUnity Systems Engineering, Inc. A processor and method performed by a processor for executing a matrix multipy operation using a wide operand
US6038652A (en) 1998-09-30 2000-03-14 Intel Corporation Exception reporting on function generation in an SIMD processor
US6760837B1 (en) 1998-10-06 2004-07-06 Texas Instruments Incorporated Bit field processor
US6463582B1 (en) 1998-10-21 2002-10-08 Fujitsu Limited Dynamic optimizing object code translator for architecture emulation and dynamic optimizing object code translation method
JP2000172520A (ja) 1998-12-04 2000-06-23 Fujitsu Ltd ガロア体演算プロセッサ
JP2000207387A (ja) 1999-01-20 2000-07-28 Toshiba Corp 演算装置及び暗号処理装置
JP2000259579A (ja) 1999-03-11 2000-09-22 Hitachi Ltd 半導体集積回路
US6324670B1 (en) 1999-03-24 2001-11-27 Novell, Inc. Checksum generator with minimum overflow
JP2000294960A (ja) 1999-04-09 2000-10-20 Nec Kofu Ltd 基板固定ピン付smtコネクタ
FR2796736B1 (fr) 1999-07-20 2001-11-30 St Microelectronics Sa Procede pour effectuer une multiplication avec accumulation dans un corps de galois
US6675292B2 (en) 1999-08-13 2004-01-06 Sun Microsystems, Inc. Exception handling for SIMD floating point-instructions using a floating point status register to report exceptions
EP1102163A3 (en) 1999-11-15 2005-06-29 Texas Instruments Incorporated Microprocessor with improved instruction set architecture
US6711602B1 (en) 2000-02-18 2004-03-23 Texas Instruments Incorporated Data processor with flexible multiply unit
US6760742B1 (en) 2000-02-18 2004-07-06 Texas Instruments Incorporated Multi-dimensional galois field multiplier
US6701424B1 (en) 2000-04-07 2004-03-02 Nintendo Co., Ltd. Method and apparatus for efficient loading and storing of vectors
US7847803B1 (en) 2000-07-26 2010-12-07 Ati Technologies Ulc Method and apparatus for interleaved graphics processing
US6748522B1 (en) 2000-10-31 2004-06-08 International Business Machines Corporation Performance monitoring based on instruction sampling in a microprocessor
US6643821B2 (en) 2000-11-30 2003-11-04 Stmicroelectronics, Inc. Method and device for computing incremental checksums
US6848074B2 (en) 2001-06-21 2005-01-25 Arc International Method and apparatus for implementing a single cycle operation in a data processing system
US6839828B2 (en) 2001-08-14 2005-01-04 International Business Machines Corporation SIMD datapath coupled to scalar/vector/address/conditional data register file with selective subpath scalar processing mode
US20030037085A1 (en) 2001-08-20 2003-02-20 Sandbote Sam B. Field processing unit
US20040054877A1 (en) 2001-10-29 2004-03-18 Macy William W. Method and apparatus for shuffling data
US7013321B2 (en) 2001-11-21 2006-03-14 Sun Microsystems, Inc. Methods and apparatus for performing parallel integer multiply accumulate operations
US7082452B2 (en) 2001-11-30 2006-07-25 Analog Devices, Inc. Galois field multiply/multiply-add/multiply accumulate
UA76007C2 (en) 2001-12-11 2006-06-15 Reaper for a combine harvester
US7373483B2 (en) 2002-04-02 2008-05-13 Ip-First, Llc Mechanism for extending the number of registers in a microprocessor
US7403964B2 (en) 2002-10-22 2008-07-22 Broadcom Corporation Galois field multiplier array for use within a finite field arithmetic unit
US7313583B2 (en) 2002-10-22 2007-12-25 Broadcom Corporation Galois field arithmetic unit for use within a processor
JP2004151981A (ja) 2002-10-30 2004-05-27 Mitsumi Electric Co Ltd 無線式入力システム及びそのシステムで用いられる送信装置、受信装置
US20090199075A1 (en) 2002-11-25 2009-08-06 Victor Demjanenko Array form reed-solomon implementation as an instruction set extension
JP3818263B2 (ja) 2003-01-28 2006-09-06 日本電気株式会社 Aes暗号処理装置、aes復号処理装置、aes暗号・復号処理装置、aes暗号処理方法、aes復号処理方法、および、aes暗号・復号処理方法
US7139900B2 (en) 2003-06-23 2006-11-21 Intel Corporation Data packet arithmetic logic devices and methods
US7917734B2 (en) 2003-06-30 2011-03-29 Intel Corporation Determining length of instruction with multiple byte escape code based on information from other than opcode byte
US7275148B2 (en) 2003-09-08 2007-09-25 Freescale Semiconductor, Inc. Data processing system using multiple addressing modes for SIMD operations and method thereof
US7096399B2 (en) 2003-09-11 2006-08-22 Intel Corporation Monitoring packet content
US7383483B2 (en) 2003-12-11 2008-06-03 International Business Machines Corporation Data transfer error checking
US7493481B1 (en) 2004-05-17 2009-02-17 Netxen, Inc. Direct hardware processing of internal data structure fields
US7363574B1 (en) 2004-10-12 2008-04-22 Nortel Networks Limited Method and system for parallel CRC calculation
US20060106910A1 (en) 2004-11-16 2006-05-18 Analog Devices, Inc. Galois field polynomial multiplication
US7512647B2 (en) 2004-11-22 2009-03-31 Analog Devices, Inc. Condensed Galois field computing system
US7461117B2 (en) 2005-02-11 2008-12-02 International Business Machines Corporation Floating point unit with fused multiply add and method for calculating a result with a floating point unit
US20060230409A1 (en) 2005-04-07 2006-10-12 Matteo Frigo Multithreaded processor architecture with implicit granularity adaptation
WO2006121444A1 (en) 2005-05-10 2006-11-16 Telairity Semiconductor, Inc. Vector processor with special purpose registers and high speed memory access
FR2885711B1 (fr) 2005-05-12 2007-07-06 Atmel Corp Procede et materiel modulaire et aleatoire pour la reduction polynomiale
US7400271B2 (en) 2005-06-21 2008-07-15 International Characters, Inc. Method and apparatus for processing character streams
US7333917B2 (en) 2005-08-11 2008-02-19 The University Of North Carolina At Chapel Hill Novelty detection systems, methods and computer program products for real-time diagnostics/prognostics in complex physical systems
US7421566B2 (en) 2005-08-12 2008-09-02 International Business Machines Corporation Implementing instruction set architectures with non-contiguous register file specifiers
US9436468B2 (en) 2005-11-22 2016-09-06 Intel Corporation Technique for setting a vector mask
US7480787B1 (en) 2006-01-27 2009-01-20 Sun Microsystems, Inc. Method and structure for pipelining of SIMD conditional moves
US7925957B2 (en) 2006-03-20 2011-04-12 Intel Corporation Validating data using processor instructions
US7624237B2 (en) 2006-05-03 2009-11-24 International Business Machines Corporation Compare, swap and store facility with no external serialization
US20080021943A1 (en) 2006-07-20 2008-01-24 Advanced Micro Devices, Inc. Equality comparator using propagates and generates
US7600104B2 (en) 2006-08-15 2009-10-06 Peter Neumann Method and system for parallel vector data processing of vector data having a number of data elements including a defined first bit-length
JP4374363B2 (ja) 2006-09-26 2009-12-02 Okiセミコンダクタ株式会社 ビットフィールド操作回路
US7624251B2 (en) 2006-11-01 2009-11-24 Apple Inc. Instructions for efficiently accessing unaligned partial vectors
US8346839B2 (en) 2007-03-30 2013-01-01 Intel Corporation Efficient advanced encryption standard (AES) datapath using hybrid rijndael S-box
US8560591B2 (en) * 2007-04-25 2013-10-15 International Business Machines Corporation Detection of potential need to use a larger data format in performing floating point operations
US8055886B2 (en) 2007-07-12 2011-11-08 Texas Instruments Incorporated Processor micro-architecture for compute, save or restore multiple registers and responsive to first instruction for repeated issue of second instruction
US9529592B2 (en) 2007-12-27 2016-12-27 Intel Corporation Vector mask memory access instructions to perform individual and sequential memory access operations if an exception occurs during a full width memory access operation
US8112691B1 (en) 2008-03-25 2012-02-07 Oracle America, Inc. Method for efficient generation of a Fletcher checksum using a single SIMD pipeline
US8255443B2 (en) 2008-06-03 2012-08-28 International Business Machines Corporation Execution unit with inline pseudorandom number generator
US8051226B2 (en) 2008-06-13 2011-11-01 Freescale Semiconductor, Inc. Circular buffer support in a single instruction multiple data (SIMD) data processor
US8340280B2 (en) 2008-06-13 2012-12-25 Intel Corporation Using a single instruction multiple data (SIMD) instruction to speed up galois counter mode (GCM) computations
JP5268469B2 (ja) 2008-07-23 2013-08-21 株式会社東芝 高可用システム及び実行状態制御方法
US8793472B2 (en) 2008-08-15 2014-07-29 Apple Inc. Vector index instruction for generating a result vector with incremental values based on a start value and an increment value
US8271832B2 (en) 2008-08-15 2012-09-18 Apple Inc. Non-faulting and first-faulting instructions for processing vectors
US8175265B2 (en) 2008-09-02 2012-05-08 Apple Inc. Systems and methods for implementing block cipher algorithms on attacker-controlled systems
RU2409840C2 (ru) 2008-09-26 2011-01-20 Государственное образовательное учреждение высшего профессионального образования "Ставропольский военный институт связи ракетных войск" (СВИСРВ) Устройство для преобразования из полиномиальной системы классов вычетов в позиционный код
GB2464292A (en) 2008-10-08 2010-04-14 Advanced Risc Mach Ltd SIMD processor circuit for performing iterative SIMD multiply-accumulate operations
CN101430881B (zh) 2008-11-10 2013-04-17 华为技术有限公司 一种编码、解码、编解码方法、编解码系统以及相关装置
US8280040B2 (en) 2009-02-04 2012-10-02 Globalfoundries Inc. Processor instructions for improved AES encryption and decryption
US8458444B2 (en) 2009-04-22 2013-06-04 Oracle America, Inc. Apparatus and method for handling dependency conditions between floating-point instructions
CN101901127B (zh) 2009-05-31 2012-07-25 国际商业机器公司 一种迦罗华域乘法器
GB2470782B (en) 2009-06-05 2014-10-22 Advanced Risc Mach Ltd A data processing apparatus and method for handling vector instructions
US8918623B2 (en) 2009-08-04 2014-12-23 International Business Machines Corporation Implementing instruction set architectures with non-contiguous register file specifiers
CN102122241A (zh) 2010-01-08 2011-07-13 复旦大学 一种适用于素域和多项式域的模乘模除器
US8850166B2 (en) 2010-02-18 2014-09-30 International Business Machines Corporation Load pair disjoint facility and instruction therefore
GB2478731B (en) 2010-03-15 2013-08-21 Advanced Risc Mach Ltd Operand size control
US8417961B2 (en) 2010-03-16 2013-04-09 Oracle International Corporation Apparatus and method for implementing instruction support for performing a cyclic redundancy check (CRC)
US8645669B2 (en) 2010-05-05 2014-02-04 International Business Machines Corporation Cracking destructively overlapping operands in variable length instructions
US8539472B2 (en) 2010-06-09 2013-09-17 Lear Corporation Method and system of updating shared memory
US20110314263A1 (en) 2010-06-22 2011-12-22 International Business Machines Corporation Instructions for performing an operation on two operands and subsequently storing an original value of operand
US8626970B2 (en) 2010-06-23 2014-01-07 International Business Machines Corporation Controlling access by a configuration to an adapter function
US8903882B2 (en) 2010-12-13 2014-12-02 International Business Machines Corporation Method and data processing unit for calculating at least one multiply-sum of two carry-less multiplications of two input operands, data processing program and computer program product
EP3805921B1 (en) 2011-04-01 2023-09-06 INTEL Corporation Vector friendly instruction format and execution thereof
WO2013048369A1 (en) * 2011-09-26 2013-04-04 Intel Corporation Instruction and logic to provide vector load-op/store-op with stride functionality
CN106502624B (zh) * 2011-11-30 2019-10-18 英特尔公司 用于提供向量横向多数表决功能的处理器、设备和处理系统
CN103959237B (zh) * 2011-11-30 2016-09-28 英特尔公司 用于提供向量横向比较功能的指令和逻辑
US10157061B2 (en) * 2011-12-22 2018-12-18 Intel Corporation Instructions for storing in general purpose registers one of two scalar constants based on the contents of vector write masks
WO2013095661A1 (en) * 2011-12-23 2013-06-27 Intel Corporation Systems, apparatuses, and methods for performing conversion of a list of index values into a mask value
WO2013095657A1 (en) * 2011-12-23 2013-06-27 Intel Corporation Instruction and logic to provide vector blend and permute functionality
CN104169867B (zh) 2011-12-23 2018-04-13 英特尔公司 用于执行掩码寄存器至向量寄存器的转换的系统、装置和方法
CN107220027A (zh) * 2011-12-23 2017-09-29 英特尔公司 用于执行掩码位压缩的系统、装置以及方法
WO2013095599A1 (en) * 2011-12-23 2013-06-27 Intel Corporation Systems, apparatuses, and methods for performing a double blocked sum of absolute differences
EP2798478A4 (en) 2011-12-30 2016-12-21 Intel Corp EFFICIENT DECOMPRESSION BASED ON ZERO
US9280347B2 (en) 2012-03-15 2016-03-08 International Business Machines Corporation Transforming non-contiguous instruction specifiers to contiguous instruction specifiers
US9715383B2 (en) * 2012-03-15 2017-07-25 International Business Machines Corporation Vector find element equal instruction
US9459868B2 (en) 2012-03-15 2016-10-04 International Business Machines Corporation Instruction to load data up to a dynamically determined memory boundary
US9710266B2 (en) 2012-03-15 2017-07-18 International Business Machines Corporation Instruction to compute the distance to a specified memory boundary
US9459864B2 (en) * 2012-03-15 2016-10-04 International Business Machines Corporation Vector string range compare
US9459867B2 (en) 2012-03-15 2016-10-04 International Business Machines Corporation Instruction to load data up to a specified memory boundary indicated by the instruction
US9588762B2 (en) * 2012-03-15 2017-03-07 International Business Machines Corporation Vector find element not equal instruction
CN102819710B (zh) 2012-08-22 2014-11-12 西北工业大学 基于渗透测试的跨站点脚本漏洞检测方法
US9606961B2 (en) * 2012-10-30 2017-03-28 Intel Corporation Instruction and logic to provide vector compress and rotate functionality
US9256427B2 (en) * 2012-12-11 2016-02-09 International Business Machines Corporation Tracking multiple conditions in a general purpose register and instruction therefor
US9411589B2 (en) * 2012-12-11 2016-08-09 International Business Machines Corporation Branch-free condition evaluation
US9152419B2 (en) * 2012-12-18 2015-10-06 Intel Corporation Instruction set for supporting wide scalar pattern matches
US9372692B2 (en) * 2012-12-29 2016-06-21 Intel Corporation Methods, apparatus, instructions, and logic to provide permute controls with leading zero count functionality
US9411584B2 (en) * 2012-12-29 2016-08-09 Intel Corporation Methods, apparatus, instructions, and logic to provide vector address conflict detection functionality
US9411592B2 (en) * 2012-12-29 2016-08-09 Intel Corporation Vector address conflict resolution with vector population count functionality
US9471308B2 (en) 2013-01-23 2016-10-18 International Business Machines Corporation Vector floating point test data class immediate instruction
US9513906B2 (en) 2013-01-23 2016-12-06 International Business Machines Corporation Vector checksum instruction
US9823924B2 (en) 2013-01-23 2017-11-21 International Business Machines Corporation Vector element rotate and insert under mask instruction
US9804840B2 (en) 2013-01-23 2017-10-31 International Business Machines Corporation Vector Galois Field Multiply Sum and Accumulate instruction
US9778932B2 (en) 2013-01-23 2017-10-03 International Business Machines Corporation Vector generate mask instruction
US9715385B2 (en) 2013-01-23 2017-07-25 International Business Machines Corporation Vector exception code
US9886277B2 (en) * 2013-03-15 2018-02-06 Intel Corporation Methods and apparatus for fusing instructions to provide OR-test and AND-test functionality on multiple test sources
US9513907B2 (en) * 2013-08-06 2016-12-06 Intel Corporation Methods, apparatus, instructions and logic to provide vector population count functionality
US9495155B2 (en) * 2013-08-06 2016-11-15 Intel Corporation Methods, apparatus, instructions and logic to provide population count functionality for genome sequencing and alignment
US9552205B2 (en) * 2013-09-27 2017-01-24 Intel Corporation Vector indexed memory access plus arithmetic and/or logical operation processors, methods, systems, and instructions
US9436434B2 (en) 2014-03-14 2016-09-06 International Business Machines Corporation Checksum adder
EP3001307B1 (en) * 2014-09-25 2019-11-13 Intel Corporation Bit shuffle processors, methods, systems, and instructions
US9870305B2 (en) * 2015-09-30 2018-01-16 International Business Machines Corporation Debugging of prefixed code
US10761852B2 (en) * 2015-09-30 2020-09-01 International Business Machines Corporation Extending data range addressing
US9921841B2 (en) * 2016-02-24 2018-03-20 Intel Corporation System and method for executing an instruction to permute a mask

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110047358A1 (en) * 2009-08-19 2011-02-24 International Business Machines Corporation In-Data Path Tracking of Floating Point Exceptions and Store-Based Exception Indication

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
Z/ARCHITECTURE解説書, JPN6017048763, 8 April 2004 (2004-04-08), JP, pages P.19-48〜19-49 *

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109791491A (zh) * 2016-09-30 2019-05-21 国际商业机器公司 十进制加载立即指令
JP2019530093A (ja) * 2016-09-30 2019-10-17 インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation 10進ロード即値命令
US10990390B2 (en) 2016-09-30 2021-04-27 International Business Machines Corporation Decimal load immediate instruction
CN109791491B (zh) * 2016-09-30 2023-08-11 国际商业机器公司 用于促进计算环境内的处理的方法和计算机系统
JP2022519258A (ja) * 2019-02-06 2022-03-22 アーム・リミテッド アンカーデータ要素における特殊値の符号化
JP7541524B2 (ja) 2019-02-06 2024-08-28 アーム・リミテッド アンカーデータ要素における特殊値の符号化

Also Published As

Publication number Publication date
CN104956319B (zh) 2018-03-27
GB2525356B (en) 2016-03-23
DE112014000252T5 (de) 2015-10-01
US10203956B2 (en) 2019-02-12
US9436467B2 (en) 2016-09-06
GB201514700D0 (en) 2015-09-30
US9471308B2 (en) 2016-10-18
US20150095624A1 (en) 2015-04-02
US20160357557A1 (en) 2016-12-08
US20140208077A1 (en) 2014-07-24
TWI614679B (zh) 2018-02-11
US10671389B2 (en) 2020-06-02
TW201443779A (zh) 2014-11-16
GB2525356A (en) 2015-10-21
WO2014115047A1 (en) 2014-07-31
JP6410238B2 (ja) 2018-10-24
US20190155602A1 (en) 2019-05-23
CN104956319A (zh) 2015-09-30

Similar Documents

Publication Publication Date Title
JP6323837B2 (ja) Vector Checksum命令を実行するためのコンピュータ・プログラム、コンピュータ・システム及び方法
JP6338066B2 (ja) Vector galois field multiply sum and accumulate命令を処理するためのコンピュータ・システム、コンピュータ・プログラム及び方法
JP2019145164A (ja) ベクトル例外コードを処理するコンピュータ・プログラム、コンピュータ・システム及び方法
JP6410238B2 (ja) Vectorfloatingpointtestdataclassimmediate命令を処理するためのコンピュータ・システム、コンピュータ・プログラム及び方法
JP6380955B2 (ja) Vector generate mask命令を処理するためのコンピュータ・プログラム、コンピュータ・システム及び方法
JP6399522B2 (ja) Vector element rotate and insert under mask命令を処理するためのコンピュータ・プログラム、コンピュータ・システム及び方法

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20161220

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20171213

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20171226

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20180828

RD14 Notification of resignation of power of sub attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7434

Effective date: 20180828

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20180918

R150 Certificate of patent or registration of utility model

Ref document number: 6410238

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150