private static int getNumberSyncObjects(int smpNodeIndex){
		SMPNodeConfig smpNodeCfg = Configuration.getInstance().smpNodeConfigs.get(smpNodeIndex);
		int n = 1 + smpNodeCfg.cacheConfigsPT.size() +smpNodeCfg.cacheConfigsMem.size();
		if(smpNodeCfg.hasRemoteCache()){
			n++;
		}
		for(int j = 0;j<smpNodeCfg.cacheConfigsPT.size();j++){
			if(smpNodeCfg.cacheConfigsPT.get(j).hasVictimCache()){
				n++;
			}
		}
		for(int i = 0;i<smpNodeCfg.cpuCachesToPT.size();i++){
			if(smpNodeCfg.cpuCachesToPT.get(i).hasExclusiveCache()){
				n++;
			}
		}

		for(int j = 0;j<smpNodeCfg.cacheConfigsMem.size();j++){
			if(smpNodeCfg.cacheConfigsMem.get(j).hasVictimCache()){
				n++;
			}
		}
		for(int i = 0;i<smpNodeCfg.cpuCachesToMem.size();i++){
			if(smpNodeCfg.cpuCachesToMem.get(i).hasExclusiveCache()){
				n++;
			}
		}
		return n;
		
	}