allocated blocks holding pointers to other allocated blocks

Marc Glisse marc.glisse at inria.fr
Thu Mar 6 20:52:50 UTC 2014


On Wed, 5 Mar 2014, David Warme wrote:

> The GMP manual on Custom Allocation contains the following paragraph:
>
> 	GMP may use allocated blocks to hold pointers to other allocated
> 	blocks.  This will limit the assumptions a conservative garbage
> 	collection scheme can make.
>
> Questions:
>
> 1. This seems like a situation that can only exist while certain GMP
>   routines are active in the call stack context -- if no GMP function is
>   active, then this situation will not exist, correct?

That's not obvious to me.

> 2. What places within GMP use this technique (pervasive, or hopefully
>   just a few places)?

I am surprised google didn't point you to:
https://gmplib.org/list-archives/gmp-discuss/2009-May/003733.html

Apparently, I had only found one at the time, and I doubt we introduced 
many since. But I could have missed other places.

-- 
Marc Glisse


More information about the gmp-devel mailing list