Forum libero

> > > Questa è roba a bassissimo livello:
> >
> > Trovato questo:
> >
> http://books.google.ch/books?id=cbbMrRNiC4cC&pg=PT
> >
> > Sezione "Inode semaphore"
>
> Bel libro, spiegazioni chiare. Peccato che non
> essendo un informatico, ma solo un semplice
> curioso, non avrò mai occasione di leggerlo.
>

Anni fa ho scritto un programmone per evitare le race conditions mettendo in coda le istanze concorrenti, che usava la creazione "atomica" di directory come segnale di risorsa occupata. Gestiva anche i deadlock in modo trasparente, senza bloccare nessuno con messaggi tipo "riprova un'altra volta". Nei collaudi è sembrato funzionare.
Poi una discussione con un programmatore, e conseguenti altre prove, mi ha convinto che flock funziona altrettanto bene.
Però non sono ancora del tutto convinto che il mio programma sia completamente superfluo, dato che mette le richieste d'accesso in coda mentre flock si limita a bloccare la risorsa in uso senza specificare quale tra le istanze concorrenti se la accaparra al cessare del blocco. Flock mi sembra una folla che si accalca contro una porta che ogni tanto viene aperta e lascia passare una persona, mentre il mio programma crea una fila disciplinata come gli inglesi alla fermata del pullman.

Ma usare un programmone in certi casi può introdurre delle lentezze inaccettabili, per esempio nel caso di un contatore di accessi a una pagina web. È inaccettabile attendere una pagina perché un altro accesso in corso blocca il contatore: in tal caso è meglio permettere al processo arrivato per primo l'accesso al registro del conto, e dire all'altro di lasciar perdere (e questo flock non credo lo permetta).

Il contatore di insulae.net (che non ho scritto io) usa flock e per quanto ho guardato sembra usarlo correttamente. Eppure ogni tanto pianta pasticci che potrebbero derivare da race condition (alex.tg diceva che i pasticci si verificano comunque). La cosa mi disturba, non ho tempo per occuparmene perché ho altri pensieri, non ho risorse mentali da allocare per il backstudying, et excrucior.