论文信息 - Using a Weak Coherency Model for a Parallel Lisp

Using a Weak Coherency Model for a Parallel Lisp

The parallel language EDS Lisp has been designed for distributed memory machines. In this respect, it presupposes only a minimal required coherency in the storage view of parallel processes. This paper describes the coherency model of EDS Lisp and shows how the requirements of EDS Lisp can be realized using a weak coherency model on the parallel distributed memory EDS machine.

Thomas Henties | Carsten Hammer

[1] Paul Townsend,et al. EDS Hardware Architecture , 1990, CONPAR.

[2] Paul Hudak,et al. Memory coherence in shared virtual memory systems , 1986, PODC '86.

[3] Lothar Borrmann,et al. Store Coherency in a Parallel Distributed-Memory Machine , 1991, EDMCC.

[4] Don Allen,et al. The Butterfly™ lisp system , 1986, AAAI 1986.

[5] Lothar Borrmann,et al. A Process and Memory Model for a Parallel Distributed-Memory Machine , 1990, CONPAR.

[6] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[7] Robert H. Halstead,et al. MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[8] Guy L. Steele,et al. Common Lisp the Language , 1984 .