halt函数