<p dir="ltr">On Tue, Apr 15, 2014 at 4:08 PM, Julian Taylor <<a href="mailto:jtaylor.debian@googlemail.com">jtaylor.debian@googlemail.com</a>> wrote:<br>
> On Tue, Apr 15, 2014 at 3:07 PM, Nathaniel Smith <<a href="mailto:njs@pobox.com">njs@pobox.com</a>> wrote:<br>
>> On Tue, Apr 15, 2014 at 12:06 PM, Julian Taylor<br>
>> <<a href="mailto:jtaylor.debian@googlemail.com">jtaylor.debian@googlemail.com</a>> wrote:<br>
>>>> Good news, though! python-dev is in favor of adding calloc() to the<br>
>>>> core allocation interfaces, which will let numpy join the party. See<br>
>>>> python-dev thread:<br>
>>>> <a href="https://mail.python.org/pipermail/python-dev/2014-April/133985.html">https://mail.python.org/pipermail/python-dev/2014-April/133985.html</a><br>
>>>><br>
>>>> It would be especially nice if we could get this into 3.5, since it<br>
>>>> seems likely that lots of numpy users will be switching to 3.5 when it<br>
>>>> comes out, and having a good memory tracing infrastructure there<br>
>>>> waiting for them make it even more awesome.<br>
>>>><br>
>>>> Anyone interested in picking this up?<br>
>>>> <a href="http://bugs.python.org/issue21233">http://bugs.python.org/issue21233</a><br>
>>><br>
>>> Hi,<br>
>>> I think it would be a better idea to instead of API functions for one<br>
>>> different type of allocator we get access to use the python hooks<br>
>>> directly with whatever allocator we want to use.<br>
>><br>
>> Unfortunately, that's not how the API works. The way that third-party<br>
>> tracers register a 'hook' is by providing a new implementation of<br>
>> malloc/free/etc. So there's no general way to say "please pretend to<br>
>> have done a malloc".<br>
>><br>
>> I guess we could potentially request the addition of<br>
>> fake_malloc/fake_free functions.<br>
><br>
> Unfortunate, looking at the pep it seems either you have a custom<br>
> allocator or you have tracing but not both (unless you trace<br>
> yourself).<br>
> This seems like quite a limitation.</p>
<p dir="ltr">I don't think this is right - notice the PyMem_GetAllocator function, which lets you grab the old allocator. This means you can write a tracing "allocator" which just does its tracing and then delegates to the old allocator. (And looking at _tracemalloc.c this does seem to be how it works.) This means that any full allocator replacement has to be enabled first before any tracing allocator is enabled, but that's okay, because a full allocator has to be inserted *very* early in any case (like, before any allocations have happened) and can never be removed, so this doesn't seem so bad.</p>

<p dir="ltr">OTOH I don't think they've really thought about the case of stacking multiple tracing allocators. tracemalloc.stop() just unconditionally resets the allocator to whatever it was when tracemalloc.start() was called, and there's no guidelines on how to handle the lifetime of the ctx pointer. I'm not sure these issues cause any problems in practice though.</p>

<p dir="ltr">> Maybe it would have been more flexible if instead python provided<br>
> three functions:<br>
><br>
> PyMem_RegisterAlloc(size);<br>
> PyMem_RegisterReAlloc(size);<br>
> PyMem_RegisterFree(size);<br>
> + possibly nogil variantes<br>
> These functions call into registered tracing functions (registered<br>
> e.g. by tracemalloc.start()) or do nothing.<br>
><br>
> Our allocator (and pythons) then just always calls these functions and<br>
> continues doing its stuff.</p>
<p dir="ltr">You'd need to add some void* arguments as well -- tracemalloc actually tracks every allocation independently, so you can do things like ask "which line of code was responsible for allocating the largest portion of the memory that is still in use".</p>

<p dir="ltr">And unfortunately once you add these arguments the resulting signatures don't quite match regular malloc/realloc/free (you have to pass a void* into malloc instead of receiving one), so we can't just define a PYMEM_NULL domain. (Or rather, we could, but then it would have to return an opaque void* used only for memory tracking, and we'd have to keep track of this alongside every allocation we did, and that would suck.)</p>

<p dir="ltr">>>> This would allow as to for example use aligned memory allocators which<br>
>>> might be relevant for the new cpu instruction sets with up to 64 byte<br>
>>> wide registers<br>
>><br>
>> I think we might have had this conversation before, but I don't<br>
>> remember how it went... did you have some explanation about how this<br>
>> could matter in principle? We have to write code to handle unaligned<br>
>> (or imperfectly aligned) arrays regardless, so aligned allocation<br>
>> doesn't affect maintainability. And regarding speed, I can't see how<br>
>> an extra instruction here or there could make a big difference on<br>
>> small arrays, since the effect should be overwhelmed by interpreter<br>
>> overhead and memory stalls (not much time for prefetch to come into<br>
>> play on small arrays), but OTOH large arrays are usually page-aligned<br>
>> in practice, and if not then any extra start-up overhead will be<br>
>> amortized out by their size.<br>
><br>
> yes we already had this conversation :)<br>
> if you have two or more arrays not aligned the same way you can only<br>
> align one of them via peeling, the others will always have to be<br>
> accessed unaligned.<br>
> But it probably does not matter anymore with newer cpus, I should<br>
> probably just throw out my old core2 where it does :)</p>
<p dir="ltr">Oh right! Yes, that makes sense, sorry :-)</p>
<p dir="ltr">On the one hand it would be nice to actually know whether posix_memalign is important, before making api decisions on this basis. OTOH we've made it this far without, and apparently the processors for which it might or might not matter won't be out for some time, so we could revisit things then I guess...</p>

<p dir="ltr">Anyone know how picky ARM NEON is about alignment?</p>
<p dir="ltr">-n</p>
<p dir="ltr">-- <br>
Nathaniel J. Smith<br>
Postdoctoral researcher - Informatics - University of Edinburgh<br>
<a href="http://vorpus.org">http://vorpus.org</a></p>