PPT-Folie
public synchronized boolean is_empty ()
public synchronized boolean is_full ()
{ return top_pt == SIZE ; }
public synchronized int top ()
{ return stack[top_pt-1] ; }
/* bei diesen rein lesenden Methoden dient die Synchronisation dazu, Konflikte mit parallelen Schreibzugriffen zu vermeiden */