作为一个创业项目，app端是安卓和ios。消息推送，即时聊天这2块功能，我最近了解了一下，tornado对websocket有很好的支持，看了几个demo。请问在具体项目中，这2块功能大神们是用的什么库实现的，还是用第三方推送，比如jpush？ 这两者哪个性能更好，考虑到我们是创业团队，以后可能会有大量用户请求。
