execution函数