mmastrac 7 hours ago

The associated issue for comparing two u16s is interesting.

https://github.com/rust-lang/rust/issues/140167

  • ack_complete 34 minutes ago

    I'm surprised there's no mention of store forwarding in that discussion. The -O3 codegen is bonkers, but the -O2 output is reasonable. In the case where one of the structs has just been computed, attempting to load it as a single 32-bit load can result in a store forwarding failure that would negate the benefit of merging the loads. In a non-inlined, non-PGO scenario the compiler doesn't have enough information to tell whether the optimization is suitable.

  • rhdjsjebshjffn 44 minutes ago

    This just seems to illustrate the complexity of compiler authorship. I am very sure c compilers are wble to address this issue any better in the general case.

    • runevault 24 minutes ago

      Keep in mind Rust is using the same backend as one of the main C compilers, LLVM. So if it is handling it any better that means the Clang developers handle it before it even reaches the shared LLVM backend. Well, or there is something about the way Clang structures the code that catches a pattern in the backend the Rust developers do not know about.

    • vlovich123 21 minutes ago

      The rust issue has people trying this with c code and the compiler generates the same issue. This will get fixed and it’ll help c and Rust code

  • heybales 7 hours ago

    The thing I like most about this is that the discussion isn't just 14 pages of "I'm having this issue as well" and "Any updates on when this will be fixed?" As a web dev, GitHub issues kinda suck.

    • eterm 5 hours ago

      It was worse before emoji reactions were added and 90% of messages were literally just "+1"

robertknight 8 hours ago

Good post! The inefficient code for comparing pairs of 16-bit integers was an interesting find.

  • ohr 8 hours ago

    Thanks! Would be interesting to see if Rust/LLVM folks can get the compiler to apply this optimization whenever possible, as Rust can be much more accurate w.r.t memory initialization.

    • adgjlsfhk1 7 hours ago

      I think rust may be able to get it by adding a `freeze` intrinsic to the codegen here. that would force LLVM to pick a deterministic value if there was poison, and should thus unblock the optimization (which is fine here because we know the value isn't poison)

    • kukkamario 5 hours ago

      I think in this case Rust and C code aren't equivalent which maybe caused this slow down. Union trick also affects the alignment. C side struct is 32 bit aligned, but Rust struct only has 16bit alignment because it only contains fields with 16bit alignment. In practice the fields are likely anyway correctly aligned to 32bits, but compiler optimizations may have hard time verifying that.

      Have you tried manually defining alignment of Rust struct?

    • Ygg2 8 hours ago

      Would be great, but wouldn't hold my breath for it. LLVM and Rustc can be both be kinda slow to stabilize.

      • pornel 6 hours ago

        It varies. New public APIs or language features may take a long time, but changes to internals and missed optimizations can be fixed in days or weeks, in both LLVM and Rust.

brookst 7 hours ago

Title undersells post; it’s actually 2.3% faster with two good optimizations.

  • ohr 7 hours ago

    I think that since the 1.5% one is only for aarch64 it's a bit unfair to claim the full number, more like 1/2 if you consider arm/x86 to be the majority of the (future) deployments

    • brookst 7 hours ago

      I suppose that’s fair, but I’d give credit for a 2.3% improvement in the test environment. For all we know it may be a net loss in other environments due to quirks (probably not, admittedly).

mbeavitt 7 hours ago

Haha I was just thinking to myself "I wonder if anyone made any progress on that rav1d bounty yet?"

lubesGordi 7 hours ago

Honestly its a little surprising the first optimization he found was something fairly obvious just by using perf. I thought they had discussed the zeroing buffers issue in the first post? The second optimization was definitely more involved/interesting but was still pointed at by perf. Don't underestimate that tool!

  • sounds 5 hours ago

    He came from the aarch64 perspective on an Apple device. I often experience someone spotting an "obvious in hindsight" gap because they come from a different background.

infogulch 8 hours ago

You know it's a good post when it starts with a funny meme. Seems related to the recent discussion: $20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder (memorysafety.org) | 108 comments | https://news.ycombinator.com/item?id=43982238

tialaramex 7 hours ago

All being equal codecs ought to be in WUFFS† rather than Rust, but I can well imagine that it's a much bigger lift to take something as complicated as dav1d and write the analogous WUFFS than to clean up the c2rust translation, if you said a thousand times harder I'd have no trouble believing that. I just think it's worth it for us as a civilisation.

† Or an equivalent special purpose language, but WUFFS is right there

  • IgorPartola 7 hours ago

    WUFFS would be great for parsing container files (Matroska, webm, mp4) but it does not seem at all suitable for a video decoder. Without dynamic memory allocation it would be challenging to deal with dynamic data. Video codecs are not simply parsing a file to get the data, they require quite a bit of very dynamic state to be managed.

    • lubesGordi 7 hours ago

      Requiring dynamic state seems not obvious to me. At the end of the day you have a fixed number of pixels on the screen. If every single pixel changes from frame to frame that should constitute the most work your codec has to do, no? I'm not a codec writer but that's my intuition based on the assumption that codecs are basically designed to minimize the amount of 'work' being done from frame to frame.

      • IgorPartola 6 hours ago

        If you are doing something like a GIF or an MJPEG, sure. If you are doing forwards and backwards keyframes with a variable amount of deltas in between, with motion estimation, with grain generation, you start having a very dynamic amount of state. Granted, encoders are more complex than decoders in some of this. But still you might need to decode between 1 and N frames to get the frame you want, and you don't know how much memory it will consume once it is decoded unless you decode it into bitmaps (at 4k that would be over 8MB per frame which very quickly runs out of memory for you if you want any sort of frame buffer present).

        I suspect the future of video compression will also include frame generation, like what is currently being done for video games. Essentially you have let's say 12 fps video but your video card can fill in the intermediate frames via what is basically generative AI so you get 120 fps output with smooth motion. I imagine that will never be something that WUFFS is best suited for.

        • derf_ 5 hours ago

          > But still you might need to decode between 1 and N frames to get the frame you want, and you don't know how much memory it will consume...

          All of these things are bounded for actual codecs. AV1 allows storing at most 8 reference frames. The sequence header will specify a maximum allowable resolution for any frame. The number of motion vectors is fixed once you know the resolution. Film grain requires only a single additional buffer. There are "levels" specified which ensure interoperability at common operating points (e.g., 4k) without even relying on the sequence header (you just reject sequences that fall outside the limits). Those are mostly intended for hardware, but there is no reason a software decoder could not take advantage of them. As long as codecs are designed to be implemented in hardware, this will be possible.

        • GuB-42 4 hours ago

          > I suspect the future of video compression will also include frame generation

          That's how most video codecs work already. They try to "guess" what the next frame will be, based on past (for P-frames) and future (for B-frames) frames. The difference is that the codec encodes some metadata to help with the process and also the difference between the predicted frame and the real frame.

          As for using AI techniques to improve prediction, it is not a new thing at all. Many algorithms optimized for compression ratio use neural nets, but these tend to be too computationally expensive for general use. In fact the Hutter prize considers text compression as an AI/AGI problem.

        • lubesGordi 4 hours ago

          See this is interesting to me. I understand the desire to dynamically allocate buffers at runtime to capture variable size deltas. That's cool, but also still maybe technically unnecessary? Because like you say, at 4k and over 8MB per frame; you still can't allocate over a limit. So likely a codec would have some boundary set on that anyway. Why not just pre-allocate at compile time? For sure this results in a complex data structure. Functionally it could be the same and we would elide the cost of dynamic memory allocations. What I'm suggesting is probably complex, I'm sure.

          In any case I get what you're saying and I understand why codecs are going to be dynamically allocating memory, so thanks for that.

      • zimpenfish 6 hours ago

        > codecs are basically designed to minimize the amount of 'work' being done from frame to frame

        But to do that they have to keep state and do computations on that state. If you've got frame 47 being a P frame, that means you need frame 46 to decode it correctly. Or frame 47 might be a B frame in which case you need frame 46 and possibly also frame 48 - which means you're having to unpack frames "ahead" of yourself and then keep them around for the next decode.

        I think that all counts as "dynamic state"?

        • wtallis 4 hours ago

          Memory usage can vary, but video codecs are designed to make it practical to derive bounds on those memory requirements because hardware implementations don't have the freedom to dynamically allocate more silicon.

      • dylan604 6 hours ago

        Maybe you're not familiar with how long GOP encoding works with IPB frames? If all frames were I-frames, maybe what you're thinking might work. Everything you need is in the one frame to be able to describe every single pixel in that frame. Once you start using P-frames, you have to hold on to data from the I-frame to decode the P-frame. With B-frames, you might need data from frames not yet decoded as the are bi-direction references.

        • lubesGordi 4 hours ago

          Still you don't necessarily need to have dynamic memory allocations if the number of deltas you have is bounded. In some codecs I could definitely see those having a varying size depending on the amount of change going on in the scene.

          I'm not a codec developer, I'm only coming at this from an outside/intuitive perspective. Generally, performance concerned parties want to minimize heap allocations, so I'm interested in this as how it applies in codec architecture. Codecs seem so complex to me, with so much inscrutable shit going on, but then heap allocations aren't optimized out? Seems like there has to be a very good reason for this.

      • throwawaymaths 6 hours ago

        compression algorithms can get very clever in recursive ways

      • lubesGordi 5 hours ago

        Hey maybe we can discuss why I'm being downvoted? This is a technical discussion and I'm contributing. If you disagree then say why. I'm not stating anything as fact that isn't fact. I am getting downvoted for asking a question.

Mr_Eri_Atlov 5 hours ago

AV1 continues to be the most fascinating development in media encoding.

AVG-SVT-PSY is particularly interesting to read up on as well.

jebarker 6 hours ago

Beautiful work and nice write-up. Profiling and optimization is absolutely my favorite part of software development.

anon-3988 6 hours ago

Is skipping initialization of buffers a hard problem for compilers?

  • brigade 4 hours ago

    It’s especially hard to elide the compiler initialization when the intended initialization is by a function written in assembly

  • adgjlsfhk1 5 hours ago

    yeah. Proving that the zero initialization is useless requires proving that the rest of the program never reads one of the zeroed values. This is really difficult because compilers generally don't track individual array indices (since you often don't even know how big the array is)

  • empath75 6 hours ago

    It's easy to not initialize the buffer, the hard part is guaranteeing that it's safe to read something that might not be initialized.

renewiltord 5 hours ago

Oh this stuff is what’s prompting the ffmpeg Twitter account to make a stand against Rust https://x.com/ffmpeg/status/1924137645988356437?s=46

  • mmastrac 5 hours ago

    Reading the ffmpeg twitter account is enough to turn me off using ffmpeg. It's a shame there's no real alternative -- the devs seem very toxic.

    I mean sure, max performance is great if you control every part of your pipeline, but if you're accepting untrusted data from users-at-large ffmpeg has at least a half-dozen remotely exploitable CVEs a year. Better make sure your sandbox is tight.

    https://ffmpeg.org/security.html

    I feel like there's a middle ground where everyone works towards a secure and fast solution, rather than whatever position they've staked out here.

    • throwaway94487 3 hours ago

      How many of those "remotely exploitable CVEs" have actually been exploited in the wild? Quite a few are denial-of-service and memory leak CVEs too, which Rust doesn't consider to be unsafe.

  • tialaramex 5 hours ago

    The healthier response might have been work to speed-up dav1d. If you refine the Olympic Record metrics and force them to retrospectively update previous records so that Bolt's 100m sprint record is revised to 9.64s rather than 9.63s nobody cares man, get a life, but if you can run an actual nine second 100 metre sprint that people care about†

    † If you're a human. If you're an ostrich this is not impressive, but on the whole ostrichs aren't competing in the Olympic 100 metre sprint.

TinkersW 4 hours ago

Interesting, but mostly just sounds like Rust issues, and requiring some nonsense to fix issues that shouldn't have existed in the first place.

Leading me to the conclusion that Rust is a dubious choice for highly optimized SIMD code.

  • khuey 3 hours ago

    The "comparing a pair of i16s" thing is clearly not just a Rust issue since the C version had the same hack.

  • adgjlsfhk1 4 hours ago

    transpiled code is rarely good. Rust is often better than C for SIMD code (it actually has useful SIMD instructions exposed, and aliasing guarantees make it a lot easier for the compiler to figure out obvious optimization. By transpiling, however you loose most of the structure of an idiomatic project and generally make a bit of a mess of things.

mdf 6 hours ago

There's something about real optimization stories that I find fascinating – particularly the detailed ones including step-by-step improvements and profiling to show how numbers got better. In some way, they are satisfying to read.

Nicholas Nethercote's "How to speed up the Rust compiler" writings[1] fall into this same category for me.

Any others?

[1] https://nnethercote.github.io/

  • ohr 6 hours ago

    (Author here) I'm a huge fan of the "How to speed up the Rust compiler" series! I was hoping to capture the same feeling :)

    • dirtyhippiefree 4 hours ago

      Having your last name be Ravid really is the icing on your cake.

      Real is about the only other codec I see that could be a name, but nobody uses that anymore.

      • aidenn0 3 hours ago

        Do your part: name your kids "ffmpeg" and "vp-IX"!

  • Voultapher 2 hours ago

    Since you seem to enjoy this kind of writing I'd love to get your feedback on something I've written a while back about branchless partitioning [1]. Despite it being content wise the most work to create of the things I've written about the topic, it found much less attention than other things I've written. So far I've wondered if it was maybe too technical? Would love to get an honest opinion.

    [1] https://github.com/Voultapher/sort-research-rs/blob/main/wri...

  • dpacmittal 3 hours ago

    I read an article a while ago where the goal is to process a file as fast as possible and the article talks about compressing the data chunks so they fit in L1 cache. The cache misses were slower than compressing and decompressing the data from L1 cache.

    I've been trying to find that article ever since but I'm not able to. Anyone knows the article I'm talking about?

IgorPartola 7 hours ago

AV1 is an amazing codec. I really hope it replaces proprietary codecs like h264 and h265. It has a similar, if not better, performance to h265 while being completely free. Currently on an Intel-based Macbook it is only supported in some browsers, however it seems that newer video cards from AMD, Nvidia, and Intel do include hardware decoders.

  • karn97 6 hours ago

    9070xt records gameplay by default in av1

    • monster_truck 6 hours ago

      RDNA3 cards also have AV1 encode. RDNA 2 only has decode.

      With the bitrate set to 100MB/s it happily encodes 2160p or even 3240p, the maximum resolution available when using Virtual Super Resolution (which renders at >native res and downsamples, is awesome for titles without resolution scaling when you don't want to use TAA)

      • kennyadam 4 hours ago

        Isn't that expected? 4K Blurays only encode up to like 128Mbps, which is 16MB/s. 100MB/s seems like complete overkill.

        • vlovich123 3 hours ago

          I think op just didn’t type Mbps properly. 100MB/s or ~800Mbps is way higher than the GPU can even encode at a HW level even I would think

  • flashblaze 5 hours ago

    I'm not really well versed with codecs, but is it up to the devices or the providers (where you're uploading them) to handle playback or both? A couple of days ago, I tried to upload an Instagram Reel in AV1 codec, and I was struggling to preview it on my Samsung S20 FE Snapdragon version (before uploading and during preview as well). I then resorted to H.264 and it worked w/o any issues.

    • sparrc 4 hours ago

      Playback is 100% handled by the device. The primary (and essentially only) benefit of H.264 is that almost every device in the entire world has an H.264 hardware decoder builtin to the chip, even extremely cheap devices.

      AV1 hardware decoders are still rare so your device was probably resorting to software decoding, which is not ideal.

    • kevmo314 5 hours ago

      Instagram (the provider) will transcode for compatibility but likely the preview is before transcoding, the assumption being that the device that uploads the video is able to play it.

      • ta1243 4 hours ago

        Yes that sounds spot on.

        I don't know instagram, but I would expect any provider to be handle almost any container/codec/resolution combination going (they likely use ffmpeg underneath) and generate their different output formats at different bitrates for different playback devices.

        Either instagram won't accept av1 (seems unlikely) or they just haven't processed it yet as you infer.

        I'd love to know why your commend is greyed out.

  • adzm 6 hours ago

    Isn't VP9 more comparable to h265? AV1 seems to be a ton better than both of them.

    • senfiaj 5 hours ago

      I think VP9 is more comparable to h264. Also if I'm not mistaken it's not good for live streaming, only for storing data.

      • toast0 4 hours ago

        VP9 works for live streaming/real time conferencing too.

        • senfiaj 2 hours ago

          Yeah, but I think it has much higher CPU usage, at least when there is no native hardware decoder/encoder. Maybe this has more to do with adoption, since H264 has been an industry standard.

          • toast0 an hour ago

            Codec selection is always a complex task. You've got to weigh quality/bitrate vs availability of hardware encode/decode, licensing, and overall resource usage.

            The ITU standards have had a lot better record of inclusion in devices that people actually have; and often using hardware encode/decode takes care of licensing. But hardware encode doesn't always have the same quality/bitrate as software and may not be able to do fancier things like simulcast or svc. Some of the hardware decoders are pretty picky about what kinds of streams they'll accept too.

            IMHO, if you're looking at software h.264 vs software vp9, I think vp9 is likely to give you better quality at a given bitrate, but will take more cpu to do it. So, as always, it depends.

    • dagmx 6 hours ago

      They’re all in the same ballpark of each other and have characteristics that don’t make one an outright winner.

      • CharlesW 4 hours ago

        AV1 is the outright winner in terms of compression efficiency (until you start comparing against VVC/H.266¹), with the advantage being even starker at high resolutions. The only current notable downside of AV1 is that client hardware support isn't yet universal.

        ¹ https://www.mdpi.com/2079-9292/13/5/953

  • aaron695 5 hours ago

    Get The Scene involved.

    They shifted to h.264 successfully, but I haven't heard of any more conferences to move forward in over a decade.

    Currently "The Last of US S02E06" only has one AV1 - https://thepiratebay.org/search.php?q=The+Last+of+Us+S02E06 same THMT - https://thepiratebay.org/search.php?q=The+Handmaids+Tale+S06... These are low quality at only ~600MB, not really early adopter sizes.

    AV1 beats h.265 but not h.266 - https://www.preprints.org/manuscript/202402.0869/v1 - People disagree with this paper on default settings

    Things like getting hardware to The Scene for encoding might help, but I'm not sure of the bottleneck, it might be bureaucratic or educational or cultural.

    [edit] "Common Side Effects S01E04" AV1 is the strongest torrent, that's cool - https://thepiratebay.org/search.php?q=Common+Side+Effects+S0...

    • aidenn0 3 hours ago

      At higher quality/bitrates, the difference is much smaller and device support is universal for AVC and quite good for HEVC. Anything over 1.5GB for a single episode would probably only be farily similarly sized with AV1.

      There is one large exception, but I don't know the current scene well enough to know if it matters: sources that are grainy. I have some DVD and blurays with high grain content and AV1 can work wonders with those thanks to the in-loop grain filter and synthesis -- we are talking half the size for a high-quality encode. If I were to encode them for AVC at any reasonable bitrate, I would probably run a grain-removal filter which is very finicky if you don't want to end up with something that is overly blurry.

    • LtdJorge 2 hours ago

      This may be in part because people that automatized their media servers are using hardware acceleration for transcoding (from 4k for example), and hardware has only recently added decoding for AV1.

      In my case, I get both 4k (h265) and 1080p (h264) blurays and let the client select.

    • phendrenad2 3 hours ago

      Holy shadowban Batman! All of your comments are [dead]. What did you do to anger the HN Gods?

    • wbl 4 hours ago

      There was a conference?!