[KUDU-1825] kudu-jepsen reports non-linearizable history for the kill-restart-all-tservers scenario

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Invalid
• Affects Version/s: 1.2.0
• Fix Version/s: 1.4.0
• Labels: kudu-jepsen
• Assignee: Alexey Serbin
• Reporter: Alexey Serbin
• Created: 09/Jan/17 20:58
• Updated: 13/Apr/17 00:33
• Resolved: 13/Apr/17 00:21

Description

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.