1 files changed, 21 insertions, 0 deletions
diff --git a/ctrl/sysrepo-plugins/hicn-plugin/plugin/model/tlock.c b/ctrl/sysrepo-plugins/hicn-plugin/plugin/model/tlock.c
new file mode 100644
index 000000000..d27ae6492
--- /dev/null
+++ b/ctrl/sysrepo-plugins/hicn-plugin/plugin/model/tlock.c
@@ -0,0 +1,21 @@
+#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]++;
+}