A pin tool for memory and instruction optimization for Linux