<Associat0r>
"You realise Intel verify their floating point hardware using OCaml and Intel's Threaded Building Blocks (TBB) library is built upon OCaml "
<Associat0r>
does anyone know which part of TBB is done with OCaml?
<orbitz>
Associat0r: no idea
<orbitz>
google doesn't relaly know either
<Camarade_Tux>
I'm tempted to say: the logic
<Camarade_Tux>
that's what makes sense
<orbitz>
any idea what in particular makes ocaml good for comparing floating points (i'm not sure what is involved in that)
<Associat0r>
orbitz: verification, that doesn't actually mean they used OCaml's floating points
<orbitz>
i know
<orbitz>
I'm asking wha tin particular make socaml good for that
myu2 has joined #ocaml
<orbitz>
and what is involved in verifying floating hardware
myu2 has quit [Remote host closed the connection]
<Camarade_Tux>
orbitz: they're checking the circuit design, not the actual output
<orbitz>
ok
<orbitz>
what does that mean?
myu2 has joined #ocaml
bmp has quit [Remote host closed the connection]
bmp has joined #ocaml
bmp has quit [Quit: bmp]
jeddhaberstro has quit [Quit: jeddhaberstro]
ygrek has joined #ocaml
john4lists has joined #ocaml
Submarine has joined #ocaml
joewilliams_away is now known as joewilliams
dark has joined #ocaml
seafood has quit [Quit: seafood]
seafood has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
yakischloba has quit [Quit: Leaving.]
myu2 has quit [Remote host closed the connection]
Yoric has joined #ocaml
myu2 has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ttamttam has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
enthymeme has quit [Quit: *thud* zzZZzzzZzz...]
aja has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
f[x] has joined #ocaml
aja has quit [Read error: Connection reset by peer]
Yoric has quit [Quit: Yoric]
ztfw has quit [Ping timeout: 264 seconds]
seafood has quit [Quit: seafood]
komar_ has joined #ocaml
komar_ has quit [Client Quit]
Submarine has quit [Ping timeout: 252 seconds]
komar_ has joined #ocaml
komar_ has quit [Client Quit]
komar_ has joined #ocaml
myu2 has joined #ocaml
<flux>
orbitz, in principle it can mean running through all the states of the machine and checking ie. that it doesn't end up into an undesirable state. some intelligent pruning of states to check would be involved.
det has joined #ocaml
komar_ has quit [Quit: WeeChat 0.2.6]
seafood has joined #ocaml
komar_ has joined #ocaml
seafood has quit [Quit: seafood]
Yoric has joined #ocaml
Submarine has joined #ocaml
Shoggoth has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
Associat0r has quit [Quit: Associat0r]
sfuentes has quit [Ping timeout: 276 seconds]
_unK has joined #ocaml
ikaros has joined #ocaml
komar_ has quit [Ping timeout: 258 seconds]
<Camarade_Tux>
I'm starting a program from ocaml and then using Unix.waitpid for it to return, however the process turns zombie and never returns
<Camarade_Tux>
s/never returns/Unix.waitpid never returns/
<Camarade_Tux>
I think that's because the process can become zombie before Unix.waitpid is started and according to the linux manpages for wait*(), it checks for a *change* not for an exit
<Camarade_Tux>
in which case, if Unix.waitpid is executed after the child turned zombie, it'll never return
<Camarade_Tux>
ocaml's doc in Unix doesn't seem to say the same as my system manpages, anyone knows what is correct and if my assumptions are ok?
<Camarade_Tux>
ok, maybe ocaml's doc is badly worded but that wasn't my problem ='(
<Camarade_Tux>
(or I have several ones)
ikaros has quit [Quit: Leave the magic to Houdini]
<mfp>
Camarade_Tux: the process becomes a zombie precisely in order to keep the wait/waitpid info around
<mfp>
Camarade_Tux: maybe the program is itself forking and failing to waitpid on its child (which becomes the zombie you're seeing) and exit (so waitpid on it blocks)?
<flux>
camarade_tux, strace (-f) may be useful for your
<flux>
case
<Camarade_Tux>
it's tar+xz so it's indeed forking but it looks like it was 'Sexp.input_sexp in_channel' which was blocking, although it wasn't blocking before (not sure what I've changed to make it behave differently =/ )
<Camarade_Tux>
I'm tired of keeping cross-platform compatibility ><
<flux>
maybe the s-expression isn't complete yet or the channel doesn't give EOF?
<Camarade_Tux>
I had this bug before and I had worked around it and the channel not sending EOF/EOL was the conclusion I came to but now I don't remember well, except it might actually be incomplete...
ttamttam has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
sfuentes has joined #ocaml
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 258 seconds]
Yoric_ is now known as Yoric
<Camarade_Tux>
if I select() on a descriptor I got from Unix.descr_of_in_channel, is it equivalent to having something to read on the corresponding in_channel? (and if the select times out, am I sure there's nothing on the in_channel?)
<Camarade_Tux>
ah, I think I see my bug, stupid of course =)
<Camarade_Tux>
errr, no: select times out but then, I can read several lines from the input_channel
<Camarade_Tux>
and the select timeout is enough
boscop_ has left #ocaml []
<flux>
the things aren't exactly linked
<flux>
for example you might have some data remaining in in_channel buffer while select says the channel is not active
<flux>
(an actual bug I've seen in a certain C app)
<flux>
in general I think it's a bad idea to use select with buffered channels
<Camarade_Tux>
hmmm, maybe ocaml consumes the file_descr to feed the in_channel
<Camarade_Tux>
I was relying on input_line raising End_of_file before but that gave me problems too (think that was when I was never getting EOL/EOF and the program would wait forever)
<flux>
take a look at the stdlib? I assume the code is quite straight-forward.
f[x] has quit [Ping timeout: 260 seconds]
<Camarade_Tux>
I need this to work on windows... ;p
<Camarade_Tux>
but I think I'll use file_descr everywhere
f[x] has joined #ocaml
<Camarade_Tux>
(if only input_line had a 'timeout' parameter)
<Camarade_Tux>
and just checked: looks like tar won't send me an EOF or EOL and input_line will wait forever
Yoric has quit [Quit: Yoric]
sepp2k has joined #ocaml
ttamttam has joined #ocaml
ftrvxmtrx has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
smimou has quit [Remote host closed the connection]
smimou has joined #ocaml
tmaedaZ has quit [Ping timeout: 265 seconds]
maskd has joined #ocaml
tmaedaZ has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
ttamttam has quit [Quit: Leaving.]
_zack has joined #ocaml
komar_ has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
myu2 has quit [Remote host closed the connection]
dark has quit [Remote host closed the connection]
Shoggoth has quit [Quit: Ex-Chat]
Snark has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
mbishop has quit [Ping timeout: 265 seconds]
pimmhogeling has joined #ocaml
Snark has quit [Quit: Ex-Chat]
roconnor has joined #ocaml
<roconnor>
what's the difference between camlp5 --transitional and --strict?
mbishop has joined #ocaml
drk-sd has joined #ocaml
ikaros has joined #ocaml
<orbitz>
It's goign to be a slow day i can feel it
pimmhogeling has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
smimou has quit [Quit: bli]
ftrvxmtrx has quit [Quit: Leaving]
f[x] has quit [Ping timeout: 248 seconds]
pimmhogeling has joined #ocaml
john4lists has quit [Quit: Leaving.]
derdon has joined #ocaml
f[x] has joined #ocaml
ftrvxmtrx has joined #ocaml
f[x] has quit [Ping timeout: 260 seconds]
yakischloba has joined #ocaml
f[x] has joined #ocaml
f[x] has quit [Ping timeout: 248 seconds]
f[x] has joined #ocaml
joewilliams_away is now known as joewilliams
Asmadeus has quit [Ping timeout: 246 seconds]
Asmadeus has joined #ocaml
Zeneris has joined #ocaml
roconnor has quit [Remote host closed the connection]
seafood has joined #ocaml
barismetin has quit [Remote host closed the connection]
jeddhaberstro has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]