• Tech News
    • Games
    • Pc & Laptop
    • Mobile Tech
    • Ar & Vr
    • Security
  • Startup
    • Fintech
  • Reviews
  • How To
What's Hot

Elementor #32036

January 24, 2025

The Redmi Note 13 is a bigger downgrade compared to the 5G model than you might think

April 18, 2024

Xiaomi Redmi Watch 4 is a budget smartwatch with a premium look and feel

April 16, 2024
Facebook Twitter Instagram
  • Contact
  • Privacy Policy
  • Terms & Conditions
Facebook Twitter Instagram Pinterest VKontakte
Behind The ScreenBehind The Screen
  • Tech News
    1. Games
    2. Pc & Laptop
    3. Mobile Tech
    4. Ar & Vr
    5. Security
    6. View All

    Bring Elden Ring to the table with the upcoming board game adaptation

    September 19, 2022

    ONI: Road to be the Mightiest Oni reveals its opening movie

    September 19, 2022

    GTA 6 images and footage allegedly leak

    September 19, 2022

    Wild west adventure Card Cowboy turns cards into weird and silly stories

    September 18, 2022

    7 Reasons Why You Should Study PHP Programming Language

    October 19, 2022

    Logitech MX Master 3S and MX Keys Combo for Business Gen 2 Review

    October 9, 2022

    Lenovo ThinkPad X1 Carbon Gen10 Review

    September 18, 2022

    Lenovo IdeaPad 5i Chromebook, 16-inch+120Hz

    September 3, 2022

    It’s 2023 and Spotify Still Can’t Say When AirPlay 2 Support Will Arrive

    April 4, 2023

    YouTube adds very convenient iPhone homescreen widgets

    October 15, 2022

    Google finishes iOS 16 Lock Screen widgets rollout w/ Maps

    October 14, 2022

    Is Apple actually turning iMessage into AIM or is this sketchy redesign rumor for laughs?

    October 14, 2022

    MeetKai launches AI-powered metaverse, starting with a billboard in Times Square

    August 10, 2022

    The DeanBeat: RP1 simulates putting 4,000 people together in a single metaverse plaza

    August 10, 2022

    Improving the customer experience with virtual and augmented reality

    August 10, 2022

    Why the metaverse won’t fall to Clubhouse’s fate

    August 10, 2022

    How Apple privacy changes have forced social media marketing to evolve

    October 16, 2022

    Microsoft Patch Tuesday October Fixed 85 Vulnerabilities – Latest Hacking News

    October 16, 2022

    Decentralization and KYC compliance: Critical concepts in sovereign policy

    October 15, 2022

    What Thoma Bravo’s latest acquisition reveals about identity management

    October 14, 2022

    What is a Service Robot? The vision of an intelligent service application is possible.

    November 7, 2022

    Tom Brady just chucked another Microsoft Surface tablet

    September 18, 2022

    The best AIO coolers for your PC in 2022

    September 18, 2022

    YC’s Michael Seibel clarifies some misconceptions about the accelerator • DailyTech

    September 18, 2022
  • Startup
    • Fintech
  • Reviews
  • How To
Behind The ScreenBehind The Screen
Home»Security»Linux 6.0 kernel enhances security with Runtime Verification, improves CPU energy efficiency
Security

Linux 6.0 kernel enhances security with Runtime Verification, improves CPU energy efficiency

October 3, 2022No Comments4 Mins Read
Facebook Twitter Pinterest LinkedIn Tumblr Email
Linux 6.0 kernel enhances security with Runtime Verification, improves CPU energy efficiency
Share
Facebook Twitter LinkedIn Pinterest Email

Were you unable to attend Transform 2022? Check out all of the summit sessions in our on-demand library now! Watch here.


The open-source Linux operating system is an essential component of the cloud and enterprise application delivery. In fact, every cloud service, even Microsoft, offers Linux-based compute resources and Linux is often the default choice for embedded and internet of things (IoT) devices. Among the major Linux distribution vendors today are IBM’s Red Hat business unit, German vendor SUSE and Canonical,  which develops the Ubuntu Linux distribution.

The market for Linux is forecast to grow to $22.15 billion by 2029, according to Fortune Business Insights, up from $6.27 billion in 2022. 

At the foundation of Linux is the kernel, which provides the core set of hardware drivers and functional services that enable an operating system. The Linux kernel was first released by developer Linus Torvalds in 1992 and to this day, Torvalds still helps to shepherd the release process, alongside the contributions of hundreds of developers around the world.

The Linux kernel iterates at a quick pace with new major releases every eight to 10 weeks. Yesterday, Torvalds released the latest version, the 6.0 kernel. The move to 6.0 marks the first major version number change since 5.0 was released in March 2019. 

Event

MetaBeat 2022

MetaBeat will bring together thought leaders to give guidance on how metaverse technology will transform the way all industries communicate and do business on October 4 in San Francisco, CA.

Register Here

The jump in numbers, however, isn’t necessarily an indication of a particular technical milestone. Prior to Linux 6.0, the last update was Linux 5.19. “So, as is hopefully clear to everybody, the major version number change is more about me running out of fingers and toes than it is about any big fundamental changes,” Linus Torvalds wrote in his Linux 6.0 release announcement. “But, of course, there’s a lot of various changes in 6.0 — we’ve got over 15k nonmerge commits in there in total, after all, and as such 6.0 is one of the bigger releases at least in numbers of commits in a while.”

See also  Controlling entry in in the present day’s digital-first world: Why it actually, actually issues

Runtime Verification brings more safety to Linux

Every new Linux kernel brings with it a host of features, with a good many of them about supporting new hardware. With Linux 6.0, among the new hardware drivers is enhanced support for Intel Arc A770 GPUs as well as Intel Habana Labs Gaudi 2 AI accelerators.

Jiri Kosina, director SUSE Labs Core and Hardware at SUSE, told VentureBeat that from his perspective there are numerous performance improvements in Linux 6.0. One such improvement is that an energy-margin heuristic that limited process migration across CPUs has been removed from the Linux scheduler, resulting in better energy utilization in general. Kosina also noted that the arm64 chip architecture can now finally properly swap transparent hugepages for memory, improving throughput of certain workloads significantly.

While hardware support is important, the feature that stands out most to Daniel Bristot de Oliveira, senior principal software engineer at Red Hat, is the new Runtime Verification subsystem, which he helped to develop.  

Runtime Verification is what is known as a formal verification tool. With formal verification the operations of a system and the execution of different processes are mathematically verified to help ensure that they run correctly. De Oliveira said that Runtime Verification (RV) is a lightweight yet rigorous formal verification method, with a practical approach for complex systems. RV works by analyzing the trace of the system’s actual execution and comparing it against a formal specification of the system behavior.

“It’s a fundamental feature for enabling the usage of Linux in safety-critical systems, a trend that is mainly led by automotive and industrial applications,” de Oliveira told VentureBeat. “But it will also help to improve Linux’s reliability in general across industries and use scenarios.”

See also  Report: SaaS app spending up, but security lags behind

Rust is coming in Linux 6.1

Back in June, Linus Torvalds commented at the Open Source Summit that he had expected the open source Rust programming language to come into Linux soon.

While Rust didn’t make it into Linux 6.0, it now seems extremely likely that Rust will land in the Linux 6.1 kernel release which might be out by the end of 2022. The formal request to add the initial code that will enable Rust support in Linux 6.1 was submitted by Google Linux kernel developer Kees Cook on Oct.1.

Much like the Runtime Verification feature that is now in Linux 6.0, Rust will help to improve safety and reliability.

“One of the main advantages of Rust is its focus on safety, mainly regarding memory access and preventing data races,” de Oliveira said. “Even with this safety emphasis, Rust still provides fast runtimes and low overheads.”

Source link

CPU Efficiency Energy enhances improves kernel Linux Runtime security verification
Share. Facebook Twitter Pinterest LinkedIn Tumblr Email

Related Posts

Bitdefender Total Security review

March 6, 2024

Avast Premium Security review

March 6, 2024

Eset Home Security Ultimate review

January 23, 2024

AVG Internet Security review

October 31, 2023
Add A Comment

Comments are closed.

Editors Picks

How zero-trust can improve mobile security

September 19, 2022

The Fall In Self-Employment Due To The Cost Of Living Crisis

March 23, 2023

Elizabeth Holmes of Theranos Gets 11 Years in Prison

November 19, 2022

Why web apps need to improve secure service access

August 10, 2022

Subscribe to Updates

Get the latest news and Updates from Behind The Scene about Tech, Startup and more.

Top Post

Elementor #32036

The Redmi Note 13 is a bigger downgrade compared to the 5G model than you might think

Xiaomi Redmi Watch 4 is a budget smartwatch with a premium look and feel

Behind The Screen
Facebook Twitter Instagram Pinterest Vimeo YouTube
  • Contact
  • Privacy Policy
  • Terms & Conditions
© 2025 behindthescreen.uk - All rights reserved.

Type above and press Enter to search. Press Esc to cancel.