TODO

• Make Giri code runnable at other platforms besides Linux, e.g. Mac OS X, Cygwin, and FreeBSD.
• Improve the performance of locking mechanism at the runtime
• Pass all the test programs of the test/ directory
• Try large test cases like nginx, squid, etc
• Consider more special function calls in TracingNoGiri::visitSpecialCall() function of the tracing pass
• Write more unit tests with complicated direct/indirect recursive function calls.
• Double check the TraceFile.cpp to make sure the thread id be checked correctly
• Parallelize the code writing the entry cache to trace file and adding entry to the cache.
• Support the BFS besides DFS when traversing the trace file