Re: [racket-users] Re: Garbage Collection of Places

2015-08-18 Thread Matthew Flatt
At Tue, 18 Aug 2015 10:40:14 -0400, George Neuner wrote: > On Mon, 17 Aug 2015 10:07:11 -0600, Matthew Flatt > wrote: > > >The problem is in the clean-up of OS-level locks. A lock is allocated > >using a combination of malloc() and pthread_mutex_init(), for example. > >The clean up was usually mi

Re: [racket-users] Re: Garbage Collection of Places

2015-08-18 Thread Sam Tobin-Hochstadt
George, You can see the patch here: https://github.com/plt/racket/commit/641c56b6e95b57881b6fef846fb758ed5cd6e5a8 Sam On Tue, Aug 18, 2015 at 10:40 AM George Neuner wrote: > On Mon, 17 Aug 2015 10:07:11 -0600, Matthew Flatt > wrote: > > >The problem is in the clean-up of OS-level locks. A loc