Linear Lisp -- Implications for Real Multiprocessors

Implications for Real Multiprocessors

実際のマルチプロセッサのための実装

Linear Lisp can be used in a "shared-heap-memory" multiprocessing configuration, in which the memory to be shared is actually the hash consed heap.

Linear Lispは「共有ヒープメモリ」多重処理構成で使用することが出来ます、共有されるメモリは実際はハッシュコンスされたヒープです。

Each CPU operates independently, with its "normal nodes" acting like a local cache into the heap.

その「標準ノード」がヒープに対して局所キャッシュのような動きで、各CPUが独立して作動します。

The read barrier logic is the "cache consistency protocol" for this hashed memory, which is simple because there is no visible sharing among CPU's.

リードバリア論理はこのハッシュされたメモリのための「キャッシュ調和プロトコル」です、CPUの間で共有は見えないので単純です。

This parallel configuration can be used, e.g., for the collateral evaluation of arguments.

この並行構成は例えば引数の対応する評価のために使用することができます。

Hardware swapping has been advocated as a synchronization mechanism [Herlihy91].

ハードウェアスワッピングは同期機構として主張されました。

However, even without hardware swaps, modern RISC compilers can optimize register-register swaps, while write-back caches reduce the cost of register-memory swaps; swaps should thus be relatively cheap even on a traditional load/store architecture.

しかしながら、ハードウェアスワップ無しでさえ、最近のRICSコンパイラはレジスタ-レジスタスワップを最適化することができます、そのうえライトバックキャッシュレジスタメモリスワップのコストを減少させます：スワップはこのように従来のロード/ストアアーキテクチャでさえ比較的安価でしょう。


>> Lively Linear Lisp
>> Abstract
>> Introduction
>> A Linear Lisp Machine
>> A Linear Lisp Machine with FREE, COPY, EQUAL and Assignment
>> Dataflow-like Producer/Consumer EVAL
>> Reconstituting Trees from Fresh Frozen Concentrate
>> Linear Lisp EVAL
>> Implications for Real Multiprocessors
>> Conclusions and Previous Work