Hi James, Пт 17 ноя 2017 @ 17:15 James Cowgill <jcowg...@debian.org>: > IMO the best solution is to remove all the ATOMIC_GENERATION_HACK code > and use libatomic, but this will take some porting work because > swi-prolog uses the old __sync primitives everywhere. > > I have attached a hack which marks _generation and _last_generation as > volatile. This seems to work but isn't a long term solution.
Thanks for your input! I've informed upstream about the issue you found and your suggestions. Regards, Lev