Aufgabe 1:
Absence of Starvation entspricht eventual entry, d.h.
Prozess 1 will in die critical section, dann ist es nicht möglich, dass
er es nicht schafft, weil Prozess 2 ihn nicht lässt (aushungert).
Aufgabe 2:
Die erste Teilaufgabe soll einen einelementigen Buffer behandeln.