フレックスマシン

フレックスコンピュータシステムは、 1970年代後半から1980年代にかけて、イギリスのマルバーンにある王立信号レーダー研究所（RSRE）^[1]のマイケル・フォスターとイアン・カリーによって開発されました。このシステムは、タグ付きストレージ方式を使用して機能アーキテクチャを実装し、厳密に型指定された手順を安全かつ効率的に実装できるように設計されました。

ハードウェアはカスタムかつマイクロプログラム可能で、オペレーティングシステム、(モジュール式) コンパイラ、エディター、ガベージコレクター、およびファイルシステムはすべてALGOL 68RSで記述されていました。

Flexには、書き込み可能なマイクロコードを備えたハードウェアを使用して実装された（少なくとも）2つのバージョンがありました。1つ目はLogicaによってRSRE設計に提供され、^[2] 2つ目はICL PERQを使用しました。^[3]^[4] マイクロコードのみがストレージの割り当て、割り当て解除、ガベージコレクションを担当しました。これにより、ポインタの誤用（意図的または偶発的）から生じる一連のエラーが即座に防止されました。

Flex の注目すべき機能は、タグ付きの書き込み可能なファイルストアでした。これにより、外部エンコードに頼ることなく、任意のコードとデータ構造を透過的に書き込み、取得できるようになりました。そのため、データをプログラム間で安全に渡すことができました。

同様に、リモート機能により、アプリケーションプログラムがデータ、パラメーター、または結果値の外部エンコードに関与することなく、ネットワーク接続を介して他のマシン上のデータやプロシージャにアクセスできるようになりました。

全体的なスキームにより、データ項目とそれへのアクセスが許可されたプロシージャを結合し、結果として得られる機能を自由に渡すことができるため、抽象データ型を安全に実装できるようになりました。この機能はプロシージャへのアクセスを許可しますが、データへのアクセスを取得するために使用することはできません。

Flexのもう一つの注目すべき機能は、不安定なポインタの概念です。最近では弱参照と呼ばれることが多く、これは次のガベージコレクションで解放される可能性のあるメモリブロックを指します。これは、たとえば、キャッシュされたディスクブロックや予備のプロシージャワークスペースのリストに使用されます。^[5]

COMFLEXは磁気ディスクの速度でデータを転送できるパケットスイッチングネットワークで、Flexと並行して開発されました。これにより、リモートファイルストア、リモート機能、リモートプロシージャコールの使用が可能になりました。^[6]

参照

参考文献

^ Terry, Phil F.; Wiseman, Simon R. (1988 年 6 月). 安全なコンピュータシステムの設計と実装について(PDF) (レポート). 王立信号・レーダー局。RSRE 覚書 No. 4188。2014 年 5 月 3 日時点のオリジナルよりアーカイブ(PDF)。
^ Foster JM、Moir CI、Currie IF、McDermid JA、Edwards PW（1979年10月）。FLEXコンピュータシステムの紹介（レポート）。Royal Signals and Radar Establishment。レポートNo 79016。2018年7月20日時点のオリジナルよりアーカイブ。 2018年2月12日閲覧。{{cite report}}: CS1 maint: 複数の名前: 著者リスト (リンク)
^ Foster JM、Currie IF、Edwards PW（1982年7月）。Flex：手順値に基づくアーキテクチャを備えた実用的なコンピュータ（レポート）。王立信号・レーダー局。RSRE覚書第3500号。 2018年2月12日閲覧。{{cite report}}: CS1 maint: 複数の名前: 著者リスト (リンク)^{[リンク切れ‍ ]}
^ Tombs, DJ; Bruce, DI (1991年11月). Ten15の進化(PDF) (レポート). Royal Signals and Radar Establishment. 2015年9月24日時点のオリジナルよりアーカイブ(PDF) 。
^ Currie IF、Foster JM、Edwards PW（1985年12月）。PerqFlexファームウェア（レポート）。Royal Signals and Radar Establishment。レポート番号85015。2018年2月6日閲覧。{{cite report}}: CS1 maint: 複数の名前: 著者リスト (リンク)^{[リンク切れ‍ ]}
^ McDermid, JA (1980年11月). 「Comflexの設計と使用 - ハードウェア制御パケットスイッチ」. IEE Proceedings E - Computers and Digital Techniques . 127 (6): 233. doi :10.1049/ip-e.1980.0048. 2018年2月13日時点のオリジナルよりアーカイブ。2018年2月12日閲覧。

さらに読む

Martin C. Atkins: Ten15 の紹介 - 個人的な回顧録。^{[永久リンク切れ‍ ]} (RSRE の Flex に関するセクションを含む)

[1] Terry, Phil F.; Wiseman, Simon R. (1988 年 6 月). 安全なコンピュータシステムの設計と実装について(PDF) (レポート). 王立信号・レーダー局。RSRE 覚書 No. 4188。2014 年 5 月 3 日時点のオリジナルよりアーカイブ(PDF)。

[rsre-intro-2] Foster JM、Moir CI、Currie IF、McDermid JA、Edwards PW（1979年10月）。FLEXコンピュータシステムの紹介（レポート）。Royal Signals and Radar Establishment。レポートNo 79016。2018年7月20日時点のオリジナルよりアーカイブ。 2018年2月12日閲覧。{{cite report}}: CS1 maint: 複数の名前: 著者リスト (リンク)

[rsre-working-3] Foster JM、Currie IF、Edwards PW（1982年7月）。Flex：手順値に基づくアーキテクチャを備えた実用的なコンピュータ（レポート）。王立信号・レーダー局。RSRE覚書第3500号。 2018年2月12日閲覧。{{cite report}}: CS1 maint: 複数の名前: 著者リスト (リンク)^{[リンク切れ‍ ]}

[4] Tombs, DJ; Bruce, DI (1991年11月). Ten15の進化(PDF) (レポート). Royal Signals and Radar Establishment. 2015年9月24日時点のオリジナルよりアーカイブ(PDF) 。

[rsre-perqflex-5] Currie IF、Foster JM、Edwards PW（1985年12月）。PerqFlexファームウェア（レポート）。Royal Signals and Radar Establishment。レポート番号85015。2018年2月6日閲覧。{{cite report}}: CS1 maint: 複数の名前: 著者リスト (リンク)^{[リンク切れ‍ ]}

[iee-mcdermid-6] McDermid, JA (1980年11月). 「Comflexの設計と使用 - ハードウェア制御パケットスイッチ」. IEE Proceedings E - Computers and Digital Techniques . 127 (6): 233. doi :10.1049/ip-e.1980.0048. 2018年2月13日時点のオリジナルよりアーカイブ。2018年2月12日閲覧。