|
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. Best, Jean
[Prev in Thread] | Current Thread | [Next in Thread] |