死鎖特性 的英文怎麼說
中文拼音 [sǐsuǒtèxìng]
死鎖特性
英文
deadlock property- 死 : Ⅰ動詞(失去生命) die Ⅱ形容詞1 (不顧生命; 拚死) to the death 2 (達到極點) extremely; to death...
- 鎖 : Ⅰ名詞1 (安在開合處使人不能隨便打開的器具) lock 2 (姓氏) a surname Ⅱ動詞1 (上鎖) lock up 2 ...
- 特 : Ⅰ形容詞(特殊; 超出一般) particular; special; exceptional; unusual Ⅱ副詞1 (特別) especially; v...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 特性 : characteristic(s); character; performance; features; properties; behaviour; response; character...
-
To ensure the well - formed of wscg model, we have developed an algorithm to check the type - safety of wscg model, in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node, and to determine whether the import messages of a node is self - contained. we also develop another algorithm, which is based on wscg dependence graph that simulates the wscg dynamic behaviors, to eliminate the deadlock of wscg model
在wscg模型的基礎上,針對目前web服務復合模型缺乏良構性驗證的問題,在wscg模型的靜態特性驗證方面,我們定義了wscg模型的類型安全性,並給出了相應的wscg模型全局類型安全性的驗證演算法,解決了驗證wscg模型中輸入輸出消息集合的類型是否匹配以及輸入消息是否是完備的問題;在wscg模型的動態特性方面,我們主要分析了wscg模型的可達性、活鎖和死鎖問題。
分享友人