/** * Creates a new VmScheduler. * * @param pelist the list of PEs of the host where the VmScheduler is associated to. * @pre peList != $null * @post $none */ public VmScheduler(List<? extends Pe> pelist) { setPeList(pelist); setPeMap(new HashMap<String, List<Pe>>()); setMipsMap(new HashMap<String, List<Double>>()); setAvailableMips(PeList.getTotalMips(getPeList())); setVmsMigratingIn(new ArrayList<String>()); setVmsMigratingOut(new ArrayList<String>()); }