I'm not quite sure it is a bug in FreeBSD (linuxulator), rather an abuse of locking mechanisms in proprietary linux software (1C:Enterprize). I have to study linux side a bit more to get better understanding why a separate locking mechanism was introduced in first place and why both of them are sometime used in linux software.