Decoupling cores, kernels, and operating systems

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2014

Volumn , Issue , 2014, Pages 17-31

  Zellweger, Gerd ^a   Gerber, Simon ^a   Kourtis, Kornilios ^a   Roscoe, Timothy ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DEVICE DRIVER; HARD REAL-TIME; LOCAL KERNEL; MEMORY MANAGEMENT; MULTI-KERNEL; PERFORMANCE MEASUREMENTS; PHYSICAL CORE; REAL APPLICATIONS;

SYSTEMS ANALYSIS;

EID: 85076877302     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (50)

1. ANDERSON, T. E., BERSHAD, B. N., LAZOWSKA, E. D., AND LEVY, H. M. Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems 10, 1 (1992), 53-79.
2. APPAVOO, J., DA SILVA, D., KRIEGER, O., AUSLANDER, M., OSTROWSKI, M., ROSENBURG, B., WATERLAND, A., WISNIEWSKI, R. W., XENIDIS, J., STUMM, M., AND SOARES, L. Experience distributing objects in an SMMP OS. ACM Transactions on Computer Systems 25, 3 (2007).
3. ARNOLD, J., AND KAASHOEK, M. F. Ksplice: Automatic reboot-less kernel updates. In Proceedings of the EuroSys Conference (2009), pp. 187-198.
4. ASHOK RAJ. CPU hotplug support in the Linux kernel. https://www.kernel.org/doc/Documentation/cpu-hotplug.txt.
5. The Barrelfish Operating System. http://www.barrelfish.org/, 12.04.14.
6. BARTLETT, J. F. A NonStop Kernel. In Proceedings of the 8th ACM Symposium on Operating Systems Principles (1981), pp. 22-29.
7. BAUMANN, A., APPAVOO, J., WISNIEWSKI, R. W., SILVA, D. D., KRIEGER, O., AND HEISER, G. Reboots are for hardware: Challenges and solutions to updating an operating system on the fly. In Proceedings of the USENIX Annual Technical Conference (2007), pp. 1-14.
8. BAUMANN, A., BARHAM, P., DAGAND, P.-E., HARRIS, T., ISAACS, R., PETER, S., ROSCOE, T., SCHÜPBACH, A., AND SINGHANIA, A. The multikernel: a new OS architecture for scalable multicore systems. In Proceedings of the 22nd ACM Symposium on Operating System Principles (2009), pp. 29-44.
9. BAUMANN, A., HEISER, G., APPAVOO, J., DA SILVA, D., KRIEGER, O., WISNIEWSKI, R. W., AND KERR, J. Providing dynamic update in an operating system. In Proceedings of the USENIX Annual Technical Conference (2005), pp. 279-291.
10. BOYD-WICKIZER, S., CHEN, H., CHEN, R., MAO, Y., KAASHOEK, F., MORRIS, R., PESTEREV, A., STEIN, L., WU, M., DAI, Y., ZHANG, Y., AND ZHANG, Z. Corey: An operating system for many cores. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (2008), pp. 43-57.
11. BOYD-WICKIZER, S., CLEMENTS, A. T., MAO, Y., PESTEREV, A., KAASHOEK, M. F., MORRIS, R., AND ZELDOVICH, N. An Analysis of Linux Scalability to Many Cores. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (2010), pp. 1-8.
12. BUTLER, M., BARNES, L., SARMA, D. D., AND GELINAS, B. Bulldozer: An approach to multithreaded compute performance. IEEE Micro 31, 2 (Mar. 2011), 6-15.
13. CANTRILL, B. M., SHAPIRO, M. W., AND LEVENTHAL, A. H. Dynamic instrumentation of production systems. In Proceedings of the USENIX Annual Technical Conference (2004), pp. 15-28.
14. CHAPIN, J., ROSENBLUM, M., DEVINE, S., LAHIRI, T., TEODOSIU, D., AND GUPTA, A. Hive: Fault containment for shared-memory multiprocessors. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (1995), pp. 12-25.
15. CHARLES, J., JASSI, P., S, A. N., SADAT, A., AND FEDOROVA, A. Evaluation of the Intel Core i7 Turbo Boost feature. In Proceedings of the IEEE International Symposium on Workload Characterization (2009).
16. CORBET, J. Deadline scheduling for 3.14. http://www.linuxfoundation.org/news-media/blogs/ browse/2014/01/deadline-scheduling-314, 12.04.14.
17. DAGAND, P.-E., BAUMANN, A., AND ROSCOE, T. Filet-o-Fish: practical and dependable domain-specific languages for OS development. In Proceedings of the 5th Workshop on Programming Languages and Operating Systems (2009).
18. DEPOUTOVITCH, A., AND STUMM, M. Otherworld: Giving Applications a Chance to Survive OS Kernel Crashes. In Proceedings of the EuroSys Conference (2010), pp. 181-194.
19. DERRIN, P., ELKADUWE, D., AND ELPHINSTONE, K. seL4 Reference Manual. NICTA, 2006. http://www.ertos.nicta.com.au/research/sel4/sel4-refman.pdf.
20. ELKADUWE, D., DERRIN, P., AND ELPHINSTONE, K. Kernel design for isolation and assurance of physical memory. In Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems (2008), pp. 35-40.
21. ESMAEILZADEH, H., BLEM, E., ST. AMANT, R., SANKARALINGAM, K., AND BURGER, D. Dark Silicon and the End of Multicore Scaling. In Proceedings of the 38th Annual International Symposium on Computer Architecture (2011), pp. 365-376.
22. GIUFFRIDA, C., KUIJSTEN, A., AND TANENBAUM, A. S. Safe and automatic live update for operating systems. In Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (2013), pp. 279-292.
23. GLEIXNER, T., MCKENNEY, P. E., AND GUITTOT, V. Cleaning up Linux's CPU hotplug for real time and energy management. SIGBED Rev. 9, 4 (Nov. 2012), 49-52.
24. HARDY, N. KeyKOS Architecture. SIGOPS Operating Systems Review 19, 4 (1985), 8-25.
25. CPU hotplug. https://wiki.linaro.org/WorkingGroups/PowerManagement/Archives/Hotplug, 12.04.14.
26. IPEK, E., KIRMAN, M., KIRMAN, N., AND MARTINEZ, J. F. Core Fusion: Accommodating Software Diversity in Chip Multiprocessors. In Proceedings of the 34th Annual International Symposium on Computer Architecture (2007), pp. 186-197.
27. JOSHI, A. Twin-Linux: Running independent Linux Kernels simultaneously on separate cores of a multicore system. In Proceedings of the Linux Symposium (2010), pp. 101-108.
28. KLEIN, G., ELPHINSTONE, K., HEISER, G., ANDRONICK, J., COCK, D., DERRIN, P., ELKADUWE, D., ENGELHARDT, K., KOLANSKI, R., NORRISH, M., SEWELL, T., TUCH, H., AND WINWOOD, S. seL4: Formal verification of an OS kernel. In Proceedings of the 22nd ACM Symposium on Operating System Principles (2009).
29. KONGETIRA, P., AINGARAN, K., AND OLUKOTUN, K. Niagara: a 32-way multithreaded sparc processor. IEEE Micro 25, 2 (2005), 21-29.
30. KOZUCH, M. A., KAMINSKY, M., AND RYAN, M. P. Migration without virtualization. In Proceedings of the 12th Workshop on Hot Topics in Operating Systems (2009), pp. 10-15.
31. KUMAR, R., FARKAS, K. I., JOUPPI, N. P., RANGANATHAN, P., AND TULLSEN, D. M. Single-ISA Heterogeneous Multi-Core Architectures: The Potential for Processor Power Reduction. In Proceedings of the 36th Annual IEEE/ACM International Symposium on Microarchitecture (2003), pp. 81-92.
32. Real-time Linux. https://rt.wiki.kernel.org/, 12.04.14.
33. LIU, R., KLUES, K., BIRD, S., HOFMEYR, S., ASANOVIĆ, K., AND KUBIATOWICZ, J. Tessellation: Space-time partitioning in a manycore client OS. In Proceedings of the 1st USENIX Workshop on Hot Topics in Parallelism (2009).
34. MARR, D. T., DESKTOP, F. B., HILL, D. L., HINTON, G., KOUFATY, D. A., MILLER, J. A., AND UPTON, M. Hyper-Threading Technology Architecture and Microarchitecture. Intel Technology Journal (Feb 2002).
35. MENZI, D. Support for heterogeneous cores for Barrelfish. Master's thesis, Department of Computer Science, ETH Zurich, July 2011.
36. NOMURA, Y., SENZAKI, R., NAKAHARA, D., USHIO, H., KATAOKA, T., AND TANIGUCHI, H. Mint: Booting multiple Linux kernels on a multicore processor. In Proceedings of the International Conference on Broadband and Wireless Computing, Communication and Applications (2011), pp. 555-560.
37. PANNEERSELVAM, S., AND SWIFT, M. M. Chameleon: Operating system support for dynamic processors. In Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems (2012), pp. 99-110.
38. Popcorn Linux. http://popcornlinux.org/, 12.04.14.
39. PostgreSQL. http://www.postgresql.org/, 12.04.14.
40. RHODEN, B., KLUES, K., ZHU, D., AND BREWER, E. Improving per-node efficiency in the datacenter with new OS abstractions. In Proceedings of the 2nd ACM Symposium on Cloud Computing (2011), pp. 25:1-25:8.
41. SADINI, M., BARBALACE, A., RAVINDRAN, B., AND QUAGLIA, F. A Page Coherency Protocol for Popcorn Replicated-kernel Operating System. In Proceedings of the ManyCore Architecture Research Community Symposium (MARC) (Oct. 2013).
42. SHAPIRO, J. S., SMITH, J. M., AND FARBER, D. J. EROS: A Fast Capability System. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (1999), pp. 170-185.
43. SHELDON, B. H. Popcorn Linux: enabling efficient inter-core communication in a Linux-based multikernel operating system. Master's thesis, Virginia Polytechnic Institute and State University, May 2013.
44. SINGHANIA, A., KUZ, I., AND NEVILL, M. Capability Management in Barrelfish. Technical Note 013, Barrelfish Project, ETH Zurich, December 2013.
45. Stress Load Generator. http://people.seas.harvard.edu/~apw/stress/, 12.04.14.
46. TPC-H. http://www.tpc.org/tpch/, 12.04.14.
47. VENKATESH, G., SAMPSON, J., GOULDING, N., GARCIA, S., BRYKSIN, V., LUGO-MARTINEZ, J., SWANSON, S., AND TAYLOR, M. B. Conservation Cores: Reducing the energy of mature computations. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (2010), pp. 205-218.
48. WENTZLAFF, D., GRUENWALD III, C., BECKMANN, N., MODZELEWSKI, K., BELAY, A., YOUSEFF, L., MILLER, J., AND AGARWAL, A. An operating system for multicore and clouds: Mechanisms and implementation. In ACM Symposium on Cloud Computing (SOCC) (June 2010).
49. YEE, B., SEHR, D., DARDYK, G., CHEN, J. B., MUTH, R., ORMANDY, T., OKASAKA, S., NARULA, N., AND FULLAGAR, N. Native client: A sandbox for portable, untrusted x86 native code. In Proceedings of the 30th IEEE Symposium on Security and Privacy (2009), pp. 79-93.
50. ZELLWEGER, G., SCHUEPBACH, A., AND ROSCOE, T. Unifying Synchronization and Events in a Multicore OS. In Proceedings of the 3rd Asia-Pacific Workshop on Systems (2012).