Code

Graceful interrupts#119

Code

Merged

Calvin-L merged 13 commits intomasterCozySynthesizer/cozy:masterfrom graceful-interruptsCozySynthesizer/cozy:graceful-interruptsCopy head branch name to clipboardJul 8, 2020

+188-45

Commits

Commits on Jul 2, 2020

• Gracefully handle SIGINT and use it to stop child jobs

  Calvin-L

  committed
  c49ed73

• Forward compatibility: use "spawn" method instead of "fork"

  Show description for e7d11ec
  Calvin-L

  committed
  e7d11ec

• Set the termination flag even when an unexpected exception is thrown

  Calvin-L

  committed
  3863c11

• Close a possible race condition

  Show description for ecc0414
  Calvin-L

  committed
  ecc0414

• Move a print statement from the child process to the parent

  Show description for 443808c
  Calvin-L

  committed
  443808c

• Move "never_stop" to the common module

  Calvin-L

  committed
  e11957c

• Pass a stop callback to the solver

  Show description for d09722c
  Calvin-L

  committed
  d09722c

Commits on Jul 7, 2020

• Use the correct multiprocessing context for improve_count

  Calvin-L

  committed
  237d047

• Politely restore stdout as run() finishes

  Calvin-L

  committed
  1a0ae21

• Pass the stop callback to the cost model as well

  Show description for ed7c515
  Calvin-L

  committed
  ed7c515

• Check the stop callback before checking the Z3 response

  Show description for b9947b2
  Calvin-L

  committed
  b9947b2

• Rename handle_sigint_gracefully to install_graceful_sigint_handler

  Show description for 56b4434
  Calvin-L

  committed
  56b4434

• Replace magic flag index numbers with human-readable constants

  Calvin-L

  committed
  a454df1