All-digital control-theoretic scheme to optimize energy budget and allocation in multi-cores