When we allocate managed memory, we increase the refcount of the first device's primary context - since we need at least some primary context active for the allocation to succeed. That means that the deleter must decrease the refcount. Unfortunately, the current deleter code calls the wrong version of free() - which doesn't do this.
When we allocate managed memory, we increase the refcount of the first device's primary context - since we need at least some primary context active for the allocation to succeed. That means that the deleter must decrease the refcount. Unfortunately, the current deleter code calls the wrong version of
free()- which doesn't do this.