Domjudge in Docker

Dockerized DOMjudge

CGroups

The judgedaemon needs to run a recent Linux kernel (at least 3.2.0). The following steps configure cgroups on Ubuntu. Edit /etc/default/grub and change the default commandline to:

GRUB_CMDLINE_LINUX_DEFAULT="quiet cgroup_enable=memory swapaccount=1"

Then:

update-grub

And Reboot server.

Images

Pull images from docker hub:

docker pull domjudge/domserver
docker pull domjudge/judgehost

Or build youself:

git clone https://github.com/daavar/domjudge.git
cd domjudge
./build

Usage

Install a Mysql or Mariadb server on your host and create dedicated empty database for use.
Make sure docker-compose in installed our get latest from Here

docker-compose.yml (edit fields inside braces with appretiate values)

version: '2'

services:

    # Web Service
    domserver: 
        image: daavar/domserver
        environment:
           - MYSQL_HOST=[mysql_host_ip]
           - MYSQL_DATABASE=[database]
           - MYSQL_USER=[username for mysql]
           - MYSQL_PASSWORD=[password for mysql]
        ports:
         - "4321:80"
        network_mode: bridge
        restart: always

    # Judgehosts Service
    judgehost: 
        image: daavar/judgehost
        links:
           - domserver
        volumes:
           - "/dev:/dev"
        environment:
           - API_URL=http://domserver/api/
           - API_USER=judgehost
           - API_PASSWORD=[ChangeMe]
        privileged: true
        ipc: host
        network_mode: bridge
        restart: always

Finalize setup

# cd to where docker-compose.yml is located

# Setup CGROUPS
docker-compose run --rm domserver create_cgroups

# Setup Initial Database
docker-compose run --rm domserver dj-setup-database -r install
# [Enter MYSQL ROOT password]

Start Server

docker-compose up -d

Now you can check it is up by opening browser to http://server_ip:4321

How to scale judgehosts

# cd to where docker-compose.yml is located

docker-compose scale judge-host=[N]

Troubleshooting

Judge host can not connect/ is not online! Make sure you entred correct password for API_PASSWORD . you can easily reset password for user judgehost from ui. then restart daemon using: docker-compose restart judgehost

Initial Database Password is Wrong Make sure you are using root password not created account's password!