Zewnętrzny sędzia

Część zadań może ocenić zewnętrzne archiwum, a nie ta instalacja. Zgłoszenie jest tam przekazywane, kompilowane ich kompilatorami, w ich limitach i na ich testach, a wraca ich werdykt.

Ta instalacja zapisuje ten werdykt i nazywa sędziego, który za nim stoi. Nie potrafi go wyjaśnić, powtórzyć ani zakwestionować.

To dodatek, a nie układ

external-runner to profil, który dopisujesz do tego z układów, który już prowadzisz — albo któremu dajesz osobną maszynę, dokładnie tak, jak może ją mieć Runner. Nie ma go w zestawie domyślnym, bo instalacji, która nie ma konta w żadnym archiwum, nie wolno podsuwać kontenera, który nie ma jak się zalogować.

COMPOSE_PROFILES=edge,app,data,runner,external-runner
EXTERNAL_JUDGE_USERNAME=
EXTERNAL_JUDGE_PASSWORD=

preflight.sh odmawia, kiedy profil jest włączony, a te dwa są puste. I słusznie: kontener inaczej kończyłby pracę już przy czytaniu konfiguracji, a przy restart: unless-stopped oznacza to pętlę restartów, a nie jedną linię w logu — w obrazie, w którym nie ma powłoki, żeby do niego zajrzeć, i bez healthchecku, który mógłby zapalić się na czerwono.

Dwa przełączniki, których nie ma w .env

W obu przypadkach kolejka pozostaje pusta, choć Runner wygląda na zupełnie zdrowego — i właśnie dlatego warto o nich wiedzieć, zanim zaczniesz szukać usterki.

1. Ocenianie zewnętrzne jest wyłączone, dopóki instalacja tego nie włączy. To wiersz w bazie. Przed pierwszym startem, w preconfig/:

   instance:
     externalJudgingEnabled: true
     externalFetchHosts:
       - onlinejudge.org

   Potem jest to przełącznik prowadzącego w panelu.

2. Zatwierdza go administrator w panelu, osobno od każdego innego Runnera. Ma własną tożsamość i własne zatwierdzenie, a czeka bez żadnego limitu czasu.

Zadanie musi być zewnętrzne

Musi mieć typ archiwum — uva@1 dla jedynej istniejącej integracji — być oznaczone jako zewnętrzne i nieść numer zadania w archiwum w props swojej wersji. Zadanie z typem lokalnym nigdy nie trafia do Runnera przekazującego: Server dobiera te dwie strony po tej właśnie fladze — równość musi zachodzić w obie strony.

Jeden proces obsługuje jednego sędziego. Nazywa go EXTERNAL_JUDGE, uva to jedyna zbudowana integracja, a nazwa nierozpoznana jest przy starcie odrzucana, a nie zastępowana domyślną. Drugie archiwum to druga usługa, z własnym kontem i własnym wolumenem tożsamości, a nie druga wartość na liście.

Czego wymaga, a czego nie

Sam nawiązuje dwa połączenia — do Servera i do archiwum — i nie przyjmuje żadnego.

• Bez portu przychodzącego, bez nasłuchu i bez własnego adresu.
• Bez gniazda Dockera, bez DOCKER_GID, bez obrazów językowych i bez katalogu roboczego. Niczego nie uruchamia; przekazuje.
• Bez healthchecku, i wynika to z obrazu, a nie z przeoczenia: to distroless/static, bez powłoki i bez portu, o który dałoby się zapytać. docker compose ps na zawsze pokazuje przy nim pustą kolumnę zdrowia, a docker compose exec w ogóle na nim nie działa.

docker compose logs -f external-runner

to wszystko, czym można go podejrzeć. Widać w nim, jak się zarejestrował, co zadeklarował i na co czeka.