Semafoare

Semafoarele reprezinta unul dintre cele mai cunoscute mecanisme de sincronizare. Ele au fost introduse de Dijkstra. Un semafor este o variabila speciala care poate avea numai valori pozitive (de tipul unui contor) si asupra careia pot fi permise numai doua operatii: wait si signal. Intrucat wait si signal au deja denumiri speciale in UNIX, vom folosi notatiile originale:

• P (semafor) - pentru wait (asteptare)
• V (semafor) - pentru signal (notificare)

Literele provin din denumirile olandeze pentru wait si signal. Alti termeni folositi mai sunt 'up' si 'down'.