I have implemented some optimizations with CIL that have the potential to take an unreasonable amount of time. I want to run lots of slightly different versions of these optimizations on a cluster, and I want to implement some sort of CPU time limit. I have two ideas about how to implement this so far:
1) In CIL itself, spawn another thread that monitors CPU time consumption and sleeps most of the time. When the time limit is reached, print out a message and kill the whole process. After some light documentation reading, it looks like this would require some changes to the makefiles to include support for O'Caml threads. 2) In C or bash or whatever, implement basically the same thing, but externally at the process level. Has anyone else dealt with this issue? Any ideas about what would be best? Thanks, Ben ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
