给出操作系统中利用记录型信号量解决哲学家进餐问题中的P，V操作实现的伪代码

在操作系统中，哲学家进餐问题是经典的一道并发控制问题，它涉及五个哲学家围坐在一起共享面包和橄榄，并通过互斥地获取左右筷子来进行思考和进食。这里我们使用记录型信号量（Semaphore with resources）来解决这个问题。

首先，我们需要两个类型的信号量，一个用于表示筷子的数量（例如，每只筷子一个信号量），另一个表示当前可用于使用的餐桌。假设我们用`philosopher_semaphores`存储筷子信号量数组，`table_semaphore`存储餐桌信号量。

**伪代码**:

// 初始化信号量值
初始化PhilosopherSemaphores(5) // 筷子数量为5
初始化TableSemaphore(1) // 只有一张餐桌

function philosopher(id):
    while True:
        // P1: 尝试获取左筷子
        acquire(philosopher_semaphores[id])
        
        // P2: 获取右筷子
        acquire(philosopher_semaphores[(id + 1) % 5]) // 循环索引防止数组溢出
        
        // P3: 享用食物 (思考)
        think()
        
        // V1: 放回右筷子
        release(philosopher_semaphores[(id + 1) % 5])
        
        // V2: 放回左筷子
        release(philosopher_semaphores[id])
        
        // P4: 请求餐桌
        acquire(table_semaphore)

        // 如果所有哲学家都在等待，则唤醒一个
        if all_philosophers_waiting():
            wake_up_random_philosopher()

function think():
    // 假设哲学家思考的时间随机
    delay(random_time())

function all_philosophers_waiting():
    return table_semaphore.value == 0 and 
           all(philosopher_semaphores[i].value == 0 for i in range(5))

function wake_up_random_philosopher():
    // 随机选择一个未占用餐桌的哲学家唤醒
    target_id = random.choice([i for i in range(5) if philosopher_semaphores[i].value > 0])
    philosopher_semaphores[target_id].decrement() // 唤醒并释放餐桌