malloc如何在multithreading环境中工作?
典型的malloc
(针对x86-64平台和Linux操作系统)是否在开始时天真地locking了一个互斥锁,并在完成时释放它,还是以更聪明的方式locking互斥锁,从而减lesslocking争用? 如果这确实是第二种方式,它是如何做到的?
glibc 2.15
运行多个分配舞台 。 每个竞技场都有自己的锁。 当一个线程需要分配内存时, malloc()
select一个竞技场,locking它,并从中分配内存。
select竞技场的机制有些复杂,旨在减less锁争用:
/* arena_get() acquires an arena and locks the corresponding mutex. First, try the one last locked successfully by this thread. (This is the common case and handled with a macro for speed.) Then, loop once over the circularly linked list of arenas. If no arena is readily available, create a new one. In this latter case, `size' is just a hint as to how much memory will be required immediately in the new arena. */
考虑到这一点, malloc()
基本上看起来像这样(编辑简洁):
mstate ar_ptr; void *victim; arena_lookup(ar_ptr); arena_lock(ar_ptr, bytes); if(!ar_ptr) return 0; victim = _int_malloc(ar_ptr, bytes); if(!victim) { /* Maybe the failure is due to running out of mmapped areas. */ if(ar_ptr != &main_arena) { (void)mutex_unlock(&ar_ptr->mutex); ar_ptr = &main_arena; (void)mutex_lock(&ar_ptr->mutex); victim = _int_malloc(ar_ptr, bytes); (void)mutex_unlock(&ar_ptr->mutex); } else { /* ... or sbrk() has failed and there is still a chance to mmap() */ ar_ptr = arena_get2(ar_ptr->next ? ar_ptr : 0, bytes); (void)mutex_unlock(&main_arena.mutex); if(ar_ptr) { victim = _int_malloc(ar_ptr, bytes); (void)mutex_unlock(&ar_ptr->mutex); } } } else (void)mutex_unlock(&ar_ptr->mutex); return victim;
这个分配器被称为ptmalloc
。 它基于Doug Lea的早期工作 ,由Wolfram Gloger维护。
Doug Lea的malloc
使用粗略的locking(或不locking,取决于configuration设置),每个对malloc
/ realloc
/ free
调用都由全局互斥锁保护。 这是安全的,但在高度multithreading的环境中可能效率低下。
ptmalloc3
是目前大多数Linux系统使用的GNU C库(libc)中缺省的malloc
实现,具有更为细化的策略,正如aix的答案所述 ,它允许多个线程安全地同时分配内存。
nedmalloc
是另一个独立的实现,声称甚至比ptmalloc3
和其他各种分配器更好的multithreading性能。 我不知道它是如何工作的,似乎没有任何明显的文档,所以你必须检查源代码,看看它是如何工作的。