The above is intended as a solid start rather than a finished implementation.
You probably would want to use more than one PBO, although the way you do it (a low fixed number, or a pool) would depend on what you were doing with the buffers subsequently.
CoreVideo is likely doing something very similar to the above behind the scenes – its advantage is simply lightness of code.