Linux 5.8 Lands The Kernel Concurrency Sanitizer To Spot Race Conditions

[phoronix]

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?page=news_item&px=Linux-5.8-Adds-KCSCAN

[schmidtbag]

Oh great now the kernel is racist!

[skeevy420]

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

[garegin]

What happened to the Rust rewrite

[uid313]

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

[caligula]

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.

[Alliancemd]

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.

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).

[uid313]

That's not how it works.

Hmm, well something like that. I think.

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.