Announcement

Collapse
No announcement yet.

Linux 5.8 Lands The Kernel Concurrency Sanitizer To Spot Race Conditions

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

  • Linux 5.8 Lands The Kernel Concurrency Sanitizer To Spot Race Conditions

    Phoronix: Linux 5.8 Lands The Kernel Concurrency Sanitizer To Spot Race Conditions

    Merged overnight into the Linux 5.8 code-base is KCSCAN, the Kernel Concurrency Sanitizer that is a dynamic race detector for spotting flaws in the kernel code...

    http://www.phoronix.com/scan.php?pag....8-Adds-KCSCAN

  • #2
    Oh great now the kernel is racist!

    Comment


    • #3
      Originally posted by schmidtbag View Post
      Oh great now the kernel is racist!
      We need to see if the kernel still flies the Confederate flag during a race (condition) to know for sure.

      Then we'll find out if Linux is more or less progressive than NASCAR

      Comment


      • #4
        What happened to the Rust rewrite

        Comment


        • #5
          In Rust it is impossible to have race conditions because you cannot assign multiple references to the same pointer.

          Comment


          • #6
            Originally posted by uid313 View Post
            In Rust it is impossible to have race conditions because you cannot assign multiple references to the same pointer.
            That's not how it works.

            Comment


            • #7
              Originally posted by uid313 View Post
              In Rust it is impossible to have race conditions because you cannot assign multiple references to the same pointer.
              Actually: You can have race conditions(can't have data races) and you can "assign" multiple references.

              Originally posted by garegin View Post
              What happened to the Rust rewrite
              There will never be a rewrite, maybe just small components being written in Rust - what Microsoft did inside their OS Kernel.(although, based on what Linus says, Linux Kernel developers have a distaste for anything non-C).

              Comment


              • #8
                Originally posted by caligula View Post

                That's not how it works.
                Hmm, well something like that. I think.

                Originally posted by Alliancemd View Post

                Actually: You can have race conditions(can't have data races) and you can "assign" multiple references.
                Well you can have multiple references by creating many pointers to the same memory, but you cannot have multiple mutable references. So two references cannot mutate the same pointer, hence there can be no race in which pointer mutates it first.

                Comment

                Working...
                X