#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]++; }