An allocator based on analloc, sbrk() and pthread_mutex