Link to current text
CMP.14:3 - Forces
| Force | What must be reconciled |
|---|
| Local reasoning and interference | A component’s facts must survive the environment steps allowed between its own steps. |
| Independence and coordination cost | Isolation can simplify reasoning while synchronization, copying or serialization adds work. |
| Final result and observed history | Calls, replies and intermediate effects can distinguish executions with equal final values. |
| Excluding failure and ensuring progress | An execution can avoid every prohibited state yet never return a required answer. |
| Abstract operation and available primitive | A convenient atomic step requires an implementation or a justified coarser observation. |