add references to literature for skiplist

[nbds] / todo

diff --git a/todo b/todo
index ff93413f6a9c8e9c58271e8101fcb26277e378e6..e8684e1e622bacf5f27b7d8d7124c2365d048c5d 100644 (file)
--- a/todo
+++ b/todo
@@ -1,7 +1,5 @@
 - make rcu wait when its buffer gets full, instead of crashing
 - fix makefile to compute dependency info as a side-effect of compilation (-MF)
-- investigate 16 byte CAS 
-    - ht can store GUIDs inline instead of pointers to actual keys 
-    - mem can keep tail pointers for free-lists and do O(1) appends
+- investigate 16 byte CAS; ht can store GUIDs inline instead of pointers to actual keys 
 - test ht
-- optimize tracing code, still too much overhead
++ optimize tracing code, still too much overhead