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:3308@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T090000 DTEND:20150201T091000 SUMMARY:Introduction DESCRIPTION:
Introduction to Microkernels devroom
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/intro/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Vasily A. Sartakov":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3297@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T091000 DTEND:20150201T100000 SUMMARY:seL4: Present and Future DESCRIPTION:seL4, a member of the L4 family of microkernels, and the world’s highest-assured operating system kernel, has recently joined the FLOSS community. This talk will provide an overview of what seL4 is, what it can and cannot do, and where we see it heading in the future.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/sel4/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Gernot Heiser":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3208@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T100000 DTEND:20150201T110000 SUMMARY:A dedicated kernel named TORO DESCRIPTION:In systems with high-grade multiprocessing, we have identified two bottlenecks: in the accessing of the memory bus and in the shared resources. To deal with these issues, we propose a dedicated kernel named TORO that is optimized to run a single multi-threading application. TORO is demonstrating an innovative operating system by integrating at the same ring level both kernel and the user application server. In addition, the accessing to resources (e.g., Filesystem, Networking, Memory) is dedicated to specific processor. Then, only the CPU where is dedicated the resource is allowed to access to the instanceof the resource. As a result of this design, the kernel provides direct access to all resources without any overhead, and therefore maximizesperformance for the overall system. To sum-up the approach, in TORO, the threads of the user application server are distributed evenly on all CPUs and running independently in parallel. The memory model chosen is NUMA without pagination. During the initialization, the memory is divided proportionally for each processor installed on the system. When a thread needs memory, the memory allocator returns a free block of memory depending on which CPU the thread is running. In the same way, TORO can dedicate resources to specific processor, i.e., a FileSystem. This only CPU then can access tothis instance of FileSystem. The scheduler is based on the cooperative threading model, therefore due to this design, TORO can migrate threadsbetween CPUs and send messages between threads without using any lock instruction.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/toro/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Matias Vara":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:2729@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T110000 DTEND:20150201T113000 SUMMARY:The FLK project DESCRIPTION:EIFFEL the language and SCOOP(*) allow the creation of a kernel without neither MMU nor processes but secured.
The removal of MMU and processes improves the switching time of contexts and minimize the memory cost of concurrency. The kernel provides unlimited concurrency and native synchronisation/acquiring of multiple resources.
The security is primarily given through EIFFEL's exports at the API level and is enforced by tightly coupling the kernel and the compiler. The low-level unsafe API are available only available to the kernel.
(*) SCOOP: Simple Concurrent Object-Oriented Programming
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/flk/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="José Bollo":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:2876@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T113000 DTEND:20150201T123000 SUMMARY:Along the GNU Hurd RPC way DESCRIPTION:It is not so obvious to newcomers to the Hurd project how to follow execution path from their application to actual behavior in the Hurd translators. This talk will guide them through the involved RPCs, thus providing a starting guide into the GNU Hurd architecture, and hopefully, to contributing fixes or new features!
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/hurd/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Samuel Thibault":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3309@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T123000 DTEND:20150201T130000 SUMMARY:Networking (lunch) DESCRIPTION:Networking at Lunch
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/diner/ LOCATION:K.3.201 END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3022@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T130000 DTEND:20150201T134500 SUMMARY:Autopsy of a multiserver deadlock in the HelenOS filesystem layer DESCRIPTION:A detailed walk through the analysis of a deadlock in the HelenOS filesystem layer involving IPC communication and spread across four server processes. The talk will focus on demonstrating how a problem like this can be root caused from within the same running HelenOS instance that was affected by it, relying solely on its own observability features.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/deadlock/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Jakub Jermář":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3027@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T134500 DTEND:20150201T143000 SUMMARY:Facing the Reality: What's new in the L4Re Operating System DESCRIPTION:L4Re is an operating system based on the L4Re microkernel. The development of the last 12 months has been driven by real-world requirements. Noteworthy features are power management capabilities and the ARM virtualization support.
In the first part of the talk we will give a brief overview of what's new in the L4Re OS followed by an update on the changes and improvements to the virtualization support we made over the last year.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/l4re/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Adam Lackorzynski":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:2789@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T143000 DTEND:20150201T152000 SUMMARY:What Could Microkernels Learn from Monolithic Kernels (and Vice Versa) DESCRIPTION:Some developers of both microkernel and monolithic operating systems view the design of their system as absolutely superior to the other design. This black-white thinking and "holy war" attitude, while understandable to a certain degree, makes it hard to to acknowledge that one size does not necessarily fit all. Rather than striving for an unreachable goal of creating the best operating system design for all possible use cases it is vital to understand and reflect the trade-offs of the use cases at hand. This talk focuses on a few features and properties of the current monolithic operating systems that could be an inspiration for the current microkernel operating systems and vice versa. The talk should also initiate a discussion about some "non-goals" of microkernel operating systems that are nevertheless sometimes presented as goals of microkernel operating systems, to the detriment of its own cause.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/mm/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Martin Děcký":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:2886@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T153000 DTEND:20150201T161500 SUMMARY:Introducing a radically componentized GUI architecture DESCRIPTION:Modern graphical user interfaces must be both extremely versatile and beautiful to be appealing for users. Current GUIs try to fulfil those requirements at the cost of extremely high complexity, which puts the privacy and security of the user at risk. The talk will introduce a new component-based GUI architecture that puts security in the front seat while aiming at highly customizable user experiences.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/genode/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Norman Feske":invalid:nomail END:VEVENT BEGIN:VEVENT METHOD:PUBLISH UID:3509@FOSDEM15@fosdem.org TZID:Europe-Brussels DTSTART:20150201T161500 DTEND:20150201T163500 SUMMARY:Cloud services on top of uKernel DESCRIPTION:Despite the diversity of microkernel project, most of them are experimental and research. Some of them are positioned as embedded systems, some other as general purpose desktop system. We want to add in this diversity additional project. In contrast with most other, we are interested in network services for clouds. We want to build guest system based on microkernel for providing various network services like cluster file system, key-value store and web server.
CLASS:PUBLIC STATUS:CONFIRMED CATEGORIES:Microkernels URL:https:/fosdem.org/2015/schedule/2015/schedule/event/ucloud/ LOCATION:K.3.201 ATTENDEE;ROLE=REQ-PARTICIPANT;CUTYPE=INDIVIDUAL;CN="Vasily A. Sartakov":invalid:nomail END:VEVENT END:VCALENDAR