Skip to content

Backtracking optimizations #3

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 18 commits into
base: main
Choose a base branch
from
Open

Backtracking optimizations #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
621e48e
full replay only when necessary
art-w Sep 30, 2022
b9f806e
list optims
art-w Sep 30, 2022
a497185
more precise backtracking
art-w Sep 30, 2022
62c5e2e
fixup num_runs
art-w Sep 30, 2022
42d8418
fixup backtrack
art-w Sep 30, 2022
0252bf1
backtracking: mark only last operation
art-w Sep 30, 2022
5b606bb
big bad backtracking steps
art-w Oct 1, 2022
4e6f1b3
add simple test
art-w Oct 1, 2022
e68277b
fix: allow backtracking inside big steps
art-w Oct 1, 2022
b923d3b
fix: print replay trace for all unhandled errors
art-w Oct 1, 2022
92d6015
stable domains/atomics identifiers
art-w Oct 1, 2022
9d4fc10
fix: backtracking nested spawns
art-w Oct 1, 2022
5bdc331
fix: atomic ops categorization
art-w Oct 2, 2022
c2e08ba
fix: atomic uid generation
art-w Nov 19, 2022
26d1e7c
simplify dead code
art-w Nov 19, 2022
7fa6a54
fix: backtracking dependencies and process spawn/start
art-w Jan 29, 2023
d0c0803
use alcotest
art-w Feb 4, 2023
9d7192d
prettier output
art-w Feb 22, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions dscheck.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,7 @@ bug-reports: "https://github.com/ocaml-multicore/dscheck/issues"
depends: [
"ocaml" {>= "5.0.0"}
"dune" {>= "2.9"}
"containers"
"oseq"
"alcotest" {>= "1.6.0"}
"odoc" {with-doc}
]
build: [
Expand Down
4 changes: 1 addition & 3 deletions dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,4 @@
(package
(name dscheck)
(synopsis "Traced Atomics")
(depends (ocaml (>= 5.0.0)) dune containers oseq (alcotest (>= 1.6.0))))


(depends (ocaml (>= 5.0.0)) dune (alcotest (>= 1.6.0))))
3 changes: 1 addition & 2 deletions src/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
(library
(public_name dscheck)
(libraries containers oseq))
(public_name dscheck))
Loading