web端的消息推送机制是怎么实现的，有专门做这个的第三方软件吗？
一般都是通过长连接等来维持连接，然后服务器主动发送消息给客户端，有很多第三方SDK可以集成
http://dev.umeng.com/push/android/api-doc
web端如今都用即时通信，html5的websocket技术
实现起来也不是很难，网上都有协议内容。
你也可以找个Demo运行下进行分析，基本就是跟据协议进行两次握手，成功了就连接上了。
用websocket要考虑兼容性问题，对IE要求10及以上
解决方法是插件或flash等，具体可以了解一下
第三方多的是，给你介绍个免费用一年：http://www.goeasy.io/