• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Communicating process architectures 2009 >Mobile Escape Analysis for occam-pi
【24h】

Mobile Escape Analysis for occam-pi

机译：occam-pi的手机逃生分析

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Escape analysis is the process of discovering boundaries of dynamically allocated objects in programming languages. For object-oriented languages such as C++ and Java, this analysis leads to an understanding of which program objects interact directly, as well as what objects hold references to other objects. Such information can be used to help verify the correctness of an implementation with respect to its design, or provide information to a run-time system about which objects can be allocated on the stack (because they do not "escape" the method in which they are declared). For existing object-oriented languages, this analysis is typically made difficult by aliasing endemic to the language, and is further complicated by inheritance and polymorphism. In contrast, the occam-π programming language is a process-oriented language, with systems built from layered networks of communicating concurrent processes. The language has a strong relationship with the CSP process algebra, that can be used to reason formally about the correctness of occam-π programs. This paper presents early work on a compositional escape analysis technique for mobiles in the occam-π programming language, in a style not dissimilar to existing CSP analyses. The primary aim is to discover the boundaries of mobiles within the communication graph, and to determine whether or not they escape any particular process or network of processes. The technique is demonstrated by analysing some typical occam-π processes and networks, giving a formal understanding of their mobile escape behaviour.
机译：转义分析是发现编程语言中动态分配的对象的边界的过程。对于诸如C ++和Java之类的面向对象的语言，这种分析可以使您了解哪些程序对象直接交互，以及哪些对象持有对其他对象的引用。此类信息可用于帮助验证实现在其设计方面的正确性，或向运行时系统提供有关可在堆栈上分配对象的信息（因为它们不会“转义”使用它们的方法）声明）。对于现有的面向对象的语言，通常难以通过对该语言特有的别名来进行这种分析，并且由于继承和多态性而使分析变得更加复杂。相反，occam-π编程语言是一种面向过程的语言，其系统由通信并发过程的分层网络构建。该语言与CSP进程代数有很强的关系，可以用来正式推理occam-π程序的正确性。本文介绍了一种以occam-π编程语言编写的针对手机的成分逃逸分析技术的早期工作，其风格与现有CSP分析并无二致。主要目的是发现移动设备在通信图中的边界，并确定它们是否逃避任何特定过程或过程网络。通过分析一些典型的occam-π进程和网络，对该技术进行了演示，从而对其移动逃逸行为有了正式的了解。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号