首页> 外文会议>ECOOP 2011 - Object-oriented programming >Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
【24h】

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks

机译:使用面向对象的并行框架进行安全编程的类型,区域和效果

获取原文
获取原文并翻译 | 示例

摘要

Object-oriented frameworks can make parallel programming easier by providing generic parallel algorithms such as map, reduce, or pipeline and letting the user fill in the details with sequential code. However, such frameworks can produce incorrect behavior if they are not carefully used, e.g., if a user-supplied function performs an unsynchro-nized access to a global variable. We develop novel techniques that can prevent such errors. Building on a language (Deterministic Parallel Java, or DPJ) with an expressive region-based type and effect system, we show how to write a framework API that enables sound reasoning about the effects of unknown user-supplied methods. We also describe novel extensions to DPJ that enable generic types and effects while retaining soundness. We present a formal semantics and soundness properties for the language. Finally, we describe an evaluation showing that our technique can express three parallel frameworks and three realistic parallel algorithms using those frameworks.
机译:面向对象的框架可以通过提供通用的并行算法(例如map,reduce或pipeline)并使用户使用顺序代码填充细节,从而使并行编程更容易。但是,如果不谨慎使用此类框架(例如,如果用户提供的函数执行对全局变量的非同步访问),则可能会产生不正确的行为。我们开发了可以防止此类错误的新颖技术。基于具有表现力的基于区域的类型和效果系统的语言(确定性并行Java或DPJ),我们展示如何编写框架API,该API能够对用户提供的未知方法的效果进行合理的推理。我们还将描述DPJ的新颖扩展,这些扩展可实现通用类型和效果,同时保持健全性。我们介绍了该语言的形式语义和健全性。最后,我们描述了一个评估,该评估表明我们的技术可以表达三个并行框架和使用这些框架的三个现实并行算法。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号