kframework/k — pull request #1129 by dwightguth (2014-10-29 19:01:40+00:00)
Title: make profiler thread safe

@yilongli please review

I elected to not use instance state because it would have required a much more invasive change to the code base. Let me know if you're okay with this solution.