First Page | Document Content | |
---|---|---|
Date: 2016-07-14 16:23:27Computing Computer architecture Concurrency control Software Transaction processing Transactional memory Microkernel Software transactional memory Transactional Synchronization Extensions L4 microkernel family Rock Mach | Transactional IPC in Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden, GermanyAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source WebsiteFile Size: 1,35 MBShare Document on Facebook |
An Evaluation of Distributed Concurrency Control Rachael Harding Dana Van Aken MIT CSAILDocID: 1vdK1 - View Document | |
Reference Capabilities for Concurrency Control Elias Castegren, Tobias Wrigstad ECOOP’16 saDocID: 1tHRG - View Document | |
Reference Capabilities for Concurrency Control Same code template safe for different use casesDocID: 1tFnO - View Document | |
High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++ Arthur Whitney Dennis Shasha Stevan ApterDocID: 1ti9e - View Document | |
Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Design Relational Databases and Concurrency ControlDocID: 1t3YU - View Document |