• [$] LLVM improvements for BPF verification

    From LWN.net@1337:1/100 to All on Mon May 27 17:15:05 2024
    [$] LLVM improvements for BPF verification

    Date:
    Mon, 27 May 2024 17:04:36 +0000

    Description:
    Alan Jowett gave a remote presentation at the 2024 Linux Storage,
    Filesystem, Memory Management, and BPF Summit about what features could be added to LLVM to make writing BPF programs easier. While there is nothing specific
    to LLVM about BPF code (and the next session in the track was led by GCC developer Jos Marchesi about better support for that compiler), LLVM is currently the most
    common way to turn C code into BPF bytecode. That translation, however, runs into problems when the BPF verifier cannot understand the code LLVM's optimizations produce.

    ======================================================================
    Link to news story:
    https://lwn.net/Articles/974945/


    --- Mystic BBS v1.12 A47 (Linux/64)
    * Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)