写出P1口驱动LED灯，间隔时间0.5ms跑马灯（无限循环）

在C语言中，如果你想通过P1口控制LED灯实现跑马灯效果，你可以利用定时器功能来设置0.5毫秒的间隔。假设你使用的是8051系列单片机，例如8051或ATmega系列，以下是一个基本的示例：

#include <reg52.h> // 对于8051系列

sbit LED = P1^0; // 假设LED连接到P1口的第一位

unsigned char i = 0; // 定义一个变量存储当前LED的位置

void timer_init() {
    TMOD = 0x01; // 初始化定时器T0工作模式为模式1，方波输出
    TH0 = 0xFE; // 设置定时器T0预分频值，使得计数值为254（0.5ms * Fosc / 12）
    TL0 = 0xFD; // 设置定时器T0初值，Fosc是系统时钟频率，此处假设Fosc = 1MHz
    EA = 1; // 启动总中断
    ET0 = 1; // 启动定时器T0中断
}

void interrupt void timer0_isr() {
    if(i >= 8) { // 如果已经遍历完所有LED
        i = 0; // 重置LED位置
    } else { // 否则改变下一个LED状态
        LED = !LED; // 切换LED状态
        i++; // LED向前移动一位
    }
}

int main(void) {
    timer_init(); // 初始化定时器
    while(1) {} // 无限循环
    return 0;
}