Chung-En Lee created HDDS-15561:
-----------------------------------
Summary: Introduce a linearizability checker to validate Ozone
Key: HDDS-15561
URL: https://issues.apache.org/jira/browse/HDDS-15561
Project: Apache Ozone
Issue Type: Test
Reporter: Chung-En Lee
Assignee: Chung-En Lee
To catch subtle consistency regressions like {{HDDS-15052}} without the massive
engineering overhead of full DST (Deterministic Simulation Testing), we propose
introducing a post-facto *Linearizability Checker* (e.g., Porcupine, Elle, or
Java alternatives).
By acting as a black-box oracle, the checker will analyze concurrent client
operation histories generated by our existing {{MiniOzoneChaosCluster or docker
cluster}} to verify strict correctness with zero core code invasiveness.
Importantly, this checker will also serve as a foundational building block for
future DST efforts, as any deterministic simulation framework will still
require such an oracle to validate its execution histories.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
