stm/policies.h
void txFree(void* ptr)
            {
                if (ptr == NULL)
                    return;
                heap->tx_free(ptr);
            }
/**
             *  Wrapper to thread-specific allocator for freeing memory
             */
Wrapper to thread-specific allocator for freeing memory
Wrapper to thread - specific allocator for freeing memory
void txFree(void* ptr)
            {
                if (ptr == NULL)
                    return;
                heap->tx_free(ptr);
            }
void txFree ( void * ptr ) { if ( ptr == NULL ) return ; heap -> tx_free ( ptr ) ; }
Wrapper to thread-specific allocator for freeing memory
Wrapper to thread - specific allocator for freeing memory