关于线程1：被误解的概念——线程和程序

线程不是程序！

 

很多人的第一反应可能是：这个我早就知道了，线程是主动的，程序是被动的。我们在操作系统课程的进程这一章就学过了这个概念。

 

线程是程序执行的抽象，看不见摸不着，操作系统中并不存在什么线程的实体。不过抽象的东西不容易理解（事实上恰恰相反），因为我们日常生活中所见到的都是具体的事物。抽象是将一类事物的共同特征提取出来，忽略不重要且千差万别的细节（比如数字1就是一种抽象，它不是一支笔、一棵树、一头牛……）。当我们感觉某种抽象太“抽象”时，往往会找到其对应的一个具体之物，很自然，为了理解线程，我们首先找到的就是其程序，因为线程就是按照程序指令执行的，我们见的最多的也是程序代码。久而久之，我们就开始忽略线程和程序的区别。

 

理解系统最好的方式是阅读其源代码。当阅读程序源代码来理解程序或系统功能时，我们倾向于赋予代码“生命力”，让他变成一个主动的实体——程序变成了线程。然而我们阅读过程是线性的，当遇到多线程程序代码时，往往很难理解并行执行这种抽象。

 

我们这样思考线程和程序是最好的：程序是一张指令表，上面写满了各种操作，而线程是操作员按照这张指令表进行操作的一个过程。所有操作员都可以按照指令表同时进行操作，甚至是同时进行同样的操作（执行同一条指令）。程序和（全局）数据一样，都是线程执行所需要的资源，被进程中所有线程所共享。程序的属性是只读和可执行的，所以能被所有线程安全的共享而不发生冲突；同样，数据也是被所有线程共享，但并不能做到安全的共享，因为数据的属性除了可读外，有些还可写，多个线程同时（理解“同时”这个概念）对同一数据进行操作时很容易出错，这是多线程程序难以正确编写的另一个重要的原因所在（前一个是没有正确理解线程这个概念）！

 

注1：我将进程理解为资源的容器，线程是执行抽象，所以并没有将进程和程序作对比。

住2：我提到的数据都是全局数据，包括函数中定义的静态变量。函数中的局部变量是在线程专有的执行堆栈中被定义和销毁，不被执行该函数的线程共享，所以不会发生冲突。