Pattern-based Synthesis of Synchronization for the C Memory Model Yuri Meshman Noam Rinetzky - Timing advance - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-01-15 09:26:26 Concurrency 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 Rinetzky Add to Reading List Source URL: practicalsynthesis.github.io Download Document from Source Website File Size: 325,47 KB Share Document on Facebook

	Automatic Discovery of Mutual Exclusion Algorithms∗ (Preliminary Version) Yoah Bar-David Gadi Taubenfeld DocID: 1vsgn - View Document
	Verifying a Simplification of Mutual Exclusion by Lycklama-Hadzilacos Wim H. Hesselink (whh442, February 24, 2013) Dept. of Computing Science, University of Groningen P.O.Box 407, 9700 AK Groningen, The Netherlands DocID: 1uazK - View Document
	Mutual exclusion algorithms with constant RMR complexity and wait-free exit code Rotem Dvir1 and Gadi Taubenfeld1 1 The Interdisciplinary Center DocID: 1u4E8 - View Document
	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1 DocID: 1tMR8 - View Document
	Administrivia  Design of Parallel and High-Performance Computing DocID: 1rnNM - View Document