You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think perhaps with a very small probability, cache-lines should be randomly evicted upon stores. This enables more interesting states to arise where random cache eviction does not occur due to having a proportionally larger cache.