Re: malloc and alignment

[Stefan Monnier]

>     In all three cases, malloc (or memalign) itself does not use up much
>     extra memory (in the case of memalign, it uses up a lot of memory
>     if we memalign (16384) which is why I only memalign (16380).
> 
>     The actual number of bytes per float used up in the three cases is:
>     - 12.14
>     - 8.74
>     - 8.26
> 
> With those ratios, I'd say it is efficient enough, for cons cells too.
> Please install your changes.

I've installed the change for floats (without using memalign).
I'll install the rest in small installments.


        Stefan