Date: Thu, 5 Aug 2021 21:41:07 +0200
On Thu, Aug 5, 2021 at 9:01 PM Phil Bouchard <boost_at_[hidden]> wrote:
>
> Root Pointer is thread safe as shown in my examples.
That is not the point. Rust prevents UB in all safe code. "Root
Pointer" being thread-safe is irrelevant: it does not prevent UB in
the rest of the code.
> I'll read more about the data races later, but general race conditions aren't gone with Rust:
Given you are unaware of what Rust brings to the table, please stop
claiming your system is "way better" for the kernel.
> Each one of them is derived from the other so you can use it as a simple shared_ptr, or cyclic-safe shared_ptr. The latter is just sizeof(void *) x 2. Kernel programmers should be smart enough to use a unique type for iterators. My implementation is just very generic.
The claim you made was that your system works for *existing* code with
a simple recompilation as an argument versus "learning Rust"... If
kernel developers need to start discriminating pointers, use smart
pointers or other annotations, or reimplement anything, then your
argument does not work anymore.
Cheers,
Miguel
>
> Root Pointer is thread safe as shown in my examples.
That is not the point. Rust prevents UB in all safe code. "Root
Pointer" being thread-safe is irrelevant: it does not prevent UB in
the rest of the code.
> I'll read more about the data races later, but general race conditions aren't gone with Rust:
Given you are unaware of what Rust brings to the table, please stop
claiming your system is "way better" for the kernel.
> Each one of them is derived from the other so you can use it as a simple shared_ptr, or cyclic-safe shared_ptr. The latter is just sizeof(void *) x 2. Kernel programmers should be smart enough to use a unique type for iterators. My implementation is just very generic.
The claim you made was that your system works for *existing* code with
a simple recompilation as an argument versus "learning Rust"... If
kernel developers need to start discriminating pointers, use smart
pointers or other annotations, or reimplement anything, then your
argument does not work anymore.
Cheers,
Miguel
Received on 2021-08-05 14:41:20