The Power of Processor Consistency

@inproceedings{citeulike:2067243, abstract = {Shared memories that provide weaker consistency guarantees than the traditional sequentially consistent or atomic memories have been claimed to provide the key to building scalable systems. One influential memory model, processor consistency, has been cited widely in the literature but, due to the lack of a precise and formal definition, contradictory claims have been made regarding its power. We use a formal model to give two distinct definitions of processors consistency: one...}, author = {Ahamad, Mustaque and Bazzi, Rida A. and John, Ranjit and Kohli, Prince and Neiger, Gil }, booktitle = {ACM Symposium on Parallel Algorithms and Architectures}, citeulike-article-id = {2067243}, keywords = {consistency, distributed-systems, shared-memory}, pages = {251--260}, posted-at = {2007-12-06 15:15:02}, priority = {0}, title = {The Power of Processor Consistency}, url = {http://citeseer.ist.psu.edu/341070.html}, year = {1993} }

TY - CONF ID - citeulike:2067243 L3 - citeulike-article-id:2067243 N2 - Shared memories that provide weaker consistency guarantees than the traditional sequentially consistent or atomic memories have been claimed to provide the key to building scalable systems. One influential memory model, processor consistency, has been cited widely in the literature but, due to the lack of a precise and formal definition, contradictory claims have been made regarding its power. We use a formal model to give two distinct definitions of processors consistency: one... EP - 260 TI - The Power of Processor Consistency T2 - ACM Symposium on Parallel Algorithms and Architectures SP - 251 KW - consistency KW - distributed-systems KW - shared-memory AU - Ahamad, Mustaque AU - Bazzi, Rida AU - John, Ranjit AU - Kohli, Prince AU - Neiger, Gil PY - 1993/// UR - http://citeseer.ist.psu.edu/341070.html ER -