开发工具:
文件大小: 1mb
下载次数: 0
上传时间: 2018-09-22
详细说明： 互斥是通过每个线程看到的各自的view得到关于global的关于critical area的owner的一致看法实现的。根据2.8的证明，锁 的实现必须有写的动作，如果第一条指令是读，且只依据这一条指令是不能区分先后的;如果写了之后没有读，线程不能 得到view，和没写一样;如果又写又读，并得到某些顺序则它实际就是个gate。 11. 满足互斥。假设不成立。假设 CS(A)-->CS(B) => R(A)(turn=A) --> R(B)(turn=B) && W(A)(turn=A)-->W(B)(turn=B) && R(A)(turn=A)-->W(B)(turn=B);否则turn由B改变后不能再变成A。所以有 W(A)(busy=true)-->R(A)(turn=A)-->W(B)(turn=B)-- >R(B)(busy=false) => W(A)(busy=true)->R(B)(busy=false). 矛盾。 不满足无饥饿，因为某个线程A执行完turn=A之后，等待busy = false的时 候，别的线程可能无限次的turn=X-->busy==false-- >busy=true。 不满足无死锁。可能有 W(A)(turn=A)-->W(B)(turn=B)-->R(A)(busy=false)-->W(A)(busy=true)-->R(B)(busy=false). A waits turn==A, B waits busy == false. ...展开详情收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
