Hi, The error is not serious, it occurs during program termination. You can ignore it and it'll be fixed in Gecode 4.
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Christian Schulte Sent: Wednesday, September 26, 2012 11:58 AM To: 'Vera Mersheeva'; users@gecode.org Subject: Re: [gecode-users] Multiple thread lock error Hi Chris & Vera, Could any of you try to locate (with a breakpoint in a debugger) when this occurs. I have a suspicion but cannot confirm this on my Windows box. Thanks! Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Vera Mersheeva Sent: Monday, September 17, 2012 10:43 AM To: users@gecode.org Subject: Re: [gecode-users] Multiple thread lock error Chris Mears <chris.mears@...> writes: > > Hello all, > > Sometimes when running an example (e.g. ./bibd -threads 4) with more > than one thread I provoke this error at the end: > > terminate called after throwing an instance of 'Gecode::OperatingSystemError' > > ... or sometimes this one: > > terminate called after throwing an instance of 'Gecode::OperatingSystemError' > what(): Mutex::acquire[pthread_mutex_lock]: Operating system error > Aborted > > It happens only some of the time, with Gecode 3.4.0 and with the trunk > version, on Debian Linux with kernel version 2.6.32. > > Is this a serious error? It still seems to give the right answer > before it prints the error. > > Cheers, > Chris > Hello! I have faced the same problem. Do you know what may cause it? Sincerelly, Vera _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
