试验三使用Linux高级IPC.ppt

实验三使用Linux高级IPC 陈毅东 提纲 进程间通信概述 目标问题——哲学家进餐问题 问题描述 错误与不好的解法 并行度较高的解法 Linux高级IPC机制 概述 System V信号灯 System V共享内存区 实现的其他问题 实习题 进程间通信概述（1）：引子 #include unistd.h#include sys/types.hint result;main(){ pid_t pid; result=0; pid=fork(); if(pid0) exit(-1); 进程间通信概述（2） 进程是相互独立的，进程间的通信需要专门的机制。 进程之间的通信可以经由文件系统，但实际使用较为复杂（例如，需要锁机制）。 UNIX IPC (InterProcess Communication)机制是各种进程通信方式的统称。 Linux下的进程通信手段基本上是从Unix平台上的进程通信手段继承而来的。 进程间通信概述（3） 对于UNIX的发展，贝尔实验室和BSD在进程间通信方面的侧重点有所不同： 贝尔实验室对Unix早期的进程间通信手段进行了系统的改进和扩充，形成了“System V IPC”，通信进程局限在单个计算机内； BSD则主要考虑跨计算机的进程间通信，形成了基于套接口（socket）的进程间通信机制。 进程间通信概述（4） 哲学家进餐问题的描述 五个哲学家围坐在一张圆桌周围，每个哲学家面前都有一碗米饭，相邻的两碗之间有一支筷子（如图）。 哲学家的生活包含两种活动：即吃饭和思考。当一个哲学家觉得饿时，他就试图分两次去取他左边和右边的筷子，每次拿起一支，但不分次序。如果成功地获得了一双筷子，他就开始吃饭，吃完以后放下筷子继续思考。这样，问题就是，为每个哲学家写一段程序来描述其行为，要求不死锁。 错误与不好的解法（1） 解法一：可能进入“死锁”状态 错误与不好的解法（2） #define N 5 void philosopher(int i) { while(TRUE){ think(); do{ take-chopstick(i); if(can-take-chopstick((i+1)%N)) break; else put-chopstick(i); }while(TRUE); eat(); put-chopstick(i);put-chopstick((i+1)%N); } } 错误与不好的解法（3） #define N 5 typedef int semaphore; semaphore mutex=1; void philosopher(int i) { while(TRUE){ think(); down(mutex); take-chopstick(i); take-chopstick((i+1)%N); eat(); put-chopstick(i); put-chopstick((i+1)%N); up(mutex); } } 并行度较高的解法（1） #define N 5 #define LEFT (i+N-1)%N #define RIGHT (i+1)%N #define THINKING 0 #define HUNGRY 1 #define EATING 2 typedef int semaphore; int state[N]; semaphore mutex=1; semaphore s[N]; 并行度较高的解法（2） 概述 System V IPC包含了三种机制，在实现“哲学家进餐问题”时，我们只使用信号灯机制和共享存储区机制。主要的函数如下： 信号灯 共享内存区 　头文件 sys/sem.h sys/shm.h 　创建或打开IPC semget shmget 　控制IPC操作 semctl shmctl 　IPC操作函数 semop shmat, shmdt System V IPC对象以key_t类型的值作为其名字。 System V IPC对象以一定的存取权限来控制其访问。 System V IPC的名字 System V IPC是有名的，这样可以支持无亲缘关系的进程访问同一的IPC对象。其名字的类型为key_t，可以由ftok函数赋予或直接取值IPC_PRIVATE。 ftok函数 原型：#include sys/types.h　　　#include sys/ipc.h　　　key_t ftok