[
https://issues.apache.org/jira/browse/KUDU-1825?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15830707#comment-15830707
]
David Alves commented on KUDU-1825:
-----------------------------------
Looking at the actual history file there is in fact a successful "write 2"
prior to the first "read 2", so it's not like the value came out of nowhere.
Looking more into the actual inconsistency.
> kudu-jepsen reports non-linearizable history for the
> kill-restart-all-tservers scenario
> ---------------------------------------------------------------------------------------
>
> Key: KUDU-1825
> URL: https://issues.apache.org/jira/browse/KUDU-1825
> Project: Kudu
> Issue Type: Bug
> Affects Versions: 1.2.0
> Reporter: Alexey Serbin
> Assignee: Alexey Serbin
> Labels: kudu-jepsen
> Attachments: history.txt, linear.svg, master.log, ts-1.log, ts-2.log,
> ts-3.log, ts-4.log, ts-5.log
>
>
> The kudu-jepsen test found non-linearizable history of operations for
> kill-restart-all-tservers scenario.
> The artifacts of the failed scenario are attached.
> It's necessary to create reproducible scenarios for that and fix, if possible.
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
