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