[gecode-users] Multiple thread lock error

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Christian Schulte
Sent: Wednesday, September 26, 2012 11:58 AM
To: 'Vera Mersheeva'; users at 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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Vera Mersheeva
Sent: Monday, September 17, 2012 10:43 AM
To: users at gecode.org
Subject: Re: [gecode-users] Multiple thread lock error

Chris Mears <chris.mears at ...> 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users


_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users