php / php/php-src

PHP runner does exit if script file is locked

Aperta
#18,272 5 commenti 1 reazione 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Bug OS: Windows Status: Needs Triage
Lingua principale
C
Stelle
40.4k
Fork
8.2k
Merge medio
2g 13h
PR unite (30g)
96

Descrizione

Description

The following code:

<?php
echo "Start script\n";

$fp = fopen(__FILE__, 'r+');

if (flock($fp, LOCK_EX, $block)) {
    echo "Job running\n";
    sleep(5);
    echo "Job finished\n";

    flock($fp, LOCK_UN);
} else {
    if ($block) {
        echo "Could not get the lock! Other script in run\n";
    } else {
        echo "Some other problem\n";
    }
}

How to reproduce

  1. Save script above in some test file, for example, a.php
  2. Open 2 command prompts on Windows
  3. Run script in first command prompt php -n a.php
  4. While script is still running in first command prompt run the same in second command prompt window php -n a.php

Result

  • In first window script get lock and echo "Start script", "Job running" and after 5 seconds "Job finished"
  • In second window script is not even run as do not echo even "Start script" and exits immediately without any error message or something

Expected output

  • In second command prompt window script should execute and if condition with flock set $block=1 and echo "Could not get the lock! Other script in run"
PHP Version

PHP 8.2.5 (cli) (built: Apr 12 2023 08:41:53) (ZTS Visual C++ 2019 x86)
Copyright (c) The PHP Group
Zend Engine v4.2.5, Copyright (c) Zend Technologies
with Zend OPcache v8.2.5, Copyright (c), by Zend Technologies

Tested also on PHP 7.4 and that's the same there.

Operating System

Microsoft Windows [Version 10.0.19045.5679]

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Riproduci il problema con lo script a.php usando php -n su Windows, eseguendolo simultaneamente da due prompt dei comandi. Parti dalla CLI di PHP e dal comportamento del blocco dei file in Windows; il lavoro è completato quando il secondo processo stampa "Start script" e raggiunge il ramo flock che segnala l’esistenza del blocco, invece di terminare silenziosamente.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
php
Ambito
cli, operating-systems
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
35/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.