Re: Python (was Re: I did not inhale)

On 2024-08-19, Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:

On 2024-08-19 06:54, Kaz Kylheku wrote:

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.

>
The object must be designed in a special way in order to support roll
backs etc. Such techniques exclude concurrent access, e.g. memory is

                             ^^^^^^^^^^^^^^^^^^^^^^^^^^

never overwritten etc.

Doh.

--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca