First Page | Document Content | |
---|---|---|
Date: 2014-01-06 07:53:19Concurrency control Computing Computer programming Software engineering Lock Linearizability Resource Acquisition Is Initialization Non-blocking algorithm Thread Mutual exclusion Consistency model Queue | Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus PĆ¼schelAdd to Reading ListSource URL: spcl.inf.ethz.chDownload Document from Source WebsiteFile Size: 1,93 MBShare Document on Facebook |