smutne

Na starcie zielone swiatlo z lewej strony, zmiana_swiatla = 1, na_odcinku_lewo = ilosc aut dopuszczonych

Wątek samochod()
while(true)
    if(samochod[indeks]==lewo_ready)
        P(zmiana_swiatla)
        V(zmiana_swiatla)
        P(na_odcinku_lewo)
    else if(samochod[indeks]==prawo_ready)
        P(zmiana_swiatla)
        V(zmiana_Swiatla)
        P(na_odcinku_prawo)
    jedzie()
    if(dojechal lewo)
        V(na_odcinku_lewo)
    if(dojechal prawo)
        V(na_odcinku_prawo)
    czeka()
    if(dojechal lewo)
        samochod[indeks]=prawo_ready
    else
        samochod[indeks]=lewo_ready

Watek pracownik()
while(true)
    czekaj()
    P(zmiana_swiatla)
    Czerwone swiatlo z lewej
    P(na_odcinku_lewo, 15)
    Zielone swiatlo z prawej
    V(na_odcinku_prawo, 15)
    V(zmiana_swiatla)
    czekaj()
    P(zmiana_swiatla)
    Czerwone swiatlo z prawej
    P(na_odcinku_prawo, 15)
    Zielone swiatlo z lewej
    V(na_odcinku_lewo, 15)
    V(zmiana_swiatla)