Analytic Modeling of Cache Coherence Based Parallel Computers