This is a public Repository that contains the code and tutorial work I have completed as part of my CS4521 - Advanced Computer Architecture Masters Module in TCD. All of the work I am uploading here is my own.
This folder contains the code for the bakery lock, as well as several mutations that force prove the properies of:
- mutual exclusion/ safety
- deadlock free
- starvation free
- liveness
GRADE RECIEVED: TBC
Tutorial 2 - Implement and compare the performance of (i) a binary search tree (BST) protected by a lock (ii) a lockless BST using HLE and (iii) a lockless BST using RTM.
files in this folder include:
- helper.cpp
- helper.h
- tsxBST.cpp
- makefile
- README.md
- PDF file of tutorial specifications