discussion of constraint sets and the necessity of persistency cache coherence