第53期 | 有之以为利,无之以为用
一、当其无,有室之用:十二期走完,门即系统
十二期,讲的是一扇门的十二种样子。第 41 期:内核的门,为什么朝外开。第 42 期:门只带回一句话。第 43 期:门开了,就不许再关上。第 44 期:问个时间,也要进一趟内核?第 45 期:进一趟内核,要交多少过路费。第 46 期:门上多了个保安。第 47 期:慢系统调用,被信号拍了肩膀。第 48 期:别信那张纸条。第 49 期:万能门,开在正门旁边。第 50 期:偷听程序敲门的合法工具。第 51 期:门上的小窗。第 52 期:同一扇门,两套门牌号。
回到 1974 年。Ritchie 和 Thompson 那篇 UNIX 论文里¹,专门讲了一套 I/O 调用:open、create、read、write、seek——文件和设备,随机和顺序,全走同一套门。目录项只记名字和 i-number,权限就六位再加一个 setuid。那是第一代户牖:门不大,但谁都能走。
顺带回答发展性研究那一问:trap 的原理 1974 年就讲透了,后面五十年全是发展性研究——把门做薄、做快、做安全。原理突破一次,发展性研究五十年。Linux 赢的从来不是原理,是中间层。
而老子在两千多年前就写好了这一章的结语。《道德经》第十一章²:"凿户牖以为室,当其无,有室之用。故有之以为利,无之以为用。"内核是"有"——代码、数据结构、调度器,一砖一瓦;系统调用是"无"——一道门、一次穿越、一个约定。而用户真正摸得到的,恰恰是这"无"。操作系统最大的秘密就藏在这儿:你造的是"有",交付出去的,全是"无"。
照见一层平时看不见的。十二期里我们默认了一个前提:门是理所当然的。可门本身就是一笔税(第 45 期:每次穿越都要检查、拷贝、切换上下文),也是一堵墙(第 46 期那位"保安",干的就是挡人的活)。门不是中性的——它是整个系统里,权力最集中的地方。
二、门是人的隐喻:AI 时代,门会消失吗
如果先有智能体,操作系统里可能根本没有"门"这个概念。门、房间、敲门——全是人类中心的隐喻。agent 调工具,是函数名加结构化参数;MemGPT 把上下文当内存管³,AIOS 给 LLM 配了专属"内核"⁴——调用方和被调用方之间,不需要先凿一扇门再进。
《金刚经》第一分⁵:"凡所有相,皆是虚妄。"门,就是一相。十二期讲门,讲的是相;破相,才能看见门后面真正的东西:信任边界。
但也要诚实:门不只是税。Thompson 在《Trusting Trust》里证明过⁶:信任链的尽头是人,不是代码。门首先是用来挡的——挡住不可信的调用者。AI 时代门会变薄,但"谁可以调什么"这个问题不会消失,它只是换了个名字:意图的 ABI(第 52 期)。
Clark 和 Chalmers 在 1998 年的"延展心灵"⁷里写:工具是心智的一部分,笔记本和大脑之间没有本质边界。照到 AI OS 上:当智能体和它的工具共享记忆、共享信任域,调用就不再是"敲门进房间",而是"伸手拿桌上的东西"。门消失了,但桌子还在——共享的上下文,就是那张桌子。
范式之眼补一句。门是线性时代的产物:一次敲门,一次穿越,一条指令流被打断、保存、恢复,一气呵成。当算力主体变成向量阵列——成千上万个线程同时在算,控制平面(谁在敲门)和计算平面(阵列在算什么)的关系就得重画。门还在,但门后面不再是"一个房间",而是一整片算力海。
三、亲手数一遍:什么都不做的程序,敲了 29 次门
手边任何一台 Linux 机器,今晚就能亲手数。
strace -c /bin/true
true 是最懒的程序:什么都不做,直接返回成功。猜它敲了几次门?本机实测⁸:29 次,16 种。execve 进门,mmap 铺了 8 次地毯(动态库要住进来),openat 开了两次门看配置,access 敲一次问路、没人应(1 个 error),brk 要了一块地,arch_prctl、set_tid_address、rseq 挨个报到,最后 exit_group 关门走人。
这就是"当其无,有室之用"的现场版:true 的功能是"无"(零输出、零副作用),可为了这"无",系统铺了 29 次红地毯。门的开销,藏在每一次"什么都没发生"里。
落点。给智能体的工具接口定规矩时,记住这章的三条:第一,接口许出去就收不回(第 43 期),第一版就要想好;第二,门要少而稳——UNIX 只用 read、write 就抹平了文件和设备,减法做得狠;第三,每个新接口先问一句:这扇门十年后还在吗?不在,就别开。
觉 然 小 注
十二期走完,门还是那扇门,只是看门的人变了。老子那句"当其无,有室之用",说的正是系统调用:它自己不算数、不存货,只管开门——而整个操作系统的用处,全在这开门的一瞬间。
引 用 与 出 处
- [1] Ritchie, D. M. & Thompson, K. The UNIX Time-Sharing System. Communications of the ACM, 17(7): 365–375, 1974. https://doi.org/10.1145/361011.361061
- [2] 老子. 《道德经》第十一章. 王弼注本. ("凿户牖以为室,当其无,有室之用。故有之以为利,无之以为用")
- [3] Packer, C. et al. MemGPT: Towards LLMs as Operating Systems. arXiv:2310.08560, 2023. https://arxiv.org/abs/2310.08560
- [4] Mei, Y. et al. AIOS: LLM Agent Operating System. arXiv:2403.16971, 2024. https://arxiv.org/abs/2403.16971
- [5] 鸠摩罗什 译. 《金刚般若波罗蜜经》第一分"法会因由分". 后秦弘始年间(约402年)译本. ("凡所有相,皆是虚妄",思想化用)
- [6] Thompson, K. Reflections on Trusting Trust. Communications of the ACM, 27(8): 761–763, 1984. https://doi.org/10.1145/358198.358210
- [7] Clark, A. & Chalmers, D. The Extended Mind. Analysis, 58(1): 7–19, 1998. (工具即心智的延伸,思想化用)
- [8] 本机 strace -c /bin/true 实测(29 次调用、16 种系统调用、1 个 error,随本机环境)
· · ·