Kangrejos

US/Mountain
Refereed Track/Virtual-Room (LPC Virtual)

Refereed Track/Virtual-Room

LPC Virtual

150
Description

This is a place to put together the timetable for the Kangrejos event; nothing interesting to see here, honest.

    • 09:00 12:30
      Kangrejos: Kangrejos day 1
      Conveners: Jonathan Corbet (Linux Plumbers Conference) , Miguel Ojeda
      • 09:00
        Kickstart talk: Rust for Linux 1h

        Opening session by Miguel Ojeda

        Speaker: Miguel Ojeda
      • 10:00
        Discussion 30m
      • 10:30
        Break 30m
      • 11:00
        Invited talk: High velocity kernel modules in Rust with Bento 45m

        High development velocity is critical for modern systems. Linux is facing increased development pressure from new hardware and new demands on the operating system, particularly from cloud providers. However, high velocity Linux kernel development is challenging due to the ease of introducing bugs, the difficulty of testing and debugging, and the lack of support for redeployment without service disruption. Existing approaches to high-velocity development of large Linux modules have major downsides, such as the high performance penalty for FUSE file systems.

        In this talk, I’ll discuss our work on Bento, a framework for faster development in the Linux kernel. Bento kernel modules are written in safe Rust, reducing the potential for bugs, and can be upgraded without interruption. We have implemented the Bento framework for file system modules and used it to implement a file system with performance similar to ext4 that can be upgraded without unmounting and with only 15ms of downtime. We’re currently working on expanding Bento to support custom TCP/IP stacks.

        Speaker: Samantha Miller
      • 11:45
        Invited talk: How can we formally verify Rust for Linux? 30m

        Using Rust in Linux aims to create more solid, secure code: avoiding memory safety issues and concurrency issues by taking advantage of Rust's language features and by designing a safe API for drivers to use. This talk examines how / whether we can go further using automatic formal verification tools.

        Can we go beyond the checks that Rust provides?
        What additional checks would we want to perform?
        What can be done using the tools that exist today?
        What needs to be done to make this useful to developers? (Spoiler: we are not there yet)
        
        Speaker: Alastair Reid
    • 09:00 12:30
      Kangrejos: Kangrejos day 2
      Conveners: Jonathan Corbet (Linux Plumbers Conference) , Miguel Ojeda
      • 09:00
        Kickstart talk: Rust key concepts for the Linux kernel (I) 1h
        Speaker: Miguel Ojeda
      • 10:00
        Discussion 30m
      • 10:30
        Break 30m
      • 11:00
        Invited talk: The Thread wrapper for Rust in Linux kernel 45m

        A kernel thread is one of the most important components in the kernel, and it's also a necessary piece to implement other core subsystems in the kernel. This topic will share a learning process on how to implement the wrapper for Rust std-like Thread in Linux kernel, the current status and the future work.

        Speaker: Boqun Feng
      • 11:45
        Invited talk: Implementing the Iterator trait for seq_file 30m

        The seq_file interface in the kernel allows easy creation of virtual files by implementing an interface that iterates over values which can be printed. It seemed like this should directly translate into the Rust trait of an Iterator where Item implements Display, but of course the devil is in the details. I'll show what I did to provide an interface to seq_file for Rust code.

        Speaker: Adam Bratschi-Kaye
    • 09:00 12:30
      Kangrejos: Kangrejos day 3
      Conveners: Jonathan Corbet (Linux Plumbers Conference) , Miguel Ojeda
      • 09:00
        Kickstart talk: Rust key concepts for the Linux kernel (II) 1h
        Speaker: Wedson Almeida Filho
      • 10:00
        Discussion 30m
      • 10:30
        Break 30m
      • 11:00
        Invited talk: Writing an embedded SPI-based Linux driver in Rust 1h

        While Linux is not primarily an embedded-focused operating system, it is still used on platforms such as the Raspberry Pi. In the case of these platforms, kernel modules provide a helpful way to interact with various devices at a kernel level, which often communicate using low-level protocols, such as SPI or I2C.

        Using Rust for that kind of workloads provides numerous advantages, and while the kernel API for these protocols has been tried and tested for a very long time, there are currently no Rust abstractions available.

        In this presentation, we will talk about our ongoing effort to bring an abstraction over the SPI protocol in safe Rust, for Linux, on the ARM64 platform, and how we used it to implement a simple device driver. The talk will draw comparisons against the original implementation in C, which provides the same amount of features. Finally, we will dive into the techniques used and our experience working with Rust-for-Linux.

        Speakers: Arthur Cohen, Esteban Blanc, Martin Schmidt