[For efficiency and practicality reasons], our cache-conscious heap allocator (ccmalloc) only performs … similar to malloc, ccmalloc takes an additional parameter … with the element to be allocate, such as … cache block as the existing item. … Cache-conscious heap allocation with ccmalloc resulted in a … graphs) to formally verify finite state systems.
Google-1
Google-2
Copyright clearance needed for quotation.