Performance models of multiprocessor systems