@inproceedings{Peters_DEH_15, publisher = {ACM}, booktitle = {Asia-Pacific Workshop on Systems (APSys)}, month = jul, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8768.pdf}, slides = {https://trustworthy.systems/publications/nicta_slides/8768.pdf}, year = {2015}, keywords = {operating systems, microkernels, multicore, scalability, locking, performance}, title = {For a Microkernel, a Big Lock Is Fine}, numpages = {7}, author = {Peters, Sean and Danis, Adrian and Elphinstone, Kevin and Heiser, Gernot}, address = {Tokyo, JP} }