Sujet : Re: Python (was Re: I did not inhale)
De : 643-408-1753 (at) *nospam* kylheku.com (Kaz Kylheku)
Groupes : comp.unix.shell comp.unix.programmer comp.lang.miscDate : 19. Aug 2024, 05:54:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <20240818215317.300@kylheku.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
User-Agent : slrn/pre1.0.4-9 (Linux)
On 2024-08-18, Dmitry A. Kazakov <
mailbox@dmitry-kazakov.de> wrote:
On 2024-08-18 18:46, Kaz Kylheku wrote:
>
If a mutex is actually used to protect shared data against concurrent
access, and the owner dies while holding the mutex, the next thread
to try to grab the mutex must be informed so it can try to recover
the shared data into a sane state.
>
There is no recovery if a protected operation crashes, because the state
of the object is unknown.
That is false; the object's state can be analyzed and repaired. How
easily you can do that depends on the data structure and algorithms
used to manipulate it. Think of recoverable file systems.
-- TXR Programming Language: http://nongnu.org/txrCygnal: Cygwin Native Application Library: http://kylheku.com/cygnalMastodon: @Kazinator@mstdn.ca