![Computing / Computer architecture / Concurrency control / Software / Transaction processing / Transactional memory / Microkernel / Software transactional memory / Transactional Synchronization Extensions / L4 microkernel family / Rock / Mach Computing / Computer architecture / Concurrency control / Software / Transaction processing / Transactional memory / Microkernel / Software transactional memory / Transactional Synchronization Extensions / L4 microkernel family / Rock / Mach](https://www.pdfsearch.io/img/fe3b8f5bd21ad797e716339232a5334b.jpg) 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 Website File Size: 1,35 MBShare Document on Facebook
|