Both Chris and I tested this. I run 2 loops:
* allocating and deallocating 200 devices; * allocating and deallocating 513 devices.
Both worked as expected. We *did* see errors, but they are unrelated to this bug (see bug 590929). As such, I consider this bug fixed.
Both Chris and I tested this. I run 2 loops:
* allocating and deallocating 200 devices;
* allocating and deallocating 513 devices.
Both worked as expected. We *did* see errors, but they are unrelated to this bug (see bug 590929). As such, I consider this bug fixed.