Bachelorprojekt - Softwareteknologi
Project No. 0162:  A Tool for Visualization of Serializability

Aktuelle

Tidligere

Description:

In concurrent systems like concurrent programs or multi-user databases, the notion of atomic actions/transactions is central. Atomicity is usually defined by serializability (strictly linearizability) of the underlying basic operations on shared objects assuming different properties of these operations.

In recent years the notion of atomicity has played a central role in the development of lock/wait-free datastructures. In order to understand this notion better, it is useful to present concrete executions graphically.

In this project, at graphical tool for illustrating serialization scenarios should be developed. The tool should be able to:

• Define objects and transactions acting on these.
• Create and edit execution scenarios for a set of transactions.
• Simulate the execution step-by-step.
• Interactively or automatically show how to obtain a serialization.
• Possibly generate graphical code to be included in reports and presentation slides.

The tool must be developed in a platform independent way and may take the form of a stand-alone tool or a web-application.

Prerequisites:

02158 Concurrent Programming

Supervisor(s) Hans Henrik Løvengreen

Sidst opdateret: Dec 5, 2014 af Hans Henrik Løvengreen