Re: Thoughts on async RTS API?

2021-12-16 Thread Cheng Shao
Hi Alex, Thanks for reminding. hs_try_put_mvar() wouldn't work for our use case. If the C function finishes work and calls hs_try_put_mvar() synchronously, in Haskell takeMVar wouldn't block at all, which is all fine. However, if the C function is expected to call hs_try_put_mvar() asynchronously,

Re[2]: Transparently hooking into the STG stack to validate an escape analysis

2021-12-16 Thread Sebastian Graf
Hey Csaba, After catching up on your talk and reflecting about it a bit, it seems quite obvious that your tool is the right way to collect the data and validate our analysis! Even if meanwhile we decided that a "transparent stack frame" (which I believe is something similar to what you are doi

Re: Re[2]: Transparently hooking into the STG stack to validate an escape analysis

2021-12-16 Thread Csaba Hruska
Thanks for the feedback! Let's have a video meeting. My schedule is flexible. What time is best for you? Cheers, Csaba On Thu, Dec 16, 2021 at 5:29 PM Sebastian Graf wrote: > Hey Csaba, > > After catching up on your talk and reflecting about it a bit, it seems > quite obvious that your tool is