On Windows there is a program called CPUz which reports the operating frequency. On Linux I have only found one program which does this: powertop. All the other programs I have tried (top, /proc/cpuinfo) report the base frequency before turbo-boost.
Do you have any other suggestions. One with a GUI like CPUz would be nice. Powertop is not so convenient.