I have been studying, and experimenting with, the WebGL API
and the Web Audio API recently and have noticed a potential
system memory related problem with typed arrays: there is no way
to dispose of array buffers when they are no longer needed.
When working with WebGL and/or Web Audio, array buffers can
consume large amounts of system memory. Some of these buffers
can be treated as permanent/static buffers and reused during the
lifetime of an application, but others are temporary and might
only be used during a single function call, or might need to be
replaced when additional resources are loaded into the
application (e.g. game level assets).
It would be extremely useful for programmers if we could
explicitly dispose of an array buffer when it is no longer
required. Disposing of an array buffer would immediately release
any system resources used by the array buffer (e.g. system
memory) and reduce the array buffer's length to zero. This
would also potentially reduce the amount of work the GC has to
do when it eventually decides to clean things up.
I am requesting a single method to be added to the
Most of the other programming languages I use allow these
types of arrays to be disposed, for good reasons :)