Announcement

Collapse
No announcement yet.

Kernel Concurrency Sanitizer Set For Linux 5.5 To Uncover Data Race Conditions

Collapse
X
  • Filter
  • Time
  • Show
Clear All
new posts

  • Kernel Concurrency Sanitizer Set For Linux 5.5 To Uncover Data Race Conditions

    Phoronix: Kernel Concurrency Sanitizer Set For Linux 5.5 To Uncover Data Race Conditions

    Adding to the list of changes on deck for the Linux 5.5 kernel is a new "sanitizer" for spotting data race conditions...

    http://www.phoronix.com/scan.php?pag...ency-Sanitizer

  • #2
    It would be way better if they could turn it on for specific modules, and even specific subsystems. That way, kernel developers aren't deluged by problems in other parts that they're not interested in.

    Static analysis of such problems, if possible, would also be a great additional improvement.

    Comment


    • #3
      Does the Linux kernel use C18?
      If C2x was added, would there still need to be concurrency checks and other checks?
      Or have newer versions of C such as C18 and C2x improved in any way to make the language more secure and safe?

      What if certain parts of the kernel could be written in Rust?

      Comment


      • #4
        Originally posted by sandy8925 View Post
        It would be way better if they could turn it on for specific modules, and even specific subsystems. That way, kernel developers aren't deluged by problems in other parts that they're not interested in.

        Static analysis of such problems, if possible, would also be a great additional improvement.
        Is this why Linux's successor will have a modular kernel?

        Comment

        Working...
        X