Modeling and simulating software contention

摘要

Aspects of the subject matter described herein relate to modeling and simulating software contention. In aspects, a model declares properties of a scarce software object and models software components that need the scarce software object to execute. A simulator uses the model to set up data structures that track locking activity related to the software object. The simulator simulates the interaction between software components and hardware including seizing and releasing locks on the software object. The simulator may use a function or other similar mechanism to distribute seize and release operations with respect to a lock across multiple instances of the software object. The simulator may use data generated by a simulation to provide an indication of lock objects and hardware utilization, transaction latencies, and other statistics.