Modeling critical sections in Amdahl's law and its implications for multicore design