PPT-Folie

public synchronized void pop ()

{ top_pt-- ; }

/* hier liegt eine Kombination aus Lesen und Schreiben vor, die also ebenfalls synchronisiert sein muß */

public synchronized void push (int x)

{ top_pt++ ;

stack[top_pt] = x ; }

/* push muß unbedingt als unteilbare Aktion behandelt werden. Sonst könnte ein anderer Strang den Pegel nochmals erhöhen, bevor das neue Element ins Feld eingetragen ist, so daß ein "Loch" entstünde */

}//IntStack

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen