The semantics of x86-CC multiprocessor machine code Export

@inproceedings{citeulike:4065199, abstract = {Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have subtle relaxed (or weak) memory models, usually described only in ambiguous prose, leading to widespread confusion.}, address = {New York, NY, USA}, author = {Sarkar, Susmit and Sewell, Peter and Nardelli, Francesco Z. and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade}, booktitle = {POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, citeulike-article-id = {4065199}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1480881.1480929}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1480881.1480929}, doi = {10.1145/1480881.1480929}, isbn = {978-1-60558-379-2}, keywords = {cache\_coherence, intel, x86}, location = {Savannah, GA, USA}, pages = {379--391}, posted-at = {2009-03-09 17:04:59}, priority = {2}, publisher = {ACM}, title = {The semantics of x86-CC multiprocessor machine code}, url = {http://dx.doi.org/10.1145/1480881.1480929}, year = {2009} }

TY - CONF ID - citeulike:4065199 L3 - citeulike-article-id:4065199 N2 - Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have subtle relaxed (or weak) memory models, usually described only in ambiguous prose, leading to widespread confusion. CY - Savannah, GA, USA SN - 978-1-60558-379-2 AD - New York, NY, USA EP - 391 TI - The semantics of x86-CC multiprocessor machine code PB - ACM T2 - POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages SP - 379 KW - cache_coherence KW - intel KW - x86 AU - Sarkar, Susmit AU - Sewell, Peter AU - Nardelli, Francesco AU - Owens, Scott AU - Ridge, Tom AU - Braibant, Thomas AU - Myreen, Magnus AU - Alglave, Jade PY - 2009/// UR - http://dx.doi.org/10.1145/1480881.1480929 ER -