EDSAC

EDSAC（エドサック、Electronic Delay Storage Automatic Calculator）は、初期のイギリスのコンピュータのひとつ。このマシンはジョン・フォン・ノイマンがまとめたEDVACについてのレポート（EDVACに関する報告書の第一草稿）に刺激され、モーリス・ウィルクスとケンブリッジ大学の数学研究所（英語版）のチームが開発した。EDSACは、世界初の実用的なプログラム内蔵方式の電子計算機であるが、プログラム内蔵方式の世界初の稼働したマシンではない。 プロジェクトは J. Lyons & Co. Ltd. が資金援助し、同社はEDSACのデザインに基づいた初の商用コンピュータ LEO I を開発した。1949年5月6日、EDSAC上で最初に動作したプログラムは、0から99までの整数の二乗の表を作るプログラムと、素数のリストを作るプログラムであった。 EDSACが開発されると即座に大学の研究用に使われ始めた。3000本の真空管を使用し、消費電力は12kW。主記憶装置には水銀遅延管を使用している。入力には5孔の紙テープを使用し、出力にはテレタイプ端末を使用している。 当初、レジスタとしてはアキュムレータと乗算器用レジスタしかなかった。1953年、デビッド・ホイーラーがイリノイ大学から戻ると、インデックスレジスタを設計してEDSACのハードウェアを拡張している。 主記憶容量は1024ワード（1ワード（ショートワード）は17ビット）だが、実際にメモリが実装されたのは512ワードまでだった。ロングワードは35ビットで、偶数アドレスと奇数アドレスのショートワードを、真ん中に「サンドイッチビット」と呼ばれるビット（記憶装置の都合によるスタートビット兼ストップビットのようなものがそのまま入る）を挟んで連続して使用する。数値は2の補数表現の二進数である。 18個の命令を備えていた。17ビットのショートワード先頭5ビットが命令コードだが、紙テープの文字コードをそのまま使い、ニーモニックの文字コードを命令コードとしていた。例えば "Add" 命令の命令コードは "A" の文字コードだった。その後に1ビットの未使用ビットをはさみ、10ビットのメモリアドレスがあり、最後の1ビットはオペランドがショートワードなのかロングワードなのかを指定する。 乗算器は数値を固定小数点数として扱い、その範囲は -1 ≤ x < 1 となるよう設計されている。すなわち、小数点は符号のすぐ後にある。アキュムレータは71ビット幅で、35ビットのロングワード同士の乗算を行っても切捨てが起きないよう設計されている。 命令としては、加算、減算、乗算、照合、左シフト、右シフト、乗算器用レジスタへのロード、アキュムレータの内容のストア（オプションでアキュムレータをクリア）、条件付スキップ、入力テープ読み込み、文字印字、アキュムレータを丸める、NOP、ストップなどがある。除算命令はなく（サブルーチンで実装）、アキュムレータに直接メモリからロードする命令もない（アキュムレータをストア命令でゼロクリアしてから加算命令で「ゼロに該当の値を加算」することで、ロードと同様の結果になる）。 イニシャルオーダ (initial orders) はスイッチ群で実装されていて、起動時にメモリの先頭ワード群にロードされる。1949年5月には、上述したニーモニック設計を生かした初歩的なアセンブラの機能がわずか31ワードのイニシャルオーダに搭載されている。これが世界初のアセンブラであり、ソフトウェア産業の出発点とも言える。 EDSACは同大学の様々な実際の問題を解くのに使われ、今日のオペレーティングシステムに含まれるような様々な技法が考案された。ユーザーはプログラムをアセンブリ言語で書くと、紙テープをさん孔して入力の準備をする。ユーザーは紙テープを見てコードを読み取れるようになった。準備ができると、紙テープを読取装置の近くにある紐に引っ掛ける。オペレータはその紐に引っ掛けられた紙テープ群から1つを選び、EDSACに読み込ませる。これがいわゆるジョブキューの役割を果たした。プログラムの実行によってプリントアウトされたものと紙テープはユーザーに返される。何も出力されない場合は停止したメモリ位置をユーザーに知らせる。デバッガはまだなかったが、ブラウン管を使って指定したメモリ位置の内容を表示することができた。これは例えば数値が収束しているかどうかを見るのに使われた。通常業務時間が終了すると、許可を得たユーザーが自らマシンを操作でき、真空管が故障しない限り夜遅くまで使っていたが、あるユーザーによれば真空管の故障はよく起きたという。 初期のプログラマは今日では推奨されない技法、特にコード書き換えを使う必要があった。当初インデックスレジスタがなかったため、配列にアクセスするには命令内のアドレス部分を実行時に書き換えてやる必要があった。 デビッド・ホイーラーはこのプロジェクトで世界初の計算機科学のPhDを取得したが、サブルーチンの概念の発明者とされている。ルーチンにジャンプする命令のあるアドレスに1を加えたアドレスをレジスタに格納した状態でルーチンにジャンプする（これを Wheeler jump と呼ぶ）。サブルーチン側はその渡されたアドレスで最後尾のジャンプ命令のアドレス部を書き換える。この書き換えをサブルーチンの先頭で行えば、さらに別のサブルーチンコールを呼ぶ、入れ子を実現することもできる（再帰はできない、ということに注意）。 ただし当時はリロケータブルバイナリなどといったものがあるわけでは当然なく、プログラマがジャンプ先の位置を計算する必要があり、各ルーチンの長さを予め正確に知っている必要があった。サブルーチンはあらかじめマスターテープとして作られており、それをテープ上でプログラム本体の後ろに続けてコピーするというならば「人力リンク」のような作業が行われていた（そのため、サブルーチンの先頭位置はプログラムによって異なるが、コーディングの際には事前のアドレス計算により求めておく必要があった）。 また重要なこととして、以上のような技法を初めとした、本機の利用によって得られた経験と、具体的にそのプログラムとを The Preparation of Programs for an Electronic Digital Computer という書籍として公刊し、世界的に広く読まれた、ということが挙げられる。当時は米国の一部のコンピュータのように、軍や兵器や米国の安全に関与しているため秘密にすることが強要され知見が全く共有されなかった等といった例もあった中で、同書は世界的に「プログラミング」の実例を広めたのみならず、その後にプログラム内蔵方式（乃至、ノイマン型）コンピュータを設計する者への指針ともなったなど、広く世界に貢献した。 サブルーチンの概念からライブラリができるようになった。1951年には次のような分野の87のサブルーチンが広く使われていた。 浮動小数点演算、複素数演算 除算、べき乗 各種関数（三角関数など） 微分方程式 冪級数 対数 印字レイアウト 数値積分 入力 反復処理（do-while文、while文、for文） ベクトル、行列 1950年、ウィルクスとホイーラーはロナルド・フィッシャーの論文にあった遺伝子頻度に関する微分方程式をEDSACで解いた。これは生物学分野での世界初のコンピュータ利用である。 1951年、ミラーとホイーラーは当時としては最大の79桁の素数を発見した。 1952年、大学院生だったアレキサンダー・サンディ・ダグラス（英語版）は三目並べのグラフィカルバージョンである 『OXO』 というプログラムをEDSAC上で作成した。これが画面写真が残っている世界初のコンピュータゲームである。 以下は後継機のEDSAC 2（en:EDSAC 2）による（後継機 EDSAC 2 の稼働により、先代 EDSAC の稼働は終了した） 1960年代、楕円曲線に関する数値演算に使われた。具体的には、バーチ・スウィンナートン＝ダイアー予想（BSD予想）を導いた計算である。 EDSACの後継機 EDSAC 2 は1958年に動作を開始した。1961年、EDSAC 2 用のAutocode（ALGOL風の科学技術計算用高水準言語)を D.F. Hartley が開発した。 1960年代半ばには EDSAC 2 の後継機が計画されたが、結局 Atlas 2 のプロトタイプである Titan が導入された。Atlas 2 はマンチェスター大学、フェランティ、Plessy の三者で開発した Atlas コンピュータの後継機である。 2011年1月13日、Computer Conservation Society がEDSACの実動するレプリカをイギリスブレッチリー・パークの国立コンピューティング博物館にて製作すると発表した。2015年の稼働を目指し、その後は定期的に動作させるデモンストレーションを行う予定だという。 プロジェクトを指揮する Andrew Herbert はモーリス・ウィルクスの下で学んだことがある。 The Preparation of Programs for an Electronic Digital Computer by Professor Sir Maurice Wilkes, David Wheeler and Stanley Gill, Addison–Wesley, Edition 1, 1951 ^ "delay storage" は使用している遅延記憶装置を指している ^ Manchester Mark IのプロトタイプであるBabyの方が早い。ただし Baby はウィリアムス管の評価用に製作されており、実用的ではなかった。A brief informal history of the Computer Laboratory を参照。マンチェスター大学では1949年4月から Manchester Mark I が稼働しはじめているが、完成したのは少し後である。 ^ 指定されたメモリワードと乗算器用レジスタの内容にビット単位のANDを施し、結果をアキュムレータに格納する命令 ^ ストア命令に、単にストアする命令と、ストアに引き続きアキュムレータをゼロクリアする命令の2種類があり、その後者を使う、ということ。 ^ 当時の資料映像に、1976年にウィルクスが解説を付けた動画（ (79) EDSAC 1951 - YouTube ）にプログラミングの光景がある。4分から5分のあたりで設計、5分から5分30秒のあたりでコーディング、5分30秒から先のあたりで、紙テープへのパンチングと、該当するサブルーチンの編集等の作業が見られる。 ^ Wilkes, W. V.; Renwick, W. (1950). “The EDSAC (Electronic delay storage automatic calculator)”. Math. Comp. 4: 61-65. http://www.ams.org/journals/mcom/1950-04-030/S0025-5718-1950-0037589-7/.  ^ “Pioneer computer to be rebuilt”. Cam 62: 5. (Lent 2011).  ^ Martin Richards. “EDSAC Initial Orders and Squares Program”. University of Cambridge, Computer Laboratory. 2024年3月20日閲覧。 ^ Professor David Barron, Emeritus Professor of the University of Southampton at a Cambridge Computer Lab seminar to mark the 60th anniversary May 6th 2009. ^ Gene Frequencies in a Cline Determined by Selection and Diffusion, R. A. Fisher, Biometrics, Vol. 6, No. 4 (Dec., 1950), pp. 353-361 ^ Caldwell - largest known primes by year One reference gives Miller, J. C. P. "Larger Prime Numbers" (1951) Nature 168(4280):838, ただし こちらには言及がない。 ^ Ward, Mark (2011年1月13日). “Pioneering Edsac computer to be built at Bletchley Park”. BBC News. 2024年3月20日閲覧。 ^ Todd, John (1952). “Review: The Preparation of Programs for an Electronic Digital Computer, by M. V. Wilkes, D. Wheeler, and S. Gill”. Bull. Amer. Math. Soc. 58 (2): 276-278. http://www.ams.org/journals/bull/1952-58-02/S0002-9904-1952-09610-5/.  計算機の歴史 真空管式コンピュータ - 真空管式コンピュータ一覧 ウィキメディア・コモンズには、EDSACに関連するカテゴリがあります。 50th Anniversary of EDSAC Site An EDSAC simulator — Developed by Martin Campbell-Kelly, Department of Computer Science, University of Warwick, England. Oral history interview with David Wheeler, 14 May 1987. Charles Babbage Institute, University of Minnesota. Nicholas Enticknap and Maurice Wilkes, Cambridge's Golden Jubilee — in: RESURRECTION The Bulletin of the Computer Conservation Society. ISSN 0958-7403. Number 22, Summer 1999.