Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASA
adya checks histories of database transactions for isolation anomalies: G0, G1a/b/c, G-single, G-nonadjacent, G2-item and their process and real-time variants. It follows the approach of Jepsen's Elle and reads the same history formats (elle-cli JSON, JSON lines, Jepsen EDN), as a native binary or a library.
It also runs workloads: adya run drives SQLite, Postgres, MySQL, or any process that speaks a small JSON-lines protocol, records the history, checks it, and can inject faults through shell commands.
Validation: it matches all 56 of elle-cli's list-append and rw-register expected results, and CI compares it against the JVM Elle on random histories.
cargo install adya
adya run sim -i snapshot-isolation -c serializable
crates.io: crates.io: Rust Package Registry
docs: adya - Rust
repo: GitHub - zaydmulani09/adya: Black-box transactional isolation checker: finds G0, G1, G-single, G2 and friends in database histories. A native, JVM-free take on Jepsen's Elle, with a workload runner for SQLite, Postgres, MySQL and anything else. · GitHub
Feedback on the library API is welcome.
1 post - 1 participant
Read full topic
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Thisversion: Keep schema history out of your application model | 0 | 7.06 | 05-10-2026 |
| 2 | Nuthatch: a blockchain indexer in one static Rust binary (redb, content-addressed Parquet, DataFusion, DBSP) | 0 | 8.24 | 04-10-2026 |
| 3 | ERC-8419: Know-Your-Agent (KYA) Framework | 0 | 13.66 | 19-09-2026 |
| 4 | Copy Fix Prompt, diagnose and fix failures with any AI coding agent | 0 | 6.48 | 12-08-2026 |
| 5 | Feedback wanted: compio-pool, a thread-per-core connection pool for !Send connections | 0 | 17.89 | 08-10-2026 |
| 6 | Any thin wrapper around the Web Worker API? | 0 | 6.59 | 07-10-2026 |
| 7 | Cve-2026-59873 | 0 | 30.13 | 29-07-2026 |
| 8 | Каждые 5 минут транзакции в PostgreSQL замирают на 3-7 секунд. ... | 0 | 9.79 | 30-09-2026 |
| 9 | PocketCI - CircleCI in your pocket | 0 | 8.79 | 29-09-2026 |
| 10 | Forced Clicks and Stand-Down Violations by Shopping Plugin Phia | 0 | 14.06 | 09-07-2026 |