cuda.core: a fast-path VMM grow leaves its extension unfreeable

Summary

_grow_allocation_fast_path maps a new chunk into a second, adjacent VA reservation and updates buf._size in place. The Buffer's deleter captured the original size when the buffer was created, so close() calls deallocate(ptr, original_size) and frees only the first reservation. The extension's reservation, mapping, and physical memory leak with no warning.

No deallocate(ptr, size) call can fix this: cuMemAddressFree frees a reservation only when ptr and size match exactly one reservation, so a range that spans two reservations cannot be freed in one call. The buffer needs to own each reservation and mapping it consists of.

Status

Today the fast path is unreachable (#2388 defect 2). #2237 and #2407 make it live and would expose this leak, so they should wait for this fix. The existing fast-path test mocks the driver and cannot catch it.

Refs: #2388, #2237, #2407, #2882.

Commencez par _grow_allocation_fast_path et suivez la manière dont Buffer, close() et deallocate(ptr, size) gèrent les réservations, les mappings et la mémoire physique. Examinez le test existant du fast path, puis ajoutez une couverture qui détecte que la réservation d’extension reste allouée après close ; le travail est terminé lorsque chaque réservation et chaque mapping appartenant au buffer sont libérés.