You write that Hazelcast belongs to a category of software that characteristically chooses speed/availability over consistency in case of network partitions[1]. A web search leads me to your your competitor who sounds like they are tackling the issue by putting consistency first: https://docs.gridgain.com/v8.1/docs/network-segmentation https://www.gridgain.com/products/software/enterprise-editio...

"When there is a network partition we favour availability over consistency. Which is what the Jepsen test shows. [...] It is also the PACELC contract of the entire category of IMDG systems. IMDGs are used for maximum speed and low latency. They represent a set of design trade-offs to achieve this primary purpose."

"For ILock, the lock is not mutually exclusive under split brain. However it can still be useful as an advisory lock."

Why use a lock that isn't safe when there are other alternatives?