firedrakeproject/firedrake — pull request #249 by wence- (2014-04-10 11:17:10+00:00)
Title: Fix/disk cache

Make ffc kernel disk caching safer against MPI races (needs to land with OP2/PyOP2#354).

Should address #228