Package: dmoj
DMOJ JudgeContest judge backend for theDMOJ siteinterface, supportingIO-based,interactive, andsignature-gradedtasks, withruntime data generatorsandcustom output validators.See it in action atdmoj.ca!Supported platforms and runtimesThe judge implements secure grading on Linux and FreeBSD machines.LinuxFreeBSDx64✔✔x86✔¯\_(ツ)_/¯x32✔—ARM✔❌Versions up to and includingv1.4.0also supported grading on Windows machines.Versions up to and includingv3.0.2also supported grading
with pure ptrace without seccomp, which is useful on Linux kernel versions before 4.8.The DMOJ judge doesnotneed a root user to run on Linux machines: it will run just fine under a normal user.Supported languages include:C++ 11/14/17/20 (GCC and Clang)C 99/11Java 8-19Python 2/3PyPy 2/3PascalMono C#/F#/VBThe judge can also grade in the languages listed below:AdaAWKCOBOLDDartFortranForthGoGroovyHaskellINTERCALKotlinLean 4LLVM IRLuaNASMObjective-COCamlPerlPHPPikePrologRacketRubyRustScalaChicken SchemesedSteel Bank Common LispSwiftTclTuringV8 JavaScriptBrain****ZigInstallationInstalling the DMOJ judge creates two executables in your Python's script directory:dmojanddmoj-cli.dmojis used to connect a judge to a DMOJ site instance, whiledmoj-cliprovides a command-line interface to a
local judge, useful for testing problems.For more detailed steps, read theinstallation instructions.Note thatthe only Linux distribution with first-class support is the latest Debian, with the defaultaptversions of all runtimes. This iswhat we run on dmoj.ca, and it should "just work". While the judge will likely still work with other distributions and runtime versions, some runtimes might fail to initialize. In these cases, pleasefile an issue.Stable buildWe periodically publish buildson PyPI. This is the easiest way to get started,
but may not contain all the latest features and improvements.$ pip install dmojBleeding-edge buildThis is the version of the codebase we run live ondmoj.ca.$ git clone --recursive https://github.com/DMOJ/judge-server.git
$ cd judge-server
$ pip install -e .Several environment variables can be specified to control the compilation of the sandbox:DMOJ_TARGET_ARCH; use it to override the default architecture specified for compiling the sandbox (via-march).
Usually this isnative, but will not be specified on ARM unlessDMOJ_TARGET_ARCHis set (a generic, slow build will be compiled instead).With DockerWe maintain Docker images with all runtimes we support in theruntimes-dockerproject.Runtimes are split into three tiers of decreasing support. Tier 1 includes
Python 2/3, C/C++ (GCC only), Java 8, and Pascal. Tier 3 contains all the
runtimes we run ondmoj.ca. Tier 2 contains some in-between
mix; read theDockerfilefor each tier for details. These images are rebuilt
and tested every week to contain the latest runtime versions.The script below spawns a tier 1 judge image. It expects the relevant
environment variables to be set, the network device to beenp1s0, problems
to be placed under/mnt/problems, and judge-specific configuration to be in/mnt/problems/judge.yml. Note that runtime configuration is already done for you,
and will be merged automatically into thejudge.ymlprovided.$ git clone --recursive https://github.com/DMOJ/judge-server.git
$ cd judge-server/.docker
$ make judge-tier1
$ exec docker run \
    --name judge \
    -p "$(ip addr show dev enp1s0 | perl -ne 'm@inet (.*)/.*@ and print$1 and exit')":9998:9998 \
    -v /mnt/problems:/problems \
    --cap-add=SYS_PTRACE \
    -d \
    --restart=always \
    dmoj/judge-tier1:latest \
    run -p15001 -s -c /problems/judge.yml \
    "$BRIDGE_ADDRESS" "$JUDGE_NAME" "$JUDGE_KEY"UsageRunning a judge server$ dmoj --help
usage: dmoj [-h] [-p SERVER_PORT] -c CONFIG [-l LOG_FILE] [--no-watchdog]
            [-a API_PORT] [-A API_HOST] [-s] [-k] [-T TRUSTED_CERTIFICATES]
            [-e ONLY_EXECUTORS | -x EXCLUDE_EXECUTORS] [--no-ansi]
            server_host [judge_name] [judge_key]

Spawns a judge for a submission server.

positional arguments:
  server_host           host to connect for the server
  judge_name            judge name (overrides configuration)
  judge_key             judge key (overrides configuration)

optional arguments:
  -h, --help            show this help message and exit
  -p SERVER_PORT, --server-port SERVER_PORT
                        port to connect for the server
  -c CONFIG, --config CONFIG
                        file to load judge configurations from
  -l LOG_FILE, --log-file LOG_FILE
                        log file to use
  --no-watchdog         disable use of watchdog on problem directories
  -a API_PORT, --api-port API_PORT
                        port to listen for the judge API (do not expose to
                        public, security is left as an exercise for the
                        reverse proxy)
  -A API_HOST, --api-host API_HOST
                        IPv4 address to listen for judge API
  -s, --secure          connect to server via TLS
  -k, --no-certificate-check
                        do not check TLS certificate
  -T TRUSTED_CERTIFICATES, --trusted-certificates TRUSTED_CERTIFICATES
                        use trusted certificate file instead of system
  -e ONLY_EXECUTORS, --only-executors ONLY_EXECUTORS
                        only listed executors will be loaded (comma-separated)
  -x EXCLUDE_EXECUTORS, --exclude-executors EXCLUDE_EXECUTORS
                        prevent listed executors from loading (comma-
                        separated)
  --no-ansi             disable ANSI output
  --skip-self-test      skip executor self-testsRunning a CLI judge$ dmoj-cli --help
usage: dmoj-cli [-h] -c CONFIG
                [-e ONLY_EXECUTORS | -x EXCLUDE_EXECUTORS]
                [--no-ansi]

Spawns a judge for a submission server.

optional arguments:
  -h, --help            show this help message and exit
  -c CONFIG, --config CONFIG
                        file to load judge configurations from
  -e ONLY_EXECUTORS, --only-executors ONLY_EXECUTORS
                        only listed executors will be loaded (comma-separated)
  -x EXCLUDE_EXECUTORS, --exclude-executors EXCLUDE_EXECUTORS
                        prevent listed executors from loading (comma-
                        separated)
  --no-ansi             disable ANSI output
  --skip-self-test      skip executor self-testsDocumentationFor info on the problem file format and more,read the documentation.