BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Pentabarf//Schedule 0.3//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALDESC;VALUE=TEXT:Microkernels devroom X-WR-CALNAME;VALUE=TEXT:Microkernels devroom X-WR-TIMEZONE;VALUE=TEXT:Europe/Brussels BEGIN:VEVENT METHOD:PUBLISH UID:7148@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T103000 DTEND:20180203T105500 SUMMARY:Everything is a device! DESCRIPTION:
MH is a personal effort to build systems based on a single, almost arbitrary, abstraction: the device. The original idea was that having a system with a limited, but easily understandable interface would allow to build systems that are easy to grasp and fun to extend.
This talk will tell about the experience of designing MH, the lessons learned, errors made, and what using and playing with such system looks like.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_mh_everything_is_a_device/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Gianluca Guida":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7142@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T110500 DTEND:20180203T113500 SUMMARY:GPU resource multiplexing in component based systems DESCRIPTION:Through the introduction of new hardware features in recent GPUs it becomes feasible to implement proper isolation between different graphics applications. In this talk we will present a user space GPU multiplexer solution for Intel Gen8+ that takes advantage of those hardware features. It supports the concurrent execution of multiple 3D applications, while still retaining a low code complexity. Furthermore, we will give an holistic overview of the inner workings of a modern graphics stack.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_genode_gpu_multiplexing/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Sebastian Sumpf":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7151@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T114500 DTEND:20180203T121500 SUMMARY:Hurd's PCI arbiter DESCRIPTION:One of Hurd's goals is to isolate hardware drivers, to provide flexibility and safety, by isolating drivers' possibly erratic behavior, delegating driving hardware to unprivileged users, etc.
We are thus currently working on a PCI arbiter, which allows to let different userland drivers access PCI devices concurrently, while paving the way for fine-grain per-user, per-session, etc. permission management over PCI access, the use of IOMMUs allowing to do that very safely.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_hurd_pci_arbiter/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Samuel Thibault":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7124@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T122500 DTEND:20180203T132500 SUMMARY:Live sculpting a Genode-based operating system DESCRIPTION:The talk demonstrates the Genode-based operating system as routinely used by the Genode developers. The starting point is a generic and fairly minimalistic base system, which is then live shaped into different forms using a plain text editor. Along the way, many features of Genode come into play, eventually forming a usable system.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_genode_live_sculpting/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Norman Feske":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7092@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T133500 DTEND:20180203T142000 SUMMARY:Microkernels in the Era of Data-Centric Computing DESCRIPTION:During the history of digital computers, the majority of mainstream computer systems we designed as CPU-centric. All the data that the computer processed always passed through the main memory in one way or the other and the code running on the CPU manipulated with the data, directly on indirectly. Even DMA controllers, co-processors, GPUs and intelligent NICs were used just as slave peripherals, although with some degree of computational off-loading in the recent years.
One of the reasons for keeping the same basic architecture despite its drawbacks such as the ever-widening memory barrier (i.e. the difference between the latency of the CPU and the RAM) was arguably its conceptual simplicity. However, trends for a major change in the status quo are finally emerging into the mainstream. These new architectures, often called data-centric computing or near-data processing, propose to turn an ordinary computer into a distributed system where the distinction between the CPU, main memory and peripherals is much more blurry. Components such as individual DRAM chips, flash memory chips and NICs should have autonomous computing capabilities and the possibility to interchange data between other components without the involvement of the main CPU.
This talk will present a brief overview of the concepts and discuss the consequences for operating system designs, especially regarding microkernels.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_era_of_datra_centric_computing/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Děcký":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7083@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T143000 DTEND:20180203T150000 SUMMARY:Reducing CPU usage of a Toro Appliance DESCRIPTION:Toro is a x64 kernel that dedicates all system resources to the embedded user application. The result of the compilation of Toro is an image that contains both the kernel and the application. The kernel image can be booted by all majors hypervisors Hyper-V, KVM, VMWare ESXi, and emulators Qemu, VMWare WorkStation, VirtualBox. In these environments, the application runs directly inside the kernel without the need of a general purpose operating system. In this talk, I will present recent experimentation in which the scheduler of Toro is optimized to reduce the CPU usage of a VM. It has been identified three cases in which the scheduler can be optimized to reduce the impact of idle loops. To validate these techniques, I will present the impact of the improvements on a live running Toro VM on top of QEMU and Hyper-V. Open questions are welcome throughout the session to discuss the benefits and drawbacks of this approach but also take-away lessons.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_toro_reducing_cpu_usage/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Matias Vara":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7152@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T151000 DTEND:20180203T154500 SUMMARY:Rust On L4Re DESCRIPTION:Rust is a modern systems programming language with compiler-enforcedmemory-safety guarantees, safe concurrency and a powerful type system. L4Reoffers safety features on the operating system level through isolation andvirtualisation. Both together can form a unique combination for reliable andsecure services. In this talk, I will present my port of Rust to L4Re and discuss some of thechallenges of integrating the compiler Rustc into a different build system. Iwill also discuss future work on how to apply Rust's strong type system to L4ReIPC.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_l4re_rust/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Sebastian Humenda":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7340@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T155500 DTEND:20180203T162500 SUMMARY:AMENDMENT Lightning talks DESCRIPTION:Random microkernel-related lightning talks to replace the canceled talk 'Rux: Development of a Hobbyist Rust Microkernel'
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_lightning_talks/ LOCATION:AW1.126 END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:6385@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T163500 DTEND:20180203T172000 SUMMARY:Towards capabilities in HelenOS DESCRIPTION:Capabilities can be found in most modern microkernel-based systems. Sometimes the capability pattern is masqueraded under a different name though. In this talk I will tell the story of how HelenOS unwittingly started with a primitive capability system embedded in its IPC, how it evolved into the present state in which capabilities are used as task-local names for an increasing amount of user-visible kernel objects and where this might lead in the future.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_helenos_capabilities/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jakub Jermář":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7144@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T173000 DTEND:20180203T181500 SUMMARY:User-level networking on Genode DESCRIPTION:Networking became a prominent aspect in Genode over the years. As common for microkernel-based systems the whole networking infrastructure, down from the drivers up to the socket implementation resides in the userland and comes in cleanly separated building bricks. Today, the framework provides various such building bricks to be combined into an individual solution for each use case. This includes components like an L2/L3-router component with NAT and DHCP functionality, a network-bridge component, a socket-filesystem server using VFS, NIC and Wifi-drivers, as well as libraries like the Lightweight IP and the Linux IP stack. The talk shall give an overview about the design of this ecosystem, how it can be used, how it evolved, and, last but not least, discuss its future.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_genode_user_level_networking/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Stein":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:7202@FOSDEM18@fosdem.org TZID:Europe-Brussels DTSTART:20180203T182000 DTEND:20180203T190000 SUMMARY:Why hardware and operating system engineers need to talk DESCRIPTION:We want to share a couple of stories where hardware design choices designed to improve system security actually turn out to provide the contrary. This especially becomes prevalent in modern microkernel systems where the workaround for these design choices strongly contradicts the goal to reduce complexity.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2018/schedule/2018/schedule/event/microkernel_l4re_hw_vs_os/ LOCATION:AW1.126 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Matthias Lange":invalid:nomail END:VEVENT END:VCALENDAR