Lines Matching refs:pu
32 classe di blocco non sparisce quando sparisce una sua istanza, ma può essere
103 altrimenti verrebbe mostrato il carattere '?'. Una deduzione simile può essere
118 seguenti stati sono mutualmente esclusivi: solo una può essere vero quando viene
124 Questo perché se un blocco può essere usato in un contesto di interruzioni
125 (sicuro in interruzioni), allora non può mai essere acquisito con le
159 La prima regola deriva dal fatto che un blocco sicuro in interruzioni può essere
294 scenari di sincronizzazione multi-processore e multi-processo. Il validatore può
298 sfortunata presenza di processi, interruzioni, e pessimo tempismo, può essere
340 Il massimo numero di classi di blocco che il validatore può tracciare è:
388 allora c'è probabilmente un problema da qualche parte. Il seguente comando può
395 output può anche aiutarti a trovare situazioni in cui l'inizializzazione del
496 particolare il valore del parametro 'read' in lock_acquire()), un blocco può
507 (anche in lettura). Un blocco di lettura non ricorsivi può bloccare uno
552 "X -(EN)->" significa X-> Y, dove X è uno scrittore e Y può essere
563 o meno) e Y può essere o uno scrittore o un lettore non ricorsivo.
612 forte significa che può causare stalli, per questo lo definiamo "forte", ma ci