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, Germany

First Page		Document Content
Date: 2016-07-14 16:23:27 Computing 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, Germany Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 1,35 MB Share Document on Facebook

	An Evaluation of Distributed Concurrency Control Rachael Harding Dana Van Aken MIT CSAIL DocID: 1vdK1 - View Document
	Reference Capabilities for Concurrency Control Elias Castegren, Tobias Wrigstad ECOOP’16 sa DocID: 1tHRG - View Document
	Reference Capabilities for Concurrency Control Same code template safe for different use cases DocID: 1tFnO - View Document
	High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++ Arthur Whitney Dennis Shasha Stevan Apter DocID: 1ti9e - View Document
	Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Design Relational Databases and Concurrency Control DocID: 1t3YU - View Document