- Start time:
- Do 10 Okt 2019 10:15:00
- End time:
- Di 11 Feb 2020 10:15:00
- Task 1 (Atomics)
- A possible Solution can found at https://sauce.zdv.uni-mainz.de/submissions/60298/show
- Task 2 (Compare and Swap)
- A possible Solution can be found at https://sauce.zdv.uni-mainz.de/submissions/60299/show
- Task 3 (Parallel Queue)
- A possible solution can be found at https://sauce.zdv.uni-mainz.de/submissions/60321/show