Stav dette: Checkpointing a multithreaded distributed shared memory computer system