First Page | Document Content | |
---|---|---|
Date: 2018-01-15 09:26:26Concurrency control Computing Computer architecture Computer programming Synchronization Linearizability Memory barrier Parallel computing Mutual exclusion Critical section Lock Thread | Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam RinetzkyAdd to Reading ListSource URL: practicalsynthesis.github.ioDownload Document from Source WebsiteFile Size: 325,47 KBShare Document on Facebook |