Memory Model Table of Contents
From X10Wiki
Welcome to the Memory Models wiki.
[edit]
Table of Contents
- Why do we need families of memory models? Why CCCC
- A framework for Memory Models: Local View Memory Models
- A formalization of the PowerPC memory models (loads, stores, hwsync): PPCL Updated 03/28/2007
- A commentary on the PPCL model : Commentary on PPCL Model
- Examples worked out for PPC: PPC Examples Updated 03/28/2007
- Proof that sequential consistency is achievable for PPCL: PPCL is Sequentially Consistent Not yet updated for 03/28/2007 model.
- Cache-coherent and Causally Consistenty (C4) Memory Model: CCCC
- Proof that CCCC+LC is sequential consistent: CCCC-LC is Sequentially Consistent
- Background definitions used in all formal descriptions: Memory Model Background Definitions
- Glossary of terms used in memory model discussions: Memory Model Glossary
- Reference: Excerpts from the PowerPC Architecture Redbooks
