Loading... <div class="tip share">请注意，本文编写于 674 天前，最后修改于 307 天前，其中某些信息可能已经过时。</div> EC-Final 结束之后就一直是咸鱼状态。然后就自己挖了个坑，学习配置了一下 [DOMjudge](/domjudge)。 于是水一篇博文来记录一下过程中遇到的各种坑。 <!--more--> <div class="tip inlineBlock info"> 官网已经更新到 7.1.1 版本，以下内容可能过时，最新内容请参考请参考[此处][1]。 </div> <button class="btn m-b-xs btn-success btn-roundedbtn-addon" onclick='window.open("https://jq.qq.com/?_wv=1027&k=5CocMIv","_blank")'><i class="iconfont icon-comments"></i>DOMjudge交流群</button> ## 版本与环境 |版本|环境| |---|---| |Ubuntu 16.04 LTS|DOMjudge 6.0.3| <div class="tip inlineBlock success"> Docker 还是好用哦，嫌麻烦的可以直接用官方的镜像。 </div> <div class="panel panel-default collapse-panel box-shadow-wrap-lg"><div class="panel-heading panel-collapse" data-toggle="collapse" data-target="#collapse-03b469f9a2a332b58e63f7654b257c0b61" aria-expanded="true"><div class="accordion-toggle"><span>docker-compose.yml</span> <i class="pull-right fontello icon-fw fontello-angle-right"></i> </div> </div> <div id="collapse-03b469f9a2a332b58e63f7654b257c0b61" class="panel-body collapse"> ``` version: '2' services: mariadb: image: mariadb restart: always volumes: - /home/ubuntu/domjudge/data/mysql:/var/lib/mysql ports: - 13306:3306 environment: - CONTAINER_TIMEZONE=Asia/Shanghai - MYSQL_ROOT_PASSWORD=<password> - MYSQL_USER=domjudge - MYSQL_PASSWORD=<password> - MYSQL_DATABASE=domjudge command: --max-connections=1000 domserver: image: domjudge/domserver:latest restart: always volumes: - /sys/fs/cgroup:/sys/fs/cgroup:ro links: - mariadb:mariadb ports: - 8000:80 environment: - CONTAINER_TIMEZONE=Asia/Shanghai - MYSQL_HOST=mariadb - MYSQL_ROOT_PASSWORD=<password> - MYSQL_USER=domjudge - MYSQL_PASSWORD=<password> - MYSQL_DATABASE=domjudge - DJ_DB_INSTALL_BARE=1 judgehost_0: image: domjudge/judgehost:latest restart: always volumes: - /sys/fs/cgroup:/sys/fs/cgroup:ro links: - domserver:domserver environment: - CONTAINER_TIMEZONE=Asia/Shanghai - DAEMON_ID=0 - JUDGEDAEMON_USERNAME=judgehost - JUDGEDAEMON_PASSWORD=<password> privileged: true judgehost_1: image: domjudge/judgehost:latest restart: always volumes: - /sys/fs/cgroup:/sys/fs/cgroup:ro links: - domserver:domserver environment: - CONTAINER_TIMEZONE=Asia/Shanghai - DAEMON_ID=1 - JUDGEDAEMON_USERNAME=judgehost - JUDGEDAEMON_PASSWORD=<password> privileged: true judgehost_2: image: domjudge/judgehost:latest restart: always volumes: - /sys/fs/cgroup:/sys/fs/cgroup:ro links: - domserver:domserver environment: - CONTAINER_TIMEZONE=Asia/Shanghai - DAEMON_ID=2 - JUDGEDAEMON_USERNAME=judgehost - JUDGEDAEMON_PASSWORD=<password> privileged: true judgehost_3: image: domjudge/judgehost:latest restart: always volumes: - /sys/fs/cgroup:/sys/fs/cgroup:ro links: - domserver:domserver environment: - CONTAINER_TIMEZONE=Asia/Shanghai - DAEMON_ID=3 - JUDGEDAEMON_USERNAME=judgehost - JUDGEDAEMON_PASSWORD=<password> privileged: true ``` </div></div> ## DOMserver 部分 ### 准备工作 > 这部分其实就是朗读了一遍文档，直接按文档搞就好了。 #### 安装依赖包和功能 ```bash sudo apt install gcc g++ make zip unzip mariadb-server \ apache2 php php-cli libapache2-mod-php php-zip \ php-gd php-curl php-mysql php-json php-xml php-intl php-mbstring \ acl bsdmainutils ntp phpmyadmin python-pygments \ libcgroup-dev linuxdoc-tools linuxdoc-tools-text \ groff texlive-latex-recommended texlive-latex-extra \ texlive-fonts-recommended texlive-lang-european ``` 安装时选择 `apache2`。 ```bash sudo apt install libcurl4-gnutls-dev libjsoncpp-dev libmagic-dev ``` ```bash sudo phpenmod json ``` #### 编译 DOMjudge ```bash wget https://www.domjudge.org/releases/domjudge-6.0.3.tar.gz tar -zxvf domjudge-6.0.3.tar.gz ``` ```bash cd domjudge-6.0.3 ./configure --prefix=$HOME/domjudge --with-baseurl=127.0.0.1 make domserver && sudo make install-domserver make judgehost && sudo make install-judgehost make docs && sudo make install-docs ``` #### 配置数据库 ```bash cd ~/domjudge/domserver sudo bin/dj_setup_database -u root install ``` #### 配置 Web 服务器 ```bash cd ~/domjudge/domserver sudo ln -s /home/ubuntu/domjudge/domserver/etc/apache.conf /etc/apache2/conf-available/domjudge.conf sudo a2enmod rewrite sudo a2enconf domjudge sudo systemctl reload apache2 ``` 这里的`ubuntu`是我的实际用户名。 到这里，就可以访问`http://127.0.0.1/domjudge`，并使用`admin`作为用户名和密码登陆后台了。 如果需要使用类似`domjudge.example.com`的形式访问，可以根据`domjudge.conf`中的注释，来配置虚拟服务器。 #### 配置 MySQL 编辑`/etc/mysql/my.cnf`，追加内容： ``` [mysqld] max_connections = 1000 max_allowed_packet = 16MB innodb_log_file_size = 48MB ``` 其中 `max_allowed_packet` 数值改成两倍于题目测试数据文件的大小，`innodb_log_file_size` 数值改成十倍于题目测试数据文件的大小。 ```bash sudo systemctl restart mysql ``` #### 配置 PHP 编辑 `~/domjudge/domserver/etc/apache.conf`，取消以下几行内容前的注释： ``` <IfModule mod_php7.c> php_value max_file_uploads 100 php_value upload_max_filesize 128M php_value post_max_size 128M php_value memory_limit 512M </IfModule> ``` 编辑 `/etc/php/7.2/apache2/php.ini`，搜索 `date.timezone` 关键字，取消其行前注释，并将其值设为 `Asia/Shanghai`。 ```bash sudo systemctl restart apache2 ``` #### 配置 Apache 编辑 `/etc/apache2/apache2.conf`，搜索 `KeepAlive` 关键字，将其值设为 `Off`，并在其后新增一行内容： ``` MaxClients 1000 ``` ```bash sudo systemctl restart apache2 ``` ### 配置 DOMserver 访问 `http://127.0.0.1/domjudge` (或者外网IP/域名)，使用用户名`admin`密码`admin`登陆。 #### 修改 admin 密码 访问 users 页面，点 `admin` 用户边上的铅笔图标，在 Password 栏中输入新密码，保存。 #### 配置设置 #### 添加队伍和账号 - 去年学长搞的时候是直接拿SQL语句操作数据库的。（大声 - 先导入 `teams.tsv` 再导入 `accounts.tsv`。 文件编码要用`UTF-8`。 - 具体格式可以参考[这个](https://clics.ecs.baylor.edu/index.php?title=Contest_Control_System_Requirements#Appendix:_File_formats)。 如果使用系统默认的`Group`，那么teams表中的`Group_ID`就全部填 $3$，表示`participants`，其它情况按需要调整。 `accounts`表中的`username`是`team01`的形式就可以和team表对应上。（可能还有其它方法对应） 如果需要使用学校的校徽，可以放在`~/domjudge/domserver/webapp/web/images/affiliations`文件夹下。 图片大小需要自行调整，文件名为`<ExternalID>.png`。 在导入teams表的时候，在`Country Code`后追加一列，填写`Institution External ID`。 这步是阅读[源代码](https://github.com/DOMjudge/domjudge/blob/master/lib/lib.impexp.php#L108)后猜测的，当时的实际操作是直接在数据库中的`team_affiliation`用SQL语句更新`ExternalID`的。 <div class="tip inlineBlock success"> 更正：在导入teams表的时候，如果有多个学校（即使不用校徽），必须要有 Institution External ID ，似乎是因为这部分对空值的处理有一些问题。 </div> <div class="tip inlineBlock error"> 这部分实际上比较迷，建议研究一下DOMjudge的数据库结构和源代码，一般情况下我觉得读到这里的同学有能力自行解决。（小声 </div> #### 生成队伍密码 访问 home 页面，点 `Manage team passwords`，选中 `all teams` 和 `as userdata.tsv download`。 注意生成过的密码除了 `userdata.tsv` **不能**在其他地方再被看到。 ## Judgehost 部分 ### 准备工作 #### 安装依赖包和功能 ```bash sudo apt install make sudo debootstrap libcgroup-dev \ php-cli php-curl php-json php-xml php-zip procps \ gcc g++ openjdk-8-jre-headless \ openjdk-8-jdk ghc fp-compiler \ libcurl4-gnutls-dev libjsoncpp-dev libmagic-dev \ supervisor ``` #### 编译 DOMjudge > 这里只针对单独配置 Judgehost 的机器，前面 DOMserver 配置中已经同时安装了 Judgehost。 ```bash cd Downloads wget https://www.domjudge.org/releases/domjudge-6.0.3.tar.gz ``` ```bash tar -zxvf domjudge-6.0.3.tar.gz ``` ```bash cd domjudge-6.0.3 ./configure --prefix=$HOME/domjudge --with-baseurl=127.0.0.1 make judgehost && sudo make install-judgehost ``` ### 配置 Judgehost #### 添加用户 ```bash useradd -d /nonexistent -U -M -s /bin/false domjudge-run # 如果 judgehost 拥有多个 CPU 核心，你可以添加额外的用户来支持绑定 # 不同的 judgehost 进程到不同的 CPU 核心上，如下： useradd -d /nonexistent -U -M -s /bin/false domjudge-run-0 useradd -d /nonexistent -U -M -s /bin/false domjudge-run-1 useradd -d /nonexistent -U -M -s /bin/false domjudge-run-2 useradd -d /nonexistent -U -M -s /bin/false domjudge-run-3 # ... 如果有更多的 CPU 核心，请自行添加更多的用户 ``` #### 配置 sudoers 将 `$HOME/domjudge/judgehost/etc/sudoers-domjudge` 复制到 `/etc/sudoers.d/` 目录下。 ```bash sudo cp $HOME/domjudge/judgehost/etc/sudoers-domjudge /etc/sudoers.d/ ``` #### 修改 rest 密码 使用 vim 等文本编辑器编辑 `~/domjudge/judgehost/etc/restapi.secret` 这个文件。把 DOMserver 中相应文件夹下的对应文件抄一下。 #### 构建 chroot 环境 使用 vim 等文本编辑器编辑 `~/domjudge/judgehost/bin/dj_make_chroot` 脚本，将 ubuntu 镜像改为国内源。 （第 172 行） ```bash # Ubuntu mirror, modify to match closest mirror [ -z "$DEBMIRROR" ] && DEBMIRROR="http://mirrors.aliyun.com/ubuntu/" ``` <div class="tip inlineBlock error"> 因为这一步需要访问网络，若需要配置代理服务器请按需设置。 </div> 修改之后保存并运行此脚本。这一步会从源上下载必要的软件包，所以请耐心等待。 #### 设置 cgroup 使用 vim 等文本编辑器编辑 `/etc/default/grub` 这个文件，对其中的这一行做如下修改： ``` GRUB_CMDLINE_LINUX_DEFAULT="quiet cgroup_enable=memory swapaccount=1" ``` 然后执行： ```bash update-grub ``` 之后**重启计算机**。 ```bash cat /proc/cmdline ``` 检查是否添加成功。 #### 配置 supervisor > 这里针对的是多核判题的配置，单核就没有管理的必要了，直接终端中运行 `~/domjudge/judgehost/bin/judgedaemon` 即可。 使用 vim 等文本编辑器在 `/etc/supervisor/conf.d` 下新建一个文本文件叫做 `judgehost.conf`，写入下列内容： ``` [program:judgehost] command=/home/ubuntu/domjudge/judgehost/bin/judgedaemon -n %(process_num)d autorestart=true process_name=%(program_name)s_%(process_num)02d stdout_logfile=/var/log/judgehost/judgehost.log stderr_logfile=/var/log/judgehost/judgehost.err.log numprocs=4 numprocs_start=0 ``` - 上面的 numprocs 应该根据实际的 CPU 核心数。 - 根据实际情况把 `ubuntu` 改为对应用户名。 - 根据实际情况配置 `stdout_logfile` 和 `stderr_logfile`。 最后，使用如下命令重新加载 supervisor ： ```bash sudo systemctl restart supervisord.service ``` - 启动 judgehost ```bash sudo supervisorctl start judgehost ``` - 查看 judgehost 进程的运行情况： ```bash sudo supervisorctl status ``` - 每次开机的时候记得执行`~/domjudge/judgehost/bin/create_cgroup`。否则判题的时候会因为权限不够 CE 。 ## Special Judge <div class="tip inlineBlock success"> 这部分内容应该可以交给出题组来配置。 </div> <div class="tip inlineBlock success"> 由于大部分出题人习惯（包括我自己在校赛命题时）使用 Polygon 的 testlib.h 编写 checker，所以此处给出直接将 Polygon 的 checker 搬运至 domjudge 的方法。 </div> 由于 domjudge 对于 checker 的入口参数和返回值与传统的 checker 较为不同，所以我们对 [testlib.h][2] 进行了修改以使 checker 兼容 domjudge。 <button class="btn m-b-xs btn-success btn-rounded " onclick='window.open("https://cubercsl.cn/usr/uploads/2019/04/3207973305.zip","_blank")'>下载压缩包</button> <div class="tip inlineBlock success"> 此压缩包的配置方式可能过时，现版本的 domjudge 可以不需要添加 build 脚本，直接把 checker.cpp 和 testlib.h 打包即可。具体可以参考[此处][3]。 </div> 将使用 Polygon 平台编写的 checker 放入下载的压缩包，并上传至 domjudge 后台。设置对应题目的 Compare script 即可。 [1]: https://github.com/cn-xcpc-tools/cn-xcpc-docs [2]: https://github.com/cn-xcpc-tools/testlib-for-domjudge/raw/master/testlib.h [3]: https://github.com/cn-xcpc-tools/testlib-for-domjudge 最后修改：2019 年 12 月 29 日 08 : 57 PM © 允许规范转载 赞赏 如果觉得我的文章对你有用，请随意赞赏 ×Close 赞赏作者 扫一扫支付 支付宝支付 微信支付
cslnb
cslnb
bnlsc
cslnb
cslnb
你怎么回事
cslnb
嘻嘻嘻
搜资料竟然搜到了蔡队的博客OωO,还是同款主题|´・ω・)ノ
嘻嘻嘻~
能讲讲judgehost相关的API么...或者说怎么在远程判题
在远程的判题机上配置相应的 restapi.secret 文件，可以在 domserver 的 etc 目录下找到，复制过去就好。把里面的节点的 localhost 改成你 server 对应的 IP 地址，后面的密码保持不变就好。
搜资料竟然搜到了蔡队的博客
啊？domjudge的资料嘛
集体换handsome主题是什么鬼阿233333～
因为kench牛逼！
emmmmmm,我当初就不该在群里吹handsome（