if (phys_pages == 0) { phys_pages = __sysconf (_SC_PHYS_PAGES); //__sysconf函数在sysdeps/posix/sysconf.c中 //_SC_PHYS_PAGES对应到函数__get_phys_pages() //位于文件sysdeps/unix/sysv/linux/getsysstats.c中 //通过phys_pages_info()打开/proc/meminfo来读取内存信息 //(这就定位到了qsort打开文件的问题) if (phys_pages == -1) /* Error while determining the memory size. So let's assume there is enough memory. Otherwise the implementer should provide a complete implementation of the `sysconf' function. */ phys_pages = (long int) (~0ul >> 1); /* The following determines that we will never use more than a quarter of the physical memory. */ phys_pages /= 4; pagesize = __sysconf (_SC_PAGESIZE); } //注意,上面这一段if会产生竞争,出现线程安全安全: //如果两个线程都调用qsort,当线程1获取了phys_pages之后,线程2 //才到达if,线程2就会跳过这一段代码,直接执行下面的if语句—— //而此时pagesize尚未初始化(=0),于是就会出现除零错误,导致 //core dump /* Just a comment here. We cannot compute (phys_pages * pagesize) and compare the needed amount of memory against this value. The problem is that some systems might have more physical memory then can be represented with a `size_t' value (when measured in bytes. */ /* If the memory requirements are too high don't allocate memory. */ //如果所需的内存页数大于总的可用内存,则不分配内存(防止swap降低性能) if (size / pagesize > (size_t) phys_pages) { //直接使用stdlib/qsort.c中的 _quicksort 进行排序 _quicksort (b, n, s, cmp, arg); return; }
如果没有对多线程做特殊处理的话,任何会带来副作用的函数内都可能导致这个问题。
给你举个栗子:glibc的qsort函数在多线程使用的时候也可能会core。为什么呢?因为有一段代码是这样的
完整的代码阅读笔记可参考 glibc的qsort源码阅读笔记
顺便提一下,解决qsort问题的办法,是在主线程中先调用一次qsort,让它初始化了pagesize,这样只会就不会遇到竞争了。
Windows中运行PHP建议使用FastCGI方式,不会遇到线程安全问题。