切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于增广有色Petri网带封锁机制的并发控制模型
基于增广有色Petri网带封锁机制的并发控制模型
来源 :网络安全技术与应用 | 被引量 : 0次 | 上传用户:aie520
【摘 要】
:
本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。
【作 者】
:
陈彦舟
冯朝辉
【机 构】
:
中国人民公安大学信息安全系,北京,102600
【出 处】
:
网络安全技术与应用
【发表日期】
:
2011年04期
【关键词】
:
Petri网
抑制弧
容许弧
死锁
2PL
形式化
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。
其他文献
生、神、身、伸:小论唐卡“拉如”
唐卡是藏传佛教文化表现形态的杰出典范之一,无论是热贡唐卡还是拉卜楞唐卡,其传承不仅是图像的传承、技法的传承,更在于其背后特定文化意义的体现与特定人群共同情感体验的
期刊
拉如
唐卡
藏传佛教
颅眶植物性异物存留二年一例
期刊
颅眶
植物性
伤口化脓
清创缝合
右眼
异物
手术
视力
木质
木片
患者
窦道
给大爷们找点乐趣吧
每天晚饭过后,不论是城市还是乡村,只要有片空地,吃饱饭的大妈们就会聚集到一起跳她们喜爱的广场舞。广场舞,这种群体性的健身活动,以群体性为主,少则几个人,多则几百人,甚至
期刊
群体性
健身活动
广场
音乐
乡村
起跳
聚集
节奏
城市
中华医学会第八届全国眼科大会在西安市召开
期刊
医学会
眼科
压力-容积曲线在小鼠离体心脏缺血再灌注损伤模型心功能评价中的应用
目的在小鼠离体心脏灌注模型建立压力-容积曲线,探讨左心室弹性和顺应性或刚度在评价离体心脏缺血再灌注损伤模型心功能改变中的可靠性和敏感性。方法对15只12~14周雄性C57/6BL小鼠进行离体心脏恒压Langendorff灌注,通过测量不同球囊容积下的左心室收缩及舒张压,绘制压力-容积曲线,获得对应的收缩期末压力-容积关系(ESPVR)和舒张期末压力容积关系(EDPVR)。分别根据ESPVR和EDP
期刊
心肌再灌注损伤
弹性
顺应性
小鼠
首届(2000年)贝尔杯《电信工程技术与标准化》优秀文章评选结果公布
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
贝尔
电信
工程技术
标准化
斑块形成的高危因素
人的生命是顽强的,可以承受巨大的压力和挫折,同时又是脆弱的,一条不起眼的微小血管中的斑块也足以让一个鲜活的生命倒下.是的,动脉粥样硬化斑块对人体的健康有着致命的危害,
期刊
块形
粥样硬化斑块
压力
微小血管
生命
空气污染
高危因素
高血脂
高血压
高血糖
运动
预防
鲜活
吸烟
危害
人体
健康
肥胖
动脉
第412例 甲状腺肿—房颤—TSH正常—FT3、FT4升高
期刊
基于网络的可验证电子摇号系统的开发及实现
本文基于可验证随机数构造理论,设计了基于网络平台的可验证电子摇号系统,使电子摇号系统的结果不仅公平公正,而且满足各方的可参与性、可验证性的要求,使公平公正性具有可验证性,对于保障电子商务活动的公平性具有重要作用。
期刊
可验证随机数
网络平台
可验证公平性
稳定斑块——阻碍血流通过
粥样硬化斑块对人体危害巨大,是一种隐藏在人体血管中不借助现代医学检查仪器根本就看不见摸不着的物质,而且大部分斑块属于稳定斑块,大多数患者往往没有明显的症状,因此粥样
期刊
稳定斑块
粥样硬化斑块
人体血管
现代医学
危害巨大
检查仪器
人体内
症状
物质
患者
敌人
与本文相关的学术论文