[plt-scheme] solving the halting problem

From: Dave Griffiths (dave at pawfal.org)
Date: Wed Jan 2 12:34:30 EST 2008

Ok, thanks - it looks like it's better solved in the Scheme world then.

Am I right in thinking it's cleaner to shut down a custodian than breaking
a thread?

> The break button calls break-thread on the user's main thread (if the
> usre has created more threads, they won't be broken). The kill button
> shuts down the user's custodian, so you can simulate both of these
> programmatically. (I'm not sure about the embedding answer, but I do
> believe that when you're at the C level that the concurrency is
> cooperative, so you only get breaks at points where you explicitly
> yield control.)
> Robby
> On Jan 2, 2008 9:04 AM, Dave Griffiths <dave at pawfal.org> wrote:
>> Hi all,
>> I'm interested in how the "break" key in drscheme is implemented - does
>> it
>> kill the (PLT?) thread which the process is currently running in? Is
>> this
>> the best/only way of manually stopping computation?
>> In the context of mzscheme and embedding - I assume the only way to do
>> this is from inside the interpreter? i.e. there is no magic asynchronous
>> version of scheme_eval_string which can be stopped.
>> cheers,
>> dave
>> http://www.pawfal.org/dave/
>> _________________________________________________
>>   For list-related administrative tasks:
>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme


Posted on the users mailing list.