Re: [Caml-list] More re GC hanging

2010-08-15 Thread Basile Starynkevitch
On Sun, 2010-08-15 at 15:57 +1000, Paul Steckler wrote: I haven't yet come up with a solution to the GC hanging problem I mentioned the other day. But here's something that looks funny. [..] After turning on the Gc verbose option, I see: [...] !Sweeping 9223372036854775807 words

Re: [Caml-list] More re GC hanging

2010-08-15 Thread Paul Steckler
On Sun, Aug 15, 2010 at 5:03 PM, Basile Starynkevitch bas...@starynkevitch.net wrote: I guess this is related to the fact that recent Linux kernel have turned on the randomize virtual address space feature -designed to improve system security. You could disable it by  echo 0

Re: [Caml-list] More re GC hanging

2010-08-15 Thread Paul Steckler
I guess this is related to the fact that recent Linux kernel have turned on the randomize virtual address space feature -designed to improve system security. You could disable it by  echo 0 /proc/sys/kernel/randomize_va_space but first learn more about it. For some reason, I was able to

Re: [Caml-list] More re GC hanging

2010-08-15 Thread Basile Starynkevitch
On Sun, 2010-08-15 at 18:40 +1000, Paul Steckler wrote: I guess this is related to the fact that recent Linux kernel have turned on the randomize virtual address space feature -designed to improve system security. You could disable it by echo 0 /proc/sys/kernel/randomize_va_space but

Fwd: [Caml-list] More re GC hanging

2010-08-15 Thread Paul Steckler
On Sun, Aug 15, 2010 at 7:16 PM, Basile Starynkevitch bas...@starynkevitch.net wrote: To check that it did work as expected (which I doubt) do   cat /proc/sys/kernel/randomize_va_space it should give 0 It did work as expected. Are you sure that you don't have badly coded C routines that you

Re: [Caml-list] More re GC hanging

2010-08-15 Thread rixed
For some reason, I was able to edit that file using emacs, even when echo wouldn't work. maybe you wrote sudo echo 0 file or something similar which perfoms the echo as root but the redirection as normal user ?___ Caml-list mailing list.

[Caml-list] Re: Fwd: More re GC hanging

2010-08-15 Thread Sylvain Le Gall
On 15-08-2010, Paul Steckler st...@stecksoft.com wrote: On Sun, Aug 15, 2010 at 7:16 PM, Basile Starynkevitch bas...@starynkevitch.net wrote: Are you sure that you don't have badly coded C routines that you call from your Ocaml code (don't forget correct use of CAMLparam CAMLlocal, read

Re: [Caml-list] More re GC hanging

2010-08-15 Thread Adrien
Hi, I recently had similar output from the GC (huge count of words) which I noticed after my program started to exit with an out-of-memory error. It doesn't seem to be happening anymore but I'm not sure I fixed it. There are three things I thought of to get rid of it. (btw, I'm on 64bit linux)

RE: [Caml-list] More re GC hanging

2010-08-15 Thread David Allsopp
Adrien wrote: Hi, snip Also, on my computer, I have the following behaviour: 11:44 ~ % sudo echo 0 /proc/sys/kernel/randomize_va_space zsh: permission denied: /proc/sys/kernel/randomize_va_space r...@jarjar:~# echo 0 /proc/sys/kernel/randomize_va_space r...@jarjar:~# I

Re: [Caml-list] Re: Fwd: More re GC hanging

2010-08-15 Thread Vincent Hanquez
On Sun, Aug 15, 2010 at 10:41:44AM +, Sylvain Le Gall wrote: Maybe it has nothing todo, but you talked about ocaml-ssl possibly and your application hanging, it reminds me: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=591891 ocaml-ssl and ocaml-dbus are involved, so maybe the guilty