cuda.core: VirtualMemoryResource.deallocate() unmaps without ordering on the stream

Summary

VirtualMemoryResource.deallocate() validates its stream argument and then calls cuMemUnmap at once. The VMM unmap does not synchronize, so work still in flight on the buffer accesses an unmapped range.

Buffer.close() documents stream-ordered deallocation, and the two synchronous resources (_SynchronousMemoryResource, LegacyPinnedMemoryResource) call stream.sync() before they free. VirtualMemoryResource is the only synchronous resource that skips this.

Suggested fix

Sync the stream before cuMemUnmap, as the siblings do. After #2880 the slow-path grow closes the old buffer through deallocate(), so a grow will sync once; that is the correct cost for a synchronous resource.

Refs: found while analyzing #2882.

Beginnen Sie bei VirtualMemoryResource.deallocate() und vergleichen Sie dessen Behandlung der Stream-Validierung und von cuMemUnmap mit _SynchronousMemoryResource und LegacyPinnedMemoryResource. Bestätigen Sie die Dokumentation zur Stream-Reihenfolge von Buffer.close(), und überprüfen Sie anschließend, dass die Freigabe den Stream vor dem Unmapping synchronisiert und dass das Verhalten beim Vergrößern im Slow Path weiterhin korrekt ist.