TODO: machine setting as API #41

/** * TODO: expose this clearly to user via API. * * @return */ public static int next_cpu() { ArrayList[] mapping_node = Platform.getNodes(3); ArrayList list = mapping_node[socket]; Integer core = list.get(cpu); cpu++; if (cpu == 24) {//assume one socket 24 cores. socket++; cpu = 0; } return core; }