#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 Ticket_Lock(int Lock_Number ){

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

}

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