Back to Results
First PageMeta Content
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

Document Date: 2016-07-14 16:23:27


Open Document

File Size: 1,35 MB

Share Result on Facebook
UPDATE