6508cdd003
Instead of using as template argument a shared pointer, use the underlying type and manage shared pointers explicitly. This can make removing shared pointers from the cache more easy. While we are at it, make some misc style changes and general improvements (like insert_or_assign instead of operator[] + operator=). |
||
---|---|---|
.. | ||
buffer_block.h | ||
buffer_cache.h | ||
map_interval.cpp | ||
map_interval.h |