命令セット




命令セット（めいれいせっと、instruction set）は、コンピュータのハードウェアに対して命令を伝えるための言葉の語彙[1]。




目次






  • 1 命令セットアーキテクチャ


  • 2 命令セットの設計


    • 2.1 コード密度


    • 2.2 機械語




  • 3 ISA一覧


    • 3.1 ハードウェアで実装されたISA


    • 3.2 ハードウェアでも実装されたが一般にはソフトウェアで実装されているISA


    • 3.3 ハードウェアに実装されていないISA




  • 4 関連項目


    • 4.1 ISAのカテゴリー


    • 4.2 特殊な命令セットの利用例


    • 4.3 何らかのISAを実装しているハードウェア


    • 4.4 その他




  • 5 参考文献


  • 6 脚注


  • 7 外部リンク





命令セットアーキテクチャ


コンピュータのアーキテクチャとは、もともとは、入出力インタフェースを含むコンピュータシステムのハードウェア全体（周辺機器自体は含まない）の、ユーザー（プログラマ、OSを設計するプログラマも含む）から見たソフトウェアインタフェースの定義である。具体的には使用できるレジスタの構成、命令 (コンピュータ)とデータ型、アドレッシングモード、メモリマネジメント、割り込みと例外処理、さらに（もしあれば）入出力などである。このインターフェースの違いがコンピュータ・アーキテクチャの違いであり、実装方法をマイクロアーキテクチャといい、このマイクロアーキテクチャ上に各種命令を構築した体系が命令セットアーキテクチャ (instruction set architecture, ISA) である。


ISAは、プロセッサに実装された命令形式を二進数のコード（オペコード）のセットで表現する。オペコードのセットは、機械語とも呼ばれる。


マイクロアーキテクチャはプロセッサを設計する上での技術であり、マイクロコード、パイプライン、キャッシュシステムなどを含み、一般的にはアーキテクチャが異なればISAも異なるが、同じ命令セットを持つこともできる。後者の例としては、インテルのPentiumとAMDのAthlonとがある。これらは実装しているx86命令セットはほとんど同じだが内部設計は全く異なっている。


この概念を拡大したユニークなISAとしてTIMI (Technology-Independent Machine Interface) があり、これはシステム/38とAS/400で使われている。TIMIは最近では仮想機械として知られるソフトウェアで実現されている。これはプラットフォームとそこで動作するアプリケーションの寿命を延ばすために設計されたもので、プラットフォーム全体を全く異なるハードウェアに移行してもTIMI自身だけを移植すれば、その上のオペレーティングシステムもアプリケーションもそのまま動作する。このためIBMはAS/400のハードウェアを古いCISCからPOWERに移行させたが、オペレーティングシステム (OS) を含めたソフトウェアは全く変更せずに済んだ。



命令セットの設計


マイクロアーキテクチャを設計するとき、技術者はRegister Transfer Language（コンパイラの中間形式と同じ名前だが直接の関係はない）を使って ISAの各命令の処理を定義する。


ISAをプロセッサとして実装する方法が歴史的に大きく2つ存在している。この記事は実装についての記事ではないので深くは扱わない。詳細はCPU設計などの記事を参照のこと。



  • ワイヤードロジック

  • マイクロプログラム方式


この他、エミュレータや仮想機械などインタプリタ型のソフトウェアによる実装や、ハードウェア記述言語などでFPGAなどのプログラマブルロジックデバイスのコンフィギュレーションとして記述されたソフトプロセッサがある。


今日、新たなISA（あるいはマイクロアーキテクチャ）を開発しようとするベンダーはソフトウェアエミュレータを作って、ハードウェアが完成する前にソフトウェア開発者が開発に取り掛かることができるようにするのが一般的である。


命令セットの設計では、一部のオペコードをソフトウェア割り込みに利用する。例えば、6502では0x00、Z80では0xFF[2]など、68000では0xA000から0xAFFFがソフトウェア割り込みに使われた。


PopekとGoldbergの仮想化要件に適合した命令セットでは、高速な仮想機械の実装が容易になる。


複数プロセッサを搭載するシステムでは、命令セットでフェッチ・アンド・アッド、LL/SC、コンペア・アンド・スワップなどの機能をサポートすることで排他制御の実装が容易になる。



コード密度


初期のコンピュータでは、メモリは高価で容量が少なかったため、メモリ上のプログラムのサイズを削減することが重要な課題であった。そのため、ある作業をするのに要する命令列のサイズを「コード密度; code density」と呼び、命令セットの重要な特性の1つとしていた。コード密度の高い命令セットでは、1つの命令で一度にいくつもの機能を実行できるようになっている。そのような複雑な命令セットを持つコンピュータ (CISC) では、基本的な操作（加算、乗算、サブルーチンへの分岐など）に加えて、メモリアクセス、レジスタのインクリメントといった操作を同時に行う。ソフトウェア実装の命令セットではさらに複雑な命令も存在する。


RISCは、メモリの低価格化に伴って登場した考え方であり、命令セットを単純化することでコード密度は低下する。RISCでは、各命令はレジスタ同士の加算などといった単純な操作しか行わない。


MISC (Minimal Instruction Set Computer) はスタックマシンの一種であり、命令数は非常に少なく（16から64種）、1ワードに複数の命令を格納可能となっている。MISCの実装にはチップ面積はごく小さくて済み、FPGA やマルチコアでの実装に適している。コード密度はRISCと同程度である（メモリ当たりの命令密度は増加しているが、命令数が少ないため、より多くの命令実行を必要とする）。例えば、FORTH言語を実装したチップがある[1]。


命令セットの分類方法として、最も複雑な命令のオペランド数で分類する方法がある（以下で、a、b、c はメモリアドレス、reg1 などはレジスタを意味する）。



  • 0オペランド（ゼロアドレスマシン） - スタックマシンとも呼ばれ、全てのオペランドをスタックから取り出して使用する。2つの数を加算する処理は4命令 (push a, push b, add, pop c) で行われる。

  • 1オペランド - 初期のコンピュータでよく使われたモデルで、1つのオペランドを使って処理をし、結果をアキュムレータに格納する。2つの数を加算する処理は3命令 (load a, add b, store c) で行われる。

  • 2オペランド - RISCマシンのほとんどはここに分類される。CISCマシンもここに分類されるものが多い。RISCの場合、2つの数を加算する処理は4命令 (load a,reg1, load b,reg2, add reg1,reg2, store reg2,b) で行われる。

  • 3オペランド - 一部のCISCと、ごく一部の RISC がここに分類される。CISCの場合、2つの数を加算する処理は1命令 (add a,b,c) で行われるか、より一般的には（3つのオペランドがあっても、メモリを指定できるのはそのうち2つであることが多いため）2命令 (move a,reg1, add reg1,b,c) で行われる。RISCの場合、オペランドが3つであってもメモリアクセスと加算は別命令となるため、さらにロード命令とストア命令が必要になる。レジスタが32本なら、3つのオペランドを指定するのに15ビット必要となり、必然的に命令サイズは32ビットかそれ以上でなければならない。

  • 4以上 - 一部のCISCでは3つ以上のレジスタを指定してメモリアクセスを行う命令が存在する。


コード密度を改善する機構として実行ファイル圧縮が研究されてきた。関連する数学上の概念としてコルモゴロフ複雑性がある。



機械語


機械語は個々の命令から構成される。アーキテクチャにもよるが、命令は通常、以下のいずれか（あるいは複数）を指定する。



  • 算術演算、アドレス指定、制御用途にレジスタを指定する。

  • メモリ位置やオフセットを指定する。

  • オペランドを解釈するためのアドレッシングモードを指定する。


このような単純な命令を組み合わせてより複雑な操作を構築し、（ノイマン型であれば）これを逐次的に実行したり、制御フロー命令で順序を変えたりする。


多くの命令セットに共通な操作として、以下のものがある。



移動（コピー）




  • レジスタに固定の定数値を格納する。

  • あるメモリ位置からレジスタにデータを移動する（または逆方向）。そのデータに対して後から何らかの計算を行い、結果をメモリに格納する。

  • ハードウェア機器からデータを読み込んだり、逆にデータを書き込んだりする。





計算



  • 加算、減算、乗算、除算。2つのレジスタの内容についてそれら演算を行い、結果をレジスタに格納する。


  • ビット演算。2つのレジスタのビット位置毎の論理和や論理積を計算したり、1つのレジスタのビット毎の否定を計算する。

  • 2つのレジスタの値の比較（等しいかどうか、どちらが大きいかなど）





制御フローの変更



  • プログラム内の別の位置にジャンプし、そこの命令を実行する。

  • ある条件が成り立つときだけ別の位置にジャンプする。

  • 別の位置にジャンプするが、その際にジャンプ元の次の命令の位置を記憶しておき、後でそこに戻る（サブルーチン）




コンピュータによっては命令セット内に複雑な命令を持っている。通常ならいくつもの命令を使わなければならないような操作を1つの命令で実現している。一般にそのような命令は内部で複数のステップに分解され、複数の実行ユニットを使って実現される。さもなくば、プロセッサの回路規模が大きくなりすぎることになる。そのような複雑な命令として以下のようなものがある。



  • 複数のレジスタを一度にスタック上にセーブする。（コンテキストスイッチ）

  • メモリを大きなブロックで移動する。

  • 複雑な浮動小数点演算（三角関数、平方根など）


  • テスト・アンド・セット命令などの不可分操作を実行する。


  • ALUへの入力にレジスタではなく、メモリ位置を指定する命令。つまり、メモリからの移動と計算が1つの命令で行われる。


最近普通に実装されるようになった複雑な命令として、SIMD (Single-Instruction Stream Multiple-Data Stream) 命令またはベクター命令がある。これは、同じ演算操作を複数のデータに同時に行うものである。SIMD によって大きなベクトルや行列の操作を短時間で行うことが可能となる。また、音声、画像、動画などの並列化されたアルゴリズムを高速に実行できる。SIMD の実装には様々なマーケティング上の名称がつけられている（MMX、3DNow!、AltiVecなど）。


命令セットの設計は複雑な問題である。マイクロプロセッサの歴史は命令セットの設計で2つの段階に分けられる。当初、CISC すなわち複雑な命令セットが実装されていた。1970年代、IBMなどで研究が行われ、多くの命令が省略可能であることが判明した。その結果 RISC すなわち縮小された命令セットが登場した。命令セットが縮小されることで、クロックを高速化でき、プロセッサのサイズを小さくでき、電力消費を低減させることが可能となった。極端なRISCでなくとも、典型的な操作を最適化し、メモリやキャッシュの効率を向上させ、プログラミングを単純化させることができる。



ISA一覧


この一覧は完全ではない。古いものは省かれていて、新しいものはこれからも出てくるだろう。
商用のマイクロプロセッサやマイクロコントローラは様々なISAを実装している。
ISAのカスタマイズも非常によく見られる。



ハードウェアで実装されたISA



  • DEC Alpha

  • ARMアーキテクチャ

  • IA-64

  • MIPSアーキテクチャ

  • 68000

  • PA-RISC


  • POWER
    • PowerPC


  • SPARC

  • SuperH


  • System/360
    • z/Architecture


  • Tricore (Infineon)


  • トランスピュータ (STMicroelectronics)


  • VAX (DEC)


  • x86

    • IA-32

    • x64



  • バロース B5000


  • PDP-11 (DEC)



ハードウェアでも実装されたが一般にはソフトウェアで実装されているISA



  • p-Code (UCSD p-System Version III / ウェスタン・デジタルのPascal Micro-Engine)


  • Java仮想マシン (ARM Jazelle, PicoJava)

  • FORTH



ハードウェアに実装されていないISA



  • SECDマシン

  • ALGOL Object Code


  • MMIX - ドナルド・クヌースの The Art of Computer Programming で使われている教育用途のマシン



関連項目



ISAのカテゴリー



  • CISC

  • RISC

  • ベクタープロセッサ

  • VLIW

  • EPIC

  • SIMD


  • Explicit Data Graph Execution(EDGE)



特殊な命令セットの利用例



  • デジタルシグナルプロセッサ

  • GPU

  • 再構成可能コンピューティング



何らかのISAを実装しているハードウェア



  • CPU

  • マイクロコントローラ

  • マイクロプロセッサ



その他



  • コンピュータ・アーキテクチャ

  • CPU設計

  • エミュレータ

  • 仮想機械

  • Atmel AVR

  • ABI

  • HAL


  • ストリーミングSIMD拡張命令 (SSE) 命令セット



参考文献


  • デイビッド・Ａ・パターソン, ジョン・Ｌ・ヘネシー 『コンピュータの構成と設計 ハードウェアとソフトウェアのインターフェイス』上、成田光彰訳、日経BP、2006年、第三版。.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
    ISBN 4-8222-8266-X。


脚注




  1. ^ パターソン&ヘネシー（上） p.44


  2. ^ Ganssle, Jack. "Proactive Debugging". 2001年2月26日



外部リンク



  • Mark Smotherman's Historical Computer Designs Page

  • Microprocessor Instruction Set Cards


  • A Set of Standard Microprocessor Programming Cards by Jonathan Bowen

  • Randy Hyde's discussion on ISA


























  • 表

  • 話

  • 編

  • 歴


CPUテクノロジー
アーキテクチャ



  • ISA: CISC

  • EDGE

  • EPIC

  • MISC（英語版）

  • OISC（英語版）

  • RISC

  • VLIW

  • ZISC（英語版）

  • ハーバード・アーキテクチャ

  • ノイマン型

  • 4ビット

  • 8ビット

  • 12ビット

  • 16ビット

  • 18ビット

  • 24ビット

  • 31ビット

  • 32ビット

  • 36ビット

  • 48ビット

  • 60ビット

  • 64ビット

  • 128ビット
並列処理



















パイプライン


  • 命令パイプライン

  • イン・オーダー&アウト・オブ・オーダー

  • レジスタ・リネーミング

  • 投機的実行
レベル

  • ビット

  • 命令

  • スーパースカラー

  • データ

  • タスク

    		•
    スレッド

  • マルチスレッディング

  • 同時マルチスレッディング

  • ハイパースレッディング

  • スーパースレッディング（英語版）

    		•
    フリンの分類

  • SISD

  • SIMD

  • MISD

  • MIMD

    		•


    タイプ

  • マイクロプロセッサ

  • DSP

  • マイクロコントローラ

  • System-on-a-chip

  • ベクトルプロセッサ

    		•
    コンポーネント

  • 演算装置

  • Back-side bus

  • マルチプレクサ

  • デマルチプレクサ

  • レジスタ

  • MMU

  • TLB

  • キャッシュ

  • レジスタファイル

  • マイクロコード

  • 制御装置

  • CPUクロック

    		•
    電源管理

  • APM


  • ACPI (states)

  • Dynamic frequency scaling

  • Dynamic voltage scaling

  • Clock gating

    		•



    -

    Popular posts from this blog

    Entries order in /etc/network/interfaces

    Image
    4 I have a device with two interfaces, eth0 and eth1. One should get its IP from a DHCP server and the other should get its IP statically. If my /etc/network/interfaces file is configured as follows: auto lo iface lo inet loopback auto eth1 iface eth1 inet dhcp iface eth1 inet6 auto auto eth0 iface eth0 inet static address 10.10.10.10 netmask 255.255.255.0 Everything works great, eth1 gets its IP from the DHCP server, eth0 sets its IP statically from the information given, but if I try to change the order in the file, such as auto lo iface lo inet loopback auto eth0 iface eth0 inet static address 10.10.10.10 netmask 255.255.255.0 auto eth1 iface eth1 inet dhcp iface eth1 inet6 auto In this case, eth1 fails to get an IP. Does the /etc/network/interface care about th...
    Read more

    新発田市

    Image
    しばたし 新発田市 市のシンボル・新発田城（二の丸隅櫓） 新発田市旗 1934年7月9日制定 新発田市章 1934年7月9日制定 国 日本 地方 中部地方、北陸地方 甲信越地方、信越地方 都道府県 新潟県 団体コード 15206-4 法人番号 5000020152064 面積 533.10 km 2 総人口 96,267 人 [編集] （推計人口、2018年10月1日） 人口密度 181 人/km 2 隣接自治体 新潟市、阿賀野市、胎内市、北蒲原郡聖籠町、東蒲原郡阿賀町 福島県喜多方市 山形県西置賜郡小国町 市の木 サクラ 市の花 アヤメ 市のシンボル 新発田城 新発田市役所 市長 [編集] 二階堂馨 所在地 〒 957-8686 新潟県新発田市中央町3丁目3番3号 北緯37度56分52.5秒東経139度19分38.2秒 外部リンク 公式ウェブサイト ■ ― 政令指定都市 / ■ ― 市 / ■ ― 町 / ■ ― 村 地理院地図 Google Bing GeoHack MapFan Mapion Yahoo! NAVITIME ゼンリン   表示   ウィキプロジェクト 新発田市中心部周辺の空中写真。 1975年撮影の8枚を合成作成。国土交通省 国土画像情報（カラー空中写真）を基に作成。 新発田市 （しばたし）は、新潟県下越地方にある市である。新潟市への通勤率は16.6%（平成22年国勢調査）。 目次 1 概要 2 地理 2.1 隣接している自治体・行政区 3 地域・市街地構成 4 歴史 4.1 市名の由来 4.2 沿革 5 人口 6 行政 6.1 市長 7 経済 7.1 産業 7.1.1 市内の主な企業 7.1.2 漁業 8 姉妹都市・提携都市 8.1 国内 8.2 海外 9 施設・...
    Read more

    Grub takes very long (several minutes) to open Menu (in Multi-Boot-System)

    Image
    0 I have a Multi-Boot-System with 4 different installations of Linux. (1 Manjaro, 3 Mint) spread over 2 hard drives (2 on each). After doing grub-install /dev/sdX and update-grub several times within each installation ... the Grub-menu needs more and more time to open. It started with a few more seconds, now it takes several minutes. I tried to purge and reinstall Grub but this made the problem even worse: apt-get purge grub grub-pc grub-common apt-get install grub-common grub-pc os-prober update-grub What could be causing this problem? linux grub2 multiboot share | improve this question edited 4 mins ago ...
    Read more