Hehe, I think I need a faster computer, because that was the intention.
Anyhow, I'm glad it's working.
I think what happened was that initially I didn't have it right and
lowered the number to make debugging faster. Then tested with another
function and got confused.
Thank you Matthew for the help once again.
br, jukka
Matthew Flatt kirjoitti 2015-11-08 02:48:
Did you mean to create a bigger computation than `(factorial 20000)`?
It takes only about 5 msec on my machine, but adding a couple of extra
zeros makes it time out.
Converting the result of `(factorial 20000)` to a string takes a bit
longer than the arithmetic, and printing out the result in DrRacket
takes much longer than 2 seconds --- due to scrolling while parts of
the number print out --- but all of that happens outside the sandbox.
At Sun, 08 Nov 2015 00:35:09 +0200, jukka.tuomi...@finndesign.fi wrote:
Hi all,
I'm probably doing something wrong here, but for some reason
"custodian-shutdown-all" doesn't always interrupt the execution as the
last test case below shows. It continues execution until finished.
Any ideas how to get this working?
br, jukka
---
#lang racket/load
(require math/number-theory)
(define (when-works-in-given-seconds time-limit thunk)
(define start-time 0)
(define output "initial-state")
(define main-cust (make-custodian))
(define thread:thunk "")
(define (loop delay)
(cond ((not (equal? "initial-state" output))
(begin (custodian-shutdown-all main-cust)
output))
((> (- (current-seconds) start-time) time-limit)
(begin (custodian-shutdown-all main-cust)
"Time-limit exceeded!"))
(else (begin (- (current-seconds) start-time)
(sleep delay)
(loop delay) ))))
(set! start-time (current-seconds))
(thread (lambda () (parameterize ((current-custodian main-cust))
(thread (lambda () (with-handlers ((exn:fail?
(lambda (exn) (set! output "Execution failed!")))) (set! output (eval
thunk))))))))
(loop 0.1))
;test cases
(print (when-works-in-given-seconds 2 '(/ 5 5)))
(newline)(sleep 2)
(print (when-works-in-given-seconds 2 '(/ 5 0)))
(newline)(sleep 2)
(print (when-works-in-given-seconds 2 '(sleep 10)))
(newline)(sleep 2)
(print (when-works-in-given-seconds 2 '(factorial 20000)))
--
You received this message because you are subscribed to the Google
Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send
an
email to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
