fase23-experiments.zip
fase23-experiments-main
.dockerignore
5 Bytes
.gitignore
107 Bytes
CMakeLists.txt
2.2 kB
Dockerfile
2.8 kB
LICENSE
108.8 kB
Makefile.config.in
432 Bytes
README.html
5.1 kB
README.md
4.4 kB
README.pdf
116.0 kB
bank
Makefile
1.3 kB
bank.c
3.9 kB
bank.h
1.2 kB
bankalone.sh
328 Bytes
bankdrio.sh
428 Bytes
bankmonitor.vl.in
20.4 kB
client.c
11.5 kB
common.h
2.6 kB
driobank.sh
448 Bytes
experiments.sh
188 Bytes
genmon.py
530 Bytes
get_compare_vamos_times.sh
191 Bytes
inputs.py
6.6 kB
interact.c
2.5 kB
parse_results.py
843 Bytes
regexbank-dump.sh
12 Bytes
regexbank.sh
2.0 kB
run.sh
1.0 kB
bank-tessla
Makefile
1.7 kB
bank.tessla
3.0 kB
bankmon-pipe.vl
11.0 kB
bankmonitor-gen.vl.in
10.7 kB
bankmonitor.vl.in
11.2 kB
compile.sh
486 Bytes
experiments.sh
1.4 kB
legacy
bankmontessla.c
106.5 kB
spec.tessla
1.2 kB
parse_results.py
930 Bytes
regexbank-dump.sh
12 Bytes
regexbank-tessla-pipe.sh
1.9 kB
regexbank.sh
2.4 kB
runbankinteract.sh
1.3 kB
vendor
bitmaps
.cargo-checksum.json
742 Bytes
CHANGELOG.md
1.3 kB
CODE_OF_CONDUCT.md
3.2 kB
Cargo.toml
1.1 kB
LICENCE.md
15.6 kB
README.md
1.4 kB
src
bitmap.rs
13.3 kB
lib.rs
2.4 kB
types.rs
32.3 kB
im
.cargo-checksum.json
3.2 kB
CHANGELOG.md
19.9 kB
CODE_OF_CONDUCT.md
3.2 kB
Cargo.toml
2.1 kB
LICENCE.md
15.6 kB
README.md
821 Bytes
build.rs
838 Bytes
src
arbitrary.rs
3.1 kB
config.rs
789 Bytes
fakepool.rs
4.1 kB
hash
map.rs
68.3 kB
mod.rs
255 Bytes
set.rs
27.8 kB
iter.rs
1.5 kB
lib.rs
24.2 kB
nodes
btree.rs
48.2 kB
hamt.rs
21.5 kB
mod.rs
528 Bytes
rrb.rs
40.7 kB
ord
map.rs
76.1 kB
mod.rs
255 Bytes
set.rs
32.7 kB
test-fixtures
issue_124.txt
40.8 kB
proptest.rs
4.3 kB
quickcheck.rs
1.2 kB
ser.rs
7.5 kB
sort.rs
7.4 kB
sync.rs
1.7 kB
test.rs
1.9 kB
tests
hashset.rs
2.4 kB
mod.rs
864 Bytes
ordset.rs
2.4 kB
vector.rs
8.5 kB
util.rs
3.9 kB
vector
focus.rs
30.6 kB
mod.rs
88.0 kB
pool.rs
2.1 kB
rayon.rs
4.7 kB
once_cell
.cargo-checksum.json
1.8 kB
CHANGELOG.md
5.6 kB
Cargo.lock
4.9 kB
Cargo.toml
2.3 kB
README.md
2.2 kB
bors.toml
50 Bytes
examples
bench.rs
831 Bytes
bench_acquire.rs
1.3 kB
bench_vs_lazy_static.rs
1.3 kB
lazy_static.rs
1.0 kB
reentrant_init_deadlocks.rs
351 Bytes
regex.rs
1.7 kB
test_synchronization.rs
1.2 kB
src
imp_cs.rs
2.5 kB
imp_pl.rs
5.8 kB
imp_std.rs
13.0 kB
lib.rs
45.7 kB
race.rs
12.7 kB
tests
it.rs
26.1 kB
rand_core
.cargo-checksum.json
1.1 kB
CHANGELOG.md
3.4 kB
Cargo.toml
1.4 kB
README.md
3.6 kB
src
block.rs
17.9 kB
error.rs
7.1 kB
impls.rs
7.2 kB
le.rs
1.8 kB
lib.rs
20.6 kB
os.rs
2.5 kB
rand_xoshiro
.cargo-checksum.json
2.2 kB
CHANGELOG.md
1.6 kB
Cargo.toml
1.1 kB
README.md
1.7 kB
src
common.rs
7.3 kB
lib.rs
5.5 kB
splitmix64.rs
6.1 kB
xoroshiro128plus.rs
4.1 kB
xoroshiro128plusplus.rs
4.0 kB
xoroshiro128starstar.rs
4.0 kB
xoroshiro64star.rs
3.0 kB
xoroshiro64starstar.rs
3.0 kB
xoshiro128plus.rs
3.4 kB
xoshiro128plusplus.rs
3.8 kB
xoshiro128starstar.rs
3.8 kB
xoshiro256plus.rs
4.2 kB
xoshiro256plusplus.rs
4.2 kB
xoshiro256starstar.rs
4.2 kB
xoshiro512plus.rs
4.5 kB
xoshiro512plusplus.rs
4.6 kB
xoshiro512starstar.rs
4.5 kB
tests
serde.rs
1.8 kB
sized-chunks
.cargo-checksum.json
2.0 kB
CHANGELOG.md
7.7 kB
CODE_OF_CONDUCT.md
3.2 kB
Cargo.toml
1.3 kB
LICENCE.md
15.6 kB
README.md
1.1 kB
src
arbitrary.rs
2.9 kB
inline_array
iter.rs
1.7 kB
mod.rs
22.2 kB
lib.rs
6.1 kB
ring_buffer
index.rs
4.1 kB
iter.rs
5.2 kB
mod.rs
35.1 kB
refpool.rs
2.1 kB
slice.rs
15.8 kB
sized_chunk
iter.rs
2.4 kB
mod.rs
41.3 kB
refpool.rs
2.0 kB
sparse_chunk
iter.rs
7.4 kB
mod.rs
14.9 kB
refpool.rs
1.5 kB
tests.rs
404 Bytes
types.rs
1.1 kB
typenum
.cargo-checksum.json
1.9 kB
CHANGELOG.md
4.6 kB
Cargo.toml
1.4 kB
README.md
2.3 kB
clippy.toml
34 Bytes
rustfmt.toml
35 Bytes
src
array.rs
7.8 kB
bit.rs
6.6 kB
int.rs
32.8 kB
lib.rs
5.9 kB
marker_traits.rs
4.9 kB
operator_aliases.rs
5.0 kB
private.rs
14.7 kB
type_operators.rs
16.9 kB
uint.rs
65.6 kB
tests
test.rs
62 Bytes
version_check
.cargo-checksum.json
741 Bytes
Cargo.toml
890 Bytes
README.md
2.7 kB
src
channel.rs
5.4 kB
date.rs
6.2 kB
lib.rs
19.2 kB
version.rs
10.4 kB
vendor.txt
102 Bytes
config.py.in
432 Bytes
dataraces
Makefile
1.2 kB
benchmarks
airline-10.i
32.1 kB
airline-15.i
32.1 kB
airline-20.i
32.1 kB
airline-25.i
32.1 kB
airline-5.i
32.1 kB
bigshot_p.i
55.6 kB
bigshot_s.i
55.6 kB
bigshot_s2.i
55.6 kB
circular_buffer_bad.i
31.3 kB
circular_buffer_ok.i
31.4 kB
condvar.i
30.8 kB
dekker-b.i
30.7 kB
dekker.i
32.9 kB
deterministic.txt
2.4 kB
divinefifo-bug_1w1r.i
49.6 kB
divinefifo_1w1r.i
49.6 kB
elimination_backoff_stack.i
65.5 kB
fib_safe-12-racy.i
30.9 kB
fib_safe-12.i
31.3 kB
fib_unsafe-12-racy.i
30.9 kB
fib_unsafe-12.i
31.3 kB
fillarray.i
46.9 kB
fillarray1.i
47.0 kB
fk2012.i
48.4 kB
fkp2013-1.i
30.5 kB
fkp2013-2.i
30.5 kB
fkp2013_variant-1.i
30.6 kB
fkp2013_variant-2.i
30.6 kB
fkp2014.i
30.6 kB
floating_read-10.i
31.3 kB
floating_read-15.i
31.3 kB
floating_read-20.i
31.3 kB
floating_read-25.i
31.3 kB
floating_read-5.i
31.3 kB
indexer.i
48.0 kB
info.txt
18.9 kB
lamport-b.i
30.8 kB
lamport.i
34.4 kB
lazy01.i
31.4 kB
list1.i
47.3 kB
mix000.oepc.i
38.2 kB
mix000.opt.i
37.7 kB
mix001.oepc.i
39.5 kB
mix001.opt.i
38.4 kB
mix002.oepc.i
37.8 kB
mix002.opt.i
38.5 kB
mix003.oepc.i
37.6 kB
mix003_power.opt_pso.opt_rmo.opt_tso.opt.i
38.3 kB
mix004.oepc.i
38.7 kB
mix004.opt.i
38.9 kB
mix005.opt.i
38.8 kB
mix005_power.oepc_pso.oepc_rmo.oepc.i
38.6 kB
mix005_tso.oepc.i
38.6 kB
mix006.opt.i
38.2 kB
mix006_power.oepc_pso.oepc_rmo.oepc.i
37.5 kB
mix006_tso.oepc.i
44.3 kB
mix007.oepc.i
38.6 kB
mix007.opt.i
38.8 kB
mix008.opt.i
38.7 kB
mix008_power.oepc_pso.oepc_rmo.oepc.i
38.5 kB
mix008_tso.oepc.i
44.9 kB
mix009.oepc.i
36.6 kB
mix009.opt.i
37.8 kB
mix010.oepc.i
37.7 kB
mix010.opt.i
38.4 kB
mix011.opt.i
38.3 kB
mix011_power.oepc_pso.oepc_rmo.oepc.i
37.6 kB
mix011_tso.oepc.i
37.6 kB
mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i
36.4 kB
mix012_pso.opt_tso.opt.i
37.6 kB
mix013.oepc.i
38.7 kB
mix013.opt.i
38.9 kB
mix014.opt.i
38.8 kB
mix014_power.oepc_pso.oepc_rmo.oepc.i
38.6 kB
mix014_tso.oepc.i
44.3 kB
mix015.oepc.i
37.7 kB
mix015.opt.i
38.4 kB
mix016.oepc.i
37.4 kB
mix016_power.opt_rmo.opt.i
37.0 kB
mix016_pso.opt_tso.opt.i
38.1 kB
mix017.oepc.i
38.5 kB
mix017_power.opt_rmo.opt.i
37.6 kB
mix017_pso.opt_tso.opt.i
38.7 kB
mix018.opt.i
38.6 kB
mix018_power.oepc_pso.oepc_rmo.oepc.i
38.5 kB
mix018_tso.oepc.i
38.5 kB
mix019.opt.i
38.0 kB
mix019_power.oepc_pso.oepc_rmo.oepc.i
37.4 kB
mix019_tso.oepc.i
37.3 kB
mix020.oepc.i
38.5 kB
mix020.opt.i
38.6 kB
mix021.opt.i
38.6 kB
mix021_power.oepc_pso.oepc_rmo.oepc.i
38.4 kB
mix021_tso.oepc.i
37.9 kB
mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.3 kB
mix022_tso.i
37.9 kB
mix023_power.oepc_pso.oepc_rmo.oepc.i
38.5 kB
mix023_power.opt_pso.opt_rmo.opt.i
37.5 kB
mix023_tso.i
45.9 kB
mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i
37.6 kB
mix024_power.opt_pso.opt_rmo.opt.i
37.1 kB
mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i
37.4 kB
mix025_pso.opt_rmo.opt.i
36.9 kB
mix026.oepc.i
38.5 kB
mix026_power.opt_tso.opt.i
38.0 kB
mix026_pso.opt_rmo.opt.i
37.5 kB
mix027_power.oepc_pso.oepc_rmo.oepc.i
38.4 kB
mix027_power.opt_pso.opt_rmo.opt.i
37.4 kB
mix027_tso.i
38.4 kB
mix028_power.oepc_pso.oepc_rmo.oepc.i
37.3 kB
mix028_power.opt_pso.opt_rmo.opt.i
37.3 kB
mix028_tso.i
38.4 kB
mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i
38.4 kB
mix029_power.opt_pso.opt_rmo.opt.i
37.9 kB
mix030_power.oepc_pso.oepc_rmo.oepc.i
38.3 kB
mix030_power.opt_pso.opt_rmo.opt.i
37.8 kB
mix030_tso.i
39.0 kB
mix031.oepc.i
36.6 kB
mix031.opt.i
36.2 kB
mix032.oepc.i
37.8 kB
mix032.opt.i
36.8 kB
mix033.opt.i
36.7 kB
mix033_power.oepc_pso.oepc_rmo.oepc.i
37.7 kB
mix033_tso.oepc.i
37.7 kB
mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i
36.4 kB
mix034_pso.opt_tso.opt.i
35.9 kB
mix035.oepc.i
37.5 kB
mix035_power.opt_rmo.opt.i
37.1 kB
mix035_pso.opt_tso.opt.i
36.5 kB
mix036.oepc.i
38.6 kB
mix036_power.opt_rmo.opt.i
37.6 kB
mix036_pso.opt_tso.opt.i
37.1 kB
mix037.opt.i
37.0 kB
mix037_power.oepc_pso.oepc_rmo.oepc.i
38.6 kB
mix037_tso.oepc.i
38.5 kB
mix038.opt.i
36.4 kB
mix038_power.oepc_pso.oepc_rmo.oepc.i
37.4 kB
mix038_tso.oepc.i
37.4 kB
mix039.oepc.i
38.5 kB
mix039.opt.i
37.0 kB
mix040.opt.i
36.9 kB
mix040_power.oepc_pso.oepc_rmo.oepc.i
38.5 kB
mix040_tso.oepc.i
38.0 kB
mix041_power.oepc_pso.oepc_rmo.oepc.i
36.3 kB
mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i
36.3 kB
mix042.oepc.i
37.4 kB
mix042.opt.i
36.9 kB
mix043.oepc.i
38.5 kB
mix043.opt.i
37.5 kB
mix044.opt.i
37.4 kB
mix044_power.oepc_pso.oepc_rmo.oepc.i
38.5 kB
mix044_tso.oepc.i
38.5 kB
mix045_power.oepc_pso.oepc_rmo.oepc.i
37.4 kB
mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i
36.9 kB
mix046.oepc.i
38.5 kB
mix046.opt.i
37.4 kB
mix047_power.oepc_pso.oepc_rmo.oepc.i
38.4 kB
mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i
37.4 kB
mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i
36.3 kB
mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i
37.4 kB
mix050.i
38.4 kB
mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.i
38.3 kB
mix051_pso.opt_rmo.opt_tso.opt.i
36.8 kB
mix051_tso.oepc.i
38.3 kB
mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.i
37.2 kB
mix052_pso.opt_rmo.opt_tso.opt.i
36.2 kB
mix052_tso.oepc.i
37.2 kB
mix053.opt.i
36.7 kB
mix053_power.oepc_pso.oepc_rmo.oepc.i
38.2 kB
mix053_tso.oepc.i
37.7 kB
mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.i
36.1 kB
mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.i
36.1 kB
mix055.opt.i
37.2 kB
mix055_power.oepc_pso.oepc_rmo.oepc.i
38.2 kB
mix055_tso.oepc.i
38.2 kB
mix056_power.oepc_pso.oepc_rmo.oepc.i
37.1 kB
mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i
36.6 kB
mix057_power.oepc_pso.oepc_rmo.oepc.i
38.1 kB
mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i
37.1 kB
nondet-array-1.i
30.6 kB
nondet-array-2.i
30.5 kB
nondet-loop-bound-1.i
30.5 kB
nondet-loop-bound-2.i
30.5 kB
nondet-loop-bound-variant-1.i
30.7 kB
nondet-loop-bound-variant-2.i
30.7 kB
peterson-b.i
30.4 kB
peterson.i
32.0 kB
pthread-demo-datarace-1.i
58.9 kB
pthread-demo-datarace-2.i
59.1 kB
pthread-demo-datarace-3.i
59.4 kB
pthread-finding-k-matches.i
60.5 kB
pthread-numerical-integration.i
61.3 kB
queue.i
44.0 kB
queue_longer.i
44.0 kB
queue_longest.i
44.0 kB
queue_ok.i
43.8 kB
queue_ok_longer.i
43.8 kB
queue_ok_longest.i
43.8 kB
qw2004-1.i
31.2 kB
qw2004-2.i
31.6 kB
qw2004-2b.i
31.7 kB
qw2004_variant.i
31.2 kB
reorder_2-2.i
59.8 kB
reorder_2.i
59.9 kB
reorder_5-2.i
59.4 kB
reorder_5.i
59.5 kB
reorder_c11_bad-10.i
30.7 kB
reorder_c11_bad-20.i
30.7 kB
reorder_c11_bad-30.i
30.7 kB
reorder_c11_bad-40.i
30.7 kB
reorder_c11_bad-50.i
30.7 kB
reorder_c11_good-10.i
30.7 kB
reorder_c11_good-20.i
30.7 kB
reorder_c11_good-30.i
30.7 kB
reorder_c11_good-40.i
30.7 kB
reorder_c11_good-50.i
30.7 kB
rfi000_power.oepc_pso.oepc_rmo.oepc.i
39.7 kB
rfi000_power.opt_pso.opt_rmo.opt.i
36.3 kB
rfi000_tso.i
39.7 kB
rfi001_power.oepc_pso.oepc_rmo.oepc.i
36.3 kB
rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i
36.3 kB
rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
40.4 kB
rfi002_tso.i
43.7 kB
rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.0 kB
rfi003_tso.i
40.3 kB
rfi004.i
36.0 kB
rfi005.i
39.7 kB
rfi006_power.oepc.i
39.5 kB
rfi006_power.opt.i
39.8 kB
rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.i
39.0 kB
rfi006_rmo.i
38.6 kB
rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.3 kB
rfi007_tso.i
37.9 kB
rfi008.oepc.i
38.2 kB
rfi008.opt.i
37.7 kB
rfi009_power.oepc.i
39.6 kB
rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.i
38.6 kB
rfi009_rmo.oepc.i
38.7 kB
rfi010.i
37.6 kB
ring_1w1r-1.i
40.0 kB
ring_1w1r-2.i
39.7 kB
ring_2w1r-1.i
50.0 kB
ring_2w1r-2.i
49.9 kB
safe000_power.oepc.i
41.7 kB
safe000_power.opt.i
39.1 kB
safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.9 kB
safe000_rmo.i
40.8 kB
safe001_power.oepc.i
41.6 kB
safe001_power.opt_pso.oepc_pso.opt_rmo.opt.i
37.2 kB
safe001_rmo.oepc.i
40.7 kB
safe001_tso.i
32.8 kB
safe002_power.oepc.i
41.7 kB
safe002_power.opt_pso.oepc_pso.opt_rmo.opt.i
36.8 kB
safe002_rmo.oepc.i
40.8 kB
safe002_tso.i
32.9 kB
safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
40.7 kB
safe003_power.opt.i
39.1 kB
safe003_tso.i
32.9 kB
safe004_power.oepc_pso.oepc_rmo.oepc.i
40.6 kB
safe004_power.opt_pso.opt_rmo.opt.i
37.2 kB
safe004_tso.i
32.8 kB
safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.9 kB
safe005_tso.i
32.9 kB
safe006_power.oepc-thin000_power.oepc.i
37.2 kB
safe006_power.opt-thin000_power.opt.i
37.9 kB
safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.4 kB
safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.i
36.3 kB
safe007_power.oepc-thin001_power.oepc.i
37.8 kB
safe007_power.opt-thin001_power.opt.i
38.6 kB
safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.9 kB
safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.i
37.0 kB
safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
37.2 kB
safe008_power.opt.i
39.0 kB
safe008_tso.i
32.8 kB
safe009_power.oepc.i
39.8 kB
safe009_power.opt.i
38.9 kB
safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.7 kB
safe009_rmo.oepc.i
39.0 kB
safe009_rmo.opt.i
37.7 kB
safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.1 kB
safe010_tso.i
32.2 kB
safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i
37.1 kB
safe011_power.opt_pso.opt.i
37.1 kB
safe011_tso.i
32.7 kB
safe012_power.oepc.i
37.8 kB
safe012_power.opt.i
38.6 kB
safe012_pso.oepc_pso.opt_rmo.opt.i
36.8 kB
safe012_rmo.oepc.i
36.9 kB
safe012_tso.i
32.9 kB
safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.8 kB
safe013_tso.i
32.8 kB
safe014_power.oepc.i
37.8 kB
safe014_power.opt.i
38.1 kB
safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.9 kB
safe014_rmo.oepc.i
36.9 kB
safe014_rmo.opt.i
40.8 kB
safe015_power.oepc.i
42.3 kB
safe015_power.opt.i
41.7 kB
safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.9 kB
safe015_rmo.i
40.8 kB
safe016_power.oepc.i
40.3 kB
safe016_power.opt.i
41.3 kB
safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i
33.1 kB
safe016_rmo.oepc.i
39.4 kB
safe016_rmo.opt.i
40.4 kB
safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
37.1 kB
safe017_tso.i
32.6 kB
safe018_power.oepc.i
37.7 kB
safe018_power.opt.i
40.3 kB
safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.8 kB
safe018_rmo.oepc.i
36.8 kB
safe018_rmo.opt.i
39.0 kB
safe019_power.oepc.i
40.4 kB
safe019_power.opt.i
41.3 kB
safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i
33.2 kB
safe019_rmo.oepc.i
39.5 kB
safe019_rmo.opt.i
40.0 kB
safe020_power.i
40.2 kB
safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.8 kB
safe020_rmo.i
39.0 kB
safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i
37.2 kB
safe021_power.opt_pso.opt.i
37.2 kB
safe021_tso.i
32.8 kB
safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.2 kB
safe022_tso.i
32.3 kB
safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
41.3 kB
safe023_tso.i
32.9 kB
safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.9 kB
safe024_tso.i
32.9 kB
safe025_power.i
42.4 kB
safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.9 kB
safe025_rmo.i
40.9 kB
safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
37.1 kB
safe026_tso.i
32.7 kB
safe027_power.oepc.i
40.0 kB
safe027_power.opt.i
41.4 kB
safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i
33.3 kB
safe027_rmo.i
39.1 kB
safe028_power.i
40.3 kB
safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i
32.9 kB
safe028_rmo.i
39.1 kB
safe029_power.oepc_pso.oepc_rmo.oepc.i
36.0 kB
safe029_power.opt_pso.opt_rmo.opt.i
36.0 kB
safe029_tso.i
32.1 kB
safe030_power.oepc_pso.oepc_rmo.oepc.i
37.0 kB
safe030_power.opt_pso.opt_rmo.opt.i
36.5 kB
safe030_tso.i
32.6 kB
safe031_power.oepc_pso.oepc_rmo.oepc.i
36.7 kB
safe031_power.opt_pso.opt_rmo.opt.i
36.7 kB
safe031_tso.i
32.7 kB
safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
40.8 kB
safe032_tso.i
32.9 kB
safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
35.7 kB
safe033_tso.i
32.3 kB
safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i
36.3 kB
safe034_tso.i
32.9 kB
safe035_power.i
43.2 kB
safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i
33.1 kB
safe036.i
32.4 kB
safe037.i
33.0 kB
safestack_relacy.i
79.2 kB
scull.i
35.0 kB
sigma-s.i
56.0 kB
singleton-b.i
55.9 kB
singleton.i
56.4 kB
singleton_with-uninit-problems-b.i
56.0 kB
singleton_with-uninit-problems.i
56.4 kB
stack-1.i
42.8 kB
stack-2.i
42.8 kB
stack_longer-1.i
42.8 kB
stack_longer-2.i
42.8 kB
stack_longest-1.i
42.8 kB
stack_longest-2.i
42.8 kB
stateful01-1.i
30.9 kB
stateful01-2.i
30.9 kB
szymanski-b.i
30.6 kB
thin002_power.oepc.i
38.5 kB
thin002_power.opt.i
39.3 kB
thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i
33.4 kB
thin002_rmo.i
37.6 kB
time_var_mutex.i
30.9 kB
tls_basic.i
31.3 kB
tls_destructor_worker.i
30.8 kB
triangular-1.i
31.0 kB
triangular-2.i
31.0 kB
triangular-longer-1.i
31.0 kB
triangular-longer-2.i
31.0 kB
triangular-longest-1.i
31.0 kB
triangular-longest-2.i
31.0 kB
twostage_3-2.i
61.2 kB
twostage_3.i
61.3 kB
workstealqueue_mutex-1.i
80.8 kB
workstealqueue_mutex-2.i
80.8 kB
dataracebench
experiments.sh
945 Bytes
harness.c
5.3 kB
libclang_rt.tsan-x86_64.a
3.1 MB
monitor.cpp
18.1 kB
monitor.h
1.0 kB
monitor.txt
13.0 kB
randomharness.py
1.8 kB
run.py
9.7 kB
simpletest.c
2.0 kB
svcomp_atomic.c
254 Bytes
triangular-1.c
1.2 kB
full-experiments.sh
239 Bytes
mid-experiments.sh
238 Bytes
plots
Makefile
3.6 kB
README.md
1.5 kB
original-data
bank
bank-1-1024-100000.csv
1.4 kB
bank-1-128-100000.csv
1.8 kB
bank-1-16-100000.csv
2.0 kB
bank-1-2048-100000.csv
1.4 kB
bank-1-256-100000.csv
1.8 kB
bank-1-32-100000.csv
1.9 kB
bank-1-4-100000.csv
2.0 kB
bank-1-512-100000.csv
1.6 kB
bank-1-64-100000.csv
1.8 kB
bank-tessla
bank-1-1024-100000-ERR-10.csv
435 Bytes
bank-1-1024-100000-ERR-100.csv
429 Bytes
bank-1-1024-100000-ERR-1000.csv
417 Bytes
bank-1-1024-100000-ERR-5.csv
427 Bytes
bank-1-1024-100000.csv
3.7 kB
bank-1-128-100000-ERR-10.csv
457 Bytes
bank-1-128-100000-ERR-100.csv
448 Bytes
bank-1-128-100000-ERR-1000.csv
439 Bytes
bank-1-128-100000-ERR-5.csv
445 Bytes
bank-1-128-100000.csv
3.9 kB
bank-1-16-100000-ERR-10.csv
466 Bytes
bank-1-16-100000-ERR-100.csv
456 Bytes
bank-1-16-100000-ERR-1000.csv
445 Bytes
bank-1-16-100000-ERR-5.csv
458 Bytes
bank-1-16-100000.csv
4.1 kB
bank-1-2048-100000-ERR-10.csv
438 Bytes
bank-1-2048-100000-ERR-100.csv
428 Bytes
bank-1-2048-100000-ERR-1000.csv
416 Bytes
bank-1-2048-100000-ERR-5.csv
428 Bytes
bank-1-2048-100000.csv
3.7 kB
bank-1-256-100000-ERR-10.csv
456 Bytes
bank-1-256-100000-ERR-100.csv
445 Bytes
bank-1-256-100000-ERR-1000.csv
435 Bytes
bank-1-256-100000-ERR-5.csv
446 Bytes
bank-1-256-100000.csv
3.9 kB
bank-1-32-100000-ERR-10.csv
464 Bytes
bank-1-32-100000-ERR-100.csv
456 Bytes
bank-1-32-100000-ERR-1000.csv
444 Bytes
bank-1-32-100000-ERR-5.csv
458 Bytes
bank-1-32-100000.csv
4.0 kB
bank-1-4-100000-ERR-10.csv
474 Bytes
bank-1-4-100000-ERR-100.csv
465 Bytes
bank-1-4-100000-ERR-1000.csv
465 Bytes
bank-1-4-100000-ERR-5.csv
468 Bytes
bank-1-4-100000.csv
4.3 kB
bank-1-512-100000-ERR-10.csv
439 Bytes
bank-1-512-100000-ERR-100.csv
427 Bytes
bank-1-512-100000-ERR-1000.csv
422 Bytes
bank-1-512-100000-ERR-5.csv
424 Bytes
bank-1-512-100000.csv
3.7 kB
bank-1-64-100000-ERR-10.csv
458 Bytes
bank-1-64-100000-ERR-100.csv
447 Bytes
bank-1-64-100000-ERR-1000.csv
437 Bytes
bank-1-64-100000-ERR-5.csv
447 Bytes
bank-1-64-100000.csv
3.9 kB
dataraces
results-pure.csv
166.1 kB
results.csv
406.8 kB
primes
errors_stats.csv
2.6 kB
times-8-1024-10000.csv
2.6 kB
times-8-1024-20000.csv
2.6 kB
times-8-1024-30000.csv
2.6 kB
times-8-1024-40000.csv
2.6 kB
times-8-128-10000.csv
2.8 kB
times-8-128-20000.csv
2.8 kB
times-8-128-30000.csv
2.8 kB
times-8-128-40000.csv
2.8 kB
times-8-2048-10000.csv
2.6 kB
times-8-2048-20000.csv
2.6 kB
times-8-2048-30000.csv
2.6 kB
times-8-2048-40000.csv
2.6 kB
times-8-512-10000.csv
2.6 kB
times-8-512-20000.csv
2.7 kB
times-8-512-30000.csv
2.6 kB
times-8-512-40000.csv
2.7 kB
times.csv
29.5 kB
primes-tessla
all.csv
21.0 kB
tessla-align-8-1024-40000.csv
360 Bytes
tessla-align-8-128-40000.csv
360 Bytes
tessla-align-8-16-40000.csv
330 Bytes
tessla-align-8-256-40000.csv
360 Bytes
tessla-align-8-32-40000.csv
332 Bytes
tessla-align-8-4-40000.csv
315 Bytes
tessla-align-8-512-40000.csv
360 Bytes
tessla-align-8-64-40000.csv
352 Bytes
tessla-align-8-8-40000.csv
330 Bytes
tessla-all.csv
19.0 kB
tessla-alternate-8-1024-40000.csv
360 Bytes
tessla-alternate-8-128-40000.csv
309 Bytes
tessla-alternate-8-16-40000.csv
276 Bytes
tessla-alternate-8-256-40000.csv
360 Bytes
tessla-alternate-8-32-40000.csv
283 Bytes
tessla-alternate-8-4-40000.csv
259 Bytes
tessla-alternate-8-512-40000.csv
360 Bytes
tessla-alternate-8-64-40000.csv
298 Bytes
tessla-alternate-8-8-40000.csv
261 Bytes
tessla-forward-8-1024-40000.csv
297 Bytes
tessla-forward-8-128-40000.csv
298 Bytes
tessla-forward-8-16-40000.csv
297 Bytes
tessla-forward-8-256-40000.csv
298 Bytes
tessla-forward-8-32-40000.csv
299 Bytes
tessla-forward-8-4-40000.csv
294 Bytes
tessla-forward-8-512-40000.csv
298 Bytes
tessla-forward-8-64-40000.csv
298 Bytes
tessla-forward-8-8-40000.csv
298 Bytes
scalability
numbers-8-10000000-1.csv
35.6 kB
scripts
bank-analyze.py
4.4 kB
dataraces-analyze.ipynb
153.6 kB
dataraces-analyze.py
13.7 kB
numbers-plot.py
2.0 kB
primes-plot.py
3.4 kB
primes-process.py
4.7 kB
primes-tessla-analyze.py
1.5 kB
primes-tessla-merge.py
786 Bytes
requirements.txt
48 Bytes
primes
.gitignore
9 Bytes
Makefile
692 Bytes
README.md
275 Bytes
avgcsv.py
827 Bytes
emptymonitor.c
11.2 kB
experiments-tessla.sh
2.3 kB
experiments.sh
569 Bytes
gennums_hardcoded.c
1.2 kB
isprime.c
190 Bytes
measure.py
6.0 kB
measure2.py
7.1 kB
monitor-primes.c
1.6 kB
old_times
times-man-1-128-10000.csv
6.7 kB
times-man-1-128-20000.csv
6.8 kB
times-man-1-128-30000.csv
6.9 kB
times-man-1-256-10000.csv
6.7 kB
times-man-1-256-20000.csv
6.8 kB
times-man-1-256-30000.csv
6.9 kB
times-man-1-512-10000.csv
6.7 kB
times-man-1-512-20000.csv
6.8 kB
times-man-1-512-30000.csv
6.9 kB
times-man-1-64-10000.csv
6.7 kB
times-man-1-64-20000.csv
6.9 kB
times-man-1-64-30000.csv
7.0 kB
times-man-1-8-10000.csv
6.7 kB
times-man-1-8-20000.csv
6.9 kB
times-man-1-8-30000.csv
7.0 kB
times-man-16-128-10000.csv
5.8 kB
times-man-16-128-20000.csv
6.0 kB
times-man-16-128-30000.csv
6.0 kB
times-man-16-256-10000.csv
5.8 kB
times-man-16-256-20000.csv
6.0 kB
times-man-16-256-30000.csv
6.0 kB
times-man-16-512-10000.csv
5.8 kB
times-man-16-512-20000.csv
6.0 kB
times-man-16-512-30000.csv
6.0 kB
times-man-16-64-10000.csv
5.9 kB
times-man-16-64-20000.csv
6.0 kB
times-man-16-64-30000.csv
6.1 kB
times-man-16-8-10000.csv
5.9 kB
times-man-16-8-20000.csv
6.1 kB
times-man-16-8-30000.csv
6.1 kB
times-man-32-128-10000.csv
5.8 kB
times-man-32-128-20000.csv
6.0 kB
times-man-32-128-30000.csv
6.0 kB
times-man-32-256-10000.csv
5.8 kB
times-man-32-256-20000.csv
6.0 kB
times-man-32-256-30000.csv
6.0 kB
times-man-32-512-10000.csv
5.8 kB
times-man-32-512-20000.csv
6.0 kB
times-man-32-512-30000.csv
6.0 kB
times-man-32-64-10000.csv
5.9 kB
times-man-32-64-20000.csv
6.0 kB
times-man-32-64-30000.csv
6.1 kB
times-man-32-8-10000.csv
5.9 kB
times-man-32-8-20000.csv
6.1 kB
times-man-32-8-30000.csv
6.1 kB
times-man-8-128-10000.csv
5.8 kB
times-man-8-128-20000.csv
6.0 kB
times-man-8-128-30000.csv
6.0 kB
times-man-8-256-10000.csv
5.8 kB
times-man-8-256-20000.csv
6.0 kB
times-man-8-256-30000.csv
6.0 kB
times-man-8-512-10000.csv
5.8 kB
times-man-8-512-20000.csv
6.0 kB
times-man-8-512-30000.csv
6.0 kB
times-man-8-64-10000.csv
5.8 kB
times-man-8-64-20000.csv
6.0 kB
times-man-8-64-30000.csv
6.1 kB
times-man-8-8-10000.csv
5.9 kB
times-man-8-8-20000.csv
6.0 kB
times-man-8-8-30000.csv
6.1 kB
primes-2.c
1.1 kB
primes-2.py
1.0 kB
primes-align-tessla.txt.in
4.0 kB
primes-align2-tessla.txt.in
1.6 kB
primes-bad.c
4.3 kB
primes-tessla.txt.in
1.2 kB
primes.c
5.0 kB
primes.java
6.2 kB
primes.py
1.1 kB
primes.tessla
590 Bytes
primes.txt.in
3.8 kB
primes_old.txt.in
3.7 kB
run-c.py
5.2 kB
run-tessla.sh
1.1 kB
run_common.py
8.0 kB
runprimes-bad.sh
327 Bytes
runprimes-dr-bad.sh
821 Bytes
runprimes-dr.sh
814 Bytes
runprimes.sh
499 Bytes
shm_prepare_programs.py
2.1 kB
tessla-test.sh
1.3 kB
scalability
Makefile
2.0 kB
README.md
559 Bytes
benchmark.c
962 Bytes
experiments.sh
518 Bytes
measure.py
6.8 kB
monitor-manual.c
3.4 kB
monitor.txt.in
755 Bytes
run.py
3.6 kB
run_common.py
2.5 kB
source.c
2.6 kB
scripts
run-experiments.sh
215 Bytes
setup-full.sh
206 Bytes
setup-mid.sh
427 Bytes
setup-short.sh
427 Bytes
setup-vars.sh.in
492 Bytes
setup.sh
1.2 kB
short-experiments.sh
240 Bytes
tessla
bankmon
Cargo.lock
2.1 kB
Cargo.toml
197 Bytes
lib_tessla
Cargo.toml
294 Bytes
DO_NOT_MODIFY.md
140 Bytes
src
io.rs
1.8 kB
lib.rs
468 Bytes
list.rs
4.2 kB
map.rs
4.0 kB
parse.rs
11.4 kB
set.rs
4.0 kB
stream.rs
19.4 kB
tuple.rs
5.2 kB
value.rs
15.5 kB
src
connector.rs
3.4 kB
monitor.rs
31.1 kB