Re: [polyml] Segmentation fault on get_stream

2018-12-26 Thread Kostirya
Hello, David. Patch on MultiThreadIO branch was help for me. Thank you very much! P.S. I close only explicitly all sockets. ср, 26 дек. 2018 г. в 14:45, David Matthews : > > I've had a look at this and I think I know what is going wrong. There > is a global table that holds information about

Re: [polyml] Segmentation fault on get_stream

2018-12-26 Thread Makarius
On 26/12/2018 13:45, David Matthews wrote: > > However, the table itself is really a relic of some very old code and > the whole thing needs to be replaced.  The table does two things.  One > is to ensure that streams are not persistent [...] The other use of the table > is to > enable streams

Re: [polyml] Segmentation fault on get_stream

2018-12-26 Thread David Matthews
I've had a look at this and I think I know what is going wrong. There is a global table that holds information about open streams. There is an interlock to prevent two threads both growing the table at the same time but it turns out there is no interlock to prevent one thread growing it