domjudge/judgehost Docker 镜像 - 轩辕镜像

DOMjudge server镜像

此镜像与DOMjudge judgehost镜像配合使用，可通过Docker运行DOMjudge编程竞赛评判系统。

使用镜像

这些镜像可在Docker Hub获取，分别为domjudge/domserver（服务器镜像）和domjudge/judgehost（评判主机镜像）。

MariaDB容器

启动DOMjudge容器前，需准备MySQL/MariaDB数据库。最简单的方式是使用MariaDB Docker容器：

bash
docker run -it --name dj-mariadb -e MYSQL_ROOT_PASSWORD=rootpw -e MYSQL_USER=domjudge -e MYSQL_PASSWORD=djpw -e MYSQL_DATABASE=domjudge -p ***:3306 mariadb --max-connections=1000

上述命令启动MariaDB容器，设置root密码为rootpw，创建用户domjudge（密码djpw）和数据库domjudge，并将容器3306端口映射到本地***端口，方便通过MySQL客户端连接。若需持久化数据，详见MariaDB Docker Hub页面。

DOMserver容器

在Linux系统中，需确保已启用cgroups（控制组），配置方法参见DOMjudge评判主机设置文档。Windows和macOS的Docker通过Linux虚拟机运行，默认已启用相关配置。

使用以下命令启动domserver：

bash
docker run --link dj-mariadb:mariadb -it -e MYSQL_HOST=mariadb -e MYSQL_USER=domjudge -e MYSQL_DATABASE=domjudge -e MYSQL_PASSWORD=djpw -e MYSQL_ROOT_PASSWORD=rootpw -p ***:80 --name domserver domjudge/domserver:latest

如需指定版本，将latest替换为具体版本号（如5.3.0）。

容器启动后会自动初始化数据库，然后通过supervisord启动nginx和PHP-FPM。

初始密码获取

admin和judgehost用户的初始密码会在domserver启动时输出，若未显示，可通过以下命令获取：

bash
docker exec -it domserver cat /opt/domjudge/domserver/etc/initial_admin_password.secret  # admin用户密码
docker exec -it domserver cat /opt/domjudge/domserver/etc/restapi.secret  # judgehost用户密码

访问http://localhost:***/即可打开Web界面，使用admin用户登录。若忘记admin密码，可参考DOMjudge密码重置文档。

judgehost用户密码需记录，将用于配置judgehost容器，也可通过Web界面编辑judgehost用户修改密码。

环境变量

domserver容器支持以下环境变量：

• CONTAINER_TIMEZONE（默认Europe/Amsterdam）：容器内时区设置。
• MYSQL_HOST（默认mariadb）：MySQL连接主机（主机名或IP），通过--link链接的容器会自动添加主机名解析。
• MYSQL_USER（默认domjudge）：MySQL用户名。
• MYSQL_PASSWORD（默认domjudge）：MySQL用户密码。
• MYSQL_ROOT_PASSWORD（默认domjudge）：MySQL root密码。
• MYSQL_DATABASE（默认domjudge）：数据库名称。
• DJ_DB_INSTALL_BARE（默认0）：设为1时执行数据库“bare-install”而非常规安装。
• FPM_MAX_CHILDREN（默认40）：PHP-FPM最大子进程数。
• TRUSTED_PROXIES（默认空）：可信代理服务器IP列表，逗号分隔。
• WEBAPP_BASEURL（默认/）：DOMserver基础URL，如/domjudge，可通过http://localhost/domjudge访问。

通过文件传递密码

为避免敏感信息通过环境变量暴露，可使用MYSQL_PASSWORD_FILE和MYSQL_ROOT_PASSWORD_FILE指定存储密码的文件路径，适合与Docker Compose secrets配合使用：

yml
services:
    domserver:
        image: domjudge/domserver:${DOMJUDGE_VERSION}
        secrets:
            - domjudge-mysql-pw
        environment:
            MYSQL_PASSWORD_FILE: /run/secrets/domjudge-mysql-pw

容器命令

domserver容器支持以下命令（通过docker exec -it domserver [命令]执行）：

• nginx-access-log：查看nginx访问日志。
• nginx-error-log：查看nginx错误日志。
• symfony-log：对使用Symfony的DOMjudge版本（6.x及以上），查看Symfony日志。

执行docker exec -it domserver bash可进入容器bash shell。重启服务（nginx或php）使用：

bash
docker exec -it domserver supervisorctl restart [服务名]  # 服务名：nginx 或 php

Judgehost容器

启动单个judgehost容器：

bash
docker run -it --privileged -v /sys/fs/cgroup:/sys/fs/cgroup --name judgehost-0 --link domserver:domserver --hostname judgedaemon-0 -e DAEMON_ID=0 domjudge/judgehost:latest

指定版本时将latest替换为具体版本（需与domserver版本一致）。该命令启动绑定到主机第一个CPU核心的judgehost。

若judgedaemon意外停止，启动日志会显示错误信息；重启容器使用docker start judgehost-0（judgehost-0为容器名称）。

环境变量

judgehost容器支持以下环境变量：

• CONTAINER_TIMEZONE（默认Europe/Amsterdam）：容器内时区设置。
• DOMSERVER_BASEURL（默认[***]）：domserver基础URL，judgehost通过此连接API（无需手动添加api路径，容器会自动处理）。
• JUDGEDAEMON_USERNAME（默认judgehost）：API连接用户名。
• JUDGEDAEMON_PASSWORD（默认password）：API连接密码，应使用domserver启动时输出的judgehost用户密码；也可通过JUDGEDAEMON_PASSWORD_FILE指定密码文件路径。
• DAEMON_ID（默认0）：daemon ID，同一物理机上启动多个judgehost时需设置不同ID。
• DOMJUDGE_CREATE_WRITABLE_TEMP_DIR（默认0）：设为1时创建可写临时目录（仅支持DOMjudge ≥ 6.1）。
• RUN_USER_UID_GID（默认62860）：运行提交的用户UID/GID，确保主机未使用此ID。

镜像源

镜像源码位于domjudge-packaging GitHub项目。