You could always fork the process and send SIGKILL to the child after a timeout. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mgraczyk on July 31, 2020 \| parent \| context \| favorite \| on: Kissat SAT Solver You could always fork the process and send SIGKILL to the child after a timeout.

jwilk on July 31, 2020 [–]

No need to fork; you could install timer using alarm(), setitimer(), or timer_create() and friends.

amelius on July 31, 2020 | [–]

But how would you clean up the heap and restart the library?

jwilk on July 31, 2020 | | [–]

I think you can call kissat_terminate() from the signal handler.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact