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

10 Necessary Skills For Managing The Day-To-Day Operations Of A Business

February 2, 2023

Whalesync, a Seattle startup syncing data between software apps, raises $1.8M – Startup

February 1, 2023

Panasonic LZ2000 (2022) review

February 1, 2023
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

    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

    Samsung’s One UI 5 update is largely about personalization

    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  Why Apple products are more vulnerable than ever to security threats

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  A Laptop Weekly purchaser’s information to provide chain safety

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

A Tale of Two Nuclear Plants Reveals Europe’s Energy Divide

January 2, 2023

Historic fusion energy achievement will boost Pacific Northwest’s burgeoning startups – Startup

December 14, 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
Add A Comment

Comments are closed.

Editors Picks

Galaxy Tab S8 series new leak reveals almost everything

February 14, 2022

Seattle startup raises $14M to fuel ambitious plan for a social network built on the blockchain – Startup

July 8, 2022

MAS grants Capital Markets Services licence to SBI Digital Markets

September 17, 2022

QorusDocs, which helps companies create and manage sales proposals, raises $10M – Startup

October 4, 2022

Subscribe to Updates

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

Top Post

10 Necessary Skills For Managing The Day-To-Day Operations Of A Business

Whalesync, a Seattle startup syncing data between software apps, raises $1.8M – Startup

Panasonic LZ2000 (2022) review

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

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