Sono nuovo di PHP. Capisco che posso usare flock()
per bloccare un file ed evitare le condizioni di gara quando due utenti raggiungono lo stesso file php aggiungendo contenuto al file bloccabile.Come evitare i deadlock dei file quando il processo/server PHP si arresta in modo anomalo?
Tuttavia, cosa succede se un processo php si arresta in modo anomalo? Cosa succede al prossimo utente che aspetta il file bloccabile? Cosa succede se il server si blocca (qualcuno si disconnette)? Il blocco viene rilasciato automaticamente? Il file rimarrà bloccato dopo il riavvio del server?
Per farla breve, PHP si assicura che tali situazioni critiche (vale a dire il blocco non esplicitamente rilasciato) siano gestite correttamente? In caso negativo, come si dovrebbe affrontare queste situazioni? Come recuperare da questi?