PIN-tool to produce multi-threaded atomic memory traces