A transactional language for multiprocessors

Diploma project

With the availability of multiprocessor architectures, devising abstractions for programming concurrent applications is fundamental. The goal of this project is to study the transaction concept and its integration in a programming language like Java. In particular, we will study how to smoothly integrate nested transactions in the language and how to handle I/O, exceptions and conditional waiting. We will consider a language approach (e.g., using reflection) and a compiler approach and measure the performance of both aproaches.

Language: java

Responsible: Prof. Rachid Guerraoui