单片机的P1口接有8个LED灯，在外部中断1引脚接有一个按钮开关K1。程序要求：外部中断1设置为下降沿触发；没有按下开关K1时，8支LED灯全亮；按下开关K1时，8支LED灯全灭。

单片机的P1口连接8个LED灯，可以将它们配置为输出模式，通过高低电平控制LED的点亮和熄灭。对于外部中断1引脚（INT0），我们需要将其设置为下降沿触发，这意味着当INT0引脚的电压从高电平变为低电平时，中断就会被触发。

下面是一个基本的程序设计思路：

1. **初始化设置**：
- 首先，你需要在程序开始时将P1口初始化为输出，并全部设置为高电平，使得LED处于关闭状态。
- 对于中断，设置INT0为下降沿触发，并开启中断功能。

void init_GPIO(void) {
    P1 = 0xFF; // 设置P1口所有位为高，LED全关
    TRIS_P1 = 0x00; // P1口设为输入输出
    EIE1 = 1; // 开启外部中断 INT0 的中断允许
    PIE1 = 1; // 将 INT0 设为中断事件
    INTCONbits.GIE = 1; // 全局中断使能
}

// 中断服务函数
void interrupt_handler(void) {
    if (IFS1bits.RI) { // 判断中断是否来自INT0
        IFS1bits.RI = 0; // 清除中断标志
        P1 = 0x00; // LED全灭
    }
}

2. **主循环**：
主程序中，你可以进入一个无限循环，用于检测INT0引脚的状态变化。如果没有按下按钮，LED保持关闭。一旦按下，中断会被触发并执行相应处理（LED关闭）。

int main(void) {
    init_GPIO();
    
    while (1) {
        // 检查按钮状态（这里假设按下的条件是INT0引脚变为低电平）
        if (!PORTBbits.RB0) { // RB0对应INT0引脚
            P1 = 0xFF; // LED全灭
        } else {
            P1 = 0x00; // LED全亮
        }
    }
}