首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
用纯用户软件实现进程的互斥。对共享资源的访问要互斥进行,进程级的互斥可以通过系统提供的锁和信号量等实现,也可通过纯软件实现。用纯软件实现进程互斥地进入临界段的方法既可用于单处理机环境,也可用于多处理机环境,只要这些处理机能共享同一个存储区,且诸进程对同一主
用纯用户软件实现进程的互斥。对共享资源的访问要互斥进行,进程级的互斥可以通过系统提供的锁和信号量等实现,也可通过纯软件实现。用纯软件实现进程互斥地进入临界段的方法既可用于单处理机环境,也可用于多处理机环境,只要这些处理机能共享同一个存储区,且诸进程对同一主
admin
2016-05-14
72
问题
用纯用户软件实现进程的互斥。对共享资源的访问要互斥进行,进程级的互斥可以通过系统提供的锁和信号量等实现,也可通过纯软件实现。用纯软件实现进程互斥地进入临界段的方法既可用于单处理机环境,也可用于多处理机环境,只要这些处理机能共享同一个存储区,且诸进程对同一主存单元的访问是串行地进行的,除此以外不需要任何硬件、操作系统或程序设计语言的特殊支持。
通过纯软件来实现进程间的互斥所需共享存储区,就要通过共享内存的系统调用shmget、shmat获得。父进程的全局变量在创建子进程后,两者也是分开存放的,故即使父子进程之间也不能通过全局变量进行通信。
线程能有效地增强不同执行程序之间的通信效率。在大多数的操作系统中,独立进程之间的通信需要与核心交互,以提供进程通信所需的机制。可是,由于在同一进程中的线程共享内存,它们之间的通信就不需要调用核心。
由于同一个进程中的所有线程共享进程的资源,它们驻留在相同的地址空间和访问相同的数据。如一个线程修改了存储空间中的一项数据,其他线程访问该数据项时也会获得改变了的结果。故子线程之间就能通过进程的全局变量进行通信,也能用全局变量实现纯软件的安全锁。
试编一个多线程并发的程序,用纯软件来实现对共享资源的访问计数,最简单的互斥共享资源就是共享计数变量。
选项
答案
实现该功能的C程序为程序清单15-3。 程序清单15-3的soft_section.C程序使用Peterson 1981年发表的算法解决两个进程互斥执行临界段的算法。程序用纯用户软件实现了进入临界段的互斥控制函数enter_section和退出临界段的控制函数leave_section。enter_section保证只能由一个进程或线程能通过本函数,另外的进程或线程就在函数内的while语句中循环等待。 程序创建了两个线程对共享变量global_count进行访问计数,在一次运行中,每一个线程访问0~9次(由随机数产生器产生),并用enter_section控制线程互斥地存取global_count。为了强化互斥进入的效果,把对global_count访问计数操作拆成两句,并在两句之间插入睡眠0~2秒的sleep()函数(也由随机数产生器产生)。另外作为比较,每一个线程也计算各自访问次数,最后由主线程收集累加。从运行结果可以看出,两种独立的计数方法的结果是相同的。如果线程不调用进入临界段的互斥控制函数enter_section和退出临界段的控制函数leave_section,请读者再次编译和运行程序,并比较这两种独立的计数方法的结果。 程序清单15-3:soft_section.c #include<pthread.h> #include<stdio.h> #include<stdlib.h> #define BALSE 0 #define ARUE 1 #define N 100/*竞争资源的进程数目*/ int observer;/*轮到哪个进程观察要进入临界段的情况*/ int wanted_in[N];/*各进程希望进入临界段的标志*/ enter_section(process)/*进入临界段的互斥控制函数*/ int process;/*进程编号:0或1*/ { int other;/*对方进程号*/ other=1-process; wanted_in[process]=ARUE;/*本进程要进入临界段*/ observer=process;/*本进程要观察进入临界段的情况*/ while(observer==process&&wanted_in[other]);/*等待*/ } leave_section(process)/*退出临界段函数*/ int process; { wanted_in[process]=BALSE;/*表示离开了临界段*/ } 静define AIMES 5 int global count; /*线程执行函数,传入参数为线程序号,传出参数为项:(序号+1)*2*/ void*dowork(void*params) { int i,j,tmp,times,thread count=0; extern int global_count; j=*(int*)params; times=random()%10; for(i=0,i<times;i++){ enter_section(j); tmp=global_count; sleep(random()%3); global_count=tmp+1; leave_section(j); thread_count++; } *(int*)params=thread count; printf("the thread[%d]count=%d\n",j,thread_count); } int nthreads=2; /*运行方法:./a.out n其中n为要创建的线程数,默认为2*/ main(intargc,char**argv) { int i: pthread_t threads[100]; int thread_id[100]; int thread_count=0; extern int global_count; nthreads=1; if(argc==2) nthreads=atoi(argv[1]);//将命令行字符串参数转换为整数 srand(0); for(i=0;i<nthreads;i++){ thread_id[i]=i; /*创建线程,其中pthreaddata[i]为传给线程执行函数dowork的参数,并将结果带回*/ pthread_create(&threads[i],NULL,dowork,&thread_id[i]); } for(i=0;i<nthreads;i++){ pthread_join(threads[i],NULL);//等待子线程结束,汇合结果 thread_count+=thread_id[i]; } printf("Ahe thread_count=%d\n",thread_count); printf("Ahe global_count=%d\n",global_count); } 编译: $gcc thread_mutex.c-lpthread 本程序的enter_section和leave_section函数只能支持两个线程间的互斥。但 Peterson算法也很容易扩展到任意的N个进程,只要将enter_section函数中的while语句改成如下的形式。 while(observer==process){ if(observer!=process) break; for(i=0;wanted_in[i];i++) if(wanted_in[i]) continue; }。
解析
转载请注明原文地址:https://kaotiyun.com/show/jzAx777K
本试题收录于:
操作系统题库理工类分类
0
操作系统
理工类
相关试题推荐
阈值检验在入侵检测技术中属于()
必须运用定性和定量两种方法才能制定的决策,称为()
不确定条件下的决策是()
对于库存管理中的大批量采购,下列说法中不正确的是()
若未来有各种可能的自然状态,且已知各种自然状态发生的概率,则决策者应进行的决策。()
设A方案在θ状态下的收益值为f(A,θ),遗憾值为R(A,θ),则最小最大遗憾原则可表述为()
计费管理记录________的使用。
试描述文件映射的概念,有哪些方法可供一个进程与另一个进程共享某个文件映射对象?
在请求分页存储管理系统中,运行一个共有7页的作业,作业执行时访问页面的顺序为:0,5,1,3,0,1,2,5,0,4,2,6,4,3。系统为该作业分配4块内存块且初始状态为空。请用FIFO页面置换算法,用列表形式求出该作业执行完成后发生缺页次数和被淘汰的页
随机试题
化学纯试剂品质低于实验试剂。()
试确定a、b,使得(ay2一2xy)dx+(bx2+2xy)dy是某一个函数的全微分.
患者男,42岁。最近1周常容易饥饿、口渴,饮食、饮水量增加,渐进消瘦,疲乏无力,自觉体重减轻。入院后查血浆胰岛素和C一肽均有不同程度下降,血糖水平升高,尿糖阳性。患者用药后饥饿感增强、出汗、心跳加快、焦虑,未给以重视,当晚即昏迷,考虑是
HIV与感染细胞膜上CD4分子结合的病毒刺突是
某项目建筑工程费600万元,设备、工器具购置费800万元,安装工程费180万元,工程建设其他费用210万元,基本预备费90万元,项目建设期2年,第2年计划投资40%,年价格上涨率为3%,则第2年的涨价预备费为( )万元。
改革开放以来,我国各项财政支出中,增长最快的项目是()。
“试述辛亥革命失败的原因”“简述光合作用的过程”这些知识属于()。
泡沫对于()相当于()对于腐败
投射性认同指一个人诱导他人以一种既定的方式来作出反应的行为模式,体现在人际关系中,往往是甲方把内心中“好”或“坏”的客体投射到乙方身上,认为乙方“好”或“坏”,而乙方又接受了这一投射幻想,于是就以甲方所设想的方式来对待甲方,然后甲方又进一步验证了自己的假设
下列关于基类和派生类关系的叙述中,正确的是()。
最新回复
(
0
)