能被其他程序调用，在实现某种功能后能自动返回到调用程序去的程序。

其最后一条指令一定是返回指令，故能保证重新返回到调用它的程序中去。也可调用其他子程序，甚至可自身调用。