Browsing Mathematics (Faculty of) by Supervisor "Buhr, Peter"
Now showing items 1-9 of 9
-
Concurrency in C∀
(University of Waterloo, 2018-01-18)C∀ is a modern, non-object-oriented extension of the C programming language. This thesis serves as a definition and an implementation for the concurrency and parallelism C∀ offers. These features are created from scratch ... -
Concurrent High-performance Persistent Hash Table In Java
(University of Waterloo, 2015-11-24)Current trading systems must handle both high volumes of trading and large amounts of trading data. One crucial module in high-performance trading is fast storage and retrieval of large volumes of data simultaneously ... -
The C∀ Scheduler
(University of Waterloo, 2022-12-02)User-Level threading (M:N) is gaining popularity over kernel-level threading (1:1) in many programming languages. The user threading approach is often a better mechanism to express complex concurrent applications by ... -
C∀ Type System Implementation
(University of Waterloo, 2019-04-30)The C programming language has been an important software development tool for decades. C∀ is a new programming language designed with strong backwards-compatibility to take advantage of widely distributed C programming ... -
Exception Handling in C∀
(University of Waterloo, 2021-10-04)The C∀ (Cforall) programming language is an evolutionary refinement of the C programming language, adding modern programming features without changing the programming paradigms of C. One of these modern programming features ... -
High Level Concurrency in C∀
(University of Waterloo, 2023-09-25)Concurrent programs are notoriously hard to write and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup. ... -
High Performance Web Servers: A Study In Concurrent Programming Models
(University of Waterloo, 2019-05-24)With the advent of commodity large-scale multi-core computers, the performance of software running on these computers has become a challenge to researchers and enterprise developers. While academic research and industrial ... -
High-Performance Concurrent Memory Allocation
(University of Waterloo, 2022-05-25)Memory management takes a sequence of program-generated allocation/deallocation requests and attempts to satisfy them within a fixed-sized block of memory while minimizing the total amount of memory used. A general-purpose ... -
Resource Management and Tuples in CⱯ
(University of Waterloo, 2017-05-01)CⱯ is a modern, non-object-oriented extension of the C programming language. This thesis addresses several critical deficiencies of C, notably: resource management, a limited function-return mechanism, and unsafe variadic ...