the state of the barrelfish project
play

The State of the Barrelfish Project The Project Members & - PowerPoint PPT Presentation

The State of the Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The State of the Barrelfish Project The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects


  1. The State of the Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The State of the Barrelfish Project The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction David Cock Rack-Scale Computing Memory Consensus Communication Formal Methods September 8, 2015 1 / 32

  2. The State of the Contents Barrelfish Project David Cock 1 Highlights Highlights Publications Publications Changes in Barrelfish Changes in Barrelfish Joint Workshop Joint Workshop The Project Members & Contributors 2 The Project How Do We Organise? How Do We Write Code? Members & Contributors Projects Research Direction How Do We Organise? Rack-Scale Computing How Do We Write Code? Memory Consensus Projects Communication Formal Methods 3 Research Direction Rack-Scale Computing Memory Consensus Communication Formal Methods 2 / 32

  3. The State of the Papers Barrelfish Project David Cock Highlights Publications Changes in Barrelfish • Gerber et. al., “Not your parents physical address Joint Workshop space”, HOTOS’15 The Project Members & Contributors • K¨ astle et. al., “Shoal: Smart Allocation and Replication How Do We Organise? How Do We Write Code? of Memory For Parallel Programs”, USENIX ATC’15 Projects Research Direction • Peter et. al., “Arrakis: The Operating System is the Rack-Scale Computing Memory Control Plane”, OSDI’14 Consensus Communication • Zellweger et. al., “Decoupling Cores, Kernels, and Formal Methods Operating Systems”, OSDI’14 • Baumann et. al., “Cosh: Clear OS Data Sharing In An Incoherent World”, TRIOS’14 3 / 32

  4. The State of the Posters Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project • K¨ astle et. al., “Shoal: smart allocation and replication of Members & Contributors How Do We Organise? memory for parallel programs”, EUROSYS’15 How Do We Write Code? Projects • Shinde at. al., “Intelligent NIC Queue Management in Research Direction Rack-Scale Computing the Dragonet Network Stack”, EUROSYS’15 Memory Consensus • Hoffman, “Rack - aware operating systems”, Communication Formal Methods EUROSYS’15 4 / 32

  5. The State of the Barrelfish Releases Barrelfish Project David Cock Highlights Publications Changes in Barrelfish 10 releases so far this year! Joint Workshop The Project Members & Contributors How Do We Organise? Highlights How Do We Write Code? Projects Research Direction • Contributor sign-off process. Rack-Scale Computing Memory • Large page support (thanks HP). Consensus Communication • Many Xeon Phi improvements. Formal Methods • Initial ARMv8 code. • Arrakis. • Overhauled build system. 5 / 32

  6. The State of the Arrakis Is Mainline Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction Rack-Scale Computing Memory Consensus Communication Peter et. al., OSDI’14 Formal Methods • Barrelfish repository is now the canonical source. • Mostly thanks to Simon Gerber. • Includes e10k support. 6 / 32

  7. The State of the FM/Security Workshop Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? We had a day of talks with Prof. Basin’s group. How Do We Write Code? Projects • Several areas of common interest: Authority (caps) & Research Direction consensus. Rack-Scale Computing Memory • New projects starting up. Consensus Communication Formal Methods 7 / 32

  8. The State of the Contents Barrelfish Project David Cock 1 Highlights Highlights Publications Publications Changes in Barrelfish Changes in Barrelfish Joint Workshop Joint Workshop The Project Members & Contributors 2 The Project How Do We Organise? How Do We Write Code? Members & Contributors Projects Research Direction How Do We Organise? Rack-Scale Computing How Do We Write Code? Memory Consensus Projects Communication Formal Methods 3 Research Direction Rack-Scale Computing Memory Consensus Communication Formal Methods 8 / 32

  9. The State of the Barrelfish Facts Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop • 9 architectures. The Project Members & Contributors • 42 applications (+51 test apps). How Do We Organise? How Do We Write Code? Projects • 63 libraries. Research Direction • 9 languages. Rack-Scale Computing Memory • 32 committers. Consensus Communication Formal Methods • 8 years old. • > 1 . 1M lines of code. 9 / 32

  10. The State of the The Current ETH Barrelfish Team Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction Rack-Scale Computing Memory Consensus Reto Achermann, David Cock, Simon Gerber, Moritz Communication Hoffman, Stephan K¨ astle, Timothy Roscoe, Pravin Shinde, Formal Methods Gerd Zellweger. Kornilios Kourtis now at IBM Z¨ urich. 10 / 32

  11. The State of the External Members and Contributors Barrelfish Project David Cock Highlights University of Washington Publications Changes in Barrelfish Simon Peter Joint Workshop The Project Members & Contributors Microsoft Research, Redmond How Do We Organise? How Do We Write Code? Andrew Baumann Projects Research Direction Microsoft Research, Silicon Valley Rack-Scale Computing Memory Consensus Paul Barham, Rebecca Isaacs, Vijayan Prabhakaran Communication Formal Methods Microsoft Research, Cambridge Richard Black, Tim Harris, Orion Hodson, Ross McIlroy Hewlett Packard Various 11 / 32

  12. The State of the Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction Rack-Scale Computing Barrelfish is now a big project: Memory Consensus • Lots of contributors. Communication Formal Methods • Lots of code. • More and more users. 12 / 32

  13. The State of the Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction Rack-Scale Computing Barrelfish is now a big project: Memory Consensus • Lots of contributors. Communication Formal Methods • Lots of code. • More and more users. • Lots of engineering and support work now. 12 / 32

  14. The State of the Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction Rack-Scale Computing Barrelfish is now a big project: Memory Consensus • Lots of contributors. Communication Formal Methods • Lots of code. • More and more users. • Lots of engineering and support work now. • But it’s still a research project! 12 / 32

  15. The State of the Setting the Direction Barrelfish Project David Cock Highlights Publications Heavily driven by individual projects Changes in Barrelfish Joint Workshop The Project • Arrakis was driven by Simon Peter at UW. Members & Contributors How Do We Organise? • SKB — Adrian Sch¨ upbach (PhD). How Do We Write Code? Projects • Distributed cap system — Mark Neville & Simon Research Direction Rack-Scale Computing Gerber (Master). Memory Consensus Communication Formal Methods 13 / 32

  16. The State of the Setting the Direction Barrelfish Project David Cock Highlights Publications Heavily driven by individual projects Changes in Barrelfish Joint Workshop The Project • Arrakis was driven by Simon Peter at UW. Members & Contributors How Do We Organise? • SKB — Adrian Sch¨ upbach (PhD). How Do We Write Code? Projects • Distributed cap system — Mark Neville & Simon Research Direction Rack-Scale Computing Gerber (Master). Memory Consensus Communication Formal Methods But there is an overall direction • Heterogeneous hardware. • Highly distributed machines. 13 / 32

  17. The State of the Day-to-day Management Barrelfish Project David Cock Highlights Publications Changes in Barrelfish Joint Workshop The Project Members & Contributors How Do We Organise? How Do We Write Code? Projects Research Direction Rack-Scale Computing Memory Consensus Communication • Mothy is the Professor. Formal Methods • Day-to-day organisation (meetings, releases, ...) mostly the ranking Post-Doc (currently me). • Students work mostly independently, in a branch. • Regular communication: • Compulsory weekly group meeting. • 15M stand-up meeting 3/week. • Everyone idles in IRC. 14 / 32

Recommend


More recommend