Raptor: Integrating Checkpoints and Thread Migration for Cluster Management