There is no such thing as a truly empty loop - all loops must do two things:
- check their loop condition
- restart the loop at the next iteration
Since your program only does those two things over and over, never pausing to do something else, it gets full attention from your processor.