Parallel Persistent Memory Model Implementation

During the summer after my Sophomore year, I implemented the memory model described in this paper in C under the guidance of one of its authors. In addition I several things such as a function calling convention suitable for the new memory model. In short, the model describes multiprocessing in the setting where executors can fail and restart independently of one another, possibly without the others observing. The model then describes productive computation in terms of idempotent segments of code. The code can be found here.