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 Research Direction David Cock Rack-Scale Computing Memory Consensus Communication Formal Methods September 8, 2015 1 / 32

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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