183184185186187188189190191192193
* * Verrouillages et déverrouillage peuvent ainsi se chevaucher. * */ for(int i=0;i<vnodes.length;i++){ sema.unlockNode(vnodes[i]); } /* * reporter l'exception s'il y en a une... */