在C51语言中，中断服务子程序（也称为中断函数）的编写格式如下：
```c
void 函数名（） interrupt m [using n] {}
```
`void 函数名（）`： 定义了一个无返回值的中断服务子程序，函数名为`函数名`。
`interrupt m`： 关键字`interrupt`表示这是一个中断函数，`m`为中断源的编号。
`[using n]`： 可选项，表示使用的工作寄存器组编号，共四组，取值为0,1,2,3。如果不使用，可以省略。
```c
void External_Interrupt_0（） interrupt 0
{
// 中断服务子程序代码
P1 = 0xFF； // 示例：将P1口的所有位设置为1
RETI； // 返回中断
}
```
在这个示例中，`External_Interrupt_0`是中断服务子程序的函数名，`interrupt 0`表示该子程序处理的是外部中断0。
注意事项
中断源编号：
中断源编号根据具体硬件和单片机型号有所不同，通常在单片机的数据手册或相关文档中可以找到。
工作寄存器组：
如果使用了`using n`，则需要在中断服务子程序中使用对应的工作寄存器组。
中断向量：
在某些情况下，可能需要设置或修改中断向量，以便CPU能够正确找到并执行中断服务子程序。
希望这些信息对你编写中断服务子程序有所帮助。