4 Commits

Author	SHA1	Message	Date
Joe Thornber	a7c96c0e1e	[everything] Fix circular shared pointer references. ... We had a cycle from transaction_manager <-> space_map, and also from the ref_counters back up to the tm. This prevented objects being destroyed when various programs exited. From now on we'll try and only use a shared ptr if ownership is implied. Otherwise a reference will be used (eg, for up pointers).	2014-08-26 11:14:49 +01:00
Joe Thornber	d3687db3a8	[bloom filter] remove an unused data member	2014-06-26 15:26:39 +01:00
Joe Thornber	82359c4835	remove a typename that rhel 6.6 objects to	2014-04-11 14:52:06 +01:00
Joe Thornber	180f7e6187	persistent-data/data-structures/bloom_filter	2013-11-18 13:08:07 +00:00