Code used for the experiments

To replay the editing history of a random Wikipedia page with an implementation of the Snapdoc protocol, extract the zip file and run the following commands in a bash terminal:

$ mkdir bin pages $ wget http://central.maven.org/maven2/com/google/guava/guava/27.0.1-jre/guava-27.0.1-jre.jar $ javac -cp guava-27.0.1-jre.jar -d bin $(findsrc-name"\ast .java")$ page=curl -i https://en.wikipedia.org/wiki/Special:Random |grep Location: |sed 's/.*\/wiki\/\(.*\)\r/\1/' $ python3 ./download_wikipedia_lines.py $page>pages/$page.cmds $ java -cp bin:guava-27.0.1-jre.jar experiment.Replayer pages/$page.cmds results

The result/ directory will now contain measurements of the execution times and estimated memory usage.