単一命令セットコンピュータ（OISC）：概要、種類、用途

中核となる命令モデルと例

複数の異なる単一命令モデルが研究されてきた。最も広く論じられているものはSUBLEQ（subtract and branch if less-or-equal）である。この命令は、あるメモリ位置の内容を別のメモリ位置の内容から減算し、結果を書き戻したうえで、条件に応じて分岐する。SUBLEQおよび類似した減算・分岐形式は、万能計算が可能であることが知られている。ほかの代表的なモデルには、単純な転送命令（条件付きの効果を伴う移動またはコピー）や、算術処理と制御を1つの操作に組み合わせる単一命令のビット演算・論理演算型がある。教育用の実装やシミュレータでは、これらの変種がよく実演されている。実装の概要についてはSUBLEQの解説を参照。

特性とアーキテクチャ

OISCは通常、制御論理の最小化を重視する。デコードの対象が1つのオペコードだけであるため、CPUのフェッチ・実行サイクルはより単純になる。しかし、ハードウェア段階での単純さは、ソフトウェアの複雑さによって相殺される。プログラムは長くなり、命令パターンによって高水準の操作を模倣するため、実行順序をより慎重に設計しなければならない。メモリ配置、アドレッシングモード、間接アドレッシングの有無は、どの高水準構文を容易に表現できるかに大きく影響する。アーキテクチャ上の注記と縮小命令セットの考え方との比較はRISCとの関連を、アドレッシング形式に関する注記はアドレッシングモードを参照。

歴史と著名な実装

単一命令機械という概念は、主にコンピュータ構成と計算可能性を教える学術的な場で用いられてきた。Ultimate RISC（URISC）と呼ばれる影響力のある実例は、ウォータールー大学の研究者によって開発された。URISCは、完全に機能するコンピュータを簡潔に仕様化できることを示し、授業用の教材として利用された。歴史的背景およびプロジェクト単位の情報についてはURISCプロジェクトを、一般的な機関資料については学術資料を参照。地域または機関に関する追加の説明は、地域資料、学部概要、関連リソースに記録されている。

用途、例、意義

OISCは、チューリング完全性、コンパイラ構築、マイクロアーキテクチャ設計などを教える教材として有用である。また、最小主義そのものを探究するレクリエーショナル・コンピューティングや難解プログラミング言語のコミュニティにも見られる。制御装置を単純化できる一方で、実世界の性能、コード密度、プログラマの生産性は通常低下するため、実用的なシステムで単一命令方式が採用されることはまれである。

区別と重要な事実

覚えておくべき要点は、多くの単一命令機械が数学的には万能である一方、万能性は実用性を意味しないことである。OISCは、制御とデータ移動を単一の操作に符号化できることを示し、従来型アーキテクチャにおける命令セットとコンパイラ支援の役割を明らかにする。教育者や研究者にとって、OISCは計算の基礎を探究するための、簡潔で教育的価値の高い手段であり続けている。

• 一般的な単一命令の形式：減算・分岐、転送／コピー、算術・分岐を組み合わせた形式。
• 利点：命令セットの概念的な単純さ、教育上の明瞭さ。
• 欠点：ソフトウェアの複雑化、コードの長大化、実用場面における性能低下。