为什么这个服务端没有线程

# 为什么这个服务端没有线程

09-21 那篇《没有窗口的 RPC 服务端》里，Linux 后端跑在一个 `poll(2)` 单线程循环上，回调就在调用线程里内联执行。当时只说「不做线程」，没展开。这篇补上理由：不是没想过，是路上有几个坑，而且今天上游刚好为它做了一个 20% 的取舍。

## 一、从 Fun 里起一个线程，第一步就绊倒

`pthread_create` **不在 `libc.so.6`**。本机 glibc 2.17，符号在 `libpthread.so.0`（glibc 2.34 之后才并进 libc）：

```fun
var _pthread_create = 'libpthread.so.0'.getapi('pthread_create', 'pp:i');
```

按直觉去 libc 里找，只会得到 `getapi: symbol "pthread_create" not found in "libc.so.6"`。

第二个坑更隐蔽：`pthread_t` 是 8 字节指针，而 `str2int()` 只读 4 字节。用 `pthread_join(str2int(tid.substr(0,8)), 0)` 去 join，等于拿**被截断的线程 id** 去 join，直接 SIGSEGV。第一轮探路就是被这个骗了，一度误判「解释器不能多线程」。

## 二、真跑起来：三行结论

把线程起起来之后，实测矩阵（2026-09-13，glibc 2.17）长这样：

| 场景 | 未链 `cthreads` | 链 `cthreads` |
|---|---|---|
| 一个 worker 求值，主线程只 sleep | ✅ | ✅ |
| 两个线程跑**不同**函数，都在分配 | ❌ 崩 | ✅ |
| 两个线程跑**同一个**函数 | ❌ 崩 | ❌ 崩 |

第一行：FPC 默认的内存管理器不是线程安全的，不链 `cthreads`，两个线程同时分配就破坏堆。这是硬前置。

最后一行才是真正卡住的那条：**同一个函数不能被两个线程同时进入**。Fun 的局部变量不是放在调用栈上、每次调用一份，而是放在**按函数共享的一处存储**里 —— 每个函数持有自己的 `CFunStack`，每个局部变量是一个 `CVarStack`，靠一个 `level` 计数区分递归层次（`src/core/base.pas`）。两个线程进同一个函数体，就会在同一个 `level`、同一块 `values` 上互相踩。

换句话说，问题不在堆，而在**函数不可重入**。

## 三、今天上游的那 20%

既然多线程要 `cthreads`，默认链上它不就完了？代价是**线程安全堆给每次分配都加锁**，单线程运行也照付。本机复跑 `fun/demos/benchmarks/test-speed.fun`（x86_64，glibc 2.17）：

- 链 `cthreads` 的旧构建：**14.5 秒**
- 今天的默认构建：**11.5 秒**

约 21% 的差额，每次运行都在收。所以上游 `fe583b1` 把它改成**按需**：只有 C 库自己建 pthread、再回到 Fun 里求值（`@toCallback` 闭包在**外来线程**上被调用）时才需要它。默认不链，要时显式打开：

```sh
./make-linux-x86_64.sh -dUseCThreads
```

默认构建顺带甩掉了 `libpthread` 依赖（今天 `ldd` 里已经看不到它了），Linux 回归仍是 88/88。

## 四、对服务器意味着什么

`lib-async`（Windows）是 `CreateThread` + `PostMessage`：一个线程跑回调，再回主线程。搬到 Linux 会正踩第二节最后一行 —— 所有连接共用同一个 `onGet` 处理器，多线程并发必然重入。所以 `lib-winsock-lnx` 选择单线程 `poll(2)`：`onGet` 在调用线程里内联执行，没有 worker 池。

要「异步」而不只是阻塞时，库里有 `Scheduler` 的 `Post`／`After`／`Every`，由同一条 `poll` 循环在 socket 事件之间顺带服务 —— 这是 Windows `PostMessage`／`SetTimer` 的**无线程**对应物：重复任务和「下个循环再说」都不需要线程。

真要每连接一线程、或用 worker 池并发跑同样的 Fun 处理器，路只有三条（都还没做）：一把全局求值锁把「进入解释器」串行化、把局部变量栈按线程分片做成每线程环境、或者只在 worker 里做阻塞 I/O 不碰 Fun 再把结果交回主线程。

## 结语

单线程不是偷懒，是被语言的一个真实约束推出来的：局部变量按函数共享，函数不可重入。等哪天跨线程回调真的需要，`-dUseCThreads` 就在构建开关里等着 —— 只是默认不再让所有单线程用户替它买单。