首页>
外国专利>
Happens-before-based dynamic concurrency analysis for actor-based programs
Happens-before-based dynamic concurrency analysis for actor-based programs
展开▼
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method may include generating, for a concurrent application, an execution trace that includes operations, extracting actor pairs from the execution trace, assigning each of the operations to an actor pair, and generating vector clocks for the operations. Each vector clock may include a clock value for each of the actor pairs.
展开▼