The Carbon research group is focused on research related to multicore architectures and software. We are a part of the Computer Science and Artificial Intelligence Lab at MIT.

fos: A Factored Operating System

fos is a new operating system targeting multicore, manycore, and cloud computing systems with scalability as the primary design constraint, where space sharing replaces time sharing to increase scalability.

fos_fleets

In fos, each operating system service is factored into a set of communicating servers which in aggregate implement a system service. These servers are designed much in the way that distributed Internet services are designed, but instead of providing high level Internet services, these servers provide traditional kernel services and replace traditional kernel data structures in a factored, spatially distributed manner. fos replaces time sharing with space sharing. In other words, fos’s servers are bound to distinct processing cores and by doing so do not fight with end user applications for implicit resources such as TLBs and caches.

fos’s system servers communicate via message passing and as such can be distributed across multicore, manycore, clusters, and computational clouds.

Publications:

  • Message Passing in a Factored OS,
    by Adam Belay, Anant Agarwal
    Masters Thesis, July 2011
    (pdf)
  • Vote the OS off your Core,
    by Adam Belay, David Wentzlaff, Anant Agarwal
    MIT CSAIL Tech Report 2011-035, July 2011
    (pdf)
  • Distributed Parallel Network Stack for Multicore,
    by Charles Gruenwald, Nathan Beckmann, David Wentzlaff, Harshad Kasture, Jeff Ward, and Anant Agarwal
    NSDI Poster Session, March 2011
  • Fleets: Scalable Services in a Factored Operating System,
    by David Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Adam Belay, Harshad Kasture, Kevin Modzelewski, Lamia Youseff, Jason E. Miller, and Anant Agarwal
    MIT CSAIL Tech Report 2011-012, March 2011
    (pdf)
  • An Operating System for Multicore and Clouds: Mechanisms and Implementation,
    by David Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Kevin Modzelewski, Adam Belay, Lamia Youseff, Jason Miller, and Anant Agarwal
    ACM Symposium on Cloud Computing (SOCC), June 2010
    (pdf)
  • A Unified Operating System for Clouds and Manycore: fos,
    by David Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Kevin Modzelewski, Adam Belay, Lamia Youseff, Jason Miller, and Anant Agarwal
    1st Workshop on Computer Architecture and Operating System co-design (CAOS), Jan 2010.
    (pdf)
  • Factored Operating Systems (fos): The Case for a Scalable Operating System for Multicores,
    by David Wentzlaff and Anant Agarwal.
    ACM SIGOPS Operating System Review (OSR), April 2009. (pdf)
  • The Case for a Factored Operating System (fos),
    by David Wentzlaff and Anant Agarwal.
    MIT CSAIL Technical Report, MIT-CSAIL-TR-2008-060, October 2008. (pdf)

Team Members:

  • Charles Gruenwald III
  • Nathan Beckmann
  • Harshad Kasture
  • Larry Stewart
  • Chris Johnson
  • Jason Miller
  • Anant Agarwal

Past Team Members:

  • David Wentzlaff
  • Kevin Modzelewski
  • Adam Belay
  • Lamia Youseff