Németh Boldizsár and Kelemen Zoltán: Derivable partial locking for algebraic data types. In: Acta cybernetica, (22) 1. pp. 151-170. (2015)
Preview |
Cikk, tanulmány, mű
actacyb_22_1_2015_10.pdf Download (194kB) | Preview |
Abstract
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: | http://acta.bibl.u-szeged.hu/38539/ |
| 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 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/35926 |
Actions (login required)
 |
View Item |
