Chiarimento sull'acquisizione / rilascio della semantica nella programmazione multithread

Il riferimento è ad alcune risorse che fondamentalmente non possono essere detenute da due agenti contemporaneamente.

L'esempio classico è un blocco, un mutex, un semaforo o un costrutto simile, e il caso d'uso canonico sta facendo un trasferimento di denaro. Se acquisisci una risorsa non trasferibile prima di sottrarre e aggiungere l'importo dai due account e non rilasciarlo fino a dopo, e tutte le operazioni sugli account richiedono quella risorsa , allora è garantito che la quantità di i soldi nel tuo sistema rimangono costanti (come dovrebbe secondo i principi della contabilità). Questa è una buona cosa.

Poiché la maggior parte delle soluzioni del problema di coerenza si riducono a variazioni di tale risorsa non condivisibile, "Acquisire e rilasciare semantiche" apparentemente sono una scorciatoia per parlarne, senza menzionare affatto le locazioni (non lo sapevo prima, ma sembra abbastanza ragionevole).

Da qui :

The easy way to remember the difference between Acquire and Release is that Acquire is typically used when you are acquiring a resource (for example, taking a lock), whereas Release is typically used when you are releasing the resource.

Stanno cercando di stabilire una corrispondenza tra la terminologia relativa alle operazioni interbloccate e la terminologia relativa all'acquisizione / rilascio di una risorsa protetta, che non è una cosa irragionevole da fare, poiché le prime sono solitamente eseguite per realizzare quest'ultima .

• Quando si esegue un'operazione interbloccata allo scopo di acquisire una risorsa, non importa ciò che accade prima dell'acquisizione, tutto ciò che conta è che qualunque operazione venga eseguita sulla risorsa una volta che è stata acquisita, fare in infatti appare (dal punto di vista degli altri thread) che accada dopo l'acquisizione avviene, altrimenti la risorsa potrebbe apparire modificata prima che sia bloccata.

• Quando si esegue un'operazione interbloccata allo scopo di rilasciare una risorsa, non importa ciò che accade dopo il rilascio, tutto ciò che conta è che le ultime operazioni eseguite sulla risorsa prima della sua release in realtà appare (dal punto di vista degli altri thread) che avvenga prima , il rilascio avviene, altrimenti la risorsa potrebbe apparire modificata dopo che è stata sbloccata.