src/README.server

    How to configure a Basilisk server

    sudo apt install task-spooler make gcc openmpi-bin libopenmpi-dev clang

    Install the KDT library, OpenGL utility libraries and binaries in

    $HOME/lib/libkdt.a
    $HOME/lib/libglutils.a
    $HOME/lib/libfb_osmesa.a
    $HOME/include/kdt/kdt.h
    $HOME/include/gl/framebuffer.h
    $HOME/include/gl/utils.h
    $HOME/include/gl/trackball.h
    $HOME/include/gl/gl2ps/gl2ps.h
    $HOME/bin/ppm2mpeg
    $HOME/bin/ppm2mp4
    $HOME/bin/ppm2gif
    $HOME/bin/sequence
    $HOME/bin/xyz2kdt

    Append this to the start of .bashrc

    # number of simultaneous Task Spooler jobs
    export TS_SLOTS=8
    
    # path to local binaries
    export PATH=$PATH:/home/basilisk/bin
    
    # howto compile C99 programs
    export CC99="mpicc -O2 -Wall -fno-diagnostics-show-caret -Wno-unused-result -std=c99 -D_XOPEN_SOURCE=700 -DHAVE_GETOPT_H=1 -D_GNU_SOURCE=1"
    
    # howto compile CADNA programs
    export CADNACC="clang -D_CADNA=1 -x c++ -m64 \
            -Wno-unused-function \
            -Wno-unused-result \
            -Wno-c++11-compat-deprecated-writable-strings \
            -Wno-address-of-array-temporary"
    
    # OpenGL libraries
    export OPENGLIBS="-lfb_osmesa -lGLU -lOSMesa"
    
    # howto kill tests
    
    killtest()
    {
        chksum=$1
        if test -z "$chksum"; then
                    return 1
        fi
        if [[ -x /tmp/$chksum/$chksum ]]; then
                    # running
                    sudo -n -u basilisk-untrusted -- killall /tmp/$chksum/$chksum
        else
                    # queued
                    id=$(tsp | sed "s/\([0-9]*\)  queued  .*$chksum\.sh/\1/;t;d")
                    if [[ -n "$id" ]]; then
                            tsp -r $id
                    fi
        fi
        rm -r -f ./$chksum*
        sudo -n -u basilisk-untrusted -- rm -r -f /tmp/$chksum*
    }
    
    statustest()
    {
        chksum=$1
        if [[ -x /tmp/$chksum/$chksum ]]; then
                    echo -n "The code is running.";
                    if [[ -s /tmp/$chksum/progress ]]; then
                            echo -n " "
                            tr '\r' '\n' < /tmp/$chksum/progress | tail -n 1
                    else
                            echo
                    fi
        else
                    echo "The code is waiting to run.";
        fi
    }

    If you also intend to generate graphics etc… on the server, do

    sudo apt-get install gnuplot gnuplot-nox imagemagick ffmpeg smpeg-plaympeg graphviz valgrind gifsicle libglu1-mesa-dev libosmesa6-dev

    Creating the untrusted user

    sudo -s
    cat <<EOF > /etc/sudoers.d/basilisk
    basilisk ALL=(basilisk-untrusted) NOPASSWD: ALL
    EOF
    chmod 0440 /etc/sudoers.d/basilisk
    useradd basilisk-untrusted -d /nonexistent -s /bin/bash
    service sudo restart

    Using the server

    You first need to allow the client to connect to the server through SSH. This implies adding the SSH public key of the client account to the “authorized keys” on the server.

    You can then do (on the client), something like:

    SANDBOX=basilisk@server.domain.net make simulation.tst

    You should then get

    qcc -g -O2 -g -Wall -o simulation/simulation simulation.c -lm
    [simulation.tst on basilisk@server.domain.net (12725)]
      running...

    If you then do ls simulation/*pid*, you will see two files: pid.tst and tspid.tst, they contain the PID of the process running on the client and on the server respectively. When the simulation completes on the server, data are copied to the client, both processes terminate and these *pid* files are removed.

    If you modify your simulation and redo make as above, before the old simulation has completed, the old processes will be killed and only the new simulation will run on the server.

    The status of the completed simulation is indicated by either an (empty) pass file (in the simulation directory), or a fail file containing the error messages.

    Allowing shared SSH connections

    On the client, it is a good idea to enable shared SSH connections using something like (in .ssh/config):

    Host server.domain.net
            ControlPath ~/.ssh/controlmasters/%r@%h:%p
            ControlMaster auto
            ControlPersist 10m