Warning: session_start(): open(/var/lib/php/sessions/sess_h9r4ut20pk7lfdtlh7kcp3uaj1, 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
// filters in parallel, returns elements in correct order
static L parallelFilter(Iterable it, IPred f) ctex {
new L> out;
int poolSize = coresToUse_fixed(), queueSize = 500;
if (poolSize <= 1) ret filter(it, f);
NotifyingBlockingThreadPoolExecutor e = new(poolSize, queueSize, 15, TimeUnit.SECONDS);
try {
int i = 0;
for (A o : it) {
++i;
int _i = i;
e.execute(r { pcall {
if (f.get(o)) synchronized(out) {
out.add(pair(o, _i));
}
}});
}
e.shutdown();
e.awaitTermination(1, TimeUnit.DAYS);
} finally {
e.shutdown();
}
ret firstOfPairs(sortBySecondOfPairs_inPlace(out));
}