src/rt/sync/fair_ticket_lock.h

   1 #ifndef FAIR_TICKET_LOCK_H
   2 #define FAIR_TICKET_LOCK_H
   3
   4 class fair_ticket_lock {
   5     unsigned next_ticket;
   6     unsigned now_serving;
   7     void pause();
   8 public:
   9     fair_ticket_lock();
  10     virtual ~fair_ticket_lock();
  11     void lock();
  12     void unlock();
  13 };
  14
  15 #endif /* FAIR_TICKET_LOCK_H */