C51单片机用外部中断1实现一个四位二进制减1计数器，按一次键，减1，并 用4个LED（D1-D4）显示计数结果，减至0时，重新从15开始计数。

在C51单片机上，你可以使用外部中断1（INT1）配合定时器T1和按键中断来实现这个功能。首先，你需要完成以下步骤：

1. **初始化硬件**：
- 配置外部中断1（连接到键盘按键），当按下按键时触发中断。
- 配置定时器T1作为溢出中断源，周期性地检测是否需要递减计数。

#include <reg51.h>

void interrupt void EXTI1(void) __attribute__((interrupt("外部")));
void timer1_isr(void) __attribute__((interrupt("TF1")));

// ... 其他必要的变量声明

void EXTI1() {
    if (P1IF & 0x01) { // 检查是否有按键输入
        P1IF = 0; // 清除中断标志
        count--; // 减一计数
        display_count(); // 更新LED显示
        if (count == 0) { // 到达0，重新置为15
            count = 15;
        }
    }
}

2. **配置中断服务程序**：
- `timer1_isr`函数用于处理定时器溢出事件，检查计数是否需要递减并清零定时器。

void timer1_isr() {
    TMOD &= ~_XTAL1; // 暂停计数
    TH1 = 0xFD; // 设置新的定时时间，使得计数从14到0
    TL1 = 0xF8; // T1从高八位开始
    EA = 1; // 开启总中断允许
    ET1 = 1; // 开启定时器1中断
}

3. **设置定时器和中断**：
- 初始化定时器T1，启用定时器1和外部中断1。

void setup() {
    TMOD |= _TMOD1; // 设置定时器模式
    TR1 = 1; // 启动定时器
    EX1 = 1; // 开启外部中断1
    E中断1; // 配置外部中断1为下降沿触发
    EA = 1; // 全局中断允许
}

4. **更新LED显示**：
- 使用P1口驱动LEDs，根据`count`值的二进制表示点亮相应的LED。

void display_count() {
    int led_state = count % 16; // 取余得到二进制位
    D1 = led_state & 0x01; // LED D1对应最低位
    D2 = led_state & 0x02;
    D3 = led_state & 0x04;
    D4 = led_state & 0x08;
}