Re: [PATCH v3 5/8] Introduce run_on_main_thread

Pedro Alves
2019-05-30T14:01:04Z

On 5/30/19 2:20 PM, Tom Tromey wrote:
> Pedro> Can Python's gdb.post_event be built on top of this?
> Pedro> It would fix that nasty "atomically enough" race in gdbpy_run_events,
> Pedro> I guess.
>
> Yes, and actually I wrote a patch to do this once, but I dropped it from
> this series because it was unrelated.

Forgot to say: I wouldn't call it unrelated. You could use it as yet-another
proof that run_on_main_thread is a useful abstraction, which even fixes
a race/bug. I'd be happy to see such a patch. ( but no rush :-) )

Thanks,
Pedro Alves