After no more new messages are created, the Pregel loop should end. The GraphX implementation also counts the messages and stops the iteration if the count is zero.