6 Feb 2018
A pure-Rust approach to multimedia
Multimedia development is mainly done in C+assembly since speed is important and such combination of languages traditionally gives the best control over the hardware.
Rust is considered a mature system language that provides strong warranties about memory access (and more) without sacrificing runtime speed.
Multimedia libraries are plagued by classes of bugs that Rust actively prevents at compile time, thus this talk is about leveraging Rust to have a multimedia framework that is nice to use and at the same time more trustworthy.
Target audience is people with some Rust knowledge and some experience with multimedia libraries and concepts.
Rust devroom @ FOSDEM 2018
https://fosdem.org/2018/schedule/event/rust_av/
These talks have been recorded at FOSDEM (https://fosdem.org/)
This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en
Multimedia development is mainly done in C+assembly since speed is important and such combination of languages traditionally gives the best control over the hardware.
Rust is considered a mature system language that provides strong warranties about memory access (and more) without sacrificing runtime speed.
Multimedia libraries are plagued by classes of bugs that Rust actively prevents at compile time, thus this talk is about leveraging Rust to have a multimedia framework that is nice to use and at the same time more trustworthy.
Target audience is people with some Rust knowledge and some experience with multimedia libraries and concepts.
Rust devroom @ FOSDEM 2018
https://fosdem.org/2018/schedule/event/rust_av/
These talks have been recorded at FOSDEM (https://fosdem.org/)
This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en
- 2 participants
- 24 minutes
6 Feb 2018
Safe Language Meets Safe Microkernel
Rust is a modern systems programming language with compiler-enforced memory-safety guarantees, safe concurrency and a powerful type system. L4Re offers safety features on the operating system level through isolation and virtualisation. Both together can form a unique combination for reliable and secure services. In this talk, I will present my port of Rust to L4Re and discuss some of the challenges of integrating the compiler Rustc into a different build system. I will also discuss future work on how to apply Rust's strong type system to L4Re IPC.
Microkernels Devroom @ FOSDEM 2018
https://fosdem.org/2018/schedule/event/microkernel_l4re_rust/
These talks have been recorded at FOSDEM (https://fosdem.org/)
This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en
Rust is a modern systems programming language with compiler-enforced memory-safety guarantees, safe concurrency and a powerful type system. L4Re offers safety features on the operating system level through isolation and virtualisation. Both together can form a unique combination for reliable and secure services. In this talk, I will present my port of Rust to L4Re and discuss some of the challenges of integrating the compiler Rustc into a different build system. I will also discuss future work on how to apply Rust's strong type system to L4Re IPC.
Microkernels Devroom @ FOSDEM 2018
https://fosdem.org/2018/schedule/event/microkernel_l4re_rust/
These talks have been recorded at FOSDEM (https://fosdem.org/)
This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en
- 2 participants
- 23 minutes