Banana changed the topic of #ocaml to: OCaml 3.08.1 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
monochrom has quit ["hello"]
goooomba has joined #ocaml
goomba has quit [Read error: 104 (Connection reset by peer)]
CosmicRay has quit [Remote closed the connection]
mattam has quit [Remote closed the connection]
kinners has joined #ocaml
hangman4 has quit [Read error: 60 (Operation timed out)]
monochrom has joined #ocaml
hangman4 has joined #ocaml
Lemmih has quit [Read error: 110 (Connection timed out)]
Lemmih has joined #ocaml
kinners_ has joined #ocaml
kinners has quit [Read error: 110 (Connection timed out)]
kinners_ has quit ["leaving"]
tautologico has joined #ocaml
monochrom has quit ["hello"]
tautologico has quit []
goooomba has quit ["im a birrrdee!"]
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
mrvn has joined #ocaml
mrvn_ has quit [Read error: 60 (Operation timed out)]
srv has quit [Read error: 104 (Connection reset by peer)]
srv has joined #ocaml
Submarine has joined #ocaml
smimou has joined #ocaml
smimou has quit [Client Quit]
smimou has joined #ocaml
Nephtis has joined #ocaml
<oracle1> hm. I run into 'Fatal error: exception Out_of_memory' when running my CIL modules
<oracle1> might a call to Gc.full_major help prevent out of memory exceptions ?
<oracle1> and I have lots of ram left..
<Nutssh> oracle1, No.
<Nutssh> Is there a ulimit limiting maximum memory to something low?
<oracle1> probably due to Hashtbl.find calls
<oracle1> nope
<Nutssh> Those use CPU, not RAM.
Nephtis has left #ocaml []
<Nutssh> Are you just running out of memory?
<oracle1> I thought Hashtbl.find uses a recursion stack
<Nutssh> That would lead to a stack overflow, which should generrate another exception.
<Nutssh> The simple approach: Are you running out of RAM?
<oracle1> no
<oracle1> I have at run time 280mb ram free and 500 swap
<Nutssh> How much RAM is it using?
<oracle1> 4.8mb rss
<Nutssh> Heh.. Ok. might be a stack overflow. How long does it take the failure to expose itself? Can you run under ocamldebug under bytecode?
Submarine has quit ["Leaving"]
<oracle1> I know which part of code produces the exception..
<Nutssh> You're probably right that its a stack overflow, and the ocamlopt runtime doesn't diagnose it correctly with the exception.
<Nutssh> And the only thing is a hash table? Can you replace it with a Map?
<oracle1> I was wrong. there are two List.iter where I compare every element with '=' with something else
<Nutssh> If you're not positive, try under ocamldebug.
<oracle1> I can't. the whole program is called from a complicated perl wrapper
<Nutssh> ps wwww and get the cmd line that way.
<pango> Interesting thread, all browsers found crashing (often in exploitable ways) on bad html inputs... http://www.securityfocus.com/archive/1/378632/2004-10-18/2004-10-24/0
* pango shivers
<Nutssh> I remember that. Random bad data generator. Why I like ocaml/sml/lisp.. Immunity from attacks (well, assuming no runtime flaw)
<oracle1> browsers are big parsers. that was no wonder
<pango> oracle1: thought parsers were understood for years, maybe I was wrong :)
<Nutssh> They're a bit more than a parser.
<oracle1> understood yes, but still implemented in C like languages :)
<Nutssh> HTML is easy to parse, hard to layout.
<pango> oracle1: that was my point, posting it here
<pango> using C, and being too confident in their skills
<Nutssh> Many of the bugs weren't exploitable.. Many found logic flaws. Eg, sentinel values used during page layout that they didn't expect to find in real data and would infinite loop on.
<Nutssh> Ocaml isn't necessarily immune from that sort of bug.
<pango> Nutssh: probably from most of the buffer overflow ones, however. That's important
<pango> for the others, I'm still waiting for the language that will prevent logical bugs
<Nutssh> :)
vezenchio has joined #ocaml
<oracle1> this can't be true..stupid exception
<oracle1> how can List.iter with a 3 element list trigger Out_of_memory ß
<oracle1> ok
<oracle1> List.mem was better. I used List.iter uneconomically
Submarine has joined #ocaml
Submarine_ has joined #ocaml
Submarine has left #ocaml []
Submarine_ has quit [Client Quit]
Submarine has joined #ocaml
Submarine has quit ["Leaving"]
Riastradh has quit [Remote closed the connection]
Riastradh has joined #ocaml
<vincenz> pango: WherE?
<vincenz> Never mind
Demitar has quit [Remote closed the connection]
Submarine has joined #ocaml
Demitar has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
CosmicRay has joined #ocaml
Herrchen has joined #ocaml
kuribas has joined #ocaml
Herrchen has quit ["bye"]
two-face has joined #ocaml
<two-face> Hi
pango has quit [Nick collision from services.]
pango has joined #ocaml
<two-face> Any seen karryall recently?
Submarine has quit ["Leaving"]
CosmicRay has quit [Remote closed the connection]
tautologico has joined #ocaml
monochrom has joined #ocaml
smimou has quit ["?"]
two-face has quit [Read error: 110 (Connection timed out)]
kuribas has quit ["Leaving"]
__mattam__ has joined #ocaml
__mattam__ is now known as mattam
Demitar has quit ["Bubbles..."]
Smerdyakov has quit ["Client exiting"]
Demitar has joined #ocaml
Smerdyakov has joined #ocaml
hangman4 has quit [Operation timed out]
kinners has joined #ocaml
vezenchio has quit ["smile, Rakka ..."]
fab_ has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
vezenchio has joined #ocaml
Demitar has quit [Remote closed the connection]
Demitar has joined #ocaml
hangman4 has joined #ocaml
vezenchio has quit ["smile, Rakka ..."]
vezenchio has joined #ocaml
chimikal has joined #ocaml
malc_ has joined #ocaml
vezenchio has quit ["smile, Rakka ..."]
vezenchio has joined #ocaml
kinners has quit ["leaving"]
tautologico has quit []
chimikal has quit ["Leaving"]
vezenchio has quit ["smile, Rakka ..."]