Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

Preparing for user-space checkpoint/restore

Posted Feb 2, 2012 4:57 UTC (Thu) by thedevil (subscriber, #32913)
Parent article: Preparing for user-space checkpoint/restore

As for programs that play well with DMTCP, I am interested in HOL Light:

http://www.cl.cam.ac.uk/~jrh13/hol-light/

Does anyone know the answer, or do I have to just try it? :-P

(Log in to post comments)

Preparing for user-space checkpoint/restore

Posted Feb 9, 2012 2:51 UTC (Thu) by karya (guest, #71446) [Link]

I am writing on behalf of the DMTCP team. If you run into any issues with checkpointing HOL Light, please let us know and we will happy to work with you in fixing them.