我需要将我的 Web 应用扩展到 10,000 个用户。我需要实现一个功能，通知用户某些事件，例如，您提交的作业已经完成，您有新的优化建议等等。我正在考虑两种实施策略：
(pull) 每分钟向服务器发送一个 AJAX 请求以请求新的通知（如果有）
(push) 使用 WebSocket 并在有新通知时通知用户
会推荐哪一个？
关于网络应用程序的详细信息：
我使用的后端语言是运行在 tomcat 6 上的 Java（是的，我看到只有 tomcat 8 开始支持 WebSocket，所以我最终可能不得不升级）。
该应用程序是一个单页 Web 应用程序。此通知功能不必是实时的，我只关心哪个选项更具可扩展性。
请求通过 AJAX 处理。