[gecode-users] Multiple thread lock error

[Chris Mears]

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