Beispiel #1
0
 void release() {
   if (user != null) {
     vms.remove(user);
     user.unsubscribeStateChange(this);
     completedVMs++;
     internalAvailableCaps.singleAdd(realAllocated);
     internalReallyFreeCaps.singleAdd(realAllocated);
     increasingFreeCapacityListenerManager.notifyListeners(
         Collections.singletonList(realAllocated));
     user = null;
     swept = true;
   }
 }