attempting to fix cache concurrency bugs. Fixed formatting in csapp.