初识多进程与多线程

1、理解进程的独立空间的实验内容及步骤

 

（1）编写一个程序，在其 main（）函数中定义一个变量shared，对其进行循环加/减操作，并输出每次操作后的结果；

Ø  编写一个C程序，实现对变量的先循环加，然后循环减，程序代码如process1.c，代码截图如下：

图1  无进程源码

 

Ø  对其进行编译运行，结果截图如下：

图2  程序执行结果

 

注：在这种情况下，程序不存在多进程的情况，按一般逻辑先对变量循环加，输出结果20，然后在加的基础上循环减，输出结果为-10。

（2）使用系统调用 fork（）创建子进程，观察该变量的变化；

Ø  在（1）的基础上，改源代码，增加多进程的部分，父进程进行循环加操作，子进程进行循环减操作，具体源代码process2.c，部分代码截图如下：

图3  shared变量在main内的多进程代码

Ø  编译运行该程序，程序执行结果如下：

图4  程序运行结果

注：

==》可以看出输出与（1）不同，多进程情况下，子进程拷贝了父进程的内存区，因此父子进程有各自的内存空间，有各自的变量，互不影响。

==》其次，父子进程从fork语句开始分开执行，且一般情况下，父子进程会争夺系统资源，谁先占用资源，谁先执行。

（3）修改程序把 shared变量定义到 main（）函数之外，重复第（2）步操作，观察该变量的变化。

Ø  在（2）的基础上，把shared变量定义到main()函数外，其它不变，具体源代码见process3.c，部分代码截图如下：

图5  变量在全局的多进程程序

 

Ø  编译运行该程序，程序执行结果如下：

图6  程序执行结果

注：

==》可以看出，程序运行结果与（2）相同，父子进程有各自的内存空间，有各自的变量，独立运行。

==》可见，在多进程情况下，不管是局部变量还是全局变量，父子进程都会有各自的一份拷贝，从而独立运行。

2、理解线程的实验步骤

（1）编写一个程序，在其 main（）函数中创建一个（或多个）线程，观察该线程是如何与主线程并发运行的。输出每次操作后的结果；

Ø  首先编写一个基本的多线程程序，其主要功能为观察主线程与其它线程如何并发执行，具体源码如thread1.c，部分代码截图如下：

图7  用于观察线程如何并发执行的程序

 

Ø  编译运行该程序，其中一次程序执行结果如下：

图8  程序执行结果

 

注：

==》这只是一次程序执行的结果，多次运行程序，可以看到会有不同的结果出现，即打印次序不同。

==》可以根据多次执行的结果判定，多个线程是并发执行的，相互独立运行的，多次执行结果可能不相同。

（2）在 main()函数外定义一个变量shared（全局变量），在main()中创建一个线程，在 main()中和新线程shared进行循环加/减操作，观察该变量的变化；

Ø  在（1）的基础上，在程序中添加一个全局变量，其它不变，具体代码实现如thread2.c，部分源代码截图如下：

图9  定义了全局变量的多线程程序

 

Ø  编译运行该程序，其中一次程序执行结果如下：

图10  程序执行结果

注：

==》从程序的结果可以分析出，程序中两个进程都对shared变量产生影响，从而使shared的值在重复0和1。

==》定义了一个全局变量，在多个线程中均可使用，说明多个线程共享了一块存储区，从而验证了这多个线程共享了同一进程块。

 

 

（3）修改程序把shared变量定义到 main（）函数之内，重复第（2）步操作，观察该变量的变化。

Ø  在（2）的基础上，直接把全局变量shared改成局部定义，其它的保持不变，具体代码实现如thread3_1.c，部分代码截图如下：

图11  shared改为局部变量后的多线程程序

 

Ø  在这种情况下，直接编译，会发生错误，截图如下：

图12  程序编译出错

 

注：当shared为全局变量时，程序可以正常执行，说明了shared在共享的进程块中，而不是某个线程所独占；然而此时，shared只是改为局部变量，编译时出现错误，不能继续进行操作，需要改动程序，下面做改进。

 

 

采用两种改法，可以解决错误，继续运行。

 

方法1：

Ø  通过传递指针变量消除错误，继续运行，具体代码实现如thread3_2.c，部分代码截图如下：

图13  通过传递指针消除错误

 

Ø  编译运行该程序，其中一次程序执行结果如下：

图14  程序运行结果

  注：以上是程序一次执行的结果，多次执行会有不同的结果，但shared值一定或为0，或为1，因为通过指针操作，多个线程操作的是同一块内存区，故多个线程对shared均产生了影响。

 

方法2：

Ø  通过传递按值传递消除错误，继续运行，但由于多线程创建时参数要求为void*类型，直接这样做会有警告，不过不影响程序的正常运行，具体代码实现如thread3_3.c，部分代码截图如下：

图15  通过值传递消除错误的多线程程序

 

Ø  编译运行该程序，其中一次程序执行结果如下：

图16  程序一次执行的结果

 

注：可以看出多个线程有了自己的变量shared，相互不影响。

 

综合上面的三种情况，可以看出当shared为全局变量时，它在多个线程的共享区，即进程区；然而如果shared为局部变量时，就会有不同情况，可以分析出此时shared不在共享区里，而在每个线程自己的存储区。