companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
Tuplanolla has quit [Quit: Leaving.]
szkl has joined #ocaml
waleee has quit [Ping timeout: 265 seconds]
mbuf has joined #ocaml
YuGiOhJCJ has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
toastal has joined #ocaml
Serpent7776 has joined #ocaml
myrkraverk__ has joined #ocaml
myrkraverk_ has quit [Read error: Connection reset by peer]
torretto_ has joined #ocaml
torretto has quit [Ping timeout: 260 seconds]
myrkraverk_ has joined #ocaml
myrkraverk__ has quit [Read error: Connection reset by peer]
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk has joined #ocaml
myrkraverk has quit [Read error: Connection reset by peer]
myrkraverk has joined #ocaml
dawids has joined #ocaml
dawids has quit [Remote host closed the connection]
olle has joined #ocaml
<discocaml> <polytypic> Hmm... If I understand what you mean, then I can see potential use cases for such a feature, but currently that would be basically outside of the scope of Picos. However, one thing that I do think we need is abstraction over the allocation / creation / management of systhreads / domains where something similar might be supportable.
bartholin has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Read error: Connection reset by peer]
Tuplanolla has joined #ocaml
neiluj has joined #ocaml
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
neiluj has quit [Read error: Connection reset by peer]
neiluj has joined #ocaml
TCZ has joined #ocaml
<discocaml> <ada2k> miou has an events system for this in which you specify a function which will be ran on startup of each domain (miou initialises a pool of <n> domains at startup) that runs your initialisation code and returns a function to run when fibers are blocked on suspension. that's all at a higher level than picos, so i don't know how the same things that are possible there could be integrated somehow
<discocaml> <ada2k> the issues i actually encountered that need that sort of cooperation aren't with managing fibers but with managing domains, and managing the domain pool is a bit outside picos
<discocaml> <polytypic> Yes, indeed, and this is something I also think should be done in a way that allows things to cooperate. We've talked about this with @companion_cube in particular.
trillion_exabyte has quit [Ping timeout: 276 seconds]
neiluj has quit [Read error: Connection reset by peer]
neiluj has joined #ocaml
troydm has joined #ocaml
toastal has quit [Ping timeout: 260 seconds]
toastal has joined #ocaml
bartholin has quit [Quit: Leaving]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
omegatron has joined #ocaml
TCZ has quit []
szkl has joined #ocaml
TCZ has joined #ocaml
olle has quit [Ping timeout: 260 seconds]
myrkraverk_ has quit [Read error: Connection reset by peer]
myrkraverk_ has joined #ocaml
TCZ has quit []
bartholin has joined #ocaml
neiluj has quit [Ping timeout: 260 seconds]
neiluj has joined #ocaml
infinity0 has quit [Quit: WeeChat 4.3.1]
infinity0 has joined #ocaml
neiluj has quit [Read error: Connection reset by peer]
neiluj has joined #ocaml
TCZ has joined #ocaml
waleee has joined #ocaml
mbuf has quit [Quit: Leaving]
tomku has quit [Ping timeout: 252 seconds]
tomku has joined #ocaml
TCZ has quit []
neiluj has quit [Ping timeout: 255 seconds]
reynir has quit [*.net *.split]
_alix has quit [*.net *.split]
seeg has quit [*.net *.split]
richardhuxton has quit [*.net *.split]
ymherklotz has quit [*.net *.split]
xvilka has quit [*.net *.split]
immutable has quit [*.net *.split]
rustyne has quit [*.net *.split]
ggb has quit [*.net *.split]
germ- has quit [*.net *.split]
end has quit [*.net *.split]
mal`` has quit [*.net *.split]
reynir has joined #ocaml
seeg has joined #ocaml
xvilka has joined #ocaml
_alix has joined #ocaml
immutable has joined #ocaml
ggb has joined #ocaml
ymherklotz has joined #ocaml
richardhuxton has joined #ocaml
rustyne has joined #ocaml
end has joined #ocaml
germ- has joined #ocaml
mal`` has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Quit: WeeChat 4.2.1]
Anarchos has joined #ocaml
kurfen_ has quit [Ping timeout: 255 seconds]
kurfen has joined #ocaml
omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
tomku has quit [Ping timeout: 244 seconds]
tomku has joined #ocaml
cr1901_ has quit [Read error: Connection reset by peer]
cr1901 has joined #ocaml
bartholin has quit [Quit: Leaving]
Anarchos has quit [Ping timeout: 245 seconds]
xenu has quit [Remote host closed the connection]
nore has quit [Ping timeout: 252 seconds]
nore has joined #ocaml
Serpent7776 has quit [Ping timeout: 255 seconds]
nore has quit [Ping timeout: 252 seconds]
nore has joined #ocaml