Ludovic Henrio;贾斯汀·罗查斯-多活动对象及其应用

lmcs:2188个-计算机科学中的逻辑方法,2017年11月21日,第13卷第4期-https://doi.org/10.23638/LMCS-13(4:12)2017
多活动对象及其应用第条

作者:Ludovic Henrio;贾斯汀·罗切斯

    为了解决并发和分布式系统的开发主动对象编程模型为程序提供了高级抽象并发行为。已经存在各种活动对象针对大量应用领域的框架:建模、,验证,高效执行。然而,在这些框架中,很少有考虑活动对象的多线程执行。引入受控活动对象中的并行性可以克服它们的一些限制。本文围绕多活动对象提出了一个完整的框架编程模型。我们通过ProActive来展示它,ProActive是一个Java库提供多活动对象,并通过MultiASP这使得我们的发展得以正式化。然后我们展示如何编译一种多线程协作的主动对象语言物体。本文还介绍了不同的用例和开发支持说明我们语言的实际可用性。形式化我们的工作为程序员提供了对多活动对象编程模型和编译器。


    资料来源:arXiv.org:1610.09183
    第13卷第4期
    发布日期:2017年11月21日
    受理日期:2017年11月7日
    提交日期:2017年5月17日
    关键词:计算机科学-编程语言

    2引用本文的文件

    咨询统计数据

    这个页面已经被浏览了1243次。
    本文的PDF已下载339次。