Repository navigation

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

Merged

daniel-larraz merged 19 commits into

kind2-mc:mainfrom

Jabe03:safe-mode-container-cleanup

Oct 30, 2026

Merged

Stop safe mode containers on cancel and cap concurrent runs#31
daniel-larraz merged 19 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
Commits on Oct 30, 2026
- Wrap interpreter output parse errors in a Kind2Exception
  
  Jabe03
  and
  claude
  committed
  fa98f3b
- Report interpreter stderr only when stdout has no usable output
  
  Jabe03
  and
  claude
  committed
  fbaee53
- Give up waiting for a safe mode run after 60 s in execute without a monitor
  
  Jabe03
  and
  claude
  committed
  d40d283
- Clear the interrupt flag while stopping a run
  
  Jabe03
  and
  claude
  committed
  ad64ac9
- Remove a cancelled run's container once its client has exited
  
  Jabe03
  and
  claude
  committed
  0f66902
- Run checkAvailable under the safe mode run management
  
  Jabe03
  and
  claude
  committed
  5ff671b
- Read safeMode once per run
  
  Jabe03
  and
  claude
  committed
  7e66f85
- Hold run slots the same way everywhere
  
  Jabe03
  and
  claude
  committed
  36d0462
- Decode output read by ApiUtil.readAll as UTF-8
  
  Jabe03
  and
  claude
  committed
  53324ed

Commits

Commits on Oct 16, 2026

Commits on Oct 30, 2026