Home

Introduction

Start by reading these slides

Getting Started

1. Check out the code
2. Navigate to root/Debug
3. Type "make" (withouth the quotation marks)
4. Run TraceFileSimulator (executable name might have a different ending depending on OS)

Tracefile Format

The tracefile accepts the following commands:

• a Tt Oo Ss Nn Cc allocates object o to thread t with a size of s bytes, n pointers and class c
• + Tt Oo adds object o to the rootset of thread t
• - Tt Oo removes object o from the rootset of thread t
• - Tt Cc removes class c from the rootset of thread t
• w Tt Pp #n Oo write reference to object o into slot number n of parent object p in thread t
• c Tt Cc Oo change the class of object o in thread t to class c
• r Tt Oo read from object o in thread t

Troubleshooting

• We have tested our code under Ubuntu 14.10 64-bit, Windows 7 64-bit, and Mac OS X 10.10 64-bit. Other OS might work as well, but we did not test them yet.
• For editing we either recommend Eclipse for a heavyweight IDE or Sublime Text for a lightweight IDE