Code

Add memory pool allocator#686

Code

Merged

linas merged 9 commits intoopencog:masteropencog/link-grammar:masterfrom ampli:mempoolampli/link-grammar:mempoolCopy head branch name to clipboardMar 6, 2018

+467-88

Commits

Commits on Mar 4, 2018

• Definitions for _aligned_malloc()

  ampli

  committed
  57f0a80

Commits on Mar 5, 2018

• Initial memory pool support code

  ampli

  committed
  2931d3e

• Windows: Add memory-pool.[ch]

  ampli

  committed
  cc17bee

• Use memory pool for condesc_t

  ampli

  committed
  614ab08

• Use memory pool for the fast matcher (Match_node)

  ampli

  committed
  7b3832c

• Use memory pool for prune

  Show description for 81012c3
  ampli

  committed
  81012c3

• Add pool_free() (#ifdef'ed out for now)

  Show description for 111b3ad
  ampli

  committed
  111b3ad

• Use memory pool for the count memoizing

  ampli

  committed
  b44a371

• debug/README:md: Document -verbosity=104 (Memory pool statistics)

  ampli

  committed
  4f6452f