https://github.com/jepsen-io/mysql

Tests for MySQL and MariaDB
https://github.com/jepsen-io/mysql

Last synced: about 1 month ago
JSON representation

Tests for MySQL and MariaDB

• Host: GitHub
• URL: https://github.com/jepsen-io/mysql
• Owner: jepsen-io
• License: other
• Created: 2023-09-24T22:59:58.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-02-23T20:27:39.000Z (10 months ago)
• Last Synced: 2024-03-27T03:28:46.593Z (9 months ago)
• Language: Clojure
• Size: 87.9 KB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# jepsen.mysql

Jepsen tests for MySQL and MariaDB on Debian Bookworm. You'll need [a Jepsen environment](https://github.com/jepsen-io/jepsen#setting-up-a-jepsen-environment) to run this test.

## Usage

Quickstart for a single-node test with closed-world predicates:

```

lein run test --db mysql --nodes n1 -w closed-predicate --concurrency 30n --rate 1000 --time-limit 120 -i serializable --nemesis none --key-count 40

```

Or for testing serializability in an RDS cluster:

```

lein run test --workload append --db none --nodes database-1.cluster-csraamczyi8q.us-east-1.rds.amazonaws.com,database-1.cluster-ro-csraamczyi8q.us-east-1.rds.amazonaws.com --nemesis none --max-writes-per-key 16 --rate 1000 --concurrency 10n

```

Or to reproduce violations of monotonic atomic view in MariaDB:

```

lein run test --nodes n1 --concurrency 10n --rate 10000 --time-limit 30 --db maria --isolation repeatable-read --workload mav

```

To wipe out an install of Maria/MySQL so you can install the other (since they

step on each other's package names):

```

lein run wipe --nodes n1

```

## License

Copyright © 2023 Jepsen, LLC

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.