Mysterious bug

Mysterious bug

[Jonathan Bryant]

[-- Attachment #1: Type: text/plain, Size: 1069 bytes --]

Everybody,

I'm working on my client/server library and I've run into a rather
elusive bug.  It may be elusive because my skills with GDB are rather
shoddy (usually I'm pretty good at achieving my goal of not needing to
use it).

The attachment is my code for the library (as well as a small build
script and tester).  It's documented in the Acceptor module, but when I
run the server under high loads (10 thread pinging it 1,000,000 times or
so each), one of three things happens:
1. Nothing (works like it should)
2. Unix.accept raises an Unix.Unix_error(12, "accept", "") at some
random time (sometimes, I believe, after all of the connections have
been made, but I feel very wrong in thinking this)
3. Segmentation Fault at a random time.

These bugs sometimes come up immediately into execution and sometimes 5
minutes or so into execution.  I don't know if this is a bug in my
tester, my library, OCaml, or Linux.  Any ideas?  I think it may just be
that I've been staring at the code for too long and need another set of
eyes to look at it...

--Jonathan Bryant

[-- Attachment #2: clientServer.tar.gz --]
[-- Type: application/x-compressed-tar, Size: 6896 bytes --]

Re: [Caml-list] Mysterious bug

[Brian Hurt]

On Sat, 10 Dec 2005, Jonathan Bryant wrote:

> 2. Unix.accept raises an Unix.Unix_error(12, "accept", "") at some
> random time (sometimes, I believe, after all of the connections have
> been made, but I feel very wrong in thinking this)

Not sure if this helps, but errno 12 is ENOMEM, which means the kernel is 
running out of memory.  I'm not sure what would cause it, however.

Brian

Re: [Caml-list] Mysterious bug

[Olivier Andrieu]

 Jonathan Bryant [Saturday 10 December 2005] :
 >
 > Everybody,
 > 
 > I'm working on my client/server library and I've run into a rather
 > elusive bug.  It may be elusive because my skills with GDB are rather
 > shoddy (usually I'm pretty good at achieving my goal of not needing to
 > use it).
 > 
 > The attachment is my code for the library (as well as a small build
 > script and tester).  It's documented in the Acceptor module, but when I
 > run the server under high loads (10 thread pinging it 1,000,000 times or
 > so each), one of three things happens:
 > 1. Nothing (works like it should)
 > 2. Unix.accept raises an Unix.Unix_error(12, "accept", "") at some
 > random time (sometimes, I believe, after all of the connections have
 > been made, but I feel very wrong in thinking this)

12 is EINVAL, and the accept(2) manpage says:

  EINVAL Socket is not listening for connections.

So I guess your code has some ordering issues, you accept()
either before you listen() or after you shutdown().

-- 
   Olivier

Re: [Caml-list] Mysterious bug

[Christophe TROESTLER]

On Sat, 10 Dec 2005, Brian Hurt <bhurt@spnz.org> wrote:
> 
> On Sat, 10 Dec 2005, Jonathan Bryant wrote:
> 
> > 2. Unix.accept raises an Unix.Unix_error(12, "accept", "") at some
> > random time (sometimes, I believe, after all of the connections have
> > been made, but I feel very wrong in thinking this)
> 
> Not sure if this helps, but errno 12 is ENOMEM, which means the kernel is 
> running out of memory.  I'm not sure what would cause it, however.

# (Obj.magic 12 : Unix.error);;
- : Unix.error = Unix.EINVAL

man accept:

	EINVAL
		Socket is not listening for connections.

Hope it helps,
ChriS

Re: [Caml-list] Mysterious bug

[Brian Hurt]

On Sun, 11 Dec 2005, Christophe TROESTLER wrote:

> On Sat, 10 Dec 2005, Brian Hurt <bhurt@spnz.org> wrote:
>>
>> On Sat, 10 Dec 2005, Jonathan Bryant wrote:
>>
>>> 2. Unix.accept raises an Unix.Unix_error(12, "accept", "") at some
>>> random time (sometimes, I believe, after all of the connections have
>>> been made, but I feel very wrong in thinking this)
>>
>> Not sure if this helps, but errno 12 is ENOMEM, which means the kernel is
>> running out of memory.  I'm not sure what would cause it, however.
>
> # (Obj.magic 12 : Unix.error);;
> - : Unix.error = Unix.EINVAL
>
> man accept:
>
> 	EINVAL
> 		Socket is not listening for connections.

A) This makes more sense than ENOMEM.

B) Does Ocaml remap the errnos?  Because I got ENOMEM by looking at 
/usr/include/asm-generic/errno-base.h, from which I get:

#define ENOMEM          12      /* Out of memory */

Brian

Re: [Caml-list] Mysterious bug

[Christophe TROESTLER]

On Sun, 11 Dec 2005, Brian Hurt <bhurt@spnz.org> wrote:
> 
> B) Does Ocaml remap the errnos?

This is not an errno but the value of the constructor as integer
(i.e. Unix.EINVAL is the number 12 constructor of Unix.error -- the
first one being numbered 0).

ChriS