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.
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