ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Memory coherence in shared virtual memory systems
Full text PdfPdf (2.71 MB)
Source ACM Transactions on Computer Systems (TOCS) archive
Volume 7 ,  Issue 4  (November 1989) table of contents
Pages: 321 - 359  
Year of Publication: 1989
ISSN:0734-2071
Authors
Kai Li  Princeton Univ., Princeton, NJ
Paul Hudak  Yale Univ., New Haven, CT
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 80,   Downloads (12 Months): 424,   Citation Count: 215
Additional Information:

abstract   references   cited by   index terms   reviews   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/75104.75105
What is a DOI?

ABSTRACT

The memory coherence problem in designing and implementing a shared virtual memory on loosely coupled multiprocessors is studied in depth. Two classes of algorithms, centralized and distributed, for solving the problem are presented. A prototype shared virtual memory on an Apollo ring based on these algorithms has been implemented. Both theoretical and practical results show that the memory coherence problem can indeed be solved efficiently on a loosely coupled multiprocessor.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
 
2
APOLLO COMPUTER. Apollo DOMAIN Architecture. Apollo Computer, Inc., Chelmsford, Mass., 1981.
3
4
5
 
6
BOLT, BERANEK, AND NEWMAN. Butterfly Parallel Processor Overview. Bolt, Beranek, and Newman, Advanced Computers Inc., Cambridge, Mass., 1985.
 
7
8
 
9
CENSIER, L. M., AND FEAUTRIER, P. A new solution to coherence problems in multicache systems. IEEE Trans. Comput. C-27, 12 (Dec. 1978), 1112-1118.
 
10
CHERITON, D.R. The VMP multiprocessor: Initial experience, refinements and performance evaluation. In Proceedings of the 14th Annual Symposium on Computer Architecture (Pittsburgh, Pa., June 1987).
 
11
CHERITON, D. R., AND STUMM, M. The multi-satellite star: Structuring parallel computations for a workstation cluster. J. Distributed Comput. To appear.
 
12
Cox, A. L., AND FOWLER, R.J. The implementation of a coherent memory abstraction on a NUMA multiprocessor: Experiences with PLATIMUM. Tech. Rep. 263, Dept. of Computer Science, University of Rochester, Rochester, N.Y., Mar. 1989.
13
 
14
DEMINET, J. Experience with multiprocessor algorithms. IEEE Trans. Comput. C-31, 4 (Apr. 1982).
15
 
16
DENNING, P.J. On modeling program behavior. In Proceedings on the Spring Joint Computer Conference (Atlantic City, N.J., May 16-18, 1972). AFIPS Press, Montudle, N.J., 1972, pp. 937-944.
 
17
DENNING, P.J. Working sets past and present. IEEE Trans. Softw. Eng. HE-6, 1 (Jan. 1980), 64-84.
18
 
19
FINKEL, R., AND MANBER, U. BIB--A distributed implementation of backtracking. In The 5th International Conference on Distributed Computing Systems (Denver, Colo., May 1985).
20
21
 
22
 
23
FRANK, S.J. Tightly coupled multiprocessor system speeds memory-access times. Electronics 57, 1 (Jan. 1984), 164-169.
 
24
FULLER, S., OUSTERHOUT, J., RASKIN, L., RUBINFELD, P., SINDHU, P., AND SWAN, R. Multimicroprocessors: An overview and working example. In Proceedings of the IEEE 66, 2 (Feb. 1978) pp. 214-228.
25
 
26
HOARE, C. A.R. Quicksort. Comput. J. 5, i (1962), 10-15.
27
28
29
 
30
KARLIN, A. R., MANASSE, M. S., RUDOLPH, L., AND SLEATOR, D. D. Competitive snoopy caching. In Proceedings of the 27th Symposium on Foundation of Computer Science (Toronto, 1986). pp. 244-254.
31
32
 
33
LEACH, P. J., LEVINE, P. H., DOUROS, B. P., HAMILTON, J. A., NELSON, D. L., AND STUMPF, B.L. The architecture of an integrated local network. IEEE J. Selected Areas in Commun. SAC-I, 5 (1983).
 
34
 
35
LI, K. IVY: A shared virtual memory system }:or parallel computing. In Proceedings of the 1988 International Conference on Parallel Processing (Aug. 1988). Pennsylvania State University Press, 1988, pp. 94-101.
36
 
37
LI, K., AND SCHAEFER, R. A hypercube shared virtual memory. In Proceedings of the 1989 International Parallel Processing Conference (Dufage, Ill., Aug. 1989).
38
39
40
 
41
42
 
43
TANG, C.K. Cache system design in the tightly coupled multiprocessor system. In Proceedings of AFIPS National Computer Conference (New York, N.Y., June 7-10, 1976). AFIPS Press, Montvale, N.J. 1976, pp. 749-753.
44
 
45
 
46
YEN, W. C., YEN, D. W. L., AND FU, K. Data coherence problem in a multicache system. IEEE Trans. Comput. C-34, 1 (jan. 1985), 56-65.

CITED BY  215


REVIEWS

"Edward A. Feustel : Reviewer"

The title of this paper is slightly misleading. A better title would be “Memory Coherence in Shared Virtual Memory Systems for a Small Number of Loosely Coupled Multiprocessors.” The alternate title gives a better description of wh  more...


"Roger Raymond Schell : Reviewer"

Li and Hudak define a memory as coherent if a read operation returns the most recently written value. They carefully analyze several techniques for a shared virtual memory on loosely coupled multiprocessors i  more...