X-Git-Url: https://pd.if.org/git/?p=nbds;a=blobdiff_plain;f=todo;h=67b75dc6ac0eebafb42b1c188cd9eec75ca18acf;hp=75f997c80febca3be18b2056d1db31eda83fb289;hb=HEAD;hpb=9d72edf41ce3a2ddbbe2d44afc23ef5ec53339c3

diff --git a/todo b/todo
index 75f997c..67b75dc 100644
--- a/todo
+++ b/todo
@@ -1,17 +1,31 @@
-- make rcu wait when its buffer gets full, instead of throwing an assert
-+ fix makefile to compute dependency info as a side-effect of compilation (-MF)
+memory reclamation
+------------------
+- allow threads to dynamically enter and exit rcu's token passing ring
+- augment rcu with heartbeat manager to kill and recover from stalled threads
+- make rcu try yielding when its buffer gets full
+- use alternate memory reclamation schemes: hazard pointers and/or reference counting
+
+quality
+-------
+- verify the memory management of keys in list, skiplist, and hashtable
+- transaction tests
+- validate function arguments in interface functions
+- document usage
+- document algorithms
+
+optimization
+------------
 - investigate 16 byte CAS; ht can store GUIDs inline instead of pointers to actual keys 
-- testing, testing, testing
-+ support integer keys for ht
-- validate arguments to interface functions
-+ optimize tracing code, still too much overhead
-+ use NULL instead of a sentinal node in skiplist and list
-+ make the interfaces for all data structures consistent 
-+ make list and skiplist use string keys
-+ optimize integer keys
-- ht_print()
-- iterators
-- characterize performance of data structures
-- experiment with the performance impact of not passing the hash between functions
-- experiment with embedding keys in the list/skiplist nodes
-- allow values of 0 to be inserted into maps (change DOES_NOT_EXIST to something else)
+- txn write after write can just update the old update record instead of pushing a new one
+- use a shared scan for write-set validation in txn, similar to ht copy logic
+- experiment with the performance impact of not passing the hash between functions in ht
+- experiment with embedding the nstring keys in the list/skiplist nodes
+- lower skiplist's high_water when the actual number of levels in use drops
+- non-power-of 2 sized hashtables for improved memory usage
+- mem2
+
+features
+--------
+- allow values of 0 to be inserted into maps (change DOES_NOT_EXIST to something other than 0)
+- read-committed type transactions
+- recycle free regions across size-classes and between threads