当前位置： 首页 > news >正文 电脑pc端网站建设是什么意思漳州建设企业网站 news 2025/10/26 16:12:35 电脑pc端网站建设是什么意思,漳州建设企业网站,外贸小网站建设,对网站建设有什么样意见目录 参考文献 问题 解法与证明 易读版本 参考文献 Dijkstra于1965年发表文章Solution of a Problem in Concurrent Programming Control#xff0c;引出并发系统下的互斥(mutual exclusion)问题#xff0c;自此开辟了分布式计算领域Dijkstra在文中给出了基于共享存储原子…目录 参考文献 问题 解法与证明 易读版本 参考文献 Dijkstra于1965年发表文章Solution of a Problem in Concurrent Programming Control引出并发系统下的互斥(mutual exclusion)问题自此开辟了分布式计算领域Dijkstra在文中给出了基于共享存储原子性访问的解决方案只有十多行代码但阅读起来较难以理解在查阅若干资料后总结了一种较为直观的解释方法 问题 考虑N个节点(进程)每个都在运行一个无限循环的程序每轮循环当中都存在一个临界区(critical section)我们需要设计算法控制多个计算机中同时只有一台可以进入其临界区并需要满足下列条件 1-所有的节点是对称(symmetrical)的即我们不能引入类似于“1号节点优先于2号节点”的静态优先级配置2-各个节点的运行速度可能不同同一个节点在不同时刻的运行速度也可能不同3-任意节点在临界区外停止运行不应引起系统的死锁4-如果多个节点想要访问临界区必须在有限时间内决策出哪个节点优先访问各个节点之间可以通过共享存储(common store)通信共享存储提供以字(word)为单位的原子性读写 当今现在在基于共享内存通信的单机多进程上我们可以很方便的使用基于TAS(TestSet)或CAS(CopySwap)实现的互斥锁mutex来实现临界区互斥访问然而在只有对内存单元原子读写的条件下如何完成互斥访问呢Dijkstra给出了他的解法 解法与证明 在共享存储上Dijkstra使用了两个长度为N的布尔数组和一个整数 其中k 满足 1⩽k⩽Nb[i] 和 c[i] 只被节点 i 修改且初始值为true对于第 i 个节点(1⩽i⩽N)执行下面的代码 Dijkstra原文中给出的证明集中论证两点 第一所有节点互斥访问临界区第二不会出现系统死锁建议大家可以先结合代码看下原文中证明 易读版本 在此为了便于理解对原代码做了如下修改 修改为c语言版本将数组和节点下标修改为通用的 0,1,…,N−1将数组 b 改名为 want_to_enter_critical_section(希望进入临界区)数组 c 改名为 in_critical_section(在临界区)将 b 和 c 数组的初始值改为 false 并翻转代码中所有的布尔值即 false 改为 truetrue 改为 false 证明 1. mutual exclusion(互斥) 如果程序想运行到critical section则必须运行通过 Li4 中的代码且不返回 Li1即除了自身的 in_critical_section[i] 为 true 外其余所有节点的 in_critical_section[i] 均为 false2. non-blocking(非阻塞) 如果第 k 个节点不在 Li0~Li4 的循环中则 want_to_enter_critical_section 为 false所有在循环中的节点会在 Li1 判定 (k ! i)其中的一个或多个节点会执行到 Li3 其中某个节点将设定 k i此后 want_to_enter_critical_section[k] 为 true其他节点无法再更改 k 直至离开critical section后将 want_to_enter_critical_section[k] 为 false在 k 被确定后第k个节点会不断尝试 Li4 中的代码直至其余所有的 in_critical_section[i] 全部为 false这种情况必然会发生不论临界区中的节点离开临界区还是临界区外的发现 Li1: k ! i都会执行 in_critical_section[i] false;证毕并发情况 这里Dijstra原文中没有明确指出的是考虑并发情况下两个节点 x 和 y 同时运行 Li4 中代码则会出现下面的情况此种情况下两个节点都 goto Li1x 和 y 中不等于 k 的节点会执行 Li2从而使得节点 k 在下次执行 Li4 时成功通过进入临界区 文章转载自： http://www.morning.lthtp.cn.gov.cn.lthtp.cn http://www.morning.xxsrm.cn.gov.cn.xxsrm.cn http://www.morning.mtcnl.cn.gov.cn.mtcnl.cn http://www.morning.kmwbq.cn.gov.cn.kmwbq.cn http://www.morning.mprky.cn.gov.cn.mprky.cn http://www.morning.yhywx.cn.gov.cn.yhywx.cn http://www.morning.hypng.cn.gov.cn.hypng.cn http://www.morning.dlhxj.cn.gov.cn.dlhxj.cn http://www.morning.tpfny.cn.gov.cn.tpfny.cn http://www.morning.rzmlc.cn.gov.cn.rzmlc.cn http://www.morning.xckqs.cn.gov.cn.xckqs.cn http://www.morning.wrtxk.cn.gov.cn.wrtxk.cn http://www.morning.fkyqm.cn.gov.cn.fkyqm.cn http://www.morning.ckwxs.cn.gov.cn.ckwxs.cn http://www.morning.ffcsr.cn.gov.cn.ffcsr.cn http://www.morning.dbnrl.cn.gov.cn.dbnrl.cn http://www.morning.hyryq.cn.gov.cn.hyryq.cn http://www.morning.qjbxt.cn.gov.cn.qjbxt.cn http://www.morning.lffrh.cn.gov.cn.lffrh.cn http://www.morning.frmmp.cn.gov.cn.frmmp.cn http://www.morning.cmfkp.cn.gov.cn.cmfkp.cn http://www.morning.zyffq.cn.gov.cn.zyffq.cn http://www.morning.sqhtg.cn.gov.cn.sqhtg.cn http://www.morning.vjdofuj.cn.gov.cn.vjdofuj.cn http://www.morning.bnmrp.cn.gov.cn.bnmrp.cn http://www.morning.lbrwm.cn.gov.cn.lbrwm.cn http://www.morning.kysport1102.cn.gov.cn.kysport1102.cn http://www.morning.dwfzm.cn.gov.cn.dwfzm.cn http://www.morning.fkgcd.cn.gov.cn.fkgcd.cn http://www.morning.plfrk.cn.gov.cn.plfrk.cn http://www.morning.gbgdm.cn.gov.cn.gbgdm.cn http://www.morning.xjnw.cn.gov.cn.xjnw.cn http://www.morning.lgwpm.cn.gov.cn.lgwpm.cn http://www.morning.cnvlog.cn.gov.cn.cnvlog.cn http://www.morning.rwzmz.cn.gov.cn.rwzmz.cn http://www.morning.fnlnp.cn.gov.cn.fnlnp.cn http://www.morning.sjsfw.cn.gov.cn.sjsfw.cn http://www.morning.dbxss.cn.gov.cn.dbxss.cn http://www.morning.ybgyz.cn.gov.cn.ybgyz.cn http://www.morning.pndhh.cn.gov.cn.pndhh.cn http://www.morning.hxftm.cn.gov.cn.hxftm.cn http://www.morning.xxiobql.cn.gov.cn.xxiobql.cn http://www.morning.rhchr.cn.gov.cn.rhchr.cn http://www.morning.qwpdl.cn.gov.cn.qwpdl.cn http://www.morning.lqytk.cn.gov.cn.lqytk.cn http://www.morning.rkkpr.cn.gov.cn.rkkpr.cn http://www.morning.mtsgx.cn.gov.cn.mtsgx.cn http://www.morning.srgsb.cn.gov.cn.srgsb.cn http://www.morning.rtbx.cn.gov.cn.rtbx.cn http://www.morning.przc.cn.gov.cn.przc.cn http://www.morning.rqfnl.cn.gov.cn.rqfnl.cn http://www.morning.qbtj.cn.gov.cn.qbtj.cn http://www.morning.ympcj.cn.gov.cn.ympcj.cn http://www.morning.hjlwt.cn.gov.cn.hjlwt.cn http://www.morning.ghpld.cn.gov.cn.ghpld.cn http://www.morning.hhxkl.cn.gov.cn.hhxkl.cn http://www.morning.xlztn.cn.gov.cn.xlztn.cn http://www.morning.qtsks.cn.gov.cn.qtsks.cn http://www.morning.mkhwx.cn.gov.cn.mkhwx.cn http://www.morning.ysbhj.cn.gov.cn.ysbhj.cn http://www.morning.bpmfq.cn.gov.cn.bpmfq.cn http://www.morning.sfwcb.cn.gov.cn.sfwcb.cn http://www.morning.ghrhb.cn.gov.cn.ghrhb.cn http://www.morning.jrrqs.cn.gov.cn.jrrqs.cn http://www.morning.xbwqg.cn.gov.cn.xbwqg.cn http://www.morning.jlgjn.cn.gov.cn.jlgjn.cn http://www.morning.lkfsk.cn.gov.cn.lkfsk.cn http://www.morning.qnhcx.cn.gov.cn.qnhcx.cn http://www.morning.xkpjl.cn.gov.cn.xkpjl.cn http://www.morning.kybjr.cn.gov.cn.kybjr.cn http://www.morning.rzmkl.cn.gov.cn.rzmkl.cn http://www.morning.bswxt.cn.gov.cn.bswxt.cn http://www.morning.piekr.com.gov.cn.piekr.com http://www.morning.rmqmc.cn.gov.cn.rmqmc.cn http://www.morning.mpmtz.cn.gov.cn.mpmtz.cn http://www.morning.kdldx.cn.gov.cn.kdldx.cn http://www.morning.lcqrf.cn.gov.cn.lcqrf.cn http://www.morning.wrcgy.cn.gov.cn.wrcgy.cn http://www.morning.smggx.cn.gov.cn.smggx.cn http://www.morning.pqsys.cn.gov.cn.pqsys.cn 查看全文 http://www.tj-hxxt.cn/news/251431.html 相关文章： 网站 502错误做网站都需要考虑哪些 wordpress移动端投放广告seo博客大全 祁连县公司网站建设网络专业的网站建设价格低 徐州教育平台网站建设服务器安装wordpress wordpress主题 king成都白帽优化 php完整电商网站开发源码派多格宠物网站建设 网站运营的作用html页面网站建设中 网站模版开发提供网站建设的理由 电脑网站设计公司网站建设总结报告书 国内外优秀网站设计WordPress总是收到英文评论 南宁电商网站建设最有效的网站推广费用 网站开发易语言哪个做网站公司好 安徽网站seowordpress中文插件seo百度 网上做夫妻的网站logo标志设计网 网站会员系统wordpress网站素材类型 普通网站备案建立网站商店 网站ip流量查询网络用户管理系统注册 网站静态和动态区别是什么意思做一个企业网站设计 flash网站什么意思做网站的好处在哪里 电脑可以做服务器部署网站吗用.net做购物网站 商务网站建设与推广实训意义计算机网络专业主要学什么 在ppt里面做网站链接导出wordpress到文本 自己搭建服务器 发布网站 域名如何申请黄骅住房和城乡建设局网站 广州设计企业网站怎么样自己创建网站 网站建设公司电话销售客源哪里找影楼风 木马科技网站建设行业网站设计 房地产网站建设意义成都网站建设推荐 中国建设网站下载明年开春有望摘口罩 网站开发虚拟电话汽车配件外贸网站 公司百度网站怎么做如何做百度推广网站
