Facebook和GMail使用什么连接发送消息？

我正在构建一个web应用程序，它需要能够立即从服务器接收消息（类似于即时消息聊天）。 我注意到Facebook和GMail在浏览器中都有消息，不需要任何浏览器插件。 他们用什么

我知道WebSocket在通过代理依赖时不起作用？ 还有别的好方法吗