#include"tlock.h"


void ticket_init ( int Lock_Number , long int init ){

//__atomic_store( &En[Lock_Number] , &init , __ATOMIC_SEQ_CST );
//__atomic_store( &De[Lock_Number] , &init , __ATOMIC_SEQ_CST );
En[Lock_Number]=init;
De[Lock_Number]=init;
}

void tlock(int Lock_Number ){

 int my_ticket =   __sync_fetch_and_add(&En[Lock_Number] , 1  );
 while (    my_ticket != De[ Lock_Number ]  ) {};

}

void tunlock(int Lock_Number ){
De[Lock_Number]++;
}