操作系统实验Linux进程与线程通讯.doc

Linux进程与线程通讯 报告人： 设计目的1、深刻理解线程和进程的概念2、掌握线程与进程在组成成分上的差别以及与其相适应的通讯方式和应用目标。设计的内容1、 以Linux系统进程和线程机制为背景，掌握fork()和clone（）系统调用的2、 形式和功能以及与其相适应的高级通讯方式。由fork派生的子进程之间通过 pipe通讯，由clone创建的线程之间通过共享内存通讯，对于后者需要考虑互斥问题。3、 以生产者-消费者问题为例，通过实验理解fork（）和clone（）两个系统调用的区别。程序要求能够创建4个进程或线程，其中包括两个生产者和两个消费者，生产者和消费者之间能够传递数据。4、三、 设计准备 1、 fork系统调用、pid=fork()创建一个子进程，子进程是父进程的完整复制，正常返回值为非负整数，对于父进程来说该数大于0，是子进程的编号(pid)；对于子进程来说该数为0。正是利用反回值的差别可以决定二者不同的后继动作。2、 clone系统调用int clone(int (*fn)(void * arg), void *stack, int flags, void * arg);其中fn是轻进程所执行的函数，stack是轻进程所使用的栈，flag是CLONE_VM, CLONE_FS, CLONE_FILES, LONE_SIGHAND,CLONE_PID的组合，arg是调用过程的对应参数。Clone()的关键是flag的设定，CLONE_VM表示子进程共享父进程内存，CLONE_FS表示子进程共享父进程的文件系统，CLONE_SIGHAND表示子进程共享父进程的消息处理机制，CLONE_PID是指子进程继承父进程的id号。3、 pipe系统调用ret_val=pipe(fd);参数定义为int fd2。创建一个管道文件，返回两个文件描述符fd0和fd1分别用于管道文件的读和写操作。管道文件创建后，可以被fork创建的子进程共享。4、 sem_wait(&s)和sem_post(&s)分别相当于信号灯的P操作和V操作。其中s是说明为sem_t类型的信号灯。初始化函数sem_init(s,0,8)。5、 pthread_mutex_lock(&mutex)和pthread_mutex_unlock(&mutex)分别用于加锁和解锁。参数为pthread_mutex_t mutex定义的互斥锁。初始化tthread_mutex_init(&mutex,NULL)。四、实验设计1、 用pipe()创建一个管道文件2、 然后用fork()创建两个生产进程和两个消费进程3、 它们之间通过pipe()传递信息4、 用clone()创建四个轻进程（线程）5、用参数指明共享内存等资源6、 通过共享内存模拟生产消费问题7、利用pthread_mutex_lock(), pthread_mutex_unlock()等函数实现对共享存储区访问的互斥五、程序流程5.1基于fork的程序流程 5.2基于clone的程序流程 六、结果输出及分析1、 基于fork的结果输出分析结果：由程序（1）结果可见，当一个进程改变其空间数据时，其他进程空间对应数据内容并未改变，说明在使用fork()语句创建的子进程与其父进程具有相对独立的地址空间，在解决生产消费的问题时，可以采用pipe()进行通信。因为子进程复制了父进程的打开文件表，所以pipe()所建立的通信管道可被子进程继承，生产和消费进程可以通过对同一管道文件的读写进行通讯。程序（1）中，消费者从管道中接收生产者发送的数据，并且和自己存储区中的数据进行比较，两者的数据是不同的，说明两个进程拥有不同的存储空间。 2、 基于clone（）的结果输出分析结论：由程序（2）结果可见，clone()语句在创建进程时，可通过参数设定子进程与父进程是否共享存储空间，从而可以创建真正意义上的线程。生产者和消费者进程共享内存，从而可以通过共享内存直接交换数据。但是多个进程共享内存需要互斥机制，程序中定义了临界区变量mutex和两个信号量product，warehouse，临界区变量用于共享内存操作的互斥，信号量分别实现了生产者和消费者的等待。程序（2）中，消费