<mato>
also #25 where i found a problem in the error handling logic
<mato>
my ocaml is not up to fixing it, but hopefully i've described clearly what needs to be done
<thomasga>
yea, thanks for the report! I'll try to find some time to fix that today
<mato>
thx
<mato>
thomasga: by the way, will you be in cambridge next monday through wednesday? i'll be visiting the lab, would be good to meet up and cover some of the opam issues face to face
thomasga1 has joined #mirage
thomasga has quit [Ping timeout: 276 seconds]
thomasga1 has quit [Quit: Leaving.]
m__ has quit [Ping timeout: 246 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 255 seconds]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<hannes>
(<- back in office at cl)
m__ has joined #mirage
m__ has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<mato>
thomasga: quick question: What is the difference between Console.log and Console.log_s? The latter says something about being a thread that writes to the console, what does this mean?
<thomasga>
one is blocking the is not
<mato>
ok
<thomasga>
is. sync write vs. async write
<mato>
right. the async version is not doing anything for me on rumprun for some reason. weird.
<thomasga>
is the lwt scheduler working properly?
<thomasga>
if you add an other background thread printing sync writes in parallel does it change something?
<hannes>
for me the async print on xen only works (in console example) when some keyboard input is produced, and thus the event loop is triggered
<justincormack>
mato yes, all netbsd block devices are exclusive open. Not sure if thats true in other BSDs
<thomasga>
we use to have that issue long time ago; though it was fixed … it's worth asking on the mailing list, djs55 will know better
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 258 seconds]
<mato>
thomasga: ok, i added in a background thread printing hello/world and sleeping in between, still nothing from the main thread (kv_ro_crunch example)
<mato>
i also tried a modified console example with two threads each printing different strings and that works fine
<mato>
hmm
<mato>
justincormack: how is stdout actually implemented on rumprun?
<mato>
justincormack: if something tries to poll it, will it get POLLOUT back?
<justincormack>
no
<justincormack>
well,maybe
<justincormack>
not sure
<justincormack>
there is a rump console driver somewhere, not looked at it though
<justincormack>
easy enough to write a quick program to check
<mato>
sure
<justincormack>
but its not very functional
<mato>
well, i have no idea what Lwt is doing in the background for the async Console writes, but polling and never getting POLLOUT would explain whats going on
<mato>
will write a quick C test to check
<mato>
ok, it does indeed not raise POLLOUT
<mato>
and runs into a panic as well :)
mcclurmc has joined #mirage
<hannes>
thomasga: I can reproduce with tun/tap
rgrinberg has joined #mirage
<mato>
ok poll(POLLOUT) implemented for rump console driver, it all just works now
<mato>
on to the network driver :)
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 272 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #mirage
nullcat has joined #mirage
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
mort___ has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
mort___ has quit [Quit: Leaving.]
MrScout has quit [Ping timeout: 256 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thomasga has quit [Ping timeout: 244 seconds]
21WAB9LHA has joined #mirage
dsheets has quit [Ping timeout: 265 seconds]
21WAB9LHA has quit [Client Quit]
nullcat__ has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
larhat1 has joined #mirage
brson has joined #mirage
thomasga has joined #mirage
larhat1 has quit [Quit: Leaving.]
dsheets has joined #mirage
larhat1 has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 256 seconds]
thomasga has quit [Quit: Leaving.]
jonludlam has quit [Ping timeout: 252 seconds]
nullcat__ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #mirage
nullcat_ has joined #mirage
brson has quit [Ping timeout: 258 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]