[m-rev.] for review: minimal support for ssdebug on multithreaded programs

[Julien Fischer]

On Thu, 24 Jun 2010, Peter Wang wrote:

> Branches: main, 10.04
>
> Add an (undocumented) method for ssdebug, to allow debugging of only the
> initial thread in a multi-threaded program.
>
> ssdb/ssdb.m:
>        Make the debugger_state mutable thread-local, so that all threads but
>        the initial one can execute as if debugging is disabled.
>
>        Add `pause_debugging' and `resume_debugging' predicates that the user
>        must call around calls to `thread.spawn'.  Mercury only supports
>        thread-local mutables which inherit their values from the parent
>        thread, so when the thread is created the debugger_state mutable must
>        be set to `off'.  The predicates may have other uses, too.
>
> README.ssdebug:
>        List debugging of multi-threaded programs as a limitation.
>
> diff --git a/README.ssdebug b/README.ssdebug
> index 658bf33..3522c61 100644
> --- a/README.ssdebug
> +++ b/README.ssdebug
> @@ -90,4 +90,6 @@ LIMITATIONS
>
> - There is no I/O tabling.
>
> +- Debugging of threaded programs is not supported.

s/threaded/multi-threaded/

That looks fine otherwise.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------