A survey of techniques for the modeling of serialization delays in computer systems

Abstract

The problem of exclusive access to shared resources was solved using critical sections that are accessed by controlling the values of the synchronization primitives (e.g., semaphores) [4]. In [5] it is shown that a queueing network model can be constructed to represent spin lock behavior. That model may be used to predict the performance degradation due to locking. The results of extensive simulations of systems with static and dynamic locking to study the effects of the granularity of locks in a database system are presented in [8,9].