On 2016-11-14 22:53, Aurelien Jarno wrote: > control: reassign 844148 acl2 > > On 2016-11-14 11:24, Camm Maguire wrote: > > reassign 844148 glibc > > thanks > > > > Greetings, and thanks so much for your report! > > > > Neither ACL2 nor underlying gcl makes any use of threads or locks, but > > does rely on standard libc calls, which are known to turn on code in TSX > > environments that still have bugs. GCL does make use of setjmp/longjmp > > and volatile declarations which might appear similar but in no way are > > cpu specific. > > Sorry but that's not a reason for reassigning the bug to the glibc > package. The same way I can say that the GNU libc doesn't have bugs in > the TSX code, so I am just reassigning the bug back to acl2.
Additional note: the non TSX machine has 2 cores, while the TSX machine has 64 cores. This might be a parallel building issue. Aurelien -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurel...@aurel32.net http://www.aurel32.net
