Re: [Sks-devel] Stack overflow

[Yaron M. Minsky]

On Mon, 2004-03-01 at 05:42, Olaf Gellert wrote:
> Hi all,
> 
> has anyone else problems with Stack oveflows in SKS?
> 
> I get stack overflows after reconciliation attempts
> and SKS always stops with a stack overflow if I try
> -initial_stat:

The initial_stat thing is a big hint.  That should help in tracking it
down.

> pgpkeys:/usr/local/sks # ./bin/sks.bc db -initial_stat
> Fatal error: exception Stack_overflow
> 
> Auszug aus log.recon:
> 2004-03-01 10:42:52 Beginning recon as server, client: <ADDR_INET 
> 65.57.232.167:46818>
> 2004-03-01 10:42:52 Joining reconciliation
> 2004-03-01 10:50:38 Reconciliation complete
> 2004-03-01 10:50:40 <reconciliation handler> error in callback.: Stack 
> overflow
> 2004-03-01 10:50:41 Added 2 hash-updates. Caught up to 1078134510.656999
> 
> I do not get these errors if I do not run sks.bc but
> just sks. So maybe a problem related to ocaml? Hmmm... 

This is not surprising.  The maximum stack depth in native-code compiled
ocaml is much higher than for bytecode ocaml.

> I do not know if this has something to do with it, but
> I wonder, why sks.bc is linked with libpthread.so, while
> sks is not...

Some dumb build thing.  That doesn't have anything to do with it.

y

> Regards, Olaf
> 
> P.S.: This is the regarding output of strace when running
> sks.bc db -initial_stat:
> 
> ...
> 9489  write(4, "2004-03-01 11:05:07 Database che"..., 42) = 42
> 9489  fsync(7)                          = 0
> 9489  fsync(7)                          = 0
> 9489  close(7)                          = 0
> 9489  fsync(9)                          = 0
> 9489  fsync(9)                          = 0
> 9489  close(9)                          = 0
> 9489  fsync(12)                         = 0
> 9489  fsync(12)                         = 0
> 9489  close(12)                         = 0
> 9489  fsync(10)                         = 0
> 9489  fsync(10)                         = 0
> 9489  close(10)                         = 0
> 9489  fsync(11)                         = 0
> 9489  fsync(11)                         = 0
> 9489  close(11)                         = 0
> 9489  fsync(13)                         = 0
> 9489  fsync(13)                         = 0
> 9489  close(13)                         = 0
> 9489  fsync(14)                         = 0
> 9489  fsync(14)                         = 0
> 9489  close(14)                         = 0
> 9489  _llseek(8, 8536610, [8536610], SEEK_SET) = 0
> 9489  write(8, "\362A\202\0P\0\0\0\0\26t\274\2\0\0\0\0\0\0\0\0\0\0\0\0"..., 57
> 3) = 573
> 9489  fsync(8)                          = 0
> 9489  munmap(0x41ca5000, 16384)         = 0
> 9489  munmap(0x41c8d000, 98304)         = 0
> 9489  close(8)                          = 0
> 9489  munmap(0x4038b000, 26222592)      = 0
> 9489  munmap(0x40389000, 8192)          = 0
> 9489  time(NULL)                        = 1078135507
> 9489  write(4, "2004-03-01 11:05:07 Database clo"..., 36) = 36
> 9489  write(2, "Fatal error: exception Stack_ove"..., 38) = 38
> 9489  exit_group(2)                     = ?
-- 
|--------/            Yaron M. Minsky              \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|

Open PGP --- KeyID B1FFD916
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916