首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题:Typing Copyless Message Passing
  • 本地全文:下载
  • 作者:Viviana Bono ; Luca Padovani
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2012
  • 卷号:8
  • 期号:1
  • 页码:1
  • DOI:10.2168/LMCS-8(1:17)2012
  • 出版社:Technical University of Braunschweig
  • 摘要:We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory. We address these problems basing the type system upon an original variant of session types.
  • 其他关键词:copyless message passing, concurrency, type theory, subtyping, session types.
国家哲学社会科学文献中心版权所有