GDB hardware watchpoint very slow - why?

Question

On a large C application, I have set a hardware watchpoint on a memory address as follows:

(gdb) watch *0x12F5D58
Hardware watchpoint 3: *0x12F5D58

As you can see, it's a hardware watchpoint, not software, which would explain the slowness.

Now the application running time under debugger has changed from less than ten seconds to one hour and counting. The watchpoint has triggered three times so far, the first time after 15 minutes when the memory page containing the address was made readable by sbrk. Surely during those 15 minutes the watchpoint should have been efficient since the memory page was inaccessible? And that still does not explain, why it's so slow afterwards.

The platform is x86_64 and the GDB versions are Ubuntu 9.10 package:

$ gdb --version
GNU gdb (GDB) 7.0-ubuntu
[...]

and stock GDB 7.1 built from sources:

$ gdb-7.1 --version
GNU gdb (GDB) 7.1

Thanks in advance for any ideas as what might be the cause or how to fix/work around it.

EDIT: removed cast

EDIT: gdb 7.1

Answer 1

I discovered that watching a large character buffer was very slow, whereas watching a character in that buffer was very fast.

e.g.

static char buf[1024];
static char* buf_address = &buf;

watch buf_address - excruciatingly slow.

watch *buf_address - very fast.