Alain Tchana
MiLK: The key to addressing operating system flexibility and velocity
Over the last decade, the exponential progression of digital technology in our societies (health, politics, security, transport, entertainment, etc.) has resulted in the appearance of a large diversity of applications and hardware supports that the operating system (OS) must consider. Considering these environments, the OS (Linux, FreeBSD, Mac, and Windows) is a "catch-all", making it difficult to maintain, vulnerable, and sub-optimal. A better approach would be to have a customizable OS, but with today's OS, this is arduous, not within reach of sysadmins, and requires rebooting the machine, leading to service unavailability.
The fundamental problem of popular OSes is their monolithic nature, which enforces the execution of all their services in kernel space, where customization is intricate. How can the services of monolithic OSes be easily and quickly customize and deploy with zero downtime?
Alain Tchana leads MiLK, a research project which resurrects microkernels. MilK advocates outsourcing Linux services to userspace where quick customization and deployment are conceivable. MiLK opts for a pragmatic approach, transforming Linux (a popular monolithic OS) into a microkernalizable OS. Sysadmins will leverage the resulting OS to customize Linux services. In this talk, we will illustrate MiLK on memory management, a critical kernel sub-system.
back to overviewThe fundamental problem of popular OSes is their monolithic nature, which enforces the execution of all their services in kernel space, where customization is intricate. How can the services of monolithic OSes be easily and quickly customize and deploy with zero downtime?
Alain Tchana leads MiLK, a research project which resurrects microkernels. MilK advocates outsourcing Linux services to userspace where quick customization and deployment are conceivable. MiLK opts for a pragmatic approach, transforming Linux (a popular monolithic OS) into a microkernalizable OS. Sysadmins will leverage the resulting OS to customize Linux services. In this talk, we will illustrate MiLK on memory management, a critical kernel sub-system.
