Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania. The multikernel: A new OS architecture for scalable multicore systems. In SOSP, Big Sky, MT, US, Oct 2009. [OpenAIRE]
Bernard Blackham, Yao Shi, and Gernot Heiser. Improving interrupt response time in a verifiable protected microkernel. In EuroSys, pages 323-336, Bern, Switzerland, Apr 2012. [OpenAIRE]
Silas Boyd-Wickizer, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich. Non-scalable locks are dangerous. In 2012 Ottawa Linux Symp., Ottawa, CA, Jul 2012.
Bryan Cantrill and Jeff Bonwick. Real-world concurrency. ACM Queue, 6(5), Sep 2008.
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler. The scalable commutativity rule: Designing scalable software for multicore processors. In SOSP, pages 1-17, Farmington, PA, US, Oct 2013.
Brian F. Cooper, Adam Silberstein, Erwin Tam, Raghu Ramakrishnan, and Russell Sears. Benchmarking cloud serving systems with YCSB. In SoCC, Indianapolis, IN, US, Jun 2010.
J. Corbet. Big reader locks. http://lwn.net/Articles/378911/.
Travis S. Craig. Building FIFO and priority-queuing spin locks from atomic swap. Technical Report UW-CSE-93- 02-02, Department of Computer Science and Engineering, University of Washington, 1993.
Tudor David, Rachid Guerraoui, and Vasileios Trigonakis. Everything you always wanted to know about synchronization but were afraid to ask. In SOSP, pages 33-48, Farmington, PA, US, Nov 2013.
Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann. Interface and execution models in the Fluke kernel. In 3rd OSDI, pages 101-115, New Orleans, LA, US, Feb 1999. USENIX.
Freescale. i.MX 6Dual/6Quad Applications Processor Reference Manual, rev. 1 edition, Apr 2013.
William Hasenplaugh, Andrew Nguyen, and Nir Shavit. Quantifying the capacity limitations of hardware transactional memory. In 7th Workshop on the Theory of Transactional Memory (WTTM 2015), Jul 2015.
Gernot Heiser and Kevin Elphinstone. L4 microkernels: The lessons from 20 years of research and deployment. Trans. Comp. Syst., 34(1):1:1-1:29, Apr 2016.
Gernot Heiser and Ben Leslie. The OKL4 microvisor: Convergence point of microkernels and hypervisors. In APSys, pages 19-24, New Delhi, India, Aug 2010.
Owen S. Hofmann, Christopher J. Rossbach, and Emmett Witchel. Maximum benefit from a minimal HTM. In 14th ASPLOS, pages 145-156, 2009. [OpenAIRE]