3 ms·
A == "Design of your system" B == "Inconsistency between your caches" GP: A -> B You: "Imposing order and synchrony is [bad things]" == "If you don't do A th
by wildmanx 4y ago
A == "Design of your system"
B == "Inconsistency between your caches"
GP: A -> B
You: "Imposing order and synchrony is [bad things]" == "If you don't do A then [bad things]", i.e., (not A) -> [bad things]
Also you: "Even if we did, then [other issues]" == "Even if you don't do A then [other issues]", i.e., (not A) -> ..what? B?
You are certainly not arguing against the A -> B implication.
- uvdn7 4y agoI really appreciate your comment. I am learning as we speak. I was essentially saying !A !-> !B - even if we have a strongly ordered system, there will still be inconsistencies/races/problems. And I can see why it's a bad/weird argument. Thank you for pointing it out. Really appreciate it! EDIT: I would have rephrased it this way - A -> B is right - But !A -> B also holds. Hence what we talked about here is relevant/useful regardless. And it's not about A. Would that be better?