Skip to content

sahajsoft/big-o-linearizable-test-suite

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

jepsen.Big-O

A Clojure library designed to perform linearizable test for Big-O solutions.

Usage

To run test suite

cd docker
bash bin/up  --dev -d
bash bin/console
// Use this command for quick feedback
lein run test --concurrency 10 --time-limit 5
// Use this command only when the final testing in needed
lein run test --concurrency 100 --time-limit 60 --test-count 10

To check the run histories

  • you can either check /store folder for test-run related logs and details.
    • Logs from the database will also be accessible under nodes folder(n1, n2, n3)
  • You can serve the results as a website and access the details through UI
  cd docker
  bash bin/console
  lein run serve
  // Open a new terminal
  cd docker
  bash bin/web
          

To stop/remove the containers

cd docker
bash bin/stop-all.sh
// Or.
bash bin/remove-all.sh

To run your solution against the test suite

  • I have compiled my mock solution and added the binary to the nodes docker (docker/node/Dockerfile)
  • Update utils.clj with your binary name.
  • If there are any command line arguments needed, those can be added here (bigo/db.clj:22)

Test suite would print the below statement when the test succeed

img.png

Example for failure case:

img_1.png

Recording for explanation on the test suite here: https://drive.google.com/file/d/1yLwv4VMcahrLMzZhZaI2fHRRL3zDkW9Q/view

License

Copyright © 2023 FIXME

This program and the accompanying materials are made available under the terms of the Eclipse Public License 2.0 which is available at http://www.eclipse.org/legal/epl-2.0.

This Source Code may also be made available under the following Secondary Licenses when the conditions for such availability set forth in the Eclipse Public License, v. 2.0 are satisfied: GNU General Public License as published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version, with the GNU Classpath Exception which is available at https://www.gnu.org/software/classpath/license.html.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published