Open AccessEstimate the Memory Bounds Required by Shared Variables in Software Transactional Memory Programs
Author(s) -
Nguyen Ngoc Khai,
Trương Anh Hoàng,
Duc-Hanh Dang
Publication year - 2021
Publication title -
tạp chí khoa học đại học quốc gia hà nội: công nghệ thông tin - truyền thông (vnu journal of science: computer science and communication engineering)
Language(s) - English
Resource type - Journals
eISSN - 2615-9260
pISSN - 2588-1086
DOI - 10.25073/2588-1086/vnucsce.280
Subject(s) - software transactional memory , computer science , transactional memory , principle of compositionality , programming language , statement (logic) , software , theoretical computer science , database transaction , artificial intelligence , political science , law
Estimating memory required by complex programs is a well-known research topic. In this work, we build a type system to statically estimate the memory bounds required by shared variables in software transactional memory (STM) programs. This work extends our previous works with additional language features such as explicitly declared shared variables, introduction of primitive types, and allowing loop body to contain any statement, not required to be well-typed as in our previous works. Also, the new type system has better compositionality compared to available type systems.