Le 31/07/2016 à 19:52, Richard Heck a écrit :
On 07/31/2016 01:38 PM, Guillaume Munch wrote:
For other "FIXME thread" issues, either the solution is more complex, or
using statics is inappropriate altogether (I think). Is there a plan to
get rid of these?
It looks to me as if most of the ones that are left are in
src/frontends/. It would
surely be worth fixing these, but I doubt they actually cause problems,
at least as
the code is now. We only ever have one GUI thread. For thar reason, the
switch
from static to thread_local in GuiDocument, say, will have no practical
effect at
the moment.
To me this sounds like an argument for such changes: it preserves the
current behaviour, and will ensure that it remains thread-safe in the
future.
Guillaume
