click below
click below
Normal Size Small Size show me how
OS-6
Chapter 6: Synchronization Tools
Term | Definition |
---|---|
Monitor type | an abstract data type (ADT) that includes a set of programmer-defined operations that are provided with mutual exclusion within the monitor. |
Counting Semaphore | a semaphore that has a value between o and N, to control access to a resource with N instances. |
Binary Semaphore | a semaphore of values 0 and 1 that limits access to one resource (acting similarly to a mutex lock). |
Mutex lock | a mutual exclusion lock; the simplest software tool for assuring mutual exclusion. |
Liveness | a set of properties that a system must satisfy to ensure that processes make progress during their execution life cycle. |
Deadlock | the state in which two processes or threads are stuck waiting for an event that can only be caused by one of the processes or threads. |
Priority Inversion | a scheduling challenge arising when a higher-priority process needs to read or modify kernel data that are currently being accessed by a lower-priority process. |
Priority-inheritance Protocol | a protocol for solving priority inversion in which all processes that are accessing resources needed by a higher-priority process inherit that higher priority until they are finished with the resources in question. |
Critical Section | a section of code responsible for changing data that must only be executed by one thread or process at a time to avoid a race condition |
Race Condition | a situation in which two threads are concurrently trying to change the value of a variable. |
Semaphore | an integer variable that, apart from initialization, is accessed only through two standard atomic operations: wait() and signal(). |