【摘 要】
：
在并发面向对象环境中,对象需要同步控制机制来保证其内部状态的一致性,我们自行设计的Guard-Trace机制是在传统的同步控制机制Trace之上的拓广,可较好地刻划被动对象的同步
论文部分内容阅读
在并发面向对象环境中,对象需要同步控制机制来保证其内部状态的一致性,我们自行设计的Guard-Trace机制是在传统的同步控制机制Trace之上的拓广,可较好地刻划被动对象的同步控制约束,具有简明、表达能力强、使用灵活等优点.然而,Guard-Trace机制对实现技术提出了更高的要求,在定义了Guard-Trace的语法语义的基础上,阐述了它的模拟实现系统的设计决策,并深入讨论了Guard-Trace的关键实现技术问题.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的研究腹腔镜下胆囊切除术后护理的方法与效果。方法选择2015年6月-2017年6月医院收治的腹腔镜下胆囊切除术患者92例,随机分为对照组和观察组,每组患者46例。对照组患者采
针对多振动台随机振动控制中求解补偿矩阵的广义逆算法,提出利用进化规划对补偿矩阵的初值进行优化的方法,解决了实时控制中的非线性、宽区间内的极值求解问题.双振动台随机
目的比较2种流产临床方法终止早期妊娠的临床疗效。方法将该院348例要求终止早孕者,根据患者意愿分为药物流产辅以清宫术（A组）203例和单纯药物流产（B组）145例,A组给予清晨空腹口
二语习得研究中一般认为口语互动中的重述是在以内容为基础的交际过程中产生的隐性负面反馈,而研究者对这一性质实际上是存在争议的。本文结合相关理论,分析重述研究中的争议
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
人工智能教育是目前教育发展的大势所趋。随着人工智能技术的不断发展,人工智能教育自提出后就受到全球教育研究者的广泛关注。通过加强人工智能教育构筑我国人工智能发展的先发优势,已成为当前亟需思考和解决的问题。为了响应国家政策,培养人工智能人才,文中以Android单片机为基础,研制了人工智能科普套件。该套件以单片机核心开发板为载体,配套驱动通信模块、传感器模块等电子元器件,结合积木等辅助工具,适用于5～
慢性乙型肝炎(慢性乙肝)是严重影响人类健康的疾病之一,其病势缠绵,病程漫长,与肝硬化、肝癌关系密切.中医学和现代医学对慢性乙肝的发病机制至今尚未彻底明了,国内外也尚无
阐述了在静态类型面向对象语言中构造虚函数调用图（ＶＦＣＧ）的方法：先构造可见方法类层次图（ＶＭ－ＣＨＧ），再计算继承集、改写集，确定改写边界，最后利用ＶＭ－ＣＨＧ和改写边界构造ＶＦＣＧ。同时说明了ＶＦＣＧ在静态类型面向对象语
提出了最优协调电压紧急控制新模型，新模型考虑了负荷动态以及控制的连续／离散特性，在紧急情况下能够从全局意义上协调位于不同地理位置的各种不同类型的控制，以保持系统电压稳定