Valgrind annotations for MEMORY engine

Registered by Laurynas Biveinis on 2012-03-21

The dynamic row format for the MEMORY engine introduces a block allocator with its workings not fully exposed to Valgrind: 1) it reuses the freed blocks making access-after-free errors undetectable; 2) there are no inaccessible areas between neighboring blocks making out-of-bound accesses undetectable.

The goal is to annotate the allocator to expose this to Valgrind completely.

Blueprint information

Status:
Not started
Approver:
None
Priority:
Low
Drafter:
Laurynas Biveinis
Direction:
Approved
Assignee:
Laurynas Biveinis
Definition:
Approved
Series goal:
None
Implementation:
Deferred
Milestone target:
None

Whiteboard

(?)

Work Items

Dependency tree

* Blueprints in grey have been implemented.

This blueprint contains Public information 
Everyone can see this information.

Subscribers

No subscribers.