Re: Bug: glFinish and glXWaitGL busy-wait for vsync buffer swap
You know, I spoke too fast, I just enabled that option myself and ran your test to find the same behavior. I must admit my na´vete, however; I added a call to glXWaitVideoSyncSGI(1, 0, .. ) between glXSwapBuffers and glWaitGL() and glbusy no longer consumed 100% CPU. Placing glXWaitVideoSyncSGI() before the glXSwapBuffers() or after the glWaitGL() glbusy only consumed 50% CPU. To be perfectly honest, I don't know where the glXWaitVideoSyncSGI() call belongs.
Also, I'm too inexperienced to divine if this information is actually helpful to you or not. I apologise.