domjudge/domserver

DOMjudge服务器镜像

该镜像与https://hub.docker.com/r/domjudge/judgehost/%E9%85%8D%E5%90%88%E4%BD%BF%E7%94%A8%EF%BC%8C%E5%8F%AF%E9%80%9A%E8%BF%87Docker%E8%BF%90%E8%A1%8CDOMjudge%E5%9C%A8%E7%BA%BF%E5%88%A4%E9%A2%98%E7%B3%BB%E7%BB%9F%E3%80%82

使用镜像

这些镜像可在[***]

MariaDB容器

启动DOMjudge容器前，需准备MySQL/MariaDB数据库。最简单的方式是使用https://hub.docker.com/r/_/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 13306:3306 mariadb --max-connections=1000

此命令启动MariaDB容器，设置root密码为rootpw，创建用户domjudge（密码djpw）和数据库domjudge，并将容器3306端口映射到本地***端口，方便通过MySQL客户端连接。若需持久化数据库数据，详见https://hub.docker.com/r/_/mariadb/ Docker Hub文档。

DOMserver容器

前置要求（Linux系统）

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 12345:80 --name domserver domjudge/domserver:latest

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

该命令启动DOMserver容器，初始化数据库，随后通过supervisord启动nginx和PHP-FPM服务。

初始密码获取

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

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用户密码

访问Web界面

通过http://localhost:12345/访问Web界面，使用admin用户登录。若忘记admin密码，参考DOMjudge密码重置文档。

环境变量

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）：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配合使用：

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

常用命令

通过以下语法执行容器内命令：

bash
docker exec -it domserver [command]

支持的命令：

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

获取bash shell：

bash
docker exec -it domserver bash

重启服务（[service]为nginx或php）：

bash
docker exec -it domserver supervisorctl restart [service]

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核心的判题机。

判题机停止时，可在启动终端查看错误信息；重启判题机：

bash
docker start judgehost-0  # judgehost-0为容器名称

环境变量

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

• CONTAINER_TIMEZONE（默认Europe/Amsterdam）：容器时区设置。
• DOMSERVER_BASEURL（默认http://domserver/）：domserver的基础URL，无需手动添加api路径（容器会自动处理）。
• JUDGEDAEMON_USERNAME（默认judgehost）：API登录用户名。
• JUDGEDAEMON_PASSWORD（默认password）：API登录密码（应使用domserver启动时显示的judgehost用户密码），也可通过JUDGEDAEMON_PASSWORD_FILE指定密码文件路径。
• DAEMON_ID（默认0）：判题机ID，同一物理机上启动多个判题机时需设置不同ID。
• DOMJUDGE_CREATE_WRITABLE_TEMP_DIR（默认0）：设为1时为提交创建可写临时目录（仅DOMjudge ≥6.1版本支持）。
• RUN_USER_UID_GID（默认62860）：执行提交的用户UID/GID，确保主机系统未使用该ID。

镜像源码

镜像源码位于https://github.com/DOMjudge/domjudge-packaging/tree/main/docker%E3%80%82