Repository navigation

Stop safe mode containers on cancel and cap concurrent runs - #31

Open

Jabe03 wants to merge 10 commits into

kind2-mc:mainfrom

Jabe03:safe-mode-container-cleanup

Open

Stop safe mode containers on cancel and cap concurrent runs#31
Jabe03 wants to merge 10 commits into
kind2-mc:mainfrom
Jabe03:safe-mode-container-cleanup

Commits on Oct 16, 2026
- Refactor safe mode execution to use a dedicated method for Docker run command
  Jabe03
  committed
  c47c0cc
- Implement safe mode execution with maximum runs and proper termination
  Jabe03
  committed
  77546a2
- Apply the docker kill timeout before reading its output
  
  Jabe03
  and
  claude
  committed
  3cfa0b1
- Give the docker client time to exit before killing its container
  
  Jabe03
  and
  claude
  committed
  f554b5f
- Resize the safe mode run limit in place
  
  Jabe03
  and
  claude
  committed
  5e9e7e0
- Hold safe mode run slots with try-with-resources
  
  Jabe03
  and
  claude
  committed
  11d861b
- Stop waiting for a safe mode run slot after 60 s in the interpreter
  
  Jabe03
  and
  claude
  committed
  c87e86d
- Build the Kind 2 command prefix in one place
  
  Jabe03
  and
  claude
  committed
  fc062fc
- Read the interpreter's stderr and report it when there is no trace
  
  Jabe03
  and
  claude
  committed
  7d230a4
- Send the Lustre program to Kind 2 as UTF-8
  
  Jabe03
  and
  claude
  committed
  3fcce9f