University of Twente Student Theses

Login

Providing Concurrency Guarantees Using An Event-Driven Language

Stekelenburg, A. V. (2021) Providing Concurrency Guarantees Using An Event-Driven Language.

[img] PDF
296kB
Abstract:The need for programs to become concurrent is ever-growing. This is a problem because concurrent programs are very complex which makes it very difficult to write error-free programs. In this paper, I design a programming language that attempts to solve this problem by separating critical and non-critical code sections and employing an event-driven concurrency model. Additionally, I implement a compiler for the language to ensure that providing the language's concurrency guarantees is feasible. The designed language alleviates some of the problems which cause concurrency issues at the potential cost of performance. The event-driven concurrency model makes it easier to effectively utilize a multiprocessor architecture and interacts well with the separation of critical and non-critical code sections.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/86907
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page