Dear Elias,
I have experience with the Boehm collector and thought I would share some opinions.
1. Since C/C++ was not designed with GC in mind, the Boehm collector is forced to take into account many very system specific factors. These factors vary widely from system to system, and from system release to system release. This means that, rather than portable code, you are maximally system dependent. While that may be fine as long as the Boehm team continues to support their collector, all of your code will fall on its face the day they don't. In other words, anything built with the Boehm collector will from then on be completely dependent on them. The source code they provide, while complete, is pretty useless unless you understand all of the very system specific nuances of each system they support. In other words, you can't support it yourself.
2. A GC like Boehm would never be as fast as reference counting. Reference counting, when possible, only does what it needs to do at the time it needs to do it. A generic GC has to use up a specified amount of memory and then check everything. I know generational GC's and concurrent GC's minimize some of this but it still takes time and their assumptions are rarely completely accurate so their function is reduced, i.e. _conservative_ collector.
The Boehm collector is a great solution when you want to add GC to a system after-the-fact, or if you are unwilling to do the hard work yourself. It seems to me that Jurgen has already done the hard work in a portable way. I'd prefer not to mess with it, nor pepper the system with Boehm ifdefs.
Just an opinion (from someone who has used the Boehm collector and has written my own collectors).
Thanks.
Blake