From 09c4932c584338ce4d853b06c834decc8ed59d7e Mon Sep 17 00:00:00 2001 From: SarahGran Date: Mon, 1 Jul 2024 12:36:52 -0500 Subject: [PATCH] Create update-2024-06 Prossimo update on AV1 decoder Signed-off-by: SarahGran --- alpha/engagements/2024/Prossimo/update-2024-06 | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 alpha/engagements/2024/Prossimo/update-2024-06 diff --git a/alpha/engagements/2024/Prossimo/update-2024-06 b/alpha/engagements/2024/Prossimo/update-2024-06 new file mode 100644 index 00000000..bf6f77f8 --- /dev/null +++ b/alpha/engagements/2024/Prossimo/update-2024-06 @@ -0,0 +1,15 @@ +#AV1 + +Media decoders have historically been fertile ground for memory safety vulnerabilities. This is because they are complex, heavily used, and commonly processing untrusted data from networks. + +AV1 is set to become one of the most important media formats on the Internet. Prossimo is building a high-performance and memory safe AV1 decoder, called [Rav1d](https://github.com/memorysafety/rav1d). + +At this point in the project, the Rust code is functionally equivalent to the original C code. In June, the team focused primarily on: + +- Performance profiling and optimization +- Integration and polish + + +Performance work has focused on identifying regressions and addressing them. Optimizations included profiling and improving runtime performance in the latest safe code. In addition, the team worked on improving the memory overhead by porting upstream dav1d (the C AV1 decoder from which rav1d was transpiled) changes. + +The team is currently seeking to close the ~11% performance delta between the original C code and the transpiled Rust code. ISRG has made outside advisors available to consult on this issue.