Skip to content

Round robin scheduler #4

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 23 commits into
base: main
Choose a base branch
from
Open

Round robin scheduler #4

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
7686c29
full replay only when necessary
art-w Sep 30, 2022
89a80aa
list optims
art-w Sep 30, 2022
2355531
more precise backtracking
art-w Sep 30, 2022
9222f07
fixup num_runs
art-w Sep 30, 2022
9a6f00c
fixup backtrack
art-w Sep 30, 2022
4036a90
test: only one bad apple
art-w Sep 30, 2022
abdcc0b
backtracking: mark only last operation
art-w Sep 30, 2022
18e0bb0
big bad backtracking steps
art-w Oct 1, 2022
ecbff9b
add simple test
art-w Oct 1, 2022
36bb3ec
fix: allow backtracking inside big steps
art-w Oct 1, 2022
6b2195f
fix: print replay trace for all unhandled errors
art-w Oct 1, 2022
708a2ab
stable domains/atomics identifiers
art-w Oct 1, 2022
a43282f
fix: backtracking nested spawns
art-w Oct 1, 2022
61482a1
fix: atomic ops categorization
art-w Oct 2, 2022
36a06f1
fix: atomic uid generation
art-w Nov 19, 2022
16c8663
simplify dead code
art-w Nov 19, 2022
63aad4d
fix dune-project url
art-w Nov 21, 2022
ec3bfc1
round-robin scheduling
art-w Oct 1, 2022
bae4ce4
add spinlock test
art-w Oct 1, 2022
238a7e6
use trie for backtracking fairness
art-w Oct 9, 2022
5375983
cut trie branches to minimize memory consumption
art-w Oct 15, 2022
8cf65e8
prettier trace
art-w Nov 19, 2022
4be4164
expose trace options
art-w Nov 19, 2022
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
2 changes: 0 additions & 2 deletions dscheck.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,6 @@ bug-reports: "https://github.com/ocaml-multicore/dscheck/issues"
depends: [
"ocaml" {>= "5.0.0"}
"dune" {>= "2.9"}
"containers"
"oseq"
"odoc" {with-doc}
]
build: [
Expand Down
4 changes: 2 additions & 2 deletions dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,12 @@
(generate_opam_files true)

(name dscheck)
(source (github sadiqj/dscheck))
(source (github ocaml-multicore/dscheck))
(authors "Sadiq Jaffer")
(maintainers "Sadiq Jaffer")

(package
(name dscheck)
(synopsis "Traced Atomics")
(depends (ocaml (>= 5.0.0)) dune containers oseq))
(depends (ocaml (>= 5.0.0)) dune))

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