10.26 学习笔记

进程（process）和线程(thread)

http://www.ruanyifeng.com/blog/2013/04/processes_and_threads.html

进程就好比工厂的车间，它代表CPU能处理的单个任务。任一时刻，CPU总是运行一个进程，其他进程处于非运行状态。

线程就好比车间里的工人，一个进程可以包括多个线程。

车间里的空间是工人共享的，比如许多房间是每个工人都可以进出的。这象征一个进程的内存空间是共享的，每个线程都可以使用这些共享空间。可是，每间房间的大小不同，有些房间最多只能容纳一人。里面有人的时候，其他人就不能进去了。这代表一个线程使用某些共享内存时，其他线程必须等他结束，才能使用这一块内存。一个防止他人进入的简单方法，就是门口加一把锁。先到的人锁上门，后到的人看到上锁，就在门口排队，等锁打开再进去。这就叫“互斥锁”（Mutual exclusion，缩写Mutex），防止多个线程同时读写某一块内存区域。

还有些房间可以容纳n个人，比如厨房。也就是说，如果人数大于n，多出来的人只能在外面等着。好比某些内存区域，只能供给固定数目的线程使用。这时候的解决办法就是在门口挂n把钥匙，进去的人就取一把钥匙，出来时再把钥匙挂回原处。后到的人发现钥匙架空了，就知道必须在门口排队。这种做法叫做“信号量”（Semaphore），用来保证多个线程不会冲突。

可以看出来，Mutex是Semaphore在n=1时的特殊情况，完全可以后后者代替前者。但是由于Mutex较为简单，而且效率高，所以在必须保证资源独占的情况下，还是采用这种设计。

操作系统的设计可以归结为三点：

（1）以多进程形式，允许多个任务同时运行；

（2）以多线程形式，允许单个任务分成不同的部分运行；

（3）提供协调机制，一方面防止进程之间和线程之间产生冲突，另一方面允许进程之间和线程之间共享资源。

zfree()

zfree()和free()有相同的编程接口，它负责清楚zmalloc()分配的空间。

辅助函数：

• free()
• update_zmalloc_free()【宏函数】
• update_zmalloc_sub()【宏函数】
• zmalloc_size()

void zfree(void *ptr) {
#ifndef HAVE_MALLOC_SIZE
    void *realptr;
    size_t oldsize;
#endif

    if (ptr == NULL) return;
#ifdef HAVE_MALLOC_SIZE
    update_zmalloc_stat_free(zmalloc_size(ptr));
    free(ptr);
#else
    realptr = (char*)ptr-PREFIX_SIZE;
    oldsize = *((size_t*)realptr);
    update_zmalloc_stat_free(oldsize+PREFIX_SIZE);
    free(realptr);
#endif
}

主要看else后面的源码。