Time-outs beschrijving

[niknetniko]

• Eventueel bij robuustheid
• Bij future work: de huidige implementatie is zoals beslist niet echt geavanceerd. Er wordt bijvoorbeeld geen verschil gemaakt tussen batchcompilatie en contextcompilatie, terwijl in dat laatste geval 20% van de uitvoeringstijd waarschijnlijk niet volstaat voor het compileren (en de judge dus nog steeds gekilled zal worden door Dodona)

[pdawyndt]

In de Python judge gebruiken we eerder een "wait-and-see" strategie. Daar is er geen timeout per context, enkel een globale timeout. Elke context wordt gewoon opgestart, tot de globale timeout verstreken is. Op die manier hoef je de beschikbare tijd niet a priori (evenredig) te verdelen over de contexten, en kan je dus beter omgaan met ongebalanceerde runtimes tussen de verschillende contexten.

Nu is het bovenste niet helemaal waar: in de Python judge verdelen we de beschikbare tijd evenredig tussen de verschillende tabs, maar dat is eerder nog een artefact uit de tijd van SPOJ.

Je kan dan nog steeds met een timeout per context werken, maar standaard staat die op "unlimited". De uitvoeringstijd van een context is dan een combinatie van een specifieke timeout voor de context en een globale timeout.

[niknetniko]

Ik zal de implementatie aanpassen zodat TESTed ook een globale timer gebruikt.