Ein
Token (
engl. für
Zeichen,
Marke) ist ein Hilfsmittel zur
Synchronisation paralleler Prozesse – wer das Token hat, darf auf die Ressource (zum Beispiel einen Speicherbereich oder eine Schnittstelle) zugreifen. Wenn er das Token freigegeben hat, darf ein Konkurrent die Ressource benutzen.