[infinispan-issues] [JBoss JIRA] (ISPN-5016) Specify and document cache consistency guarantees

What does 'happen' mean? I guess that eventually the state will be observed with those operations in certain order but does it mean that all threads will observe the writes in the same order? I think that JMM does not guarantee anything like that, and we should put emphasis on this if it's the case for Infinispan, too.

Specify and document cache consistency guarantees ------------------------------------------------- Key: ISPN-5016 URL: https://issues.jboss.org/browse/ISPN-5016 Project: Infinispan Issue Type: Task Components: Documentation-Core Affects Versions: 7.0.2.Final Reporter: Radim Vansa Assignee: Dan Berindei Priority: Critical We can't simply use the consistency model defined by Java Specification and broaden it for whole cache (maybe the expression "can't" is too strong, but we definitely don't want to do that in some cases). By consistency guarantees/model I mean mostly in which order are writes allowed to be observed: and we can't boil it down to simply causal, PRAM or any other consistency model as writes can be observed as non-atomic in Infinispan. Infinispan documentation is quite scarce about that, the only trace I've found is in Glossarry [2] "Infinispan has traditionally followed ACID principles as far as possible, however an eventually consistent mode embracing BASE is on the roadmap."