电子科技大学学报
電子科技大學學報
전자과기대학학보
JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
2011年
3期
406-410
,共5页
并发系统%无死锁%握手扩展%真并发模型%等待事件结构
併髮繫統%無死鎖%握手擴展%真併髮模型%等待事件結構
병발계통%무사쇄%악수확전%진병발모형%등대사건결구
基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型.该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为.构建的最大化并发模型,能有效地处理并发信息的综合和验证.
基于併髮繫統層次化設計動作細化的彊大策略,建立瞭異步電路握手擴展的形式化語義,提齣瞭一種握手擴展的細化模型.該語義採用等待事件結構,派生齣帶最大併髮的真併髮模型,細化繫統同垂直互模擬關繫的最初規範相一緻,併且可以維護細化繫統的正確性以及無死鎖行為.構建的最大化併髮模型,能有效地處理併髮信息的綜閤和驗證.
기우병발계통층차화설계동작세화적강대책략,건립료이보전로악수확전적형식화어의,제출료일충악수확전적세화모형.해어의채용등대사건결구,파생출대최대병발적진병발모형,세화계통동수직호모의관계적최초규범상일치,병차가이유호세화계통적정학성이급무사쇄행위.구건적최대화병발모형,능유효지처리병발신식적종합화험증.
