[so] vesti si mai bune

Ioana Cutcutache so@atlantis.cs.pub.ro
Sat, 22 Nov 2003 21:14:25 +0200


    La "un thread executa leave" scrie la sfarsit "Daca si aceasta(Entry
Queue) va fi goala, threadul curent nu are pe cine sa planifice si va parasi
monitorul, care in acest caz este gol si poate fi distrus.". Mie nu mi se
pare corecta afirmatia ca monitorul in acest caz este gol si poate fi
distrus.
    Daca nu e nimeni in waiting, signaller, entry, nu inseamna ca nu exista
fire blocate la variabile conditie. Deci monitorul poate sa nu fie gol.
    Pentru a stii cand nu mai e nimeni in monitor (deci cand poate fi
distrus) putem folosi o variabila (contor) care sa contorizeze cate fire
sunt la un moment dat in monitor?

----- Original Message -----
From: "Cosmin Arad" <cosminarad@yahoo.com>
To: <so@atlantis.cs.pub.ro>
Sent: Saturday, November 22, 2003 1:51 PM
Subject: [so] vesti si mai bune


> Salut,
>
> Desi sper ca putini dintre voi au avut dificultati in
> a interpreta specificatiile formale pentru operatiile
> cu monitorul, descrise prin axiomele din
> buhr95monitor.pdf, am considerat ca e corect sa va dau
> specificatiile in limbaj natural ca sa nu fie nici un
> dubiu.
> De asemenea din documentatie lipseau specificatiile
> pentru broadcast si specificatiile de la SIGNAL AND
> WAIT (cele din doc) se modifica putin prin
> introducerea operatiei broadcast.
> Am adaugat in sectiunea de Observatii a temei un link
> catre specificatiile in limbaj natural.
>
> Cititi-le si daca mai aveti nelamuriri intrebati.
>
> Succes,
> Cosmin
>
> __________________________________
> Do you Yahoo!?
> Protect your identity with Yahoo! Mail AddressGuard
> http://antispam.yahoo.com/whatsnewfree
> _______________________________________________
> so mailing list
> so@atlantis.cs.pub.ro
> http://atlantis.cs.pub.ro/cgi-bin/mailman/listinfo/so
>