[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 02/13] script language API for GDB: extension.[ch]
From: |
Doug Evans |
Subject: |
Re: [PATCH v2 02/13] script language API for GDB: extension.[ch] |
Date: |
Tue, 21 Jan 2014 20:35:54 -0800 |
On Tue, Jan 21, 2014 at 8:21 PM, Mark H Weaver <address@hidden> wrote:
> Tom Tromey <address@hidden> writes:
>
>>>>>>> "Ludovic" == Ludovic Courtès <address@hidden> writes:
>>
>> Ludovic> I guess this is another limitation of Guile’s current signal
>> handling
>> Ludovic> strategy, and something we should fix.
>>
>> FWIW I think it would be sufficient for gdb if scm_system_async_mark, or
>> something like it, could be invoked from a signal handler. Then a
>> SIGINT in gdb could install an async callback that later checks gdb's
>> quit flag.
>
> As discussed on IRC, one way to accomplish this with current Guile is
> as follows: establish a dedicated thread whose sole job it is to call
> 'scm_system_async_mark_for_thread' as directed by messages received from
> a pipe. A signal handler can then schedule asyncs by writing messages
> to this pipe.
>
> We'll try to come up with an nicer solution at some point.
Righto, and thanks.
I'll implement this as a follow-on to the current patch series.
It'll be mostly just new code, and the current patch series is big enough.
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/06
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Ludovic Courtès, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Ludovic Courtès, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/07
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Tom Tromey, 2014/01/14
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Ludovic Courtès, 2014/01/15
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch], Mark H Weaver, 2014/01/21
- Re: [PATCH v2 02/13] script language API for GDB: extension.[ch],
Doug Evans <=