实验一 进程同步和互斥.docx
《实验一 进程同步和互斥.docx》由会员分享,可在线阅读,更多相关《实验一 进程同步和互斥.docx(38页珍藏版)》请在第一文库网上搜索。
1、实验一进程同步和互斥(建议4学时)一、实验目的1 .掌握临界资源、临界区概念及并发进程互斥、同步访问原理。2 .学会使用高级语言进行多线程编程的方法。3 .掌握利用VC或JaVa语言线程库实现线程的互斥、条件竞争,并编码实现P、V操作,利用P、V操作实现两个并发线程对有界临界区的同步访问。4 .通过该实验,学生可在源代码级完成进程同步互斥方案的分析、功能设计、编程实现,控制进程间的同步、互斥关系。二、实验要求1 .知识基础:学生应在完成进程和线程及调度等章节的学习后进行。2 .开发环境与工具:硬件平台一一个人计算机。软件平台-WindOWS操作系统,vc语言或JaVa语言开发环境。3 .运用高
2、级语言VC或JaVa语言线程库及多线程编程技术进行设计实现。三、实验内容1 .实现临界资源、临界区、进程或线程的定义与创建。2 .利用两个并发运行的进程,实现互斥算法和有界缓冲区同步算法。四、实验方案指导该实验方案由以下几个关键设计项目组成:1 .并发访问出错。即设计一个共享资源,创建两个并发线程,二者并发访问该共享资源。当没有采用同步算法设计时,线程所要完成的某些操作会丢失。2 .互斥锁。并发线程使用线程库提供的互斥锁,对共享资源进行访问。3 .软件方法。设计并编程实现计数信号量、P操作函数、V操作函数,并发线程通过调用P,V操作函数实现线程的互斥。4 .同步访问多缓冲区。利用上面的软件方法
3、完成P,V操作,可实现两个线程对多缓冲区的同步访问。五、实验方案实现范例以下是对该项目中包含的部分设计功能的实现方法、实现过程、技术手段的描述,供师生参考。1 .模拟线程并发运行。假设我们使用POSix线程库,而POSIX并没有真正提供线程间的并发运行需求。我们设计的系统应支持符合RR调度策略的并发线程,每个线程运行一段时间后自动挂起,另一个线程开始运行。这样一个进程内所有线程以不确定的速度并发执行。2 .模拟一个竞争条件一一全局变量。创建两个线程t1和t2,父线程主函数main。定义两个全局变量accnt1和accnt2,每个变量表示一个银行账户,初始化为0。每个线程模拟一个银行事务:将一定
4、数额的资金从一个账户转到另一个账户。每个线程读入一个随机值,代表资金数额,在一个账户上做减法,在另一个账户上做加法,用两个变量记录两个账户的收支情况。良性情况下收支应平衡,即两个全局变量之和应为0。下面是每个线程的代码:Counter=O;dotmp1=accnt1;tmp2=accnt2;r=random();accnt1=tmp1r;accnt2=tmp2-r;counter;whi1e(accnt1accnt2=0);printf(,%dv,counter);两个线程运行的代码相同,只要各自代码不被交叉执行,两个收支余额之和就应一直为如果线程被交叉执行,某个线程可能会读入一个旧的accn
5、t1值和一个新的accnt2值,或反,这样会导致某个值的丢失。当这种情况出现时,线程停止运行,并把出现情况的位置COImter的值)打印出来。3 .模拟一个竞争条件一一共享文件。主线程创建两个共享文件f1和f2,每个文件包含一个当前银行账户。线程使用随机数对文件进行读/写,方式同上。注意:文件在读/写过程中不要加互斥访问锁,以免不会出现交叉访问的情况。4 .测试出现一个竞争条件的时间。我们的编程环境中,一般无法支持线程的RR调度,必须编程实现两个线程间在两个赋值语句之间插入以下代码:在指定区间(比如O到1)生成一个随机数,小于一个极限值(如0.1),调用线程自动挂起函数jie1d(),自动放弃
6、CPU,另一运行,于是导致一个数据更新的丢失。5 .互斥锁。POSIX线程库提供一个二值信号量,称为MUTEX,它可以加锁或解锁。如果已被另一个线程加上锁的MUTEX加锁,就会引发该线程被阻塞,MUTEX解锁时唤醒它。使用这些原语,很容易实现互斥进入CS(临界区)。进入CS区时加锁,离开CS区时解锁。系统负责阻塞或唤醒线程。6 .用软件方法实现互斥访问临界区。用标准编程语言设置变量的值,用线程“忙等待”实现互斥访问CS。设计两线分代码如下:intc1=0,c2=0,wi11_wait;p1:whi1e(1)c1=1;wi11_wait=1;whi1e(c2&(wi11_wait=1);*忙等待
7、*/cs1;c1=O;programi;)p2:whi1e(1)c2=1;wi11_wait=2;whi1e(c1&(wi11_wait=2);*忙等待*/cs2;c2=0;program2;该软件方法使用三个变量c1,c2,wi11_wait,解决两个线程的同步问题。两个线程分别将C1和c2设置为1,表示自己试图进入临界区,并将Wi11Wait分别设置为1和2,以消除任何竞争条件。通过“忙等待”循环实现线程的阻塞。当线程退出CS区时,分别将变量C1和c2设置为0。我们可以比较互斥锁和软件方法这两种解决方法的效率。可以通过重复相同的循环次数,测量各自的执行时间,尽量减少可能的外部干扰,重复测试
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 实验一 进程同步和互斥 实验 进程 同步