Asserts fail due to logical inconsistencies in red-black trees.

Zhoutall / stasis

Automatically exported from code.google.com/p/stasis

Other

0 stars 0 forks source link

Asserts fail due to logical inconsistencies in red-black trees. #13

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

A number of unit tests non-deterministically fail in allocationPolicy.c and
dirtyPageTable.c  They are all due to mismatches with state stored in
libredblack.

Original issue reported on code.google.com by sears.ru...@gmail.com on 4 Nov 2009 at 3:08

GoogleCodeExporter commented 9 years ago

Original comment by sears.ru...@gmail.com on 4 Nov 2009 at 3:21

Added labels: Milestone-Release0.8

GoogleCodeExporter commented 9 years ago

Made some progress; implemented a libredblack compatibility wrapper against the 
stl
tree, and I haven't seen these problems yet.

However, the 'fix' changes timings, and may have simply reduced the frequency 
of the
bug.  Before closing, I need to reproduce logical consistencies in libredblack
outside of stasis, then complete the wrappers, and backport to 0.8.

Original comment by sears.ru...@gmail.com on 2 Dec 2009 at 9:13

GoogleCodeExporter commented 9 years ago

Set status to fixed.  Still need to verify that the problem was with libredblack
(which is proving to be difficult).

Original comment by sears.ru...@gmail.com on 11 Feb 2010 at 9:59

Changed state: Fixed