On the nature of cooperative scheduling in active objects
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing Brno Czech Republic March, 2020(2020)
摘要
Active objects interact via asynchronous messages which specify method invocations. In contrast to the run to completion mode of method execution, mechanisms for suspending the execution of a method allow an active object to schedule cooperatively its methods in a co-routine manner. In this paper, we show how cooperative scheduling can be reduced to a run to completion mode of execution. We do so by a formal translation using a guarded command language for describing the execution of method bodies.
更多查看译文
关键词
Active objects, cooperative scheduling, run to completion, semantics, correctness
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络