Code

Round robin scheduler#4

Code

Open

art-w wants to merge 23 commits intoocaml-multicore:mainocaml-multicore/dscheck:mainfrom art-w:round-robinart-w/dscheck:round-robinCopy head branch name to clipboard

+788-152

Commits

Commits on Nov 20, 2022

• full replay only when necessary

  art-w

  committed
  7686c29

• list optims

  art-w

  committed
  89a80aa

• more precise backtracking

  art-w

  committed
  2355531

• fixup num_runs

  art-w

  committed
  9222f07

• fixup backtrack

  art-w

  committed
  9a6f00c

• test: only one bad apple

  art-w

  committed
  4036a90

• backtracking: mark only last operation

  art-w

  committed
  abdcc0b

• big bad backtracking steps

  art-w

  committed
  18e0bb0

• add simple test

  art-w

  committed
  ecbff9b

• fix: allow backtracking inside big steps

  art-w

  committed
  36bb3ec

• fix: print replay trace for all unhandled errors

  art-w

  committed
  6b2195f

• stable domains/atomics identifiers

  art-w

  committed
  708a2ab

• fix: backtracking nested spawns

  art-w

  committed
  a43282f

• fix: atomic ops categorization

  art-w

  committed
  61482a1

• fix: atomic uid generation

  art-w

  committed
  36a06f1

• simplify dead code

  art-w

  committed
  16c8663

Commits on Nov 21, 2022

• fix dune-project url

  art-w

  committed
  63aad4d

• round-robin scheduling

  art-w

  committed
  ec3bfc1

• add spinlock test

  art-w

  committed
  bae4ce4

• use trie for backtracking fairness

  art-w

  committed
  238a7e6

• cut trie branches to minimize memory consumption

  art-w

  committed
  5375983

• prettier trace

  art-w

  committed
  8cf65e8

• expose trace options

  art-w

  committed
  4be4164