Derivable partial locking for algebraic data types

Németh Boldizsár and Kelemen Zoltán: Derivable partial locking for algebraic data types. In: Acta cybernetica, (22) 1. pp. 151-170. (2015)

[thumbnail of actacyb_22_1_2015_10.pdf]
Cikk, tanulmány, mű

Download (194kB) | Preview


Parallelism and concurrency are one of the most actively researched fields in Computer Science. Writing concurrent programs is challenging because of the need for synchronization and solving possible race conditions and deadlocks while avoiding unnecessary waiting and overhead. The integrity of the program data can be archived by providing locks for its data structures or using concurrent data structures. Partial locking allows threads to lock exactly those parts of the global data they need to read or update. This article presents a method that helps the implementation of threadsafe programs with Algebraic Data Types [1], By transforming the data model of the application to thread-safe data structures with a built-in, configurable locking mechanism including partial locking. With this support, the programmer can focus on the business logic of his application when writing the program. As part of this article, we prove that the shared version of the calculation will produce the same result as the original one.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2015
Volume: 22
Number: 1
ISSN: 0324-721X
Page Range: pp. 151-170
Language: English
Place of Publication: Szeged
Related URLs:
DOI: 10.14232/actacyb.22.1.2015.10
Uncontrolled Keywords: Számítógép programozás
Additional Information: Bibliogr.: p. 167-168. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 17. 10:36
Last Modified: 2022. Jun. 20. 10:59

Actions (login required)

View Item View Item