3 Sure-Fire Formulas That Work With Multicore Memory Coherence