is a framework for distributed systems verification, with fault injection.
- Lua interpreter: LuaJIT or LuaJIT-based is recommended.
- luafun - Lua functional library, built-in into Tarantool.
- lua-cjson - Lua library for fast JSON encoding and decoding, built-in into Tarantool.
- (optional) Jepsen-compatible consistency checker. For example elle-cli, based on Jepsen, Elle and Knossos.
- Download and setup Lua interpreter, LuaJIT or LuaJIT-based is recommended (for example Tarantool).
- Install library using LuaRocks:
$ luarocks install --local mollyNOTE: Installation of modules luafun and lua-cjson is not required when
Tarantool is used, both modules are built-in there. Install them manually in
case of using LuaJIT:
$ make deps-runtimeSee documentation in https://ligurio.github.io/molly/.
See also an examples in test/examples/ for SQLite database engine:
sqlite-rw-register.luacontains a simple test that concurrently runsgetandsetoperations on SQLite DBsqlite-list-append.luacontains a simple test that concurrently runsreadandappendoperations on SQLite DB
For running examples you need installed an SQLite development package and LuaRocks.
$ sudo apt install -y sqlite3 libsqlite3-dev
$ make deps
$ make test-exampleExample produces two files with history: history.txt and history.json. With
elle-cli history can be checked
for consistency:
$ VER=0.1.4
$ curl -O -L https://github.com/ligurio/elle-cli/releases/download/${VER}/elle-cli-bin-${VER}.zip
$ unzip elle-cli-bin-${VER}.zip
$ java -jar ./target/elle-cli-${VER}-standalone.jar -m elle-rw-register history.json
history.json trueSee tests that uses Molly library in https://github.com/ligurio/molly-tests.
For developing molly you need to install: either LuaJIT or LuaJIT-based
and LuaRocks.
$ make deps
$ export PATH=$PATH:$(luarocks path --lr-bin)
$ make check
$ make testYou are ready to make patches!
Copyright © 2021-2023 Sergey Bronnikov
Distributed under the ISC License.