[jira] [Updated] (HDDS-15561) Introduce a linearizability checker to validate Ozone

["Ivan Andika (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/HDDS-15561?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Ivan Andika updated HDDS-15561:
-------------------------------
    Epic Link: HDDS-15501

> 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
>            Priority: Major
>
> 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: issues-unsubscribe@ozone.apache.org
For additional commands, e-mail: issues-help@ozone.apache.org