Bugfix/memo intern

dbzero/dbzero/dbzero.py

@@ -10,7 +10,7 @@ def load_dynamic(name, path):
 
 def __bootstrap__():
     global __bootstrap__, __loader__, __file__
-    paths = [os.path.join(os.path.split(__file__)[0]), "/src/dev/build/debug", "/usr/local/lib/python3/dist-packages/dbzero/"]
+    paths = [os.path.join(os.path.split(__file__)[0]), "/src/dev/build/release", "/usr/local/lib/python3/dist-packages/dbzero/"]
     __file__ = None
     for path in paths:
         if os.path.isdir(path):

docker/Dockerfile-dev

@@ -3,6 +3,7 @@ FROM python:3.11-bullseye
 ARG USERNAME=dbzero
 ARG USER_UID=1000
 ARG USER_GID=1000
+ARG CODEX_VERSION=latest
 
 RUN apt-get update && apt-get install -y \
  cmake \
@@ -26,7 +27,7 @@ RUN mkdir -p /etc/apt/keyrings \
   && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_22.x nodistro main" > /etc/apt/sources.list.d/nodesource.list \
   && apt-get update \
   && apt-get install nodejs -y \
-  && npm install -g @openai/codex
+  && npm install -g "@openai/codex@${CODEX_VERSION}"
 
 # for demo purposes only (bokeh is a charts package)
 RUN pip3 install jupyter

docker/Dockerfile-dev-12

@@ -0,0 +1,57 @@
+FROM python:3.12-bullseye
+
+ARG USERNAME=dbzero
+ARG USER_UID=1000
+ARG USER_GID=1000
+ARG CODEX_VERSION=latest
+
+RUN apt-get update && apt-get install -y \
+ cmake \
+  && rm -rf /var/lib/apt/lists/*
+
+RUN apt-get update
+RUN apt-get install psmisc
+RUN apt-get install python3-pip -y
+RUN apt-get install gdb -y
+RUN apt-get install screen -y
+RUN apt-get install rsync -y
+RUN apt-get install ripgrep -y
+RUN apt-get install meson ninja-build -y
+RUN apt-get install python3-venv -y
+RUN apt-get install gettext-base -y
+RUN apt-get install valgrind -y
+RUN apt-get install curl ca-certificates gnupg -y
+
+RUN mkdir -p /etc/apt/keyrings \
+  && curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg \
+  && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_22.x nodistro main" > /etc/apt/sources.list.d/nodesource.list \
+  && apt-get update \
+  && apt-get install nodejs -y \
+  && npm install -g "@openai/codex@${CODEX_VERSION}"
+
+# for demo purposes only (bokeh is a charts package)
+RUN pip3 install jupyter
+RUN pip3 install bokeh
+RUN pip3 install psycopg2-binary
+RUN pip3 install sqlalchemy
+RUN pip3 install fastapi uvicorn
+
+RUN pip3 install build
+ADD requirements.txt requirements.txt
+RUN pip3 install -r requirements.txt --upgrade
+
+RUN ulimit -c unlimited
+RUN mkdir -p "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+RUN chmod 777 "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+
+RUN groupadd --gid "$USER_GID" "$USERNAME" \
+  && useradd --uid "$USER_UID" --gid "$USER_GID" --create-home --shell /bin/bash "$USERNAME"
+
+RUN chown -R "$USERNAME:$USERNAME" /usr/local/lib/python3.12/site-packages /usr/local/bin
+
+WORKDIR /usr/src/dbzero
+USER $USERNAME
+# RUN ./build.sh -r
+# WORKDIR /usr/src/dbzero/build/release/
+# RUN meson install
+# WORKDIR /usr/src/dbzero

docker/Dockerfile-dev-13

@@ -0,0 +1,57 @@
+FROM python:3.13-bullseye
+
+ARG USERNAME=dbzero
+ARG USER_UID=1000
+ARG USER_GID=1000
+ARG CODEX_VERSION=latest
+
+RUN apt-get update && apt-get install -y \
+ cmake \
+  && rm -rf /var/lib/apt/lists/*
+
+RUN apt-get update
+RUN apt-get install psmisc
+RUN apt-get install python3-pip -y
+RUN apt-get install gdb -y
+RUN apt-get install screen -y
+RUN apt-get install rsync -y
+RUN apt-get install ripgrep -y
+RUN apt-get install meson ninja-build -y
+RUN apt-get install python3-venv -y
+RUN apt-get install gettext-base -y
+RUN apt-get install valgrind -y
+RUN apt-get install curl ca-certificates gnupg -y
+
+RUN mkdir -p /etc/apt/keyrings \
+  && curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg \
+  && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_22.x nodistro main" > /etc/apt/sources.list.d/nodesource.list \
+  && apt-get update \
+  && apt-get install nodejs -y \
+  && npm install -g "@openai/codex@${CODEX_VERSION}"
+
+# for demo purposes only (bokeh is a charts package)
+RUN pip3 install jupyter
+RUN pip3 install bokeh
+RUN pip3 install psycopg2-binary
+RUN pip3 install sqlalchemy
+RUN pip3 install fastapi uvicorn
+
+RUN pip3 install build
+ADD requirements.txt requirements.txt
+RUN pip3 install -r requirements.txt --upgrade
+
+RUN ulimit -c unlimited
+RUN mkdir -p "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+RUN chmod 777 "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+
+RUN groupadd --gid "$USER_GID" "$USERNAME" \
+  && useradd --uid "$USER_UID" --gid "$USER_GID" --create-home --shell /bin/bash "$USERNAME"
+
+RUN chown -R "$USERNAME:$USERNAME" /usr/local/lib/python3.13/site-packages /usr/local/bin
+
+WORKDIR /usr/src/dbzero
+USER $USERNAME
+# RUN ./build.sh -r
+# WORKDIR /usr/src/dbzero/build/release/
+# RUN meson install
+# WORKDIR /usr/src/dbzero

docker/Dockerfile-dev-14

@@ -0,0 +1,57 @@
+FROM python:3.14-bullseye
+
+ARG USERNAME=dbzero
+ARG USER_UID=1000
+ARG USER_GID=1000
+ARG CODEX_VERSION=latest
+
+RUN apt-get update && apt-get install -y \
+ cmake \
+  && rm -rf /var/lib/apt/lists/*
+
+RUN apt-get update
+RUN apt-get install psmisc
+RUN apt-get install python3-pip -y
+RUN apt-get install gdb -y
+RUN apt-get install screen -y
+RUN apt-get install rsync -y
+RUN apt-get install ripgrep -y
+RUN apt-get install meson ninja-build -y
+RUN apt-get install python3-venv -y
+RUN apt-get install gettext-base -y
+RUN apt-get install valgrind -y
+RUN apt-get install curl ca-certificates gnupg -y
+
+RUN mkdir -p /etc/apt/keyrings \
+  && curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg \
+  && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_22.x nodistro main" > /etc/apt/sources.list.d/nodesource.list \
+  && apt-get update \
+  && apt-get install nodejs -y \
+  && npm install -g "@openai/codex@${CODEX_VERSION}"
+
+# for demo purposes only (bokeh is a charts package)
+RUN pip3 install jupyter
+RUN pip3 install bokeh
+RUN pip3 install psycopg2-binary
+RUN pip3 install sqlalchemy
+RUN pip3 install fastapi uvicorn
+
+RUN pip3 install build
+ADD requirements.txt requirements.txt
+RUN pip3 install -r requirements.txt --upgrade
+
+RUN ulimit -c unlimited
+RUN mkdir -p "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+RUN chmod 777 "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+
+RUN groupadd --gid "$USER_GID" "$USERNAME" \
+  && useradd --uid "$USER_UID" --gid "$USER_GID" --create-home --shell /bin/bash "$USERNAME"
+
+RUN chown -R "$USERNAME:$USERNAME" /usr/local/lib/python3.14/site-packages /usr/local/bin
+
+WORKDIR /usr/src/dbzero
+USER $USERNAME
+# RUN ./build.sh -r
+# WORKDIR /usr/src/dbzero/build/release/
+# RUN meson install
+# WORKDIR /usr/src/dbzero

docker/Dockerfile-dev-15

@@ -0,0 +1,57 @@
+FROM python:3.15-bullseye
+
+ARG USERNAME=dbzero
+ARG USER_UID=1000
+ARG USER_GID=1000
+ARG CODEX_VERSION=latest
+
+RUN apt-get update && apt-get install -y \
+ cmake \
+  && rm -rf /var/lib/apt/lists/*
+
+RUN apt-get update
+RUN apt-get install psmisc
+RUN apt-get install python3-pip -y
+RUN apt-get install gdb -y
+RUN apt-get install screen -y
+RUN apt-get install rsync -y
+RUN apt-get install ripgrep -y
+RUN apt-get install meson ninja-build -y
+RUN apt-get install python3-venv -y
+RUN apt-get install gettext-base -y
+RUN apt-get install valgrind -y
+RUN apt-get install curl ca-certificates gnupg -y
+
+RUN mkdir -p /etc/apt/keyrings \
+  && curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg \
+  && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_22.x nodistro main" > /etc/apt/sources.list.d/nodesource.list \
+  && apt-get update \
+  && apt-get install nodejs -y \
+  && npm install -g "@openai/codex@${CODEX_VERSION}"
+
+# for demo purposes only (bokeh is a charts package)
+RUN pip3 install jupyter
+RUN pip3 install bokeh
+RUN pip3 install psycopg2-binary
+RUN pip3 install sqlalchemy
+RUN pip3 install fastapi uvicorn
+
+RUN pip3 install build
+ADD requirements.txt requirements.txt
+RUN pip3 install -r requirements.txt --upgrade
+
+RUN ulimit -c unlimited
+RUN mkdir -p "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+RUN chmod 777 "$(cat /proc/sys/kernel/core_pattern | sed 's/%.*//')"
+
+RUN groupadd --gid "$USER_GID" "$USERNAME" \
+  && useradd --uid "$USER_UID" --gid "$USER_GID" --create-home --shell /bin/bash "$USERNAME"
+
+RUN chown -R "$USERNAME:$USERNAME" /usr/local/lib/python3.15/site-packages /usr/local/bin
+
+WORKDIR /usr/src/dbzero
+USER $USERNAME
+# RUN ./build.sh -r
+# WORKDIR /usr/src/dbzero/build/release/
+# RUN meson install
+# WORKDIR /usr/src/dbzero

python_tests/test_issues_18.py

@@ -5,17 +5,8 @@
 import subprocess
 import sys
 import textwrap
-import pytest
 
 
-SHUTDOWN_LIFETIME_SKIP_REASON = (
-    "Known shutdown-lifetime crash in subprocesses that leave singleton-backed durable "
-    "collections with nested immutable memo references alive at interpreter teardown; "
-    "currently observed on Python 3.12/3.13 and macOS builds only."
-)
-
-
-@pytest.mark.skip(reason=SHUTDOWN_LIFETIME_SKIP_REASON)
 def test_unhandled_exception_with_nested_durable_list_does_not_segfault(tmp_path):
     """Regression for SIGSEGV during interpreter shutdown after an exception."""
     model_path = tmp_path / "repro_model.py"