malloc_property/1

Documentation
- Reference manual
  - Built-in Predicates
    - Memory Management
      - Heap memory (malloc)
        
        TCMalloc control predicates
        
        malloc_property/1
        
        set_malloc/1
        
        thread_idle/2
- Packages

Availability:built-in

[nondet]malloc_property(?Property)

True when Property is a property of the current allocator. The properties are defined by the allocator. The properties of tcmalloc are defined in gperftools/malloc_extension.h:^{166Documentation
copied from the header.}

’generic.current_allocated_bytes'(-Int): Number of bytes currently allocated by application.
’generic.heap_size'(-Int): Number of bytes in the heap (= current_allocated_bytes + fragmentation + freed memory regions).
’tcmalloc.max_total_thread_cache_bytes'(-Int): Upper limit on total number of bytes stored across all thread caches.
’tcmalloc.current_total_thread_cache_bytes'(-Int): Number of bytes used across all thread caches.
’tcmalloc.central_cache_free_bytes'(-Int): Number of free bytes in the central cache that have been assigned to size classes. They always count towards virtual memory usage, and unless the underlying memory is swapped out by the OS, they also count towards physical memory usage.
’tcmalloc.transfer_cache_free_bytes'(-Int): Number of free bytes that are waiting to be transferred between the central cache and a thread cache. They always count towards virtual memory usage, and unless the underlying memory is swapped out by the OS, they also count towards physical
’tcmalloc.thread_cache_free_bytes'(-Int): Number of free bytes in thread caches. They always count towards virtual memory usage, and unless the underlying memory is swapped out by the OS, they also count towards physical memory usage.
’tcmalloc.pageheap_free_bytes'(-Int): Number of bytes in free, mapped pages in page heap. These bytes can be used to fulfill allocation requests. They always count towards virtual memory usage, and unless the underlying memory is swapped out by the OS, they also count towards physical memory usage. This property is not writable.
’tcmalloc.pageheap_unmapped_bytes'(-Int): Number of bytes in free, unmapped pages in page heap. These are bytes that have been released back to the OS, possibly by one of the MallocExtension "Release" calls. They can be used to fulfill allocation requests, but typically incur a page fault. They always count towards virtual memory usage, and depending on the OS, typically do not count towards physical memory usage.