Event counter, czyli liczniki zdarzeń. Więcej:
Brak jest wzajemnego wykluczania, kazdy licznik zlicza jakies zdarzenie od początku jego występowania. Autorzy: Reed, Kanodia.
Jezeli E jest typu Event_counter to dopuszczalne sa nastepujace operacje:
Read(E) - zwroc biezaca wartosc E
Advance(E) - atomowo zwieksz E o 1 i zwroc wartosc E
Await(E,v) - czekaz az E osiagnie wartosc rowna lub wieksza v (jezeli E<v to sie blokuj; jezeli E>=v to sie nie blokuj)
Nie widzę w sieci, ani w dokumentacji javy nic na ten temat.. O co chodzi?