Jitsu: Just-in-time summoning of unikernel

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015

Volumn , Issue , 2015, Pages 559-573

  Madhavapeddy, Anil ^a   Leonard, Thomas ^a   Skjegstad, Magnus ^a   Gazagnaire, Thomas ^a   Sheets, David ^a   Scott, Dave ^a   Mortier, Richard ^a   Chaudhry, Amir ^a   Singh, Balraj ^a   Ludlam, Jon ^a   Crowcroft, Jon ^a   Leslie, Ian ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES; SYSTEMS ANALYSIS; VIRTUAL ADDRESSES; WEB SERVICES;

ADDRESS SPACE; CLOUD PLATFORMS; CLOUD SERVICES; DIRECTORY SERVICE; MULTIPLE APPLICATIONS; NETWORK LATENCIES; NETWORK TRAFFIC; POWER EFFICIENT;

DISTRIBUTED DATABASE SYSTEMS;

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

References (43)

1. AGARWAL, Y., SAVAGE, S., AND GUPTA, R. Sleepserver: A software-only approach for reducing the energy consumption of PCs within enterprise environments. In Proc. USENIX Annual Technical Conference (ATC) (Boston, MA, 2010), USENIX Association, pp. 22-22.
2. BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., NEUGEBAUER, R., PRATT, I., AND WARFIELD, A. Xen and the art of virtualization. In Proc. 19th ACM Symposium on Operating Systems Principles (SOSP) (Bolton Landing, NY, USA, 2003), ACM, pp. 164-177.
3. BAUMANN, A., BARHAM, P., DAGAND, P., 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 Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP) (Big Sky, MT, USA, Oct. 11-14 2009), pp. 29-44.
4. BELAY, A., BITTAU, A., MASHTIZADEH, A., TEREI, D., MAZIÈRES, D., AND KOZYRAKIS, C. Dune: Safe user-level access to privileged CPU features. In Proc. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI) (Hollywood, CA, 2012), USENIX, pp. 335-348.
5. CHECKOWAY, S., MCCOY, D., KANTOR, B., ANDERSON, D., SHACHAM, H., SAVAGE, S., KOSCHER, K., CZESKIS, A., ROESNER, F., AND KOHNO, T. Comprehensive experimental analyses of automotive attack surfaces. In Proc. 20th USENIX Security Symposium (SEC) (San Francisco, CA, 2011), USENIX Association, pp. 6-6.
6. CLOUDOZER INC. Erlang on Xen, at the heart of super-elastic clouds. http://erlangonxen.org/.
7. COLP, P., NANAVATI, M., ZHU, J., AIELLO, W., COKER, G., DEEGAN, T., LOSCOCCO, P., AND WARFIELD, A. Breaking up is hard to do: security and functionality in a commodity hypervisor. In Proc. 23rd ACM Symposium on Operating Systems Principles (SOSP) (Cascais, Portugal, Oct. 23-26 2011), pp. 189-202.
8. COSTIN, A., ZADDACH, J., FRANCILLON, A., AND BALZAROTTI, D. A large-scale analysis of the security of embedded firmwares. In Proc. 23rd USENIX Security Symposium (SEC) (San Diego, CA, Aug. 2014), USENIX Association, pp. 95-110.
9. ELPHINSTONE, K., AND HEISER, G. From L3 to seL4 what have we learnt in 20 years of L4 microkernels? In Proc. 24th ACM Symposium on Operating Systems Principles (SOSP) (Farminton, Pennsylvania, 2013), ACM, pp. 133-150.
10. ENGLER, D. R., KAASHOEK, M. F., AND O'TOOLE, JR., J. Exokernel: an operating system architecture for application-level resource management. In Proc. 15th ACM Symposium on Operating Systems Principles (SOSP) (Copper Mountain, Colorado, USA, 1995), ACM, pp. 251-266.
11. GALOIS INC. The Haskell Lightweight Virtual Machine (HALVM) source archive. https://github.com/GaloisInc/HaLVM.
12. GAZAGNAIRE, T., AND HANQUEZ, V. Oxenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. SIGPLAN Notices 44, 9 (Aug. 2009), 203-214.
13. GRANZER, W., PRAUS, F., AND KASTNER, W. Security in building automation systems. IEEE Trans. Industrial Electronics 57, 11 (Nov. 2010), 3622-3630.
14. HADDADI, H., HOWARD, H., CHAUDHRY, A., CROWCROFT, J., MADHAVAPEDDY, A., AND MORTIER, R. Personal data: Thinking inside the box. Tech. Rep. abs/1501.04737, arXiv, Jan. 2015.
15. HOWELL, J., PARNO, B., AND DOUCEUR, J. R. How to run POSIX apps in a minimal picoprocess. In Proc. USENIX Annual Technical Conference (ATC) (June 2013), USENIX.
16. HRUBY, T., VOGT, D., BOS, H., AND TANENBAUM, A. S. Keep net working- on a dependable and fast networking stack. In Proc. Dependable Systems and Networks (DSN) (Boston, MA, June 2012).
17. HYMAN, P. Augmented-reality glasses bring cloud security into sharp focus. Commun. ACM 56, 6 (June 2013), 18-20.
18. JEONG, S., LEE, K., LEE, S., SON, S., AND WON, Y. I/O stack optimization for smartphones. In Proc. USENIX Annual Technical Conference (ATC) (San Jose, CA, 2013), USENIX, pp. 309-320.
19. KAMP, P.-H., AND WATSON, R. N. M. Jails: Confining the omnipotent root. In Proc. SANE Conference (2000).
20. KIVITY, A., LAOR, D., COSTA, G., ENBERG, P., HAR'EL, N., MARTI, D., AND ZOLOTAROV, V. OSv-optimizing the operating system for virtual machines. In Proc. USENIX Annual Technical Conference (ATC) (Philadelphia, PA, June 2014), USENIX Association, pp. 61-72.
21. 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 Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP) (Big Sky,MT, USA, Oct. 11-14 2009), pp. 207-220.
22. KRSUL, I., GANGULY, A., ZHANG, J., FORTES, J., AND FIGUEIREDO, R. VMPlants: Providing and managing virtual machine execution environments for grid computing. In Proc. ACM/IEEE Supercomputing Conference (SC) (Nov. 2004), p. 7.
23. LAGAR-CAVILLA, H. A., WHITNEY, J. A., SCANNELL, A. M., PATCHIN, P., RUMBLE, S. M., DE LARA, E., BRUDNO, M., AND SATYANARAYANAN, M. SnowFlock: rapid virtual machine cloning for cloud computing. In Proc. 4th ACM European Conference on Computer Systems (EuroSys) (Nuremberg, Germany, 2009), pp. 1-12.
24. LESLIE, I. M., MCAULEY, D., BLACK, R., ROSCOE, T., BARHAM, P. T., EVERS, D., FAIRBAIRNS, R., AND HYDEN, E. The design and implementation of an operating system to support distributed multimedia applications. IEEE Journal of Selected Areas in Communications 14, 7 (1996), 1280-1297.
25. MADHAVAPEDDY, A., MORTIER, R., ROTSOS, C., SCOTT, D., SINGH, B., GAZAGNAIRE, T., SMITH, S., HAND, S., AND CROWCROFT, J. Unikernels: library operating systems for the cloud. In Proc. 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (Houston, Texas, USA, 2013), ACM, pp. 461-472.
26. MADHAVAPEDDY, A., MORTIER, R., SOHAN, R., GAZAGNAIRE, T., HAND, S., DEEGAN, T., MCAULEY, D., AND CROWCROFT, J. Turning down the LAMP: Software specialisation for the cloud. In Proc. 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud) (Boston, MA, USA, June 2010).
27. MADHAVAPEDDY, A., AND SCOTT, D. Unikernels: The rise of the virtual library operating system. Communications of the ACM (CACM) 57, 1 (Jan. 2014), 61-69.
28. MANCO, F., MARTINS, J., AND HUICI, F. Towards the super fluid cloud. In Proc. ACM SIGCOMM (demo track) (Chicago, Illinois, USA, 2014), ACM, pp. 355-356.
29. MARTINS, J., AHMED, M., RAICIU, C., OLTEANU, V., HONDA, M., BIFULCO, R., AND HUICI, F. ClickOS and the art of network function virtualization. In Proc. 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI) (Seattle,WA, Apr. 2014), USENIX Association, pp. 459-473.
30. MEHNERT, H., AND MERSINJAK, D. K. Transport Layer Security purely in OCaml. In Proc. ACM OCaml 2014 Workshop (Sept. 2014).
31. MOCKAPETRIS, P. Domain names-implementation and specification. RFC 1035 (Standard), Nov. 1987. Updated by RFCs 1101, 1183, 1348, 1876, 1982, 1995, 1996, 2065, 2136, 2181, 2137, 2308, 2535, 2845, 3425, 3658, 4033, 4034, 4035, 4343, 5936, 5966, 6604.
32. ORACLE. GuestVM. http://labs.oracle.com/projects/guestvm/shared/guestvm/guestvm/index.html.
33. PIKE, R., PRESOTTO, D., THOMPSON, K., AND TRICKEY, H. Plan 9 from Bell Labs. In Proc. Summer UKUUG Conference (1990), pp. 1-9.
34. PORTER, D. E., BOYD-WICKIZER, S., HOWELL, J., OLINSKY, R., AND HUNT, G. C. Rethinking the library OS from the top down. In Proc. 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (Newport Beach, California, USA, 2011), ACM, pp. 291-304.
35. S, G. T. Anandtech: Intel's Haswell NUC: D54250WYK UCFF PC review (http://bit.ly/1Dxq6hJ), Jan. 2014.
36. SCOTT, D., SHARP, R., GAZAGNAIRE, T., AND MADHAVAPEDDY, A. Using functional programming within an industrial product group: perspectives and perceptions. In Proc. 15th ACM SIGPLAN International Conference on Functional Programming (ICFP) (Baltimore, Maryland, USA, Sept. 27-29 2010), pp. 87-92.
37. SIMONET, V. The Flow Caml System: Documentation and user's manual. Tech. Rep. RT-0282, INRIA, July 2003.
38. SOLTESZ, S., P öTZL, H., FIUCZYNSKI, M. E., BAVIER, A., AND PETERSON, L. Container-based operating system virtualization: A scalable, highperformance alternative to hypervisors. In Proc. 2nd ACM European Conference on Computer Systems (EuroSys) (Lisbon, Portugal, 2007), ACM, pp. 275-287.
39. THIBAULT, S., AND DEEGAN, T. Improving Performance by Embedding HPC Applications in Lightweight Xen Domains. In 2nd Workshop on System-level Virtualization for High Performance Computing (HPCVIRT'08) (Glasgow, Scotland, Mar. 2008).
40. VON EICKEN, T., CHANG, C., CZAJKOWSKI, G., HAWBLITZEL, C., HU, D., AND SPOONHOWER, D. J-Kernel: A capability-based operating system for Java. In Secure Internet Programming, Security Issues for Mobile and Distributed Objects (1999), J. Vitek and C. D. Jensen, Eds., vol. 1603 of Lecture Notes in Computer Science, Springer, pp. 369-393.
41. VRABLE, M., MA, J., CHEN, J., MOORE, D., VANDEKIEFT, E., SNOEREN, A. C., VOELKER, G. M., AND SAVAGE, S. Scalability, fidelity, and containment in the Potemkin virtual honeyfarm. In Proc. 20th ACM Symposium on Operating Systems Principles (SOSP) (Brighton, United Kingdom, 2005), ACM, pp. 148-162.
42. WARFIELD, A., FRASER, K., HAND, S., AND DEEGAN, T. Facilitating the development of soft devices. In Proc. USENIX Annual Technical Conference (ATC) (Apr. 10-15 2005), pp. 379-382.
43. ZHANG, X., MCINTOSH, S., ROHATGI, P., AND GRIFFIN, J. L. XenSocket: A high-throughput interdomain transport for virtual machines. In Proc. ACM/IFIP/USENIX International Conference on Middleware (Middleware) (Newport Beach, California, 2007), Springer-Verlag New York, Inc., pp. 184-203.