Analysis and approximation of optimal co-scheduling on chip multiprocessors