Am 04.12.2023 17:26:00 schrieb Jaromir Matas <mail@jaromir.net>:

True, but the difference is a Semaphore or Mutex (a condition variable in general) uses a subclass of LinkedList for myList values. Being an instance of LinkedList is a defining property of priority lists - at least this was my understanding but the truth is the current implementation of #isRunnable and #isBlocked allows a condition variable use any list other than a priority list; I've never realized that. Is it just a theoretical possibility or is it really used somewhere?

Thanks,

Jaromir

On 04-Dec-23 3:53:01 PM, "Taeumel, Marcel" <Marcel.Taeumel@hpi.de> wrote:

If I understand this correctly, myList can also encode the waiting list for a certain semaphore, not just the current priority list.

Best,

Marcel

Am 03.12.2023 18:02:26 schrieb Vanessa Freudenberg <vanessa@codefrau.net>: