Skip to content

Commit 082c0bb

Browse files
vmcjthijskh
andcommitted
Remove doc mention of judgehost restriction
Added a small part about how to pick up judgings together with parallel judging. This was left over from: #1137 Co-authored-by: Thijs Kinkhorst <[email protected]> (cherry picked from commit c9fbcaa)
1 parent 58dbfca commit 082c0bb

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

doc/manual/judging.rst

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,12 @@ The flow of an incoming submission is as follows.
99
checks, or accepted and stored as a *submission*.
1010
#. The first available *judgehost* compiles, runs and checks
1111
the submission. The outcome and outputs are stored as a
12-
*judging* of this submission. Note that judgehosts may be
13-
restricted to certain contests, languages and problems, so that it can be
14-
the case that a judgehost is available, but not judging an available
15-
submission.
12+
*judging* of this submission. If parallel judging is enabled,
13+
multiple judgehosts may pick up and work on the same submission
14+
(if there is no queue of pending submissions).
15+
#. To avoid starving other teams from judgehost resources,
16+
submissions from teams that submit while they have other submissions
17+
in the judge queue will get lower priority than a submission from a team that has no earlier submission being judged yet.
1618
#. If verification is not required, the result is automatically
1719
recorded and the team can view the result and the scoreboard is
1820
updated (unless after the scoreboard freeze). A judge can

0 commit comments

Comments
 (0)