Memory Consistency and Process Coordination for SPARC Multiprocessors

@inproceedings{Higham2000MemoryCA,
  title={Memory Consistency and Process Coordination for SPARC Multiprocessors},
  author={Lisa Higham and Jalal Kawash},
  booktitle={HiPC},
  year={2000}
}
Simpleandunified non-operational specificationsof the threememoryconsistenc y modelsTotalStoreOrdering(TSO),PartialStoreOrdering(PSO), andRelaxedMemoryOrder(RMO) of SPARCmultiprocessorsarepresentedand proved correct.The specificationsareintuitive partial orderconstraintson possible computationsandarederived from naturalsuccessi ve weakeningof Lamport’s SequentialConsistenc y. The formalismsare then usedto determinethe capabilitiesof eachmodel to supportsolutionsto critical sectioncoordination… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Eventual Consistency for CRDTs

View 2 Excerpts
Highly Influenced

Impact of instruction re-ordering on the correctness of shared-memory programs

8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05) • 2005
View 3 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Memory consistenc y andprocesscoordinationfor SPARC v8 multiprocessors.TechnicalReport99/646/09,Departmentof ComputerScience,TheUniversity of Calgary, December1999. A brief announcement appearedin

J. KawashandL. Higham
Proc. 19th ACM Symp. on Principles of Distributed Computing, • 2000
View 5 Excerpts
Highly Influenced

A Characterization of Scalable Shared Memories

1993 International Conference on Parallel Processing - ICPP'93 • 1993
View 5 Excerpts
Highly Influenced

Limitations and Capabilities of Weak Memory Consistency Systems. Ph.D.dissertation,Departmentof ComputerScience,TheUniversityof Calgary, January2000

J. Kawash
2000
View 3 Excerpts
Highly Influenced

Characterizations of Java memorybehavior

A. GontmakherandA. Schuster
In Proc. 12th Int’l Parallel Processing Symp., • 1998
View 5 Excerpts
Highly Influenced

Kawash. Java: Memoryconsistenc y andprocesscoordination(extended abstract).In

L. HighamandJ
Proc. 12th Int’l Symp. on Distributed Computing, Lecture Notes in Computer Science volume 1499, • 1998
View 5 Excerpts
Highly Influenced

Germond,editors.The SPARC Architecture Manual version

D. L. WeaverandT
PrenticeHall, • 1994
View 3 Excerpts
Highly Influenced

Cacheconsistenc y and sequentialconsistenc

J. Goodman
y. TechnicalReport61, • 1989
View 4 Excerpts
Highly Influenced

Memory Access Buffering in Multiprocessors

25 Years ISCA: Retrospectives and Reprints • 1986
View 4 Excerpts
Highly Influenced

Memory consistency andprocesscoordinationfor SPARC v 8 multiprocessors

J. KawashandL. Higham
2000

An executablespecificationandverifier for relaxed memoryorder

S. Park andD.L. Dill
IEEE Trans. on Computers, • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…