International Conference on Distributed Computing and Internet Technology

Distributed Computing and Internet Technology pp 157-168

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs

  • Anh-Hoang Truong
  • Dang Van Hung
  • Duc-Hanh Dang
  • Xuan-Tung Vu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9581)

Abstract

We present a type system to estimate an upper bound for the resource consumption of nested and multi-threaded transactional programs. The resource is abstracted as transaction logs. In comparison to our previous work on type and effect systems for Transactional Featherweight Java, this work exploits the natural composition of thread creation to give types to sub-terms. As a result, our new type system is simpler and more effective than our previous one. More important, it is more precise than our previous type system. We also show a type inference algorithm that we have implemented in a prototype tool.

Keywords

Resource bound Software transactional memory Type systems 

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Anh-Hoang Truong
    • 1
  • Dang Van Hung
    • 1
  • Duc-Hanh Dang
    • 1
  • Xuan-Tung Vu
    • 2
  1. 1.VNU University of Engineering and TechnologyHanoiVietnam
  2. 2.Japan Advanced Institute of Science and TechnologyNomiJapan

Personalised recommendations