-
-
Save JingwenTian/a4985cce6c275c6b8eec8b108784e8bb to your computer and use it in GitHub Desktop.
timeouts in php
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
class TimeoutException extends RuntimeException {} | |
class Timeout | |
{ | |
private $active; | |
public function set($seconds) | |
{ | |
$this->active = true; | |
declare(ticks = 1); | |
pcntl_signal(SIGALRM, array($this, 'handle'), true); | |
pcntl_alarm($seconds); | |
} | |
public function clear() | |
{ | |
$this->active = false; | |
} | |
public function handle($signal) | |
{ | |
echo "received signal\n"; | |
if ($this->active) { | |
throw new TimeoutException(); | |
} | |
} | |
} | |
$timeout = new Timeout(); | |
$start = microtime(true); | |
try { | |
echo "setting timeout to 1 second\n"; | |
$timeout->set(1); // set a 1 second timeout | |
echo "sleeping for 10 seconds\n"; | |
sleep(10); // some long running operation... | |
echo "clearing 1 second timeout\n"; | |
$timeout->clear(); // clear timeout | |
} catch(TimeoutException $e) { | |
// timed out | |
echo "caught a TimeoutException\n"; | |
} | |
$total = microtime(true) - $start; | |
echo "time spent {$total}\n"; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment