【解説】DockerによるPythonコンパイラ「Codon」の環境構築方法

.
|-- Dockerfile
|-- README.md
|-- docker-compose.yml
|-- start.sh
`-- src
    `-- estimate_pi.py

version: '3.7'

x-logging:
    &json-logging
    driver: json-file
    options:
        max-size: "1m"
        max-file: "3"

services:
    codon:
        build:
            context: .
            dockerfile: Dockerfile
            args:
                TZ: 'Asia/Tokyo'
        image: codon
        container_name: codon
        environment:
            - TZ=Asia/Tokyo
        volumes:
            - ./src:/code
        restart: "no"
        logging: *json-logging

FROM alpine:3.17
ARG TZ='Asia/Tokyo'

ENV PYTHONUNBUFFERED=1 \
    PYTHONIOENCODING=utf-8 \
    CODON_PYTHON=/usr/lib/libpython3.so \
    CODON_VERSION=0.15.5

LABEL maintainer="yuruto"

RUN    apk update \
    \
    # Install basic libraries and setup timezone
    \
    && apk add --no-cache bash tzdata gcc musl-dev zlib-dev zstd-libs \
    && cp /usr/share/zoneinfo/${TZ} /etc/localtime \
    && ln -s ${TZ} /etc/timezone \
    \
    # install temporary libraries
    \
    && apk add --no-cache --virtual .build-deps \
               libffi-dev g++ libgcc libstdc++ libxslt-dev python3-dev libc-dev linux-headers \
               openssl-dev curl cmake automake make llvm-dev llvm-static alpine-sdk \
    \
    # install python3 and pip3
    \
    && apk add --no-cache python3 \
    && python3 -m ensurepip \
    && rm -r /usr/lib/python*/ensurepip \
    && pip3 install --upgrade pip setuptools \
    \
    # create symbolic link
    \
    && ln -sf /usr/bin/python3 /usr/bin/python \
    && ln -sf /usr/bin/pip3 /usr/bin/pip \
    \
    # install codon
    \
    && curl -fsSL https://github.com/exaloop/codon/archive/refs/tags/v${CODON_VERSION}.tar.gz --output /tmp/v${CODON_VERSION}.tar.gz \
    && cd /tmp \
    && tar zxvf v${CODON_VERSION}.tar.gz \
    && cd codon-${CODON_VERSION} \
    && mkdir build \
    && cd build \
    && cmake .. \
    && make -j 4 \
    && make install \
    && cd / \
    && apk --purge del .build-deps \
    && mkdir /code \
    && rm -rf /root/.cache /var/cache/apk/* /tmp/*

# add shell script
COPY ./start.sh /start.sh
RUN chmod 777 /start.sh

WORKDIR /code

CMD ["/start.sh"]

#!/bin/bash

function handler() {
    echo "["$(date "+%Y/%m/%d-%H:%M:%S")"]" SIGTERM ACCEPTED
    exit 0
}

trap 'handler' TERM

while :; do
    sleep 3
done

import time
from datetime import timedelta
from python import math

@python
def printf(data, _format):
    print(_format.format(data))

def Leibniz(max_iter : int):
    arr = reversed(range(max_iter))
    _sum = 0.0

    for k in arr:
        _sum += ((-1) ** (k % 2) + 0.0) / (2 * k + 1)
    pi = _sum * 4

    return pi

if __name__ == '__main__':
    max_iter = 1_000_000_000

    start_time = time.time()
    # estimate pi
    hat_pi = Leibniz(max_iter)
    elapsed_time = time.time() - start_time
    err = math.fabs(hat_pi - math.pi) / math.pi
    output = str(timedelta(seconds=elapsed_time))

    printf(hat_pi, 'Estimated Pi: {:.15f}')
    printf(err,    'Relative Err: {:.15e}')
    print(output)

# docker-compose.ymlとDockerfileがあるディレクトリで以下を実行する
docker-compose build --no-cache

# ホスト環境での実行内容
docker exec -it codon bash

# Docker環境での実行内容
# JITモードでの実行
codon run estimate_pi.py
Estimated Pi: 3.141592652589793
Relative Err: 3.183097711628829e-10
0:00:27.889480

# 事前コンパイルによる実行
codon build --release estimate_pi.py
./estimate_pi
Estimated Pi: 3.141592652589793
Relative Err: 3.183097711628829e-10
0:00:08.967100

# スクリプトの一部を改変
cat <(echo "import math") <(grep -v "python" estimate_pi.py) > original.py
python original.py
Estimated Pi: 3.141592652589793
Relative Err: 3.183097711628829e-10
0:11:20.987000