MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting Artigo Académico