I was always under the impression that the delay in push notifications (which you also see with Twitter for iOS, even in the Tweetie era) was a result of NoSQL databases used for notification points. I know Facebook is MySQL, but it would make sense that they might use a non-traditional database for push points.