编写C51源程序，要求实现如下功能：按下K1开关，8只发光二极管做循环点亮控制，且亮灯顺序为D1→D2→D3→…→D8→D7→…→D1，无限循环，两次亮灯的时间间隔约为0.5s，再按下K1快关暂停循环。按下K2开关，LED灯自上而下移动1位。按下K3开关，LED灯自下而上移动1位

为了编写C51源程序实现这个功能，你需要使用定时器、中断以及外部按键输入。这里是一个简化的示例，假设你正在使用μC系列的单片机，如ATmega8或ATtiny85，其中Timer0可以用来控制时间间隔，并通过中断处理按键事件。

#include <reg51.h>

// 定义LED和按键的宏
#define LED_DDR DDRB
#define LED_PORT PORTB
#define LED_PIN(i) (1 << i) // D1~D8

#define KEY_DDR DDRA
#define KEY_PORT PORTA
#define K1_PIN P1_0
#define K2_PIN P1_1
#define K3_PIN P1_2

void init_ports(void) {
    LED_DDR |= (1 << 0) | (1 << 1); // 设置LED0和LED1为输出
    KEY_DDR &= ~(1 << K1_PIN) & ~(1 << K2_PIN) & ~(1 << K3_PIN); // 设置按键为输入

    TRISB = 0; // 都设置为输出
    TRISA &= ~(1 << K1_PIN) & ~(1 << K2_PIN) & ~(1 << K3_PIN); // 设置按键为输入
}

void toggle_LEDs() {
    static int current_led = 1;
    if (current_led == 8) {
        current_led = 1;
    } else {
        ++current_led;
    }
    LED_PORT ^= LED_PIN(current_led - 1);
}

ISR(TIMER0_OVF_vect) {
    toggle_LEDs();
    if (!KEY_PORT & K1_PIN) { // 检查K1是否按下
        TIMSK0 &= ~TOIE0; // 禁止定时器溢出中断
    } else {
        TIMSK0 |= TOIE0; // 启动定时器溢出中断
    }
}

void move_LED(int direction) {
    if (direction == 1) { // 上移
        LED_DDR &= ~(LED_PIN(7) | LED_PIN(6)); // 高电平禁用上两盏灯
        LED_PORT ^= LED_PIN(7);
    } else { // 下移
        LED_DDR &= ~(LED_PIN(0) | LED_PIN(1)); // 高电平禁用下两盏灯
        LED_PORT ^= LED_PIN(0);
    }
}

int main(void) {
    init_ports();

    // 设置定时器0，每0.5s触发一次中断
    TF0 = 0; // 初始化定时器0
    TH0 = 0xFD; // 计算分频后的定时值，约等于0.5秒
    TL0 = 0xFD;
    ET0 = 1; // 开启定时器0
    IE = 1 << TIIE0; // 开启TIM0中断标志
    TIMSK0 |= TOIE0; // 开启定时器溢出中断

    while (1) {
        if (KEY_PORT & K2_PIN) {
            move_LED(1); // 按下K2，LED上移
        } else if (KEY_PORT & K3_PIN) {
            move_LED(-1); // 按下K3，LED下移
        }
    }

    return 0;
}

注意：这是一个简化版本，实际应用可能需要根据硬件的具体情况调整初始化、定时器配置和中断服务函数的细节。此外，确保你的微控制器支持定时器0并具备足够的引脚来连接外部按键和LED。如果你使用的是其他型号的单片机，请查阅其官方文档进行相应的修改。