Java: Memory Consistency and Process Coordination

Memory Consistency and Process Coordination for SPARC Multiprocessors

HiPC '00 Proceedings of the 7th International Conference on High Performance Computing

Specifying memory consistency of write buffer multiprocessors

ACM Transactions on Computer Systems (TOCS)

Implementing sequentially consistent programs on processor consistent platforms

Journal of Parallel and Distributed Computing

Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Can out-of-order instruction execution in multiprocessors be made sequentially consistent?

NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing

Capturing register and control dependence in memory consistency models with applications to the itanium architecture

DISC'06 Proceedings of the 20th international conference on Distributed Computing