University of Twente Student Theses


Providing Concurrency Guarantees Using An Event-Driven Language

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

[img] PDF
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:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page