Wird die beflockte Datei freigegeben, wenn der Prozess unerwartet abbricht?

Question

Nach dieser answer nur eine Instanz eines PHP-Skript laufen zu begrenzen:

<?php 

    $fp = fopen("/tmp/one.txt", "r+"); 
    if (flock($fp, LOCK_EX)) { 
    // 
    do_something_lengthy(); 
    // 
    flock($fp, LOCK_UN); 
    } else { 
    echo "Couldn't get the lock!"; 
    } 

    fclose($fp); 

?> 

Meine Frage ist, wird die flock ‚ed eins.txt Datei entsperren, wenn der Prozess in der Mitte des do_something_lengthy() sterben, dh vor rufen flock($fp, LOCK_UN)?

Answer 1

Laut Handbuch Seite von flock(), die PHP intern verwendet, wird eine Sperre freigegeben, wenn entweder flock() mit LOCK_UN genannt wird, oder wenn der Deskriptor geschlossen wird mit fclose().

Nach Beendigung des Skripts schließt entweder PHP oder das Betriebssystem die geöffneten Dateideskriptoren und gibt dadurch die Sperren frei, die Sie möglicherweise haben.

Aufgrund dieses Verhaltens this commit (5.3) und this one (5.2) wurde nicht mehr die Entsperrung in PHP selbst gemacht.

Answer 2

Die Sperre wird automatisch aufgehoben, wenn das Skript beendet ist. Sie sollten es jedoch manuell freigeben und sich nicht darauf verlassen, dass ein automatischer Fehler auftritt. Besser, irgendeine Ausnahme zu fangen, sie zu behandeln und die Sperre aufzuheben. Sehen Sie sich die offiziellen Dokumente - http://php.net/manual/en/function.flock.php

Answer 3

Ich habe dieses kleine Skript es

header('Content-type:text/plain; charset=utf-8'); 

$dir = dirname(__FILE__); 
$file = $dir.'/testflock.lock'; 
$fh = fopen($file, 'w+'); 

$unlocked = flock($fh, LOCK_EX | LOCK_NB); 
echo 'Locked: '.$file.' ';var_dump(!$unlocked);echo PHP_EOL; 
if($unlocked){ 
    sleep(10); 
    throw new Exception(); 
} 

zu testen und für mich dauerte es das Betriebssystem die Datei ca. 2-5 Sekunden zu entsperren, nachdem das Skript ausgeführt wird beendet, wenn es keine Ausnahme wirft, und bis zu 2-5 Sekunden nach dem Stoppen des Skripts wegen der ausgelösten Exception.

Denken Sie daran, dass ab php 5.3.2 fclose($fh) wird nicht die Datei entsperren, und die Datei bleibt gesperrt, es sei denn, Sie entsperren es mit PHP oder Sie müssen warten, bis das Betriebssystem es entsperren, die möglicherweise nie passieren wenn es einige Fehler ist (dies mir passiert)

um die Datei zu entsperren:

flock($fh,LOCK_UN); 

um den Datei-Handle zu schließen (wird automatisch aufgerufen, wenn das Skript ausgeführt wurde)

fclose($fh); 

Wenn Sie die Datei ohne die Datei LOCK_NB sperren, wartet das Skript darauf, dass die Datei entsperrt wird.