Linux 6.0 is coming

Linux 6.0 is expected to arrive soon. The next version of the Linux kernel is jumping version numbers, with some performance gains, but it’s not a major change all the same: What was previously planned to be version 5.20 is now Linux 6.0 according to Linux 5.19 announcement.

There will be new hardware support. Especially Support for the RISC-V architecture continues to accrue, with changes that improve the new platform’s support for handling for Docker containers and apps packaged with Ubuntu’s Snap system, plus page-based memory types.

There is one big ticket feature has made it for the Linux 6.0 kernel: the Runtime Verification infrastructure for running Linux on safety-critical systems. Over last few years researchers have been exploring the possibility of verifying the Linux kernel behavior using Runtime Verification. Runtime Verification (RV) is a lightweight (yet rigorous) method that complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach for complex systems. RV works by analyzing the trace of the system’s actual execution, comparing it against a formal specification of the system behavior. The usage of deterministic automaton for RV is a well-established approach.

linux

Information sources and links to more information:

Ready for the Linux 6.0 splashdown? Here are some of the highlights
Don’t panic if you’re not a fan of big changes… it’s 5.20 by another name
https://www.theregister.com/2022/08/08/linux_6_point_0_highlights/

Linux Kernel 6.0 is Likely the Next Version Upgrade With Initial Rust Code
Linux Kernel’s next upgrade is going to be 6.0, instead of Linux 5.20. That’s what Linus Torvalds is going with. Sounds good!
https://news.itsfoss.com/linux-kernel-6-0-reveal/

Linux 6.0 Adding Run-Time Verification For Running On Safety Critical Systems
https://www.phoronix.com/news/Linux-6.0-Runtime-Verification

De Oliveira, Daniel Bristot; Cucinotta, Tommaso; De Oliveira, Romulo Silva. *Efficient formal verification for the Linux kernel.* In: International Conference on Software Engineering and Formal Methods. Springer, Cham, 2019. p. 315-332.
https://link.springer.com/chapter/10.1007/978-3-030-30446-1_17

https://git.kernel.org/pub/scm/linux/kernel/git/rostedt/linux-trace.git/tree/Documentation/trace/rv/runtime-verification.rst?h=for-next&id=ff0aaf671230d409a68fd7400f41e9eb3ac61dd8

https://lore.kernel.org/all/[email protected]om/

6 Comments

  1. Tomi Engdahl says:

    Linux 6.0 on nurkan takana
    https://etn.fi/index.php/13-news/13874-linux-6-0-on-nurkan-takana

    Linus Torvalds kertoi eilen avanneensa ytimen 6.0-version kehitysprosessin RC1- eli release candidate 1 -versiolla. Versionumerolla ei tosin ole mitään merkitystä Torvaldsille. – Jos haluatte kutsua versiota 5.20:ksi, siitä vaan. Numerolle ei ole pienintäkään väliä, Torvalds evästi.

    Reply
  2. Meskalina says:

    We are all waiting :)))

    Reply
  3. Tomi Engdahl says:

    Linux 6.0 lähes valmis – C:n rinnalle tulossa Rust
    https://etn.fi/index.php/13-news/14044-linux-6-0-laehes-valmis-c-n-rinnalle-tulossa-rust

    Eilen illalla Linus Torvalds julkisti tulevasta Linux 6.0 -ytimestä jo RC7-version. Näin voidaan odottaa, että lopullinen 6.0-ydin saadaan valmiiksi ensi viikon sunnuntaina. Seuraavassa eli 6.1-versiossa Linux ottaakin ison askeleen eteenpäin.

    Torvaldsin mukaan 6.0 ei näytä kasvavan normaalia suuremmaksi paketiksi, vaikka hän alun perin niin epäilikin. Suuri osa uudesta ytimestä liittyy GPU-prosessoreihin ja verkkoajureihin, mikä on uusissa Linux-ytimissä normaalia kauraa.

    Enemmän on luvassa seuraavassa eli 6.1-versiossa. Torvalds myönsi kernelin ylläpitäjien konferenssissa toissa viikolla, että mikäli mitään ihmeellistä ei tapahdu, seuraavaan kerneliin tuodaan C-kielen rinnalle Rust.

    Reply
  4. Tomi Engdahl says:

    Removing an obsolete AMD fix makes Linux kernel 6 quicker
    Performance-killing workaround rediscovered after 20 years
    https://www.theregister.com/2022/09/27/obsolete_amd_acpi_fix/

    An ancient fix for power management issues on AMD systems has been reducing Linux’s performance since 2002. Now it’s gone.

    One of the joys of modern silicon chips is that power management is vitally important. It hasn’t been about saving power or extending battery life since the 20th century. Processor vendors survive by selling us more and more transistors, solely on the basis that most of them are turned off most of the time – otherwise the chips would rapidly incinerate themselves, no matter how good their cooling.

    This requires sophisticated interfaces between the OS and the hardware, and way back in 1996, a new standard called ACPI (Advanced Configuration and Power Interface) replaced the positively stone age APM (Advanced Power Management) from the Windows 3 era.

    It was still a fancy new feature when The Reg reported on Linux on Itanic in 1999, and a worrying security issue in 2006. It’s long been a problem for Linux because PC vendors mainly test against the industry-standard OS, which remains Windows.

    In 2003, Linus Torvalds – famed for his diplomacy – said:

    ACPI is a complete design disaster in every way. But we’re kind of stuck with it. If any Intel people are listening to this and you had anything to do with ACPI, shoot yourself now, before you reproduce.

    This was a year after the Linux kernel gained ACPI support, and around then, a bug was found with some AMD Athlon machines that used VIA chipsets.

    When the kernel sent the STPCLK# signal to switch a CPU core to idle (although of course there was only one core in those days), the problematic machines took a while for it to happen, and so the kernel developers added some dummy I/O read instructions, just so that the processor wouldn’t continue working when it was meant to be stopping. It improved compatibility and power management.

    The problem is, as AMD engineer K Prateek Nayak found recently, that Linux still does it on AMD processors.

    The issue it fixes is long gone, as are any 2002 Athlon PCs in production, we suspect.

    Hansen explains:

    This workaround is very painful on modern systems. The”inl()” can take thousands of cycles.

    His patch links to some benchmark numbers, but the bottom line is that the minimum throughput increases by about 14 times, and the mean throughput by just over a half.

    Although kernel 6.0 is due on Sunday, the patch has already been accepted and should be included.

    In an era where mitigations for modern CPU problems can reduce performance by 70 per cent – although if you like to live dangerously, you can turn them off – removing obsolete fixes to give some speed back is very welcome indeed.

    Reply
  5. Tomi Engdahl says:

    The Security Enhanced Linux (SELinux) changes for Linux 6.1 but with a documentation update does provide a good reminder for a public service announcement: run-time disabling of SELinux is deprecated and will be removed in the future.
    https://www.phoronix.com/news/SELinux-Runtime-Disabling

    Reply

Leave a Comment

Your email address will not be published. Required fields are marked *

*

*