Re: only free pool pages from the gc task

2016-11-22 Thread Mark Kettenis
> Date: Tue, 22 Nov 2016 12:45:44 +1000 > From: David Gwynne > > at the moment pages can be freed on a pool_put call and from the gc. > > it is a bit unfair that pool_get may end up doing the heavy lifting > of allocating a pool page and pool_put wont have to do an

Re: only free pool pages from the gc task

2016-11-22 Thread Martin Pieuchot
On 22/11/16(Tue) 12:45, David Gwynne wrote: > [...] > it is a bit unfair that pool_get may end up doing the heavy lifting > of allocating a pool page and pool_put wont have to do an equivalent > free, but we should try and minimise the amount of work done in > these hot paths. Any number,

only free pool pages from the gc task

2016-11-21 Thread David Gwynne
at the moment pages can be freed on a pool_put call and from the gc. it is a bit unfair that pool_get may end up doing the heavy lifting of allocating a pool page and pool_put wont have to do an equivalent free, but we should try and minimise the amount of work done in these hot paths. ok?