Transparent Orthogonal Checkpointing through User-Level Pagers