Analytic modeling of updating based cache coherent parallel computers