Commit 06dd1361 authored by Philipp Meyer's avatar Philipp Meyer

Update protocol generator script

parent 3ef9ccea
...@@ -33,7 +33,7 @@ done ...@@ -33,7 +33,7 @@ done
# Remainder # Remainder
echo "generating remainder protocols" echo "generating remainder protocols"
mkdir -p $benchmark_dir/$protocols_dir/remainder mkdir -p $benchmark_dir/$protocols_dir/remainder
for m in 2 3 4 5 6 7 8 9 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150; do for m in 2 3 4 5 6 7 8 9 10 20 25 30 35 40 45 50 55 60 70 80 90 100 110 120 130 140 150; do
for c in 1; do for c in 1; do
$executable moduloPP $m $c >$benchmark_dir/$protocols_dir/remainder/remainder_m${m}_c${c}_.pp $executable moduloPP $m $c >$benchmark_dir/$protocols_dir/remainder/remainder_m${m}_c${c}_.pp
done done
...@@ -42,25 +42,51 @@ done ...@@ -42,25 +42,51 @@ done
# Flock of Birds from Chatzigianniks, Michail, Spirakis: Algorithmic verification of population protocols # Flock of Birds from Chatzigianniks, Michail, Spirakis: Algorithmic verification of population protocols
echo "generating flockofbirds protocols" echo "generating flockofbirds protocols"
mkdir -p $benchmark_dir/$protocols_dir/flockofbirds mkdir -p $benchmark_dir/$protocols_dir/flockofbirds
for c in 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100; do for c in 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150; do
$executable flockOfBirdsPP $c >$benchmark_dir/$protocols_dir/flockofbirds/flockofbirds_c${c}_.pp $executable flockOfBirdsPP $c >$benchmark_dir/$protocols_dir/flockofbirds/flockofbirds_c${c}_.pp
done done
# new birds from Clément, Delporte-Gallet, Fauconnier, Sighireanu: Guidelines for the verification of population protocols # new birds from Clément, Delporte-Gallet, Fauconnier, Sighireanu: Guidelines for the verification of population protocols
echo "generating newbirds protocols" echo "generating newbirds protocols"
mkdir -p $benchmark_dir/$protocols_dir/newbirds mkdir -p $benchmark_dir/$protocols_dir/newbirds
for c in 10 20 25 30 40 50 75 100 125 150 175 200 225 250 275 300 325 350; do for c in 50 100 150 200 250 300 350 400 450 500 550 600 650 700 750 800; do
$executable newBirdsPP $c >$benchmark_dir/$protocols_dir/newbirds/newbirds_c${c}_.pp $executable newBirdsPP $c >$benchmark_dir/$protocols_dir/newbirds/newbirds_c${c}_.pp
done done
# Logarithmic Flock of Birds # Logarithmic Flock of Birds
echo "generating logarithmic flock of birds protocols"
mkdir -p $benchmark_dir/$protocols_dir/logflockofbirds mkdir -p $benchmark_dir/$protocols_dir/logflockofbirds
for c in 10 100 1000 10000 100000 1000000 10000000 100000000 1000000000; do for clog in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 25 30 35 40; do
python python/execprotocol.py python/flock_log.py "{\"scheme\": { \"threshold\": { \"value\": ${c} } } }" >$benchmark_dir/$protocols_dir/logflockofbirds/logflockofbirds_c${c}_.pp c=$(python -c "print(10**${clog})")
python python/execprotocol.py python/flock_log.py "{\"scheme\": { \"threshold\": { \"value\": ${c} } } }" >$benchmark_dir/$protocols_dir/logflockofbirds/logflockofbirds_c${clog}_.pp
done done
# Tower Flock of Birds # Tower Flock of Birds
echo "generating tower flock of birds protocols"
mkdir -p $benchmark_dir/$protocols_dir/towerflockofbirds mkdir -p $benchmark_dir/$protocols_dir/towerflockofbirds
for c in 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100; do for c in 50 100 150 200 250 350 400 425 450 475 500 525 550 575 600; do
python python/execprotocol.py python/flock_of_birds_-_tower.py "{\"scheme\": { \"c\": { \"value\": ${c} } } }" >$benchmark_dir/$protocols_dir/towerflockofbirds/towerflockofbirds_c${c}_.pp python python/execprotocol.py python/flock_of_birds_-_tower.py "{\"scheme\": { \"c\": { \"value\": ${c} } } }" >$benchmark_dir/$protocols_dir/towerflockofbirds/towerflockofbirds_c${c}_.pp
done done
# Average and Conquer
echo "generating average and conquer protocol"
mkdir -p $benchmark_dir/$protocols_dir/avc
n_lower=2
for m in 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 46 51 56 61 66 71 76 81 86 91 96 101; do
n_upper=10000000
## while [[ $(($n_upper - $n_lower)) -gt 1 ]]; do
## n=$(((n_upper + n_lower) / 2))
## mlow=$(python -c "import math; print(math.ceil(math.log(${n})*math.log(math.log(${n}))))")
## #echo "At m=$m, intervl [$n_lower, $n_upper], n = $n; m'=$mlow"
## if [[ $mlow -le $m ]]; then
## n_lower=$n
## else
## n_upper=$n
## fi
## done
## n=$n_lower
## d=$(python -c "import math; print(math.ceil(math.log(${m})*math.log(${n})))")
## echo "For m=$m got n=$n, d=$d"
d=1
python python/execprotocol.py python/avc.py "{\"scheme\": { \"m\": { \"value\": ${m} }, \"d\": { \"value\": ${d} } } }">$benchmark_dir/$protocols_dir/avc/avc_m${m}_d${d}_.pp
done
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment