tune size...

[IRC.git] / Robust / src / Runtime / deque.h

diff --git a/Robust/src/Runtime/deque.h b/Robust/src/Runtime/deque.h
index 156226cc101fbae80517c2a6b682d43f118f640b..7159558ba37ffec12ece766e3ee08a960dea46e1 100644 (file)
--- a/Robust/src/Runtime/deque.h
+++ b/Robust/src/Runtime/deque.h
@@ -5,23 +5,24 @@
 #include "memPool.h"
 
 
+
 // the bottom and top 64-bit values encode
 // several sub-values, see deque.c
 typedef struct deque_t {
-  MemPool* memPool;
-  INTPTR   bottom;
+  MemPool*        memPool;
+  volatile INTPTR bottom;
 
   // force bottom and top to different cache lines
   char buffer[CACHELINESIZE];
 
-  INTPTR top;
+  volatile INTPTR top;
 } deque;
 
 
-void  dqInit      ( deque* dq );
-void  dqPushBottom( deque* dq, void* item );
-void* dqPopTop    ( deque* dq );
-void* dqPopBottom ( deque* dq );
+void  dqInit(deque* dq);
+void  dqPushBottom(deque* dq, void* item);
+void* dqPopTop(deque* dq);
+void* dqPopBottom(deque* dq);
 
 
 // pop operations may return these values
@@ -30,7 +31,27 @@ extern void* DQ_POP_EMPTY;
 extern void* DQ_POP_ABORT;
 
 
-//void dq_take ( deque* sem, struct garbagelist* gl );
+// there are 9 bits for the index into a Node's array,
+// so 2^9 = 512 elements per node of the deque
+#define DQNODE_ARRAYSIZE 512
+
+
+typedef struct dequeNode_t {
+  void* itsDataArr[DQNODE_ARRAYSIZE];
+  struct dequeNode_t* next;
+  struct dequeNode_t* prev;
+} dequeNode;
+
+
+static inline int        dqDecodeTag(INTPTR E) {
+  return (int)        ((0xffffe00000000000 & E) >> 45);
+}
+static inline dequeNode* dqDecodePtr(INTPTR E) {
+  return (dequeNode*) ((0x00001ffffffffe00 & E) <<  3);
+}
+static inline int        dqDecodeIdx(INTPTR E) {
+  return (int)        ((0x00000000000001ff & E)      );
+}
 
 
 #endif // ___DEQUE_H__