[jira] [Commented] (HDDS-16128) [Specula] Verify om-multipart-lifecycle (Apache Ozone master @9fbf9ee)

["Siyao Meng (Jira)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/HDDS-16128?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18125909#comment-18125909 ] 

Siyao Meng commented on HDDS-16128:
-----------------------------------

Verification run complete. The om-multipart-lifecycle target ran through the full Specula pipeline at Ozone 9fbf9ee0cb1bd2f5f5d437b6719ebbe5309351fb (codex agent, effort ultra).

One finding, reproduced and classified Medium: a failed FSO CompleteMultipartUpload leaks bucket namespace quota in the OM cache. It is filed as HDDS-16117 and linked to this issue with the Testing link type.

Resolving as Done.

> [Specula] Verify om-multipart-lifecycle (Apache Ozone master @9fbf9ee)
> ----------------------------------------------------------------------
>
>                 Key: HDDS-16128
>                 URL: https://issues.apache.org/jira/browse/HDDS-16128
>             Project: Apache Ozone
>          Issue Type: Sub-task
>            Reporter: Siyao Meng
>            Assignee: Siyao Meng
>            Priority: Major
>
> Use TLA+ (via the Specula pipeline) to model and verify the Ozone OM multipart upload (MPU) lifecycle: initiate, commit part, complete, and abort, including FSO parent directory recreation and bucket quota (usedBytes and usedNamespace) accounting across the OM cache and the durable RocksDB state.
> Model check the specification and validate real OM traces against it. Bugs found by this effort are linked under this issue.



--
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