Prune taskparallel dir - #4

Open

erickoskinen wants to merge 284 commits into

mainfrom

prune-taskparallel-dir

This pull request is big! We're only showing the most recent 250 commits

Commits on Apr 11, 2024

print_dag: grey/white nodes
erickoskinen
committed
2dd5a14
print_pdg/dag: thicker edges if loop_carried
erickoskinen
committed
92589d5
fix dag nodes label
pFathololumi
committed
90de37e

Commits on Apr 19, 2024

merge DAG
pFathololumi
committed
ddf886e

Commits on Apr 22, 2024

thread partitioning
pFathololumi
committed
f492623

Commits on Apr 23, 2024

Commits on Apr 25, 2024

fix tasks dependencies
pFathololumi
committed
46d1267
fix types for dependency
pFathololumi
committed
929fafc

Commits on Apr 29, 2024

add support for commute dependency in pdg
pFathololumi
committed
910fc75

Commits on Apr 30, 2024

some SendDep and task printing
erickoskinen
committed
102a072
fix task dependencies
pFathololumi
committed
2ea3832
more sendDep
erickoskinen
committed
0e417b8
array version of ps-dswp
erickoskinen
committed
72ed496
no more example task generation
erickoskinen
committed
ede8c49
ps-dwp.vcy for/while
erickoskinen
committed
0ae76bf
some senddep cleanup
erickoskinen
committed
a647683

Commits on May 1, 2024

Commits on May 2, 2024

minor task visualization improvements
erickoskinen
committed
fc24864
fix data dependency analysis
pFathololumi
committed
9038599
Merge branch 'global_commutativity' of https://github.com/veracity-lang/veracity-dev into global_commutativity
pFathololumi
committed
cd44fd7
minor
erickoskinen
committed
eb33337
minor
erickoskinen
committed
2877865
fix global variables
pFathololumi
committed
13560c0
simple_frag
erickoskinen
committed
8934a3a

Commits on May 3, 2024

Try to add IO specs.
Crazycolorz5
committed
365aa74
Basic working version of realWorld variables.
Crazycolorz5
committed
cf9b6d1
Add ideas to the notes.
Crazycolorz5
committed
99d4996
Add states_eq for realWorld
Crazycolorz5
committed
4cc6e5e
Fix syntax errors.
Crazycolorz5
committed
e20868b
Remove debug print statement.
Crazycolorz5
committed
9ec2d7b
Minimal example working.
Crazycolorz5
committed
ca04f5f
Fix bugs and simplify model.
Crazycolorz5
committed
1ce32eb
Continue working on specs.
Crazycolorz5
committed
4e88273
Add postconditions for other IO methods and have working example.
Crazycolorz5
committed
094ed7f
Add asserts to lib specs and make example more compelling.
Crazycolorz5
committed
75f3300
Move around and add examples.
Crazycolorz5
committed
2a4f997
Add additional io functions requested and an example of one's use.
Crazycolorz5
committed
f17ad96
Add uninterpreted functions for function definitions.
Crazycolorz5
committed
fc70572
Add example.
Crazycolorz5
committed
20b4b62
Add md5 benchmarking.
Crazycolorz5
committed
7bc7927
Add two global commutativity examples.
Crazycolorz5
committed
7fa9389
Fix some syntax errors.
Crazycolorz5
committed
f3bc3d1
simple_vector_while
erickoskinen
committed
ed4fafc
fix send dependencies issue
pFathololumi
committed
d5c3d14
Merge branch 'global_commutativity' of https://github.com/veracity-lang/veracity-dev into global_commutativity
pFathololumi
committed
6821f02

Commits on May 4, 2024

bugfix
erickoskinen
committed
f915c10

Commits on May 6, 2024

fix merging labeled blocks
pFathololumi
committed
8dcb1bc

Commits on May 7, 2024

fix parser
pFathololumi
committed
d374c58
infer/verify global commutativity
pFathololumi
committed
1cd3fac
fix commute blocks dependencies
pFathololumi
committed
987fda4
add commute condition into tasks
pFathololumi
committed
708b11a

Commits on May 9, 2024

Support for "interp --dswp"
erickoskinen
committed
3044e13
fix data dependency in commute blocks
pFathololumi
committed
5c3fcb9

Commits on May 10, 2024

add dependencies to SendDep
pFathololumi
committed
9318319
initial support for ps-dswp execution mode
erickoskinen
committed
5d798f4
more PS-DSWP
erickoskinen
committed
e8b5542

Commits on May 16, 2024

more dswp mode
erickoskinen
committed
42857d4

Commits on May 17, 2024

Commits on May 20, 2024

Commits on May 21, 2024

Prelimiary implementation of SendEOP.
Crazycolorz5
committed
f429a2f
add SendEOP in tasks
pFathololumi
committed
7dede68
add task0
pFathololumi
committed
5536386

Commits on May 22, 2024

Changes to ps-dswp2 example.
Crazycolorz5
committed
41291ab
Clean up print statement, make compilation a togglable flag, fix compiler warnings.
Crazycolorz5
committed
d903779
Some more code cleanup. Depricate ast_to_c.ml.
Crazycolorz5
committed
03e35f2
Add some printing modes. Fix an example.
Crazycolorz5
committed
4c56a5d
Work on ex.
Crazycolorz5
committed
62df6b4
Make printing prettier.
Crazycolorz5
committed
03c8742
Make printing prettier (again).
Crazycolorz5
committed
a9ef2cf
Add missing pretty print function.
Crazycolorz5
committed
19b8680
Add missing matching cases.
Crazycolorz5
committed
46ba4be
Add (unusued) draft of new senddep that can handle multiple input dependencies.
Crazycolorz5
committed
55b5337

Commits on May 23, 2024

support for --time in dswp mode
erickoskinen
committed
eaf7201
Initial implementation of new scheduler aand commute stuff.
Crazycolorz5
committed
aea6ea7
Remove extraneous statement from simple_vector (see simple_vector_err)
Crazycolorz5
committed
fe869d0
dswp scaling experiments
erickoskinen
committed
be13d68
support for argv/argc in dswp mode
erickoskinen
committed
9dfa4bd
minor
erickoskinen
committed
e006eb0
Add it so that a send_dep does not have to wait on its parent if its parent is the caller.
Crazycolorz5
committed
da5fc60
Fix rebase build error.
Crazycolorz5
committed
5a36d7b
Somehow this file got changed. Revert it to show error.
Crazycolorz5
committed
d82dfb7

Commits on Jun 18, 2024

Shift location of wait in ps-dswp to show gfains from parallelization.
Crazycolorz5
committed
a4e2708
commset benchmark
pFathololumi
committed
d07bf3f

Commits on Jun 19, 2024

Change dependency checking to per-job instead of per-task.
Crazycolorz5
committed
aecc8ab

Commits on Jun 24, 2024

Commits on Jun 26, 2024

Preliminary structure for phi evaluation across two environments.
Crazycolorz5
committed
b19a44c

Commits on Jun 27, 2024

Fix some errors in the test case.
Crazycolorz5
committed
816bda8

Commits on Jul 1, 2024

add formals to commute_cond
pFathololumi
committed
ea626a2
Some work towards binding separate commute conds.
Crazycolorz5
committed
999c39e
fix dependencies
pFathololumi
committed
6e287b3
Merge branch 'global_commutativity' of https://github.com/veracity-lang/veracity-dev into global_commutativity
pFathololumi
committed
d3206a2
Make formals only strings.
Crazycolorz5
committed
84eb202
Reach compilable state.
Crazycolorz5
committed
29e5e9d
substitute
pFathololumi
committed
90c925f
vote-infer and vote-run
erickoskinen
committed
e1fecf6

Commits on Jul 2, 2024

fix vote-infer
pFathololumi
committed
76b4ca1
fix substitutions
pFathololumi
committed
1e2650b
Add debug output on bind formals failure.
Crazycolorz5
committed
edfedb9
Update simple.vcy
Crazycolorz5
committed
f2918fc
Make simple.vcy work.
Crazycolorz5
committed
2fa312e
minor
pFathololumi
committed
c09cc35

Commits on Jul 3, 2024

Commits on Jul 5, 2024

debug vote-infer
pFathololumi
committed
70bf4ff

Commits on Jul 8, 2024

Update to new commit of servois2.
Crazycolorz5
committed
84d2e57
move declarations to task0
pFathololumi
committed
0593d62

Commits on Jul 10, 2024

Commits on Jul 11, 2024

Mutex auto-initialization (warns on debug mode)
Crazycolorz5
committed
6060c39
fix reconstructing AST
pFathololumi
committed
a6ce97b
change init task
pFathololumi
committed
99c9a0f
Starting to implement init_job
Crazycolorz5
committed
71f16d8
Make init_job.
Crazycolorz5
committed
9296755
Reach compilable state.
Crazycolorz5
committed
0217f34

Commits on Jul 12, 2024

Debugged.
Crazycolorz5
committed
086c29c
Bug fixes.
Crazycolorz5
committed
1ee74f6
Get to runnable state.
Crazycolorz5
committed
3907c13
fix init task jobs
pFathololumi
committed
67e313c
minor
pFathololumi
committed
3c0d8f8
minor
pFathololumi
committed
dee6a84
Add a lot of debug messages and fix init tasks not waiting on tasks with many jobs.
Crazycolorz5
committed
1d77616

Commits on Jul 18, 2024

Initial implementation of commutativity in init_job.
Crazycolorz5
committed
694d3b6
minor
pFathololumi
committed
3b99515
Various; minor
Crazycolorz5
committed
dfae2b1
Make debug more readable, fix simple_vector
Crazycolorz5
committed
90498a3
Fix waiting for commutative deps.
Crazycolorz5
committed
6ecf7e8

Commits on Jul 23, 2024

Commits on Jul 26, 2024

Scale vote-run scalingfactor accordinly to match other benches.
Crazycolorz5
committed
233e958
Add commset benching.
Crazycolorz5
committed
4127cdb
refine benchmarking commset.
Crazycolorz5
committed
5a831ed

Commits on Jul 29, 2024

fix self commute
pFathololumi
committed
38fd477
uninterp functions
pFathololumi
committed
a90a363

Commits on Aug 1, 2024

Create workaround.
Crazycolorz5
committed
565ba3a
Update servois2 commit.
Crazycolorz5
committed
13c17b1

Commits on Aug 2, 2024

plot script
pFathololumi
committed
14e4061

Commits on Aug 6, 2024

minor
pFathololumi
committed
c3580d8

Commits on Aug 12, 2024

Rename some files for consistency/clarity.
Crazycolorz5
committed
bf84074
minor fix
pFathololumi
committed
c728767
new benchmarks
pFathololumi
committed
c59109f
fix benchmark
pFathololumi
committed
e024c28
Increase busy wait for multi-blocks by 1000x
Crazycolorz5
committed
324c2dc
add benchmark to script
pFathololumi
committed
c2c0af1
Make commset and simple-io IO rate limited. Adjust speedup dswp appropriately.
Crazycolorz5
committed
5cc4493

Commits on Aug 14, 2024

Add toggleable threads option for dswp mode.
Crazycolorz5
committed
96862d1

Commits on Aug 15, 2024

minor fix
pFathololumi
committed
49e02e2

Commits on Aug 16, 2024

Merge branch 'global_commutativity' of https://github.com/veracity-lang/veracity-dev into global_commutativity
pFathololumi
committed
81dbc52

Commits on Aug 26, 2024

motivation benchmark
pFathololumi
committed
08a896b

Commits on Aug 30, 2024

wrong merge of return
pFathololumi
committed
b812481
missing data dependency for SBlock
pFathololumi
committed
cfbac9c

Commits on Sep 3, 2024

minor
pFathololumi
committed
13df490

Commits on Sep 9, 2024

fix some variable scoping issues.
Crazycolorz5
committed
3eda3d1
send_dep non-blocking, block in new thread waiting for deps.
Crazycolorz5
committed
eefe616
Correct notes.
Crazycolorz5
committed
3d0c2bb

Commits on Sep 11, 2024

readme edits
erickoskinen
committed
2dba265
arran runs
erickoskinen
committed
ae2502e
Merge branch 'global_commutativity' of github.com:veracity-lang/veracity-dev into global_commutativity
erickoskinen
committed
2c9c87b
edit plot
pFathololumi
committed
78986aa
new motivation benchmark
pFathololumi
committed
a340fe6

Commits on Sep 16, 2024

Remove waiting on EOP.
Crazycolorz5
committed
f10c997
Fix empty waits on init jobs
Crazycolorz5
committed
f1ca527
Add some notes on non-empty waits.
Crazycolorz5
committed
ea22c5f
Add notes on benchmarks.
Crazycolorz5
committed
e58d4cf
add empty data dep edges
pFathololumi
committed
94d2a6e

Commits on Sep 19, 2024

Add starting processes and waiting in topological order.
Crazycolorz5
committed
3ef354d

Commits on Sep 24, 2024

Update benchmark notes.
Crazycolorz5
committed
8b61728

Commits on Sep 25, 2024

Add cases for self-loops in topsort algorithm (ignore them)
Crazycolorz5
committed
db1661f
fix redundant tasks
pFathololumi
committed
579a2a3
merge
pFathololumi
committed
93b7246

Commits on Sep 26, 2024

Commits on Oct 2, 2024

Make waiting only on un-finished jobs.
Crazycolorz5
committed
2d6979e
new plot
pFathololumi
committed
071e9a4

Commits on Oct 4, 2024

Commits on Oct 6, 2024

make a flag for new job data-dep
pFathololumi
committed
9b0bef8

Commits on Oct 7, 2024

Commits on Oct 8, 2024

Modify parameters to motivation in speedup script.
Crazycolorz5
committed
bdf740b
fix index out of bound issue
pFathololumi
committed
5cd8e59

Commits on Oct 9, 2024

fix data dependency lifting
pFathololumi
committed
89950b7
Make motivation's scaling factor bigger.
Crazycolorz5
committed
ba5d141

Commits on Oct 10, 2024

new run
Parisa Fathololumi
committed
6d6ffdf

Commits on Oct 11, 2024

minor edit in plot script
pFathololumi
committed
4fe2016

Commits on Oct 14, 2024

script for no commutativity
pFathololumi
committed
3321f36
minor
pFathololumi
committed
7c1bc04
new run on arran
Parisa Fathololumi
committed
0b09348

Commits on Oct 15, 2024

run for non commutativity in arran
Parisa Fathololumi
committed
5291206
missed files
Parisa Fathololumi
committed
88fa7c6
fix unmerged dependencies
pFathololumi
committed
9b68773
Improve some benchmarks
Crazycolorz5
committed
3cd3e98
make motivation work on bigger numbers.
Crazycolorz5
committed
faaa8fd
new plot arran
Parisa Fathololumi
committed
d9a3b5a
new run non commute
Parisa Fathololumi
committed
59de64f
new plots + minor edits
pFathololumi
committed
b9191f0

Commits on Oct 22, 2024

new script + plots
pFathololumi
committed
eb714ac

Commits on Oct 23, 2024

script for no NB
pFathololumi
committed
46ff854
new run in arran
Parisa Fathololumi
committed
8858c4c

Commits on Oct 25, 2024

sec5 example
erickoskinen
committed
08890ab

Commits on Oct 29, 2024

Commits on Nov 5, 2024

Commits on Nov 6, 2024

fix bugs to ignore SBlock with no label
pFathololumi
committed
44bde93

Commits on Nov 7, 2024

new results on arran
Parisa Fathololumi
committed
31d168e

Commits on Nov 8, 2024

fix a bug
pFathololumi
committed
a8173cd
new run for multi-blocks
Parisa Fathololumi
committed
673a113

Commits on Nov 11, 2024

Update simple-vector.vcy
Crazycolorz5
authored
139df30

Commits on Nov 12, 2024

Add version of simple-io that can be verified.
Crazycolorz5
committed
cced171
change plots style
pFathololumi
committed
fedc568
Add version of commset that can verify
Crazycolorz5
committed
2c93bb8
Merge branch 'global_commutativity' of https://github.com/veracity-lang/veracity-dev into global_commutativity
pFathololumi
committed
b25acd0
multi-blocks
Parisa Fathololumi
committed
d5606ce

Commits on Nov 13, 2024

new run on Arran
Parisa Fathololumi
committed
d5714a6

Commits on Nov 14, 2024

manually add dependency for simple-io
Parisa Fathololumi
committed
2706bac

Commits on Nov 15, 2024

minor cleanup
pFathololumi
committed
a088ebf

Commits on Jan 24, 2025

Merge branch 'main' into global_commutativity
Crazycolorz5
committed
37a58e9

Commits on Jan 27, 2025

Merge pull request #1 from veracity-lang/global_commutativity
Crazycolorz5
authored
b78f1e0

Commits on Feb 26, 2025

pruning unused taskparallel folder
erickoskinen
committed
285dc05