Pushkin — открытый фреймворк для отправки push-уведомлений, разработанный игровиками из Nordeus и заточенный как раз на игры (но работающий, конечно, и с приложениями).
Поддерживает iOS и Android и может легко «откликаться» на события вашего игрового сервера, сервера БД или вообще на все, что может посылать HTTP POST запроосы. Один инстанс может отсылать по 500 сообщений в секунду, а масштабируется платформа просто добавлением новых виртуальных серверов.