Stellt .awaitTermination() vor, was im Executor ausgeführt wird?

Question

Frage ich für Jahre gehabt haben: In diesem Pseudo-Code,

ExecutorService svc = Executors.newFixedThreadPool(3); 
svc.submit(new Runnable() { /* code A */ }); 
svc.shutdown(); 
if(svc.awaitTermination(...)) { 
    // code B 

.awaitTermination() ist zwischen Code A & B. nicht dokumentiert als Gründung vor-geschieht Gibt es einen Grund, warum es nicht ist?

Das ExecutorService und concurrent package javadocs definiert passiert-vor zwischen den Aufgaben und Arbeit vor sie eingereicht wurden, aber nicht zwischen Testamentsvollstrecker Aufgaben und Code nach einem erfolgreichen .awaitTermination() Anruf.

Hinweis, ich frage nicht nach Design-Kritik, wie ich meinen Code restrukturieren kann, um dokumentierte Vorkommnisse zu nutzen. Meine Frage hier ist, gibt es einen Grund, den die Ärzte nicht erwähnen, passiert in dieser Situation?

(Beachten Sie, dass dies nicht ein Duplikat 22665198 trotz des sehr passender Titel.)

Answer 1

ExecutionService, sind Sie sicher? Meinst Du ExecutorService? Auch gibt es keine ExecutorService.awaitTermination() Methode ohne Parameter. Die Methode ExecutorService.awaitTermination(long, TimeUnit) empfängt die Wartezeit bis zum Timeout. Offensichtlich kann es, wenn es wegen der Zeitüberschreitung zurückkehrt, die "happen-before" -Beziehung nicht garantieren, daher kann es diese Garantie in seinem Vertrag nicht ankündigen, weil es nicht für alle Fälle da ist.

Answer 2

Eigentlich sind Sie falsch, wie es

Blocks dokumentiert, bis alle Aufgaben Ausführung nach> einen Shutdown-Anforderung abgeschlossen haben, oder das Timeout auftritt, oder> die aktuelle Thread unterbrochen wird, je nachdem, was zuerst eintritt.

Es ist also garantiert, dass entweder eine Aufgabe abgeschlossen wird oder eine Zeitüberschreitung auftritt. Die Sache ist, dass wir nur diese Situationen unterscheiden müssen, indem wir den Rückgabewert der Methode überprüfen. Es wird wahr sein, wenn Aufgaben abgeschlossen sind. Falsch bei Timeout oder Unterbrechung.