Kangrejos

Session

Kangrejos

13 Sept 2021, 09:00

Refereed Track/Virtual-Room (LPC Virtual)

Conveners

Kangrejos: Kangrejos day 1

• Jonathan Corbet (Linux Plumbers Conference)
• Miguel Ojeda

Kangrejos: Kangrejos day 2

• Miguel Ojeda
• Jonathan Corbet (Linux Plumbers Conference)

Kangrejos: Kangrejos day 3

• Miguel Ojeda
• Jonathan Corbet (Linux Plumbers Conference)

1. Kickstart talk: Rust for Linux

Miguel Ojeda

13/09/2021, 09:00

Opening session by Miguel Ojeda

11. Discussion

13/09/2021, 10:00

2. Invited talk: High velocity kernel modules in Rust with Bento

Samantha Miller

13/09/2021, 11:00

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...

3. Invited talk: How can we formally verify Rust for Linux?

Alastair Reid

13/09/2021, 11:45

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...

4. Kickstart talk: Rust key concepts for the Linux kernel (I)

Miguel Ojeda

14/09/2021, 09:00

5. Discussion

14/09/2021, 10:00

6. Invited talk: The Thread wrapper for Rust in Linux kernel

Boqun Feng

14/09/2021, 11:00

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.

7. Invited talk: Implementing the Iterator trait for seq_file

Adam Bratschi-Kaye

14/09/2021, 11:45

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.

8. Kickstart talk: Rust key concepts for the Linux kernel (II)

Wedson Almeida Filho

15/09/2021, 09:00

9. Discussion

15/09/2021, 10:00

10. Invited talk: Writing an embedded SPI-based Linux driver in Rust

Arthur Cohen, Esteban Blanc, Martin Schmidt

15/09/2021, 11:00

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...