Throughput optimal task allocation under thermal constraints for multi-core processors