Avoiding live-lock in a processor that supports speculative execution | AMiner