Timeouts

Question

Timeouts

wisnesky opened this issue 6 years ago · 6 comments

wisnesky commented 6 years ago

Implement a feature that allows the program to stop after a certain time has passed since the computation started.

Answer 1 · 2018-10-26T10:46:58.000Z

Experiments indicate Control.DeepSeq is what is needed

Answer 2 · 2018-10-29T22:52:48.000Z

This issue is to implement the 'timeout' option from the AQL language spec.

Answer 3 · 2018-11-14T09:35:51.000Z

I added NFData instances and tried to used deepseq, but timeouts still don't work.

Answer 4 · 2018-11-14T10:06:01.000Z

deepseq induces non-termination, see Employee example.

Answer 5 · 2018-11-14T10:41:32.000Z

Someone on the internet claims you can fork two threads, one that does the computation and the other which sleeps for X seconds, and the first one to complete destroys the other. That is how the java version works.

Answer 6 · 2018-11-15T00:29:16.000Z

The forking version works.