haswell: resource allocation