A method, apparatus, system, and signal-bearing medium that in an
embodiment determine whether an instruction at which an address watch
breakpoint occurs is within a hardware synchronization mechanism range in
a program. If the determination is true, a special breakpoint is set
following the hardware synchronization mechanism range, the address watch
breakpoint is temporarily disabled, and the machine state is saved. When
the program encounters the special breakpoint following the end of the
hardware synchronization mechanism range, the saved machine state is
presented. In this way, endless looping in programs protected by hardware
synchronization mechanisms may be prevented.