Tutorial: libvsync locks Clone libvsync repo cd tutorials/libvsync-locks/microbench/ mkdir deps cd deps git clone https://github.com/open-s4c/libvsync.git cd ../.. In the following we assume you are in the libvsync-locks directory. Generate venv, configure it and activate it ./configure.sh . ./venv/bin/activate Run campaign of locks ./campaign_locks.py