← 2026-05-31 の一覧へ戻るホーム
Intel 8087 フローティングポイントチップ内部のマイクロコード：レジスタ間交換

2026/05/31 2:27

Intel 8087 フローティングポイントチップ内部のマイクロコード：レジスタ間交換

RSS: https://news.ycombinator.com/rss

元のHacker News記事へ ↗
要約▶

Japanese Translation:

研究者らは、インテルの 1980 年製の 8087 フロートポイントチップを逆工程化することに成功し、これまで文書化されていなかったマイクロコードアーキテクチャを初めて解明しました。化学的に ROM の金属層を溶解させ、高度なニューラルネットワークを用いてトランジスタの配置をマッピングすることで、チームは内部 80 ビット形式（符号部の仮分数ビット 64 ビット、指数部 15 ビット、符号ビット）を発見し、マイクロ指令より 1,600 を超えるものを解読しました。このチップの中央にあるマイクロコード ROM は、トランジスタあたり 4 つの電圧レベルを持つ半アナログ技術を用いて、1,648 の 16 ビット指令を格納しています。そのアーキテクチャは、スタックシステム経由でアクセスされる 8 つのスタックレジスタ（ST）、2 つの内部一時レジスタ、および値の有効性、特別値（無限大/NaN）、ゼロ、または空とラベル付けするためのタグビットを採用し、パフォーマンス向上とエラー検出を最適化しています。当初は数学演算を最大 100 倍加速させる高速コプロセッサとして販売されたこの 8087 は、特別値を効率的に処理し、

arctan
といった複雑な操作を実装する際、数百のマイクロコードステップ（例：FXCH 指令は 14 のマイクロ指令を使用）を利用します。チームは例外事象を 6 つの種類（無効な操作、非正規化された操作、ゼロ除算、オーバーフロー、アンダーフロー、精度損失）に分類し、これらが割り込みを引き起こすか、またはマスクされて NaN や無限大を設定できるようになっています。このブレイクスルーにより、数十年にわたる歴史的コンピューティングデータを検証する確認済みの回路図が提供され、オープンなマッピングは高精度なソフトウェアエミュレータとシミュレータの実現、陳腐化したシステムへの互換性レイヤーのサポート、そして希少な物理コンポーネントを必要とせずに初期プロセッサ設計を学ぶための教育リソースとしての活用が期待されています。

本文

Intel 8087 チップのマイクロコード解析：FXCH 命令と例外処理の内側

はじめに

1980 年、インテルは浮動小数点演算を最大で 100 倍も高速化するコプロセッサ「8087 ファイニングポイントチップ」を発表しました。この規格は現在まで多くのプロセッサの標準となり続けています。

  • 内部構造: 平方根や三角関数などの複雑な演算子は、低水準の 「マイクロコード」 によって実装されています。
  • 本研究の目的: 「Opcode Collective（オペコードコレクティブ）」の一員として、8087 の特定の命令である 「FXCH（浮動小数点データ交換）」 命令に関するマイクロコードの詳細動作を解説します。

1. Intel 8087 チップの物理構造と内部回路

8087 チップは 40 ピンの DIP パッケージに搭載されており、中心にはマイクロコード ROM が配置されています。顕微鏡撮影により以下のブロックが確認されました。

  • マイクロコード ROM（中央部）
    • マイクロインストラクションを保持する主要な回路です。
    • チップ全体の約半分以上の面積を占めています。
  • マイクロコードエンジン（左側）
    • マイクロコード ROM を順次読み出し、ジャンプやサブルーチン呼出を制御します。
  • データパス（下半分）
    • 実際に浮動小数点計算を実行する部分です。
    • 回路は以下に分割されています：
      • 指数部用: 16 ビットバス
      • 有効数字（分数部）用: 64 ビットバス

データ保存とレジスタ構造

本稿では、赤色で強調された 「一時レジスタ」 と 「スタックレジスタ」 に焦点を当てます。

  • 値の保持形式
    • チップ内部では、全て 「80 ビット浮動小数点数」 形式で処理されます。
    • 構成要素：有効数字 (64 ビット) + 指数部 (15 ビット) + 符号ビット。
  • レジスタの役割
    • 一時レジスタ: 2 つ（各々、指数部と分数部を持ち、2 つのタグビット装備）。
    • スタックレジスタ: 8 つ（同上、各々 2 つのタグビット装備）。
  • スタック制御回路
    • スタック管理、トップ・オブ・スタック (現在の最上位要素) の追跡を行います。

アーキテクチャの特性

  • スタックベース設計:
    • コンパイラ設計や関数呼び出しを簡素化することを目的としていましたが、全ての命令が「スタックの最上部」を扱うという特徴があり、直感的でない場合があります。
    • 例：
      ST(3)
      という番号指定ではなく、スタックの頂上からの位置で参照します（値が移動するため意味は変化します）。
  • タグビット（Tag bits）による状態管理:
    • レジスタの状態を以下のタグで識別・最適化します。 
      • 有効
        ：正常な浮動小数点数。
      • 特殊
        ：無限大、NaN（非数）、非正規化値。
      • ゼロ
        ：0 の値。
      • 空
        ：ポップされた直後などの未使用状態。
    • エラー検出: 無効な操作（例：空のレジスタを読み取る）を防止し、「Invalid Operation」例外を発生させます。

重要：8087 はこれら 2 つの独立したデータパス（指数部用、有効数字用）とタグビットを組み合わせることで、複雑な計算とエラー検出を実現しています。

2. FXCH 命令の実装（マイクロインストラクション構造）

FXCH 命令は「スタック最上位」と「指定されたスタック位置」の値を交換する単純な処理に見えますが、実際には 14 つのマイクロインストラクション で複雑に実装されています。

マイクロインストラクションの種類

8087 のマイクロコード ROM（計 1,648 個）はすべて 16 ビットで構成され、以下の機能を持ちます：

種類説明具体的な処理例
第 1 種データ転送演算レジスタ間の読み書き（ソース/ディスティネーション指定）。
第 2 種シフト演算バレルシフターによる値の左/右シフト。
第 3 種加減算器利用加算・減算に加え、ループ内での乗除も利用可能。
第 4 種演算制御加減算器の設定や丸めモードの指定など。
ジャンプ類分岐処理
Fixed Jump
（固定先へ）、
Local Jump
（近接先へ）等の条件分岐。
その他特殊処理サブルーチン復帰、例外発生、レジスタ更新など。

FXCH マイクロコードのフローチャート

FXCH 命令に対応する 14 ステップの詳細は以下の通りです。

#0200: ST(0) -> tmpA      [スタック最上位を読み出す]
#0201: nop                [サイクルを待機]
#0202: ST(i) -> tmpB      [指定されたレジスタを読み出す]
#0203: if !(empty) jmp #0210 [両方空でない場合、正常処理へジャンプ]
#0204: set invalid exception [エラーパス：例外を発生させる]
#0205: if (unmasked) jmp #0213 [例外がマスキされていないなら終了]

-- エラー処理詳細 --
#0206: if !(tmpA empty) -> OK
#0207: if tmpA empty       -> NaN を tmpA に代入
#0208: if !(tmpB empty) -> OK
#0209: if tmpB empty       -> NaN を tmpB に代入

-- 正常処理 (ハッピーパス) --
#0210: tmpB -> ST(0)      [入れ替え：tmpB の値を最上位に保存]
#0211: nop                [サイクルを待機]
#0212: tmpA -> ST(i)      [入れ替え：tmpA の値を指定位置に保存]
#0213: RNI                [ルーチン終了：次の命令へ進出]
#0214 - #0216: nop        [未使用]

動作原理の关键点

  • 条件付きジャンプ: マイクロアドレス #0203 は、一時レジスタが「空」かどうか（タグビット確認）をチェックします。
    • もし空なら、例外設定マイクロコードへ分岐。
    • 条件フィールドの反転ビットにより、オフセット +6 を用いて #0210 へジャンプします。
  • 相対オフセットの利点: マイクロアドレスを直接指定せず、オフセット（6 ビットで十分）を使用することで回路設計が簡潔になります。
  • 例外の扱い:
    • 空レジスタを検知 → 
      Invalid Exception
      ラッチ設定。
    • 例外がアンマスキ（無視できない）場合 → CPU インタラプトへ伝播し、処理中断。
    • 例外がマスキされた場合 → 計算を継続。空のレジスタは NaN で置換されます。
  • 入れ替えの仕組み: 実際に値の交換は、読み出した 
    tmpA
    と 
    tmpB
    を逆順（対照的な位置）に書き込むことで行われます。

3. 例外処理システム

8087 は以下のように例外を分類し、ソフトウェア側で振る舞いを選べます。

異常の 6 大カテゴリ

  1. 無効な操作 (Invalid Operation)
    • 例：負の数の平方根、空のレジスタへのアクセス。
  2. オーバーフロー (Overflow)
    • 表現可能な最大値を超えた場合。
  3. アンダーフロー (Underflow)
    • 表現可能な最小値を下回った場合。
  4. ゼロ除算 (Zero Divide)
    • 0 を除数とした場合。
  5. 精度不足 (Precision)
    • 浮動小数点数として正確に表せない場合（例：1/3）。
  6. 非正規化演算 (Denormalized Operation)
    • 極めて小さい値の処理時。

ハンドリング方式

プログラマーは各例外に対して以下のいずれかを選択できます。

  • インタラプト (CPU 停止・ソフトウェア処理)
    • 例：回避策を実行、ログを記録、プログラムを終了させる。
  • マスキング（継続実行）
    • ハードウェアが自動的に値を置換します：
      • オーバーフロー → 無限大 (
        Inf
        )
      • 無効な操作 → 
        NaN
      • 精度不足 → 丸め処理

マイクロコードとハードウェアの連携

  • 検知: 
    set invalid exception
    コマンドでラッチが立つ。
  • 判断: 制御レジスタのマスキビットと、ステータスレジスタのフラグを組み合わせて、実際に CPU が停止すべきか判断します。
  • 完了: RNI（次の命令実行）指令後、例外フリップフロップはステータスレジスタにコピーされ、プログラマーの確認可能となります。

4. マイクロコード ROM の抽出と解析

8087 のマイクロコード ROM は当時としては大容量であり、26,368 ビットのデータを格納していました（標準 ROM の 2 倍）。

  • 特殊構造: トランジスタ 1 個あたり 2 ビットを格納可能にする設計。
  • 半アナログ方式: 4 つの電圧レベルで情報を表現し、コンパレータにより変換。

リバースエンジニアリングのプロセス

  1. 画像取得: チップを開封し、金属層を溶解後に高解像度撮影。
  2. トランジスタマッピング:
    • 回路の行や列がシャッフル・反転している場合があるため、回路図分析と対照。
    • グリッド状の配置からビットパターンへの変換。
  3. 意味の割り当て:
    • 特許には記載がないため、回路解析とパターンの組み合わせで推定。
    • ハードウェアレベルでの完全な理解は進められています。

おわりに：今後の展望と謝辞

8087 のマイクロコードは当時の技術的限界において特殊ケースやハック（副作用ありのジャンプなど）が多く含まれています。私個人および「Opcode Collective」として、このリバースエンジニアリングを継続しており、詳細は以下のプラットフォームで報告します。

  • Bluesky: 
    @righto.com
  • Mastodon: 
    [email protected]
  • GitHub リポジトリ: 8087 マイクロコードの解析データ。

この作業に協力した Smartest Blob および Gloriouscow へ感謝いたします。

脚注: 本稿の執筆には AI は一切使用されておりません（em ダッシュを含む）。

同じ日のほかのニュース

一覧に戻る →

2026/05/31 8:26

マイクロソフトが永続ライセンス付きのオフライン製品の機能制限を実施

## Japanese Translation: 2026 年 7 月 13 日、Microsoft は macOS および iOS 向けに永続ライセンス付きの Office アプリに対して重要な制限を施行し、Word、Excel、PowerPoint、Outlook、OneDrive のライセンス証明書が期限切れになった時点でユーザーを閲覧専用モードにロックします。これにより、これらの特定のデバイスでの完全な編集機能は事実上終了し、2023 年のサポート終了日以降もデータ安全性が恒久的に維持されるとの以前のアシuranse と大きな決別を示します。Windows や Android バージョンはこの証明書問題の影響を受けない一方、この機能劣化は Apple ハードウェア上の古い永続ライセンスを特定して対象としています。ユーザーは現在のソフトウェアを再インストールしても問題を修復することはできず、代わりに無料の Web アプリへ移行するか、新しいサブスクリプションベースのライセンスを購入する（または Office Home 2024 永続ライセンスの可能性もある）、あるいは LibreOffice、OnlyOffice、Pages のような代替スイートへ切り替える必要があります。Microsoft は Office 2021 ユーザーに対して限られた解決策を提供しており、バージョン 16.83 以降へのアップグレードが可能で、これは 2026 年 10 月までの新たな証明書を含んでいます。しかし、サポート終了済み Office 2019 を実行している場合に必要な閾値未満のハードキャップのため、有効なアップデートパスは存在しません。Microsoft は 2026 年 5 月中旬から影響を受ける顧客へ電子メールを送信し、代替策として無料の Microsoft 365 Personal トライアルを提供しています。この動きは、業界全体の広範な傾向を浮き彫りにしており、永続ライセンスは継続的な有料サポートや特定の技術パッチなしに長期的な機能維持のためにはますます信頼性が低いという事実を示しています。

2026/05/31 5:40

専門分野の知見こそが、本物の護城河であった。

## Japanese Translation: ソフトウェア開発における核心的な変化は、システム構築と検証を分離する「エージェント型 AI」の台頭であり、これにより深いドメイン知識が生のコーディングスキルよりも新たな最重要資産となっています。従来のエンジニアは、失敗を観察したり専門家の影を追うことによりドメインを習得しましたが、この育成型の道筋は現在、多くの場合に封殺されています。今日のエージェントは、物流スケジュールや給与計算規則といった複雑な業界データを調和させることで得られる暗黙的理解を再現するのが困難です。そのため、特定のバックグラウンドを持たない一般向けエンジニアは、AI が生成したコードを効果的に検証することができず、コーディングを行わない者もこれらの強力なツールを効果的に活用できません。未来の景観では、機械的なコーディング能力と深い業界専門知識を併せ持ち、「二重判断」を行う専門家—すなわちコードの健全性と事実の正確性の両方を保証する人材—が優位に立つでしょう。AI による抽象モデルの機械的翻訳がもはや独占的ではなくなる中、現実世界の法規制の実証済みモデルこそが決定的な資産となります。この移行は物流配車オペレーターなどの役割を再定義し、清らかなコードの生成が主たる制約ではなくなった時代において、ドメインの複雑性に対する人間の洞察が不可欠であることを証明しています。 ## Text to translate: No significant improvements are needed as the original summary is concise, accurate, and comprehensive. ## Summary: The central shift in software development is the emergence of Agentic AI, which separates building systems from verifying them, making deep domain knowledge the new most valuable asset rather than raw coding skills. Unlike traditional engineers who learned domains by observing failures and shadowing experts—a developmental path now blocked for many—today's agents struggle to replicate the tacit understanding gained from reconciling complex industry data like logistics schedules or payroll rules. Consequently, generalist engineers cannot effectively verify AI-generated code without this specific background, while non-coders remain unable to leverage these powerful tools effectively. The future landscape favors professionals who combine mechanical coding proficiency with profound industry expertise to perform "double judgment," ensuring both code soundness and factual accuracy. As mechanical translation of abstract models becomes less exclusive due to AI, verified models of real-world regulations become the critical asset. This transition elevates roles like logistics dispatchers, proving that human insight into domain complexities is irreplaceable in an age where generating clean code is no longer the primary constraint.

2026/05/29 11:49

砂漠の真ん中に貝殻を見つけた

## Japanese Translation: サウジアラビアのアルガット砂漠の崖基部で発見された目立つ岩石は、海岸線近くにはなく、地質学的証拠によるとジュラ紀（約 1500 万年前）には海洋の底だった場所で、貝殻のように見える。地域のパレオントロジー専門家がいなかったため、著者は DIY データ分析を用いてその系統を同定した。ほぼ 8,000 の貝殻種を含むデータセット（Zhang et al.）において、著者は各輪郭を 256x2 マトリクスとして表現し、輪郭間の二乗ユークリッド距離を計算し、主成分分析（PCA）を適用した。得られた 2 次元潜在空間では、負の PC1 値は丸みを、正の値は尖り具合を示し、PC2 は対称性または質量分布を捕捉していた。化石は最も近似的に*Sphincterochila candidissima*に類似しており、これは約 3800 万年前にのみ出現した種であり、ジュラ紀にはいなかった。PCA に基づくと形状はほぼ同一だが、時間的ギャップにより直接的な祖先関係は否定され、代わりに収斂進化が示唆される：無縁の生物が同様の環境圧力の影響を受けて類似の形態を発達させた。このプロジェクトでは、また shell.hawzen.me というインタラクティブなツールを提供しており、これは遠隔地の非専門家でも専門的な科学ツールにアクセスできるようにし、研究の民主化と地球の歴史に関する深遠な事実の解明を実現することを示している。

Intel 8087 フローティングポイントチップ内部のマイクロコード：レジスタ間交換 | そっか～ニュース