Văn bản này: Checkpointing a multithreaded distributed shared memory computer system