【摘 要】
：
Qadeer首次针对并发下推系统提出一种有界可达算法,通过限定上下文切换的次数使得算法可终止,可有效地分析过程间并发程序。但是并发下推系统以全局变量模拟同步,不适应于当
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60673155,No.90718008）.
论文部分内容阅读
Qadeer首次针对并发下推系统提出一种有界可达算法,通过限定上下文切换的次数使得算法可终止,可有效地分析过程间并发程序。但是并发下推系统以全局变量模拟同步,不适应于当前广泛使用的基于事件驱动的并发程序。针对通信下推系统,提出一种基于双重调度的有界可达算法,通过限定同步调度的次数,结合线程间的同步调度和线程内的路径调度解决通信下推系统的可达性问题,从而为事件驱动的过程间并发程序分析提供了算法基础。
其他文献
根据P2P嵌入式可视电话应用环境，分析基于高离散地址P2P可视电话的会议模型，针对分布式会议模型要解决的应用层组播问题，给出综合了带宽约束、路径时延、处理代价的适应性评价函
阐述了箱梁模板预压施工技术,提出了施工注意事项,根据大型铁路预制箱梁预制工程为实例,详细介绍了预制梁场制梁台座地基处理技术,对地基基础进行设计计算,供同类工程参考借
针对25 m-U型梁整体预制张拉台座固定端横梁的破损,从固定端横梁的加工制作、焊接工艺要求以及张拉方案3个方面进行了破损原因分析。以最大限度地减少对施工进度影响为前提,