Today i will talk about Rust and about race conditions detection and deadlock detection..

Wisdom90

unread,

Sep 15, 2019, 9:43:59 AM9/15/19

to

Hello,

Today i will talk about Rust and about race conditions detection and
deadlock detection..

I think Rust uses static detection , but the shortcoming of static
detection is that there is there are also many false reports.

Other than that:

Safe Rust guarantees an absence of data races, which are defined as:

- two or more threads concurrently accessing a location of memory
- one of them is a write
- one of them is unsynchronized

A data race has Undefined Behavior, and is therefore impossible to
perform in Safe Rust. Data races are mostly prevented through Rust's
ownership system: it's impossible to alias a mutable reference, so it's
impossible to perform a data race. Interior mutability makes this more
complicated, which is largely why we have the Send and Sync traits (see
below).

However Rust does not prevent general race conditions.

Read more here:

https://doc.rust-lang.org/nomicon/races.html

Also with Rust there is no deadlock detection.

Thank you,
Amine Moulay Ramdane.

Melzzzzz

unread,

Sep 15, 2019, 11:09:39 AM9/15/19

to

On 2019-09-15, Wisdom90 <d@d.d> wrote:
> Hello,

>
>
> Thank you,
> Amine Moulay Ramdane.

Changing nick again? PLonk.
>

--
press any key to continue or any other to quit...
U ničemu ja ne uživam kao u svom statusu INVALIDA -- Zli Zec
Na divljem zapadu i nije bilo tako puno nasilja, upravo zato jer su svi
bili naoruzani. -- Mladen Gogala

Bonita Montero

unread,

Sep 16, 2019, 12:09:16 AM9/16/19

to

You're manic and need a doctor. And according to that you have
phases where you don't say anything I'll bet you're manic-depressive.

Jorgen Grahn

unread,

Sep 17, 2019, 1:52:25 AM9/17/19

to

On Mon, 2019-09-16, Bonita Montero wrote:
> You're manic and need a doctor. And according to that you have
> phases where you don't say anything I'll bet you're manic-depressive.

Please don't diagnose people based on their Usenet postings.

/Jorgen

--
// Jorgen Grahn <grahn@ Oo o. . .
\X/ snipabacken.se> O o .

seeplus

unread,

Sep 17, 2019, 2:24:35 AM9/17/19

to

On Tuesday, September 17, 2019 at 3:52:25 PM UTC+10, Jorgen Grahn wrote:
> On Mon, 2019-09-16, Bonita Montero wrote:
> > You're manic and need a doctor. And according to that you have
> > phases where you don't say anything I'll bet you're manic-depressive.
>
> Please don't diagnose people based on their Usenet postings.
>
> /Jorgen

You are diagnosing a person's Usenet posting, based on their diagnosis of a person's Usenet posting.
Well that is my diagnosis.

Chris M. Thomasson

unread,

Sep 17, 2019, 2:25:12 AM9/17/19

to

Sounds fractal... ;^)

Bonita Montero

unread,

Sep 17, 2019, 2:33:36 AM9/17/19

to

>> You're manic and need a doctor. And according to that you have
>> phases where you don't say anything I'll bet you're manic-depressive.

> Please don't diagnose people based on their Usenet postings.

The frequency of his postings and, topics they're about and
the phases where he doesn't post anything allow this conclusion.

Melzzzzz

unread,

Sep 17, 2019, 4:23:10 AM9/17/19

to

On 2019-09-17, Jorgen Grahn <grahn...@snipabacken.se> wrote:
> On Mon, 2019-09-16, Bonita Montero wrote:
>> You're manic and need a doctor. And according to that you have
>> phases where you don't say anything I'll bet you're manic-depressive.
>
> Please don't diagnose people based on their Usenet postings.

I think that he is not willing to communicate. He wrote once that he has
problems...
>
> /Jorgen