[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Today's problem with GUB build

From: Jean Abou Samra
Subject: Re: Today's problem with GUB build
Date: Thu, 16 Jul 2020 09:15:59 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0

Hi David,

Le 15/07/2020 à 23:01, David Kastrup a écrit :
Not using random at all but using the pid, in contrast, should be
collision-proof, assuming that we are not working on a shared file
system accessed by multiple computers with separate process id pools.
But then locking is likely to be non-working anyway.
The async I/O approach that I'd like to introduce in lilypond-book
if I manage to should fix the collision risk.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]