In the LockData datastructure define in Lock.h, for the holders and locks arrays of  LockData , is

holder->tag.lock the same as locks[ i ] ?

 

thanks

Sumaira