X-Git-Url: https://gapil.gnulinux.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ipc.tex;h=d4ab6c2f14ef873cbfd5c71654405d1cfe34ad87;hb=1e4d83a2fbb6ea0d957d96ebde4ebb486f69cd37;hp=56e715bfe9e34731b814de561dbc596e02595df2;hpb=ee800a27585aeed2f753222dc5ff56fe0bcfb6e0;p=gapil.git diff --git a/ipc.tex b/ipc.tex index 56e715b..d4ab6c2 100644 --- a/ipc.tex +++ b/ipc.tex @@ -2218,6 +2218,8 @@ contiene (nel vettore puntato dal campo \var{semadj}) un valore di aggiustamento per ogni semaforo cui viene sommato l'opposto del valore usato per l'operazione. +%TODO verificare queste strutture \kstruct{sem\_queue} e \kstruct{sem\_undo} + Queste strutture sono mantenute in due liste,\footnote{rispettivamente attraverso i due campi \var{id\_next} e \var{proc\_next}.} una associata all'insieme di cui fa parte il semaforo, che viene usata per invalidare le