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>: