linux 哲学家问题的简单解决方式，形成可运行的代码，不需要注释。

Linux 哲学家问题是一个经典的同步问题，可以使用信号量解决。以下是简单的 C 代码实现：

#include <stdio.h>
#include <pthread.h>
#include <semaphore.h>

#define N 5  // 哲学家数量

pthread_t philosophers[N];
sem_t forks[N];  // 叉子信号量

void *philosopher(void *arg) {
    int id = *(int*)arg;
    int left = id;
    int right = (id + 1) % N;
    while (1) {
        printf("Philosopher %d is thinking...\n", id);
        sleep(1);
        sem_wait(&forks[left]);
        sem_wait(&forks[right]);
        printf("Philosopher %d is eating...\n", id);
        sleep(1);
        sem_post(&forks[right]);
        sem_post(&forks[left]);
    }
    return NULL;
}

int main() {
    int i, id[N];
    for (i = 0; i < N; i++) {
        sem_init(&forks[i], 0, 1);
        id[i] = i;
        pthread_create(&philosophers[i], NULL, philosopher, &id[i]);
    }
    for (i = 0; i < N; i++) {
        pthread_join(philosophers[i], NULL);
    }
    return 0;
}

在该程序中，五个哲学家通过创建线程来模拟。每个哲学家都有一个唯一的 ID，以便它们可以区分哪只叉子是它们的左叉子和右叉子。在 `philosopher` 函数中，哲学家首先思考一段时间，然后等待获取左右叉子。如果叉子都可用，哲学家就开始进餐，然后释放叉子。

在 `main` 函数中，我们首先初始化叉子信号量，然后创建线程来运行哲学家函数。最后，我们等待所有哲学家线程结束。

该程序使用信号量来确保每个哲学家只能同时拿到它们自己的左右两只叉子，从而解决了同步问题。