如何使用C语言在51单片机中编写代码来设计一个具有8个LED灯的交通信号灯系统？该系统应按照真实的交通灯节奏运作（红灯亮10秒，绿灯亮10秒，黄灯亮3秒），以确保行人和车辆流畅通过。请提供详细的编程步骤和示例代码。

在51单片机中设计一个8LED交通信号灯系统，你可以使用定时器和中断来进行周期性的颜色切换。以下是基本的编程步骤：

1. **硬件准备**：
- 连接8个LED到P0~P7口（假设它们可以并联），每个LED对应一个I/O端口位。
- 使用定时器T0作为主计数器，用于控制信号灯的周期。

2. **软件编程**：
a) **初始化**：
- 设置P0~P7口为输出模式，方便LED驱动。
- 初始化定时器T0工作模式：通常选择模式2（13位自动重装定时器），因为这样可以满足10秒和3秒的周期需求。

   #define LED_PINS P0
   void timer0_init() {
       TMOD = 0x02; // 设置定时器T0为模式2
       TH0 = 0xF8; // 13位定时，设为10s的倒计时初值 (2^13 - 1)
       TL0 = 0x00;
   }

b) **设置中断服务程序**：
- 当定时器溢出时，会触发中断，此时在中断处理函数里切换LED状态。

   void interrupt service ISR(TIMER0_vect) {
       static int phase = 0;
       switch(phase++) {
           case 0: // 红灯亮
               LED_PINS &= ~(1 << 0); // 关闭第一盏LED
               // ...依次关闭其他LED...
               break;
           case 1: // 黄灯闪
               for(int i=0; i<8; i++) {
                   if(i % 3 == 0) { // 每隔3个LED亮一次
                       LED_PINS |= (1 << i);
                   } else {
                       LED_PINS &= ~(1 << i);
                   }
               }
               break;
           case 2: // 绿灯亮
               LED_PINS |= (1 << 0); // 开启第一盏LED
               // ...依次开启其他LED...
               break;
           default: // 重启循环
               phase = 0;
               break;
       }
   }

c) **主程序**：
- 开启定时器T0，并设置中断响应标志。

   void main() {
       timer0_init();
       TIMSK0 = 0b10000000; // 开启定时器T0中断
       sei(); // 启动全局中断
       while(1);
   }

请注意，这只是一个基础的示例，实际应用中可能需要考虑更多的细节，比如错误处理、延时等。此外，具体的单片机型号和头文件可能会有所不同，你需要查阅相应的数据手册进行调整。