标签:blog http io sp on 2014 log bs tt
Committed跟Urgent都是time automaton 中用来表示state的关键词。
它们的主要区别是:
Committed前后的两个状态改变(transition)是串行发生,不可打断的。
Urgent则是,前后两个状态改变(transition)是并行发生的。
如图:
标签:blog http io sp on 2014 log bs tt
原文地址:http://www.cnblogs.com/instant7/p/4121692.html