如何在C语言中为C51单片机设计一个程序，通过两个独立按键K3和K4控制LED灯实现左右方向的流水效果？能否详细说明编程步骤，并给出示例代码片段，特别是涉及到K3控制左向流水灯和K4控制右向流水灯的部分？

在C51单片机中设计这样的程序，通常需要以下几个步骤：

1. **初始化硬件**: 首先，你需要配置GPIO口作为输入，连接到你的按键K3和K4，以及设置GPIO口作为输出，连接到LED灯。

2. **定义函数**: 定义处理按键输入的中断服务函数(ISR)，例如`void K3_ISR()`, `void K4_ISR()`，它们将在按键按下时被触发。

3. **编写主循环**: 主程序会检查按键的状态并根据状态改变LED的点亮顺序。你可以用一个变量`direction`表示当前的方向（0代表左向，1代表右向），并用数组`leds[]`存储LED的状态。

4. **处理按键中断**: 当检测到按键按下时，对应的ISR函数会被调用。在这些函数中，可以增加对应方向的LED点亮，并切换`direction`。

5. **更新LED状态**: 在主循环中，检查`direction`值，然后依次点亮或关闭数组中的LED灯，模拟流水效果。

以下是一个简化的示例代码片段：

#include <reg52.h>

#define LEDS 8 // 假设有8个LED
#define K3_PORT P1
#define K4_PORT P2
#define K3_PIN P1^2
#define K4_PIN P2^2

unsigned char leds[LEDS] = {0};
volatile unsigned char direction = 0; // 左向

// 中断服务函数
#pragma interrupt K3_ISR level2
void K3_ISR(void) {
   if (!K3_PIN) {
      // 按键K3释放，开始新的一轮流水
      direction = 1 - direction;
      ledChange(direction);
   }
}

#pragma interrupt K4_ISR level2
void K4_ISR(void) {
   if (!K4_PIN) {
      // 按键K4释放，开始新的一轮流水
      direction = 1 - direction;
      ledChange(direction);
   }
}

void ledChange(unsigned char dir) {
   for (int i = 0; i < LEDS; ++i) {
      leds[(i + dir) % LEDS] = 1; // 右向时，(i+1)%LEDS; 左向时，(i-1+LEDS)%LEDS
      P1 = leds; // 更新LED状态
      delay_ms(5); // 等待一段时间，让流水效果更明显
   }
}

void main(void) {
   // 初始化GPIO口
   K3_PORT &= ~K3_PIN; // 设置K3Pin为输入
   K4_PORT &= ~K4_PIN; // 设置K4Pin为输入
   P1 = 0xFF; // 输出口初始化为0，所有LED关闭

   // 开启按键中断
   ET1 = 1; // 启动定时器1的溢出中断
   EA = 1; // 全局中断使能

   while (1);
}

**注意**: 这个例子假设你已经有一个定时器用于中断服务函数的触发。实际应用中，你可能还需要根据你的单片机型号调整中断、GPIO配置等部分。同时，`delay_ms`函数也需要你自己实现或者使用已有的库。