First Page | Document Content | |
---|---|---|
Date: 2018-03-13 20:30:42Computing Computer architecture Concurrency control Computer engineering Memory barrier Linearizability Memory model Thread Parallel computing Fetch-and-add Lock Instruction set architecture | arXiv:1803.04432v1 [cs.DC] 12 MarMemory Models for C/C++ Programmers Manuel P¨oter Jesper Larsson Tr¨aff Research Group Parallel ComputingAdd to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 309,37 KBShare Document on Facebook |
A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗DocID: 1xVYp - View Document | |
Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam RinetzkyDocID: 1xVip - View Document | |
A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017DocID: 1xVcw - View Document | |
A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)DocID: 1xV9n - View Document | |
The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter SewellDocID: 1xU8L - View Document |