Warning: session_start(): open(/var/lib/php/sessions/sess_augdkbdto1sj5ilqs86ir8c0f8, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static class Q implements AutoCloseable {
S name = "Unnamed Queue";
L q = synchroLinkedList();
ReliableSingleThread rst = new(r { _run() });
volatile bool retired;
*() {}
*(S *name) {}
void add(Runnable r) {
q.add(r);
_trigger();
}
void _trigger() {
rst.name = name;
rst.go();
}
void add(O r) {
add(toRunnable(r));
}
void _run() {
Runnable r;
while (licensed() && !retired && (r = syncPopFirst(q)) != null) {
pcall { r.run(); }
}
}
public void close() { retired = true; } // TODO: interrupt thread
void done() {} // legacy function
bool isEmpty() { ret q.isEmpty(); }
int size() { ret q.size(); }
}