A value associated with a semaphore and applied to the semaphore's value if a process ends while holding resources represented by the semaphore.