关键词:持锁位 阻塞归属率 运行时权力 位阶与实际支配的分离 不可绕过性
第一次等待发生在一颗多核处理器里。 有两个任务,一个被标为安全关键,一个被标为普通。前者的优先级最高,调度器保证它随时可以打断后者。这套安排写在一张表里,任何人都能查。
可是这十几年里,这个领域发现了一件让整套证明失效的事:两个任务即使在调度层面完全独立,也会因为共享缓存、内存控制器与总线而互相拖住。一个”独立”任务的最坏执行时间,必须把别人造成的争用上界算进去。同样的事在共享加速器上更明显:响应上界由不可抢占段、内存争用、批处理与驱动队列的最坏阻塞共同决定。
请注意这句话的形状。它没有说”优先级表写错了”。它说的是:表照旧有效,而实际决定谁先跑完的,是那个此刻正握着总线、握着缓存行、握着一段不可抢占代码的家伙——而它可能恰恰是位阶最低的那一个。
第二次等待发生在一台服务器上。 一套操作系统把世界分成特权级:内核在里面,用户在外面;这块内存归这个进程,那块归那个。隔离边界画得清清楚楚,可以被形式化,甚至可以被证明与规范一致。
然后有人发现,为性能而做的推测执行会在缓存里留下痕迹,从而泄漏隔离边界另一侧的数据。权限表一个字都没有被改,边界却被绕过了。 此后微架构安全成了一个独立领域,而它研究的对象,本质上是”表上没有、实际存在”的那些通道。
第三次等待发生在跨境支付与清算网络里。 政治经济学这些年最有力的一组判断是:跨境金融、技术与供应链中的自主性,首先由枢纽、可见性与司法管辖形成的网络权力环境决定。另一条与之配套:中央银行的权力不只在利率,也在抵押品资格、资产购买与支付清算网络这些基础设施上。
这里同样有一件表上没有的事:一个国家或一家机构在贸易协定上的位阶,与它在清算链条上被别人非用不可的程度,是两回事。 前者可以谈判,后者只在真要付款的那一刻显形。
三次等待,一次在芯片里,一次在内核里,一次在国际结算里。它们共用一个形状:
每一方都有一张做得很好的表;而真正让别人动不了的那个位置,都不在表上。
把”权力的本质是什么”交给这三条传统,会得到三个各自完整、互不相容的回答。
第一种:权力是一套被指派的权限结构。 这是系统体系结构的立场。谁在哪一个特权级、哪一块内存对谁可见、隔离边界画在哪里——这些是可枚举、可审计、可形式化验证的。这个领域甚至做到了让一个内核的实现被证明与其规范一致,也把多核之间”谁能看到谁的写入”第一次给出了严格且可测试的定义。它的判据完全落在结构的显露上:把表拿出来,权力就一目了然。
第二种:权力是抢占与调度的次序。 这是实时系统的立场。混合关键度承认同一平台上不同任务携带不同的证据等级;优雅降级要求在保护关键任务时保留部分非关键价值;端到端时序链提醒你局部截止期不等于功能及时。它的判据完全落在运行的次序上:谁能打断谁、谁的截止期先被满足、谁在降级时先被牺牲。
第三种:权力是结构性的枢纽位置。 这是政治经济学的立场。全球网络中的中心性可以转化为胁迫;企业间的权力由交易复杂度、可编码性与供应商能力决定。平台的租金由数据积累、网络效应与生态锁定形成;中央银行通过抵押品资格与清算网络行使一种不必投票就生效的权力。它的判据完全落在条件场上:谁占住了那些别人绕不开的位置。
这三条不是互补的三个侧面。它们对同一批对象给出不能同真的判决:
一个特权级最低、却握着一段不可抢占代码的模块:第一家判它无权(表上它什么也不是);第二家判它此刻拥有全部权力(所有人都在等它);第三家判它无足轻重(它不在任何枢纽上)。
一家在贸易谈判桌上位阶很低、却是某道工序唯一合格供应商的小厂:第三家判它有结构性权力;第一家在任何权限表上找不到它;第二家只会说它”占用了一段资源”。
一位组织图上级别很高、却从不被任何人等待的主管:三家会同时判他有权,而现实里所有人都绕过他办事。
三家还各自握有对方消化不了的证据。第一家能举出:没有权限,操作根本不能执行——表上不存在的东西,运行时也不存在。第二家能举出:所有权限齐全的任务,照样会因为别人握着总线而错过截止期。第三家能举出:所有的表与调度都建立在一批物理与制度的依赖上,而这批依赖的分布不因任何一份表而改变。
三家争的是同一件事:权力该被记在哪一栏。
争论一旦被写成”记在哪一栏”,那条从未被说出的假定就浮出来了。
三家争的是用什么表来记权力。没有一家去问:权力是不是一种可以被记进表里的东西。
三家都默认是。体系结构把它记进权限矩阵:一个主体、一个客体、一组操作。实时系统把它记进优先级与关键度:一个任务、一个等级、一套调度规则。政治经济学把它记进网络位置:一个节点、一个中心性、一组依赖关系。三张表的形式不同,共有的形状是一样的——权力被当作一个属性,附着在一个可以事先指认的位置上,并在被重新指派之前保持不变。
把这条假定念给三家听,三家都会觉得这还用说吗——不然要访问控制表干什么,要优先级干什么,要画网络图干什么。不引起争论,正说明它是共有的那一条。
这条假定有一个不显眼的后果:它使”等待”这件事没有位置。
等待不是主体,进不了权限矩阵;等待是调度的结果而不是调度的对象,所以只作为指标出现、不作为归属出现;等待是一次具体交互的时长,进不了静态的网络图。三张表都能记平,而那个决定谁动不了的东西,在三张表上一个字段都没有。
最有资格坚持”权力可以被指派”的,是实时系统。它是三家里唯一一个把权力做成可证明数值的:给每个任务一个优先级,给每条链一个截止期,然后证明在最坏情况下也满足。
而恰恰是它,已经在自己的地基上取消了这个假定。
其一,多核干扰。 核数增加会破坏独立任务假设:共享缓存、内存控制器和总线会产生跨核阻塞,因此最坏执行时间必须包含争用上界。这一步通常被讲成”分析要更保守”。它还有一个更少被提及的后果:一个任务能不能按时完成,取决于此刻别的任务握着什么——而”别的任务”在优先级表上可能排在最后。
其二,共享加速器的最坏阻塞。 吞吐量不能替代响应上界,必须分析内核不可抢占段、内存争用、批处理与驱动队列的最坏阻塞。“不可抢占段”这五个字,是整篇文章的引信:在那一段里,全系统的优先级表暂时失效,谁在里面谁说了算,哪怕它是最低级的任务。
其三,内存带宽预算。 这个领域给出的处方同样说明问题:应为任务分配可执行的内存带宽或缓存配额,把干扰变成受控资源。注意这个动作的方向——它不是修正优先级表,而是把原本不在表上的那样东西(带宽、缓存)新造出一张表来管。这恰恰承认了:原来的表管不住它。
这三件事在实时系统自己的领域里回答的是别的问题:怎么算 WCET、怎么做认证、怎么保证截止期。没有人把它们当作关于”权力的本质”的证据。但它们的形状很清楚:
在最讲究位阶的那门工程里,实际的支配力在运行时归于持有资源的那一方,而不是等级表上的那一方;且这一归属不出现在等级表上。
这条材料的分量在于它的出处。它不是外面的批评者搬来的反例——从外面搬一个理由,只会多出第四种立场,而争论照旧。它是三家之一自己已经掌握、已经写进认证规程、只是没往这个方向用的事实。三家没法退回自己的阵地,因为这件材料是其中一家自己的。
(一处必须补的旁证,来自第一家:推测执行漏洞证明了隔离边界可以在权限表不被修改的情况下被绕过。第一家也在同一个方向上留下了裂缝,只是它把这条读成了”实现缺陷”,没有读成”表本身管不住权力”。)
由此得到本文的判断:
权力的本质,不是一套被指派的权限结构,不是抢占与调度的次序,也不是结构性的枢纽位置,而是——在运行时,持有别人非等不可、且此刻不可绕过的那样东西。
本文把这个位置称为持锁位。
持锁位有三个特征,缺一不成立:
第一,它是运行时的。 它不在任何静态的表上产生,只在一次具体的交互中显形。同一个位置,这一刻是持锁位,下一刻不是;一张表画得再准,也画不出它。
第二,它是不可绕过的。 别人不是”不愿意”绕过它,是此刻绕不过去——没有第二条路径,或者有而代价高于等待。可绕过的位置不构成持锁位,无论它的位阶多高。
第三,它的强度由别人的等待来度量,而不是由它自己的属性来度量。 一个位置有多大权力,不看它能做什么,看有多少人因为它而动不了、动不了多久。这一条把权力从”能力”改写成了”他人的时间”。
承重推论只有一句,但它是全文最要紧的一句:
当权力从位阶转移到持锁位时,位阶表毫发无损:审计照旧通过,组织图一个字不必改,权限矩阵一行不必动。所有形式检查都会说”一切正常”。
为什么不会响?因为所有现行的检查测的都是表:谁被授予了什么、谁排在第几、谁在图上处于什么位置。没有一项检查测”这段时间里,大家在等谁”。 而当支配力转移到持锁位时,被测的那张表毫发无损——它甚至更整齐了,因为流程被规范化、责任被集中、审批被归口,而这三件事正是把持锁位做实的标准动作。
这里需要讲清楚为什么本文认为持锁位是一样东西,而不只是一个新的看法。
判据是:把这个说法删掉之后,它还在不在?
如果一个系统里所有人都在等同一个环节,而我们从不清点等待的归属,那么这个状态在任何一张表上都不出现。权限矩阵记的是授权,不记等待;优先级表记的是次序,不记谁在阻塞谁;网络图记的是连接,不记时长。三张表都能记平,而那样东西不是记录得少,是压根不设字段。它不是变得难测——它在现行的权力描述里不算一样东西。这与”给某个已有的量换一个更好的算法”是两回事。
一个读数如果没有粒度和编码规则,它就不是读数,是一种态度。所以这一节把数法写死。
定义。 在一段观察窗内,阻塞归属率 β = 全部被迫等待的时长中,归因于同一个持有者的那一部分所占的比例。
被迫等待:一个主体已经具备继续所需的一切条件,唯独因为某样东西被别人持有而不能继续的那段时长。自愿的、可另作安排的、因自身准备不足的等待,不计入。
持有者:在那段时长里,实际决定放不放行的那个位置。它可以是一个人、一个部门、一台设备、一个接口、一份签字。
N 取观察窗内全部被迫等待的时长之和。
粒度:什么算”一次被迫等待”。 从”我已经可以继续了”到”我实际继续了”之间的那段时长,算一次。三个恰好在边界上的例子:
排队等一个共享资源,队列里有二十个人——算一次,持有者是那个资源的放行者,不是排在你前面的十九个人。
等一份必须由某人签的字,而那个人授权了三个人代签——如果三个代签人任一有效,不计入被迫等待(可绕过);如果实际上只有一个人真会签,计入,持有者是那一个人。
等一个自己造成的返工——不计入(不是别人持有)。
第二条最容易被误判,也最能说明这个读数量的是什么:它量的不是名义上有几条路,是运行时实际有几条路。
编码规则六条。
只有一个放行者 → 归他。
名义上有多个放行者,但实际全部转给同一人处理 → 归那一人。
等待时长无法归到具体持有者的(系统性排队、外部不可抗力)→ 单列一栏”无归属等待”,不计入 β 的分子,但必须报出。
一次等待涉及多个持有者的,按各自造成的时长分摊;分不清的 → 按最长的那一段整体归给它(偏严一侧)。
观察窗必须 ≥ 一个完整的业务周期,且必须报出窗口长度。
只报 β 不报 N 与窗口长度的,无效。
第三条与第四条是这个读数能不能用的关键。一个可以被乐观填写的读数会立刻变成宣传品;只有把”分不清”往严里判、把”无归属”单列出来,它才有可能反过来咬报数的人。
不适用。 观察窗内没有发生过被迫等待的系统,β 未定义——不等于 β=0。二者的区别在下一节的表里是两格,混起来会把”这段时间恰好没事”直接判成”权力分散”,那是本文最不愿意造成的误用。
只有一根轴的东西是一个名字,不是一个辨别工具。β 需要配上第二根轴才能分开东西。第二根轴取名义位阶——权限表上的等级、组织图上的层级、优先级表上的序号。凡是现行制度会去记录的权力,都归这一轴。
| 名义位阶高 | 名义位阶低 | |
|---|---|---|
| β 高(大家都在等他) | Ⅰ 名实相符:权力被记在表上,也在运行时兑现 | Ⅱ 持锁位(靶格):表上不起眼,运行时所有人都在等他 |
| β 低(没人非等他不可) | Ⅲ 空位:位阶很高而无人等待,权力已经流走 | Ⅳ 无权:表上没有,运行时也没有 |
| β 未定义 | Ⅴ 未起量:观察窗内没有发生过被迫等待,不是分散,也不是集中 | — |
四格里真正需要辨认的只有第Ⅱ格。第Ⅳ格谁都看得见;第Ⅲ格常被误当成”体制僵化”,其实它是权力已经转移的事后痕迹,而不是原因;第Ⅰ格是最容易被讨论的一格,也是所有权力批评天然瞄准的那一格。第Ⅴ格必须与第Ⅳ格分开,否则这套判据会把”这段时间恰好顺利”读成”这里没有权力”。
格Ⅱ与格Ⅰ的排序,是本文与三家分歧最大的地方。 三家的分析习惯会把格Ⅰ当作权力问题的主战场——批判有权者、约束高位者、给枢纽加监管。本文的排序不同:格Ⅱ比格Ⅰ更值得盯。格Ⅰ的权力是被记录的,因而是可被讨论、可被约束、可被替换的;格Ⅱ的权力不被任何记录承认,因而既无法被问责,也无法被交接——它连”要不要限制它”这个问题都提不出来。
一格之所以需要一整套框架才认得出来,通常有三个特征。第Ⅱ格三个都齐。
其一,它在短期指标上表现为改善。 走向第Ⅱ格的每一步,单独看都是好事:把某项审核归口给一个专人(责任清晰)、把某道工序集中到一条产线(质量稳定)、把某个接口交给一个团队维护(版本一致)、把某类决定收进一个委员会(程序规范)。这些动作会让合规率、返工率、审计通过率同时变好看。没有任何一个指标会因为 β 上升而变差——这不是巧合,这是因为那些指标本来就只测表。
其二,它的失效不产生信号。 持锁位形成之后,事情不但没停,往往还更顺——因为责任明确了,扯皮少了。真正消失的是别人还能不能不经过他,而”还能不能”从来不在任何报表里。它不是被掩盖了;掩盖需要有人动手。它是没有被生成为一个可见事件。
其三,它自我加固。 越是关键,越只交给他;越只交给他,越关键。而且这一条有一个别处少见的加速器:持锁位的持有者往往不是想要权力的人,而是最可靠的那个人。正因为他最靠得住,所有难事都被送到他手上;等到所有人都在等他时,任何人提出”要不要分散一点”都会被读成对他的不信任。
三条合起来,构成一个不太舒服的结论:一个组织可以在它自己的全部治理指标上持续变好,同时把实际的支配力集中到一个从未被授权、也无法被问责的位置上,而这个过程不产生任何它自己看得见的痕迹。
判据如果需要人做程度判断(够不够集权、是不是实质垄断、有没有过度依赖),它就没法拿去问一份工单记录或一份审批日志。本文的判据是一句可以直接问出口、答案是事实而不是意见的问话:
上一个完整周期里,你被迫等待的总时长中,有多少是在等同一个人、同一个部门、同一台设备、同一份签字?
这句话没有”应当”“充分”“实质性”“真正”。它问的是一件可以查的事:工单的开始与结束、审批的提交与放行、排队记录、日志时间戳。下面把它在五个情境里各跑一遍;若五个答案相同,说明这句话只是命题的复述,不是判据。
情境一:多核平台上的跨核阻塞。 关键任务的等待时长,按内存控制器、总线、共享缓存各自造成的争用分摊。答案:β 归于总线仲裁器与内存控制器,而它们在优先级表上没有条目。 这一格是本文命题最纯粹的实例:优先级最高者被最低者拖住,且拖住它的位置不在表上。
情境二:共享加速器上的不可抢占段。 在那一段里全系统的优先级暂时失效。答案:β 在那段时长内等于 1,持有者是正在执行不可抢占段的那个任务,无论它的位阶多低。这一格给出的是一个极端值:持锁位可以是完全的、瞬时的、且合法的。
情境三:一次跨部门审批。 名义上三个人可以签,实际上另两人一律转给同一人。按编码规则第二条归那一人,β 高,而组织图上他只是三人之一。 这一格最容易被误读为格Ⅰ——因为那个人的职位可能很高。但注意判据问的是等待,不是职位:若他职位低而所有人都在等他,就是格Ⅱ。
情境四:一位从不被等待的高层。 位阶最高,审批权在册,但所有人都学会了绕过他办事。答案:β 接近零,格Ⅲ 空位。 这一格说明本文的判据不是”批判有权者”的另一种写法——它同样会指出某些名义上的权力其实已经不存在。
情境五:一段没有发生过被迫等待的观察窗。 比如一个业务淡季,或者一个新系统上线前的试运行。答案:β 未定义,格Ⅴ。 不能读成”这里权力分散”。这一格是为拦住误用而设的。
五个答案互不相同;其中情境一与情境二是从库内的技术事实查出来的,不是从命题推出来的,而情境四反过来限制了本文的适用范围(见第 11 节)。
一个判断如果只在提出它的那几个领域里成立,它是一条经验规则。下面十二处不是类比,每一处都能据此预测一件具体的事。
一、多核干扰与 WCET。 独立任务假设被共享资源破坏,最坏执行时间必须包含争用上界。据本文可预测:任何以”提高平均性能”为名的共享化(更大的共享缓存、更多的核共用一条总线),都会同时抬高 β,而平均延迟指标会同期改善——两件事会被分别归因,很少被放在一起看。
二、共享加速器的不可抢占段。 响应上界由不可抢占段与最坏阻塞决定。本文的读法:不可抢占段就是被制度化了的持锁位——它被显式承认、被限时、被计入分析。这也给出了处置的方向:治理持锁位的办法不是消灭它,是给它设上界。
三、内存带宽预算。 处方是给任务分配可执行的带宽或缓存配额,把干扰变成受控资源。这与本文同形:把原本不在表上的阻塞,新造一张表来管。据本文可预测:凡是能被写成配额的持锁位,其危害会显著下降;写不成配额的(例如”某人的判断”),则不会。
四、时间敏感网络。 通过时间同步、流量整形、预留与门控调度,把共享以太网变成可分析的实时通信层。这是一次成功的”把无主的阻塞变成有主的预留”的工程实践,可作为组织治理的模板。
五、推测执行漏洞。 权限表未改而边界被绕过。本文的读法:权限的失效与权力的转移是两件事,前者是安全问题,后者是治理问题,而现有的检查只覆盖前者。
六、微内核的可验证性。 一个内核的实现可以被证明与其规范一致。据本文可预测:形式化验证提高的是”表被正确实现”的置信度,不降低 β——被证明正确的系统,照样可以把全部支配力集中在一个不可抢占段上。
七、机密计算与可信执行。 让数据在处理时也保持加密,从而不必信任运营方。这是一次针对持锁位的直接工程回应:不去争夺那个位置,而是让占据它的人无法利用它。这条路径在组织里的对应物是”流程留痕+不可单方撤销”,值得单列研究。
八、数据中心作为一台计算机。 调度、隔离与利用率成为体系结构问题。据本文可预测:利用率越高的集群,β 越高——因为提高利用率的手段就是让更多任务共享更少的资源。
九、武器化的相互依赖。 网络中心性可转化为胁迫。这是本文最近的一位邻居,也是分界所在(见第 12 节):它在地图上找枢纽,本文在时间上找等待。
十、中央银行的基础设施权力。 权力经由抵押品资格与清算网络行使,而不必经过投票。据本文可预测:这类权力的强度不该用资产规模衡量,应当用在支付中断时有多少笔交易在等它恢复来衡量——后者是一个 β。
十一、全球价值链治理。 企业间权力由交易复杂度、可编码性与供应商能力决定。本文补一句:这三者共同决定的其实是能不能绕过;而”绕不过”只有在真的要交货那一刻才成立,因此 β 是这套理论的运行时读数。
十二、平台的生态锁定。 租金由数据积累、网络效应与生态锁定形成。据本文可预测:一个平台的实际权力,与它的市场份额的相关性,低于它与”用户切换时被迫停摆的时长”的相关性——后者可测,而且多数平台自己就有这个数据。
一个判断如果只被它的例证喂养,它会越长越强。下面三处材料各自削掉了本文原本打算主张的一句更强的话。
其一,来自情境四(从不被等待的高层):本文原本会写”β 才是权力,位阶不是”。这句话必须撤回。
一位从不被等待的高层,β 接近零,但他可能随时可以改变规则本身——把某个环节取消、把某个人调走、把整套流程重写。这种权力不产生等待,因为它不参与运行;它在运行之上。
于是本文的适用范围被收窄:β 度量的是运行时的支配力,不度量制定规则的权力。 一个只看 β 的组织诊断,会系统性地低估那些不参与日常运转、却能改写规则的位置。这一处动的是本文的适用范围,不是补充条件。
其二,来自不可抢占段:本文原本会写”持锁位是需要被消除的病理”。也要撤回。
不可抢占段是被显式设计出来的:某些操作一旦开始就不能被打断,否则状态会损坏。同样的道理在组织里成立——手术进行中不能换主刀,清算窗口开启后不能改规则,签字流程走到一半不能换签字人。在这些场合,持锁位是正确的设计,不是病。
于是本文必须加一条例外:凡是”中途被打断的代价高于等待的代价”的环节,高 β 是设计目标而不是病理。 判据是可算的:把中断代价与等待代价放在同一量纲上比。这一条同时限制了第 20 节的伦理三条。
其三,来自内存带宽预算的处方:本文原本会写”持锁位无法被治理,只能被绕开”。这句话过头了。
那条处方给出的做法是:把干扰变成受控资源——为它设配额、设上界、写进分析。搬到组织里就是:给持锁位设定最长持有时长、设定必须交接的触发条件、把它写进可被审计的记录。 这不消灭它,但把它从”不可见”变成”可见且有界”。
于是本文的主张被削弱一档:本文只能主张 β 是一个用于诊断的读数,且持锁位可被设界而不可被取消。这一处削掉了本文最想要的那种锋利。
有几种现成的说法与本文靠得很近,读者很容易把本文读成它们的改写。逐一说清差在哪里,以及在什么情形下两边给出相反的判断。
武器化的相互依赖(枢纽与扼喉)。 这是最近的一位。它指出跨境网络中的中心性可以转化为胁迫,枢纽同时提供全景与扼喉。分离线在于两件事:它在拓扑上找位置,本文在时间上找等待;它的对象是稳定的网络结构,本文的对象只在运行时显形。一个不在任何枢纽上的位置,可以在某次交付中拥有完全的持锁;而一个中心性极高的枢纽,可能在一段观察窗内没有造成任何被迫等待。判定形式:若在一次真实的中断事件里,被迫等待的时长主要归于网络图上的边缘节点,则本文对而它错;若等待时长的分布与中心性排序一致,则反之。
中央银行的基础设施权力。 它指出权力经由抵押品资格、资产购买与清算网络行使。分离线:它研究的是这种权力从哪里来(基础设施的位置),本文研究的是它在什么时候真的生效(有人在等的时候)。判定形式:若一次清算中断中,等待时长的分布与机构的资产规模一致,则本文关于”应改用 β 衡量”的主张为伪。
全球价值链治理。 企业间权力由交易复杂度、可编码性与供应商能力决定。分离线:它把权力读成链条形态的函数(市场型、模块型、层级型),是结构分类;本文把权力读成一次交货中谁让谁等,是运行读数。判定形式:若同一治理形态下不同链条的 β 分布高度一致,则本文的”运行时”主张多余,它的结构分类已经够了。
平台的生态锁定与租金。 它把平台权力归给数据积累、网络效应与锁定。分离线:锁定讲的是长期不能离开,持锁位讲的是此刻不能继续。二者可以分离:一个锁定极强的平台,日常并不让任何人等待(β 低);而一个可随时替换的小供应商,可能在交付前一天让整条线停摆(β 高)。判定形式:若锁定强度与 β 高度相关,则本文的区分多余。
混合关键度与优先级调度。 它给不同任务分配不同的证据等级与优先级。分离线:它是本文命题的被推翻方之一,而不是竞争者——它的表恰恰是那个”实际支配力已经不在上面”的表。判定形式:若在充分隔离的平台上(无共享缓存、无共享总线、无不可抢占段),实际完成次序与优先级表完全一致,则本文对”表管不住权力”的断言在该条件下不成立——这也正是本文承认的边界(见第 18 节)。
访问控制与权限矩阵。 它把权力记成主体—客体—操作的三元组。分离线:矩阵是授权的记录,β 是依赖的记录。一个人可以没有任何权限而让所有人等他(他掌握着别人需要的信息或判断);也可以拥有全部权限而无人等他。判定形式:若在权限矩阵完备且被严格执行的系统里,被迫等待的归属分布与权限分布一致,则本文对而它错。
最近的一位是第一位。本文不能被它吸收,理由只有一句:枢纽是一张地图上的位置,持锁位是一段时间里的归属;地图画得再准,也画不出谁在等谁。
⚠ 关于这份名单的来路,须交代一句:以上几位全部取自一个只覆盖近二十年、以期刊与技术标准为主的语料范围。关于权力的经典层不在该范围内。这曾经是本文最大的已知风险;发表之前把它补上了一部分,下一节就是补出来的结果。先把结论说在前面:补上之后本文并没有被推翻,但它剩下的那块地比原来窄得多——窄到只剩一件事;而以支配、规训、议程设置、非决策为核心的那一支,本文仍然没有交手,这一条作为已知缺口写在下一节末段与第 21 节。
上一节列的那几位,全部取自一个只覆盖近二十年、以期刊与法规为主的语料范围。发表之前把范围往外扩了一次,专门去找「这个想法在哪儿其实已经有了」。找到了,而且比预想的近得多。这一节把它们写出来,并说明本文剩下的是什么。
一、把权力从人身上挪到位置上的那一支(最危险的一位)。 一九七一年有一篇组织研究的论文,主张一个部门的权力不来自它的级别,而来自三样东西的组合:它替别人处理掉了多少不确定、它在工作流里有多中心、以及它可不可被替代。更要命的是,它把「中心」再拆成两半——一半是这个部门的工作流牵连到多少别的活动,另一半是它出问题之后多快、多严重地影响到最终产出,后者被命名为「立刻性」。
把本文的承重命题剥到只剩骨头,它是:别人非等不可(不可替代)+此刻不可绕过(立刻性)。这两维五十五年前就被命名了,而且配了测量建议。诚实地说,本文没有发现这两维,本文只是把它们从部门层挪到了一次具体交互层。
分离线只在一处,而且很窄:那一支测的是「谁被认为有权」,本文测的是「谁让别人等了多久」。 前者的数据是问卷(问各部门主管彼此的影响力),后者的数据是日志(谁在什么时刻卡住了谁、卡了多长)。这个差别有后果:问卷里的单位是部门,一年问一次;日志里的单位可以是一个人、一段代码、一台机器,且逐分钟变化。判定形式:在同一个组织里同时取两个读数,若按问卷排出的权力序与按等待时长归属算出的序高度一致,则本文的读数是冗余的,应当并入那一支;若两者系统性不一致,且不一致集中在级别低而阻塞多的那些位置上,则本文补的这一格存在。
二、把权力定义成对方的依赖的那一支。 一九六二年有一条更早、也更干净的表述:甲对乙的权力,等于乙对甲的依赖;而依赖由两件事决定——乙有多需要甲手里的东西,以及乙有没有别的地方可以拿到。「有没有别的地方可以拿到」就是本文的不可绕过性。 分离线:这一支把依赖当作一段关系的稳定属性(所以它可以谈「权力平衡」与「平衡化操作」),本文把它当作一次交互中的瞬时状态——同一个位置,这一刻是持锁位,下一刻不是。判定形式:若在关系层测得的依赖与在交互层测得的阻塞归属高度同步变化,则本文的「运行时」这一条修饰是多余的。
三、维修工那个例子。 一九六四年有一部关于官僚制的专著,里面有一个后来被反复引用的观察:在一家法国工厂里,最有实权的不是厂长,是维修工——因为机器出故障是全厂唯一还没有被规章消化掉的不确定,而只有他们知道怎么修,且他们刻意不留下书面记录。这个人级别很低,不在任何一张组织图上,而所有人都在等他。 这几乎就是本文靶格的经典原型,比本文早六十二年。
分离线在机制上:那个观察把维修工的权力归给「他控制了剩余的不确定性区域」,本文归给「此刻别人的动作被他扣住」。二者在多数情况下同时成立,但可以分开:一个完全没有不确定性的环节——流程写死、谁来做都一样、结果可预测——只要它是必经的、且此刻只有一个人在做,本文判它是持锁位,那一支判它没有权力。 集中审批就是这一格:审批标准公开透明、毫无裁量、任何人来审结果都相同,而所有人都在排队等它。判定形式:取一批这样的零裁量必经环节,看它们的持有者在实际协商中是否具有议价力;有,则本文对;没有,则权力仍要靠不确定性来解释,本文的第二个特征应当补上「且含有不可消除的裁量」。
四、那一支自己的实证结果并不整齐。 这一点对本文有利,也必须写出来:一九七一年那条理论此后被反复检验,结果是混合的——三个变量各自与权力的关系时强时弱,组合方式一直没有定论。本文认为原因之一在测量:只要用问卷去问「谁有权」,测到的就是名义与印象的混合物;而等待时长是一个不必问人的量。 这是本文自认为最有价值的一处,也是最容易被推翻的一处——只要有人证明等待时长的归属同样依赖判定者的口径,本文就没有比问卷更硬。
五、还有一层本文没有交手,必须记在这里。 关于权力还有一整支不在上面任何一位的范围内:不作决定也是一种权力(把议题挡在议程之外),以及权力可以经由分类、测量与规范自我实施而不必有人下令。这两支处理的是「什么进不了讨论」,本文处理的是「什么进不了那张表」,形状很近而对象不同。 本文没有做这一格的划界,这是发表时的已知缺口,读者应据此调低本文关于「未被占位」的主张。
把这五处与上一节那几位放在一起:它们从不同方向走到同一处,而都在同一步之前停下——没有一位把「谁让别人等了多久」做成一个可以逐格填、并且能反过来咬报数人的数。 本文补的是这一步,也只是这一步。
本栏此前有三篇与本文靠得很近,逐一给出可判定的分界,每一条都做成方向相反,而不是「侧重不同」。
《无主段》(之八十一)。 那一篇数的是必经环节里有几段还没有被任何一方持有,本文数的是此刻有多少等待归于同一个持有者。两个读数可以取相反的极端,而且这正是分开它们最省事的办法:一段有三家现实可替换的供给者(那篇判为健康),而这一刻订单全压在其中一家、另外两家产能排在三个月后(本文判为高度集中)——那篇满分,本文最难看。 反过来,一段只有唯一供给者却从不被任何人等(它做的事没人赶时间),那篇判为病,本文读数为零。判定形式:同时取两个读数,若在一批真实交付上高度相关到分不开,则本文应当被并入那一篇。
《轮空》(之四十)。 那一篇说的是发起权已经交出而无人接手,本文说的是有人握着不放。两篇的靶格在现象上都表现为「不动」,而处方相反:那一篇要找的是应当接手却没动的那一处,本文要找的是正握着别人所需之物的那一处。判定形式:在一段停滞里问「此刻谁在被等」——答得出具体持有者的,是本文;问遍全场没有人被等、大家都在等一个不存在的下一步的,是那一篇。这两种停滞的处置办法互不通用,误诊的代价是把资源投向完全无关的位置。
《静止点》(之二十三)。 那一篇问一件东西能不能被整个重写,答案是要有一个所有使用者同时不在使用它的时刻。本文问的是此刻谁在被等。「所有人同时不用它的时刻」正是本文读数为零的时刻——这不是巧合,两篇讲的是同一根时间轴的两端:那一篇找的是空窗,本文找的是空窗的反面。判定形式:一个系统若长期找不到静止点,本文预测它一定存在一个稳定的高阻塞持有者;若找得到静止点而阻塞仍高度集中,则两个读数互相独立,本文这条推论作废。
最后一句自我限制:三篇能同时站住,是因为「事情为什么推不动」本来就有不止一个原因。本文只主张其中一个,并且已经在前面承认,它连自己那一个都还没有在真实的等待日志上跑通。
一个读数如果只能由提出它的人来算,它不是读数。本节把清点写成三步,任何一个部门用一张纸就能做。
第一步:定观察窗。 至少一个完整的业务周期,且必须写下来。窗口太短会把偶发的忙碌读成持锁位;窗口跨越了组织调整则不可比。
第二步:把被迫等待逐条记下来,一条一行。 判据只有一句:我已经可以继续了,而我还不能继续,因为某样东西在别人手里。 三件事必须同时写:等的是什么、等了多久、放行的人是谁。写不出”放行的人是谁”的,进第三条的”无归属”栏,不许硬塞给一个名字。
第三步:按持有者汇总,算比例。 分子是最大的那个持有者的时长和,分母是全部被迫等待时长。同时报出观察窗长度、总等待时长、无归属等待的占比。
三条填表纪律,缺一条这张表就会变成装饰。
纪律一:记时长,不记次数。 一次三天的等待与三十次十分钟的等待,对被等的人是两回事,对系统也是两回事。只记次数会把一个真正的持锁位藏在”他只卡了两次”里面。
纪律二:不许填职位,只许填放行者。 表上要写的是”实际决定放不放行的那个人/那台设备”,不是”名义上负责这一环的部门”。这一条最得罪管理层,也最有用——它把组织图换成了一张运行图。
纪律三:无归属等待必须单列,且必须报出。 这一栏往往是最大的一栏,也最容易被悄悄摊到别人头上。把它单列出来,才不会用一个虚假的集中度替代一个真实的混乱。
空表(可直接印):
| # | 等的是什么 | 从何时可继续 | 实际继续时间 | 时长 | 放行者 | 有无替代放行者 | 归属 |
|---|---|---|---|---|---|---|---|
| 1 | |||||||
| 2 | |||||||
| 3 | |||||||
| 合计 | N = | 无归属占比 = | β = |
填完之后只有四种结局。β 高而放行者位阶也高:格Ⅰ,这是可以被讨论、被约束的一格。β 高而放行者位阶低:格Ⅱ,这门组织的实际权力在这里,而它不在任何一份任命文件上。 β 低而位阶高:格Ⅲ,那个位置的权力已经流走,继续给他加权限不会有任何效果。β 未定义:这一个观察窗不足以说明问题,换一个窗口再来。
最后说明成本。这张表的填写成本很低——它不要求新的系统、新的岗位、新的流程,只要求把已经发生过的等待按放行者重新排一次。多数机构的工单系统、审批系统、排队系统里已经有全部原始数据,只是从来没有按这个维度汇总过。真正贵的从来不是清点,是清点之后发现所有人都在等同一个人时,该不该、能不能把那一段分出去。 那是另一个问题,本文不回答它;本文只主张,在回答那个问题之前,先让这个数被看见。
抽象的规则不如看它跑一遍。下面用一个常见的场景走完三步:一家中等规模的机构,一个季度内的对外合同签批。
第一步,定窗。 一个季度,十三周。窗口内共完成对外合同签批 142 件。
第二步,逐条记被迫等待。 只记”材料已齐、可以往下走,但卡住了”的那些时段。汇总出七类:
| 等的是什么 | 总时长(人·日) | 放行者 | 有无替代 | 归属 |
|---|---|---|---|---|
| 法务合规意见 | 386 | 法务某一位复核人 | 名义 3 人,实际全转他 | 归他(规则二) |
| 财务预算确认 | 141 | 财务两位轮值 | 真轮值 | 分摊 |
| 分管领导签字 | 96 | 分管副职 | 无 | 归他 |
| 对方回签 | 214 | 外部 | — | 无归属(规则三) |
| 系统排队与流转 | 88 | 系统 | — | 无归属 |
| 印章室用印 | 47 | 用印岗一人 | 无 | 归他 |
| 归档编号 | 12 | 档案岗 | 有 | 分摊 |
N = 984 人·日;无归属 302(30.7%);可归属 682。最大持有者是法务那位复核人:386 ÷ 984 = β = 0.392;若只按可归属部分算,386 ÷ 682 = 0.566。两个数都要报(规则六)。
这张表里有四件事,是不填就看不见的。
其一,那位复核人不是领导。 他在组织图上是法务部的一名普通员工,没有任何一份文件授予他”决定合同能否推进”的权力。而这个季度里,全机构近四成的被迫等待归于他。这就是格Ⅱ。
其二,名义上有三个人,实际只有一个。 另两位复核人有资格签,但所有人都知道”要过他这一关”,于是一律先转他。按编码规则第二条,归他一人。采购与人事的台账都会显示”我们有三个复核人”,而运行图上只有一个。
其三,分管副职的 96 人·日,比法务那一栏少得多。 而在所有关于”审批太慢”的讨论里,被点名的一直是分管副职——因为他在图上。讨论的对象由图决定,等待的分布由运行决定,两者不一致。
其四,也是最容易被忽略的:这张表半年后能被重新填一次。 如果这期间机构做了一次”优化”——把两位轮值财务合并成一位专职,把归档编号收归一人——那么 β 会从 0.392 升到 0.5 以上,而所有可见指标都会变好:责任更清晰、口径更统一、返工更少。这就是第 8 节说的第一个签名,落在一张具体的表上。
这张表怎么用。 不是用来问责那位复核人的——恰恰相反,他多半是这个机构最可靠的人,事情才会全都堆到他手上。这张表是用来定位的:填完之后,把归属最集中的那一两行单独抄出来,问一句”如果他明天休假两周,有多少件事会停”。答案就是这个机构真实的权力结构,而它多半不在任何一份任命文件上。
一条判断如果所有的证伪条件都停在纸面上,它只证明作者想清楚了。本节用一份公开、任何人可重算的记录,把最便宜的那一条跑了一遍,并把结果——包括不利的那一部分——照原样写在这里。
必须先说清这一次跑的是什么。 在可用的公开记录范围内,找不到一份把”被迫等待的时长按持有者逐条登记”的数据——这个字段不存在。因此这次跑的不是权力命题本身,而是清点程序能否在一份真实的公开记录上被执行,以及执行出来是什么。选用的记录是本站「新思想前沿」栏目的全部面板,问的是:这套记录有没有自己的持锁位——有没有某个来源,是它的多数条目非引不可的?任何人可以打开该栏目自行复算下面每一个数。
预注册(写于取数之前)。 对象:随机抽取的 60 份记录(种子写死),每份 20 条来源行。持有者抽取:取来源行的首个作者姓氏或机构名。β 的代理 = 被最多份记录依赖的那个持有者,其被依赖份数 ÷ 总份数。 事前写死的阈值:≥0.15 判存在持锁位;≤0.05 判不存在;0.05–0.15 为灰区,不得声称。代理声明(事前):本代理只抓”被引”,抓不到”非等不可”(被引多不等于不可绕过),因此它系统性低估真实的阻塞归属,是一个下界。
结果。 实际入样 55 份(5 份无来源层)。被依赖最多的持有者是一个国际组织与一组作者,各被 4 份记录依赖,跨份依赖率 0.073。其后是一批各被 3 份依赖的持有者。β 的代理 = 0.073,落在事前划定的灰区。按预注册,本文不能声称这份记录存在持锁位。
还有一个更强的读数:这 55 份记录一共依赖了 822 个不同的持有者,其中 777 个(94.5%)只出现在一份记录里。按这个代理,这份记录的依赖结构极度分散。
这个不利结果改了本文三处,逐一写明。
第一,本文不能声称已经检验了权力命题。 这次跑通的只是清点程序。第 19 节的第一条证伪条件因此被改写:它现在要求的是在一份真实的工单、审批或排队记录上重跑同一套编码规则,而不是在文献记录上。
第二,这个不利结果反过来给出了本文最强的一处自证,而它是意外的。 按代理算,这份记录没有持锁位。但只要换一个地方看就会发现:这 55 份记录由同一位撰稿人按同一套体例写成,由同一套解析工具读取,按同一套判据编码。 真正让它们全体”非等不可”的那一层,从来不在来源行里——它在体例、在工具、在判据里。代理找错了地方,而它之所以找错,正是因为它只在”被记录下来的东西”里找持有者。 这恰恰是第 8 节说的第二个签名:持锁位不出现在你用来找它的那张表上。
第三,编码规则第三条(无归属等待须单列)被证明是必要的。 那 777 个只出现一次的持有者,构成了大量”看似分散”的依赖;如果把它们当作”权力分散”的证据,就会完全错过上一段说的那一层。分散的记录不等于分散的权力——这句话现在有一个可复算的实例。
一处必须自陈的尴尬。 这次检验用的数据是公开的,脚本二十行,抽样与阈值写死,任何人可以重跑。而本文对这份数据的处理只有一条路径:一位撰稿人、一套工具、一套判据。按本文自己的判据,本文对这份数据的 β 等于 1。 这不是修辞上的谦虚,它是第 21 节要认的账。
β 是为一个组织的一次观察窗设计的读数,但同一个形状在更大与更小的尺度上照样成立,只是清点的对象换了。跨尺度成不成立,是判断一条判断是不是只在原产地有效的最便宜的检验。
尺度一:一个人的一天。 最小的清点单元。把今天所有”我本来可以继续、却在等”的时段记下来,按放行者汇总。多数人会得到一个意外的结果:排在第一位的往往不是老板,而是某个不起眼的接口人、某个只有一个人会用的系统、某个必须由特定人签的表单。 这个练习不需要任何工具,一张纸就能做,而它给出的是一份比职级表真实得多的个人处境图。
尺度二:一个组织。 第 15 节已经走完。这里只补一条容易被忽略的推论:组织越是”提高效率”,β 越容易上升。 合并岗位、统一口径、集中审批、指定归口——这些都是提高效率的标准动作,而每一个都在减少替代放行者。一个把效率做到极致的组织,会得到一份非常整齐的流程图,和一个极高的 β;而这两件事不会被放在同一张报表上。
尺度三:一个技术生态。 最大的那个尺度上,本文的判据指向一件正在发生、却很难被现有统计看见的变化。越来越多的行业在运行时依赖同一批基础设施:同一批云、同一批模型、同一批身份与支付通道。这些依赖在市场份额统计上表现为竞争充分——因为每个细分市场都还有好几家。但只要发生一次中断,被迫等待的时长会一齐归到少数几个位置上。
这句话必须说得谨慎。它不是关于集中度的老结论的重述:集中度问”这个市场里有几家”,β 问”中断时大家在等谁”。一个市场可以竞争充分而它所依赖的运行时通道只有一条;这时集中度指标很好看,β 却接近 1。
而这一变化的所有可见指标都在变好:可用性提高、延迟下降、接入成本降低、体验一致。第 8 节那三个签名在这里齐得刺眼——短期指标改善、失效不产生信号、越成功越加固。
本文不主张对此做任何事。本文只主张这件事应当被数出来:在任何一处宣称”多云”“多供应商”“高可用”的场合,把那张表填一遍。填出来是几,就是几。
一个不肯说自己在哪里失效的判断,是一个不能被检验的判断。以下五种情形,本文的判据不适用,或会给出错误的判断。
其一,制定规则的权力。 见第 11 节第一处修正。改写流程、取消环节、调动人员的权力不产生被迫等待,因为它不参与运行。只看 β 会系统性地低估这一类位置。本文只度量运行时的支配力。
其二,中断代价高于等待代价的环节。 见第 11 节第二处修正。手术、清算窗口、不可抢占段、正在进行的谈判——这些场合高 β 是设计目标,不是病理。
其三,充分隔离的系统。 若一个平台真的做到了无共享缓存、无共享总线、无不可抢占段,那么实际完成次序会与优先级表一致,本文的命题在该条件下退化为平凡。这也说明本文的命题是有条件的:它成立于资源被共享的地方,而资源共享的程度是可测的。
其四,观察窗内没有发生过被迫等待。 β 未定义,不等于 β=0。把它读成”权力分散”,是本文最不愿意造成的误用;表里的第Ⅴ格就是为拦住这一条而设的。
其五,本文这套判据本身。 见第 21 节。
以下六条,任何一条成立,本文即为伪或须大幅修订。每一条的读数各不相同,其中第一条可在一个部门内部完成。
第一条(最便宜,可实做,所需数据在多数机构已有)。 取任何一家机构最近一个完整周期的工单或审批日志,按第 15 节的三步算 β 与无归属占比;同期取该机构的组织图层级。若 β 的最大持有者总是落在组织图的高层,本文为伪——那将说明位阶表已经足以刻画实际支配力,不需要另造一个读数。所需数据是审批日志与组织图,两样多数机构都有。
第二条(机制证伪,须排除最强竞争解释)。 最强的竞争解释是:“其实不就是瓶颈吗——那个人忙不过来而已。” 若如此,β 应当与该持有者的工作负荷高度相关,而与”有没有替代放行者”无关。控制该持有者的工作量与在岗时长之后,若 β 与’实际可用替代放行者数’之间不存在剂量—反应关系,则本文的机制为伪,届时问题应归因于产能而非权力。样本要求:同一制度环境内至少六个可比单元(同一机构的多个部门、同一集团的多家子公司、同一平台的多条产线),关键混淆变量同质;不得用两家不同行业的公司对比充数——那种比较两边处处不同,控制不住任何东西。
第三条(正向读数,顺序预测)。 本文预测的是一个次序,不是相关:在一个组织里,β 的上升应当早于该组织”绕过正式流程办事”的比例上升,而不是同时或滞后。若观测到人们先开始绕过流程、β 后上升,则因果方向与本文相反(是流程失灵导致依赖个人,而非依赖个人导致流程失灵),承重推论须撤回。
第四条(打枢纽那一支)。 取若干次真实的中断事件(供应中断、系统故障、清算延迟),比较被迫等待时长的分布与网络中心性排序。若二者高度一致,则本文关于”地图画不出持锁位”的判断为伪。
第五条(打权限矩阵那一支)。 取权限矩阵完备且被严格执行的若干系统,比较被迫等待的归属分布与权限分布。若二者一致,则本文对”授权不等于依赖”的区分为伪。
第六条(会让本文尴尬的一条)。 本文主张格Ⅱ比格Ⅰ更值得盯。若在一批 β 集中于低位阶者的组织里,其治理失效率不高于 β 集中于高位阶者的组织,则这条排序为伪,本文的价值主张须整个撤回,只保留描述部分。
若本文被证伪,会学到什么。 若第三条的次序反过来,那么干预点应当放在”修复流程本身”而不是”分散持锁位”上——这是两套完全不同的组织改革,成本相差一个数量级。这也是本文认为这条判断值得被检验的主要理由。
反向效应。 本文所预见的主要风险不在于被忽视,而在于被采纳。
一旦 β 进入任何一种考核或评级,最省事的达标方式不会是”真的把那一段分出去”——那很贵,而且会削弱那个位置的可靠性。最省事的方式有三种:把等待时长记到”无归属”栏里(反正规则允许单列);在流程上多挂两个名义放行者,而实际仍全部转给同一人;或者干脆不记录等待的起点——只要”我本来可以继续”这一刻没有时间戳,这段等待就不存在。
第三种最危险,因为它不需要撒谎,只需要不记。而更糟的是:判断一段等待是否真的可绕过,需要一个不由被评方提供的信息源——而这个信息源本身,多半也在被评方手里。这个读数无法自己验证自己。 第 16 节那次检验已经给出了一个活生生的例子:代理在”被记录下来的东西”里找持有者,而真正的持有者不在那里。
作者未能找到规避途径。可行的处置只有一项:把它写成一个诊断读数而不是一个考核指标,并在下面三条上不让步。
其一,这个读数指的是位置,不是人。 β 是一段观察窗与其等待结构的属性,不是任何一个人的品行评价。“这个季度里四成的等待归于你”说的是这个位置目前不可绕过,不是说占据它的人有意阻挠——多数情况下,β 高恰恰是因为那个人最可靠、最负责、最不肯敷衍。把这句话说反,这个读数立刻变成一件伤人的工具。
其二,不得为了把这个数做好看,而在中断代价高于等待代价的环节上人为引入替代放行者。 这一条是硬的。见第 11 节第二处修正与第 18 节第二条:在手术、清算、不可抢占段这类场合,引入未经验证的第二放行者,本文的判据就制造了它想防的那种风险。
其三,凡已按这个读数做出不利安排的(调岗、免职、扣绩效),必须公开编码规则并给出复核通道。 第 6 节那六条规则之所以要写到可以直接印成空表的程度,就是为了这一条:一个位置被判为高 β 时,占据它的人必须能看到判定依据的每一格——每一次等待的起点、时长、归属理由——并能就其中任何一格提出异议。一个不给复核通道的读数,本身就是一个持锁位。
用本文的判据检本文,答案不好看,也不该被回避。
本文的 β 等于 1。
逐条对照第 6 节的编码规则。本文的三家立场全部取自同一套公开的综述记录,这套记录由同一位撰稿人按同一套体例写成。本文对它们的读取用的是同一套解析脚本;第 16 节的检验数据、抽样规则与判定阈值也出自同一处。任何一位想要检验本文的人,都必须先经过这一套东西,而它没有第二条路径。 按第 6 节规则第一条,全部归于一个持有者。发表之前有一处变化必须写进来:第 13 节那次补做,是本文第一次从这套装置外面取材。它把本文的原创主张削掉了一大半——「别人非等不可」与「此刻不可绕过」这两维,五十五年前就已经被命名并配了测量建议。本文因此把自己的位置改小:它不再是「发现了一类不上表的权力」,而是在一件已被反复描述的事情上,第一次把「谁让别人等了多久」做成一个可以逐格填、并且能反过来咬报数人的数。这是一个窄得多、也更容易被推翻的主张。
这一判定有三个具体后果,逐一列出。
后果一:本文目前正处在自己所描述的第Ⅱ格。 它的形式指标不难看——每一条主张都有可查的出处,每一处兑现都能指到具体条目,判据可清点,证伪条件写得出来,还跑了一次预注册检验。而这些全绿的指标,按本文自己的论证,恰恰不能区分”它是对的”与”它一致地错了”。本文预测自己此刻看起来正是这个样子,而这句预测无法为本文加分——它只是把话说在前面。
后果二:本文最可能错在哪里,是可以指出来的,而且第 12 节末尾已经指出了。 关于权力的经典层不在本文的检索范围内。假设那一层已经把”不出现在正式结构上的支配”命名过一次,例如把它读成非决策、议程设置、规训或惯例性权威的一个特例。那么本文的不可还原性会显著下降:“持锁位”就只是一个既有结构的新读数,而不是一类此前不设字段的东西。这是一个具体的、可以被检验的怀疑方向:取一份覆盖二十世纪中叶的政治社会学文献,重做第 12 节。本文没有做这件事——不是疏忽,是本次写作的取源范围被事先限定。
后果三:本文第 16 节的那个意外,值得被单独记住。 那次检验按代理算出”依赖极度分散”,而真正的持锁位在体例与工具那一层,代理根本没往那儿看。这既是对命题的一次自证,也是对本文自己的一次判决:任何用本文判据做的诊断,都必须先问一句”我这张表是不是也漏掉了它自己的那一层”。本文没有能力回答关于自己的这一问,只能把它写在这里。
顺带一句方法上的自陈:本文之所以只有一条来路,是因为写作时被限定只能使用一套指定的公开语料。这个限制原本是为了检验那套语料够不够用;检验的结果是——够用到能长出一条完整的判断,不够用到能让这条判断被顶撞一次。 这两句话都得说。
本文提出一项带时限的可检验预测,检验截止日期为 2032 年 12 月 31 日:
在云基础设施、支付清算、身份认证这三类运行时通道中,至少会发生一次持续数小时以上的中断。而在事后复盘中,被迫等待时长的分布将显著集中于少数几个位置——它们在事前的市场份额统计与网络中心性排序上并不居首。
不构成命中的四种情形,一并写明:
中断源就是市场份额第一的那一家——不算。本文预测的是”事前排序与事后等待分布不一致”,不是”会发生中断”。
复盘只报告受影响的用户数或营收损失,而不报告等待时长的分布——不算,也无法判定。这一情形本身即印证第 20 节所说的”不记录起点”。
分布集中是因为该位置本就是唯一供应商且人尽皆知——不算。本文说的是那些不居首、因而事前不被当作关键的位置。
若三类通道在期限内均未发生此类中断,本预测不算命中,也不算证伪——那说明机制未被触发,而不是它错了。这种情形下应当读第 19 节的第一条与第三条。
提出这一预测的理由之一,是它可能反过来否证本文:如果每一次中断的等待分布都与事前的份额与中心性排序一致,那么本文关于”地图画不出持锁位”的整个论证就要撤回。
本文从三次毫不相干的等待出发——一颗多核处理器、一次隔离边界的绕过、一次跨境清算——追出三条互相取消的回答,再追出它们共同站着的那块地:权力是一种可以被指派、并稳定归属于某个位置的属性。
推翻这块地基的材料来自最讲究位阶的那一家自己。共享资源产生的跨核阻塞,使一个”独立”任务的最坏执行时间必须包含别人造成的争用上界;不可抢占段里,全系统的优先级暂时失效。而它给出的处方竟是为原本不在表上的干扰新造一张表——这等于承认原来那张表管不住它。
由此得到的判断是:权力的本质,是在运行时持有别人非等不可、且此刻不可绕过的那样东西。 这个位置叫持锁位,清点它的读数叫阻塞归属率。最危险的地方不在于它集中,而在于它形成时不产生任何信号——位阶表毫发无损,审计照旧通过,组织图一个字不必改,而所有能让这套安排显得更规范的动作,恰恰都在把它做实。
一次预注册的公开数据检验给出了一个不利于本文的读数:这次跑通的只是清点程序,不是权力命题;而”被迫等待按持有者归属”这个字段,在可用的公开记录里根本不存在。但同一次检验给了本文一个意外的自证——按代理算出的”依赖极度分散”,恰恰因为代理只在被记录下来的东西里找持有者,而真正让全体非等不可的那一层,不在记录里。持锁位不出现在你用来找它的那张表上。
如果这条判断是对的,它要求的改变不大:在任何一处已经写着”审批时长”“流转效率”“平均等待”的地方,把那一栏从平均改成归属——按放行者逐条汇总,分不清的单列出来。数据多数机构已经有了,只是从来没有按这个维度看过。
而如果它是错的,本文自己已经指出了最可能错在哪里:它的全部材料只有一条来路,而关于权力的那一层经典文献不在这条来路上。 这既是本文得以成立的条件,也是它可能一致地出错的条件。第一个用另一套材料重做第 2 节的人,会知道答案。
Title. The Lock-Holding Position: Why Power Consists Neither in Assigned Rank, Preemption Order, nor Structural Chokepoints, but in Holding, at Run Time, What Others Cannot Proceed Without
Keywords. 持锁位; 阻塞归属率; 运行时权力; 位阶与实际支配的分离; 不可绕过性
本文第 1 至 5 节所引三条立场的核心判断,均取自本站「新思想前沿」栏目的学科面板条目,其出处见参考文献;读者可在该栏目内按学科名找到对应面板逐条核对。凡涉及具体年份与文献处,均以该记录所载信息为准;作者未在本次写作中对原始文献做二次核验,这一点连同其后果一并记于第 21 节。
“持锁位”“阻塞归属率”为本文所造。作者在写作前对拟用名做过同名检索,未发现同指或反指的既有用法;但检索范围与正文相同,即只覆盖近二十年、以期刊与技术标准为主的一段,不足以排除更早的同名。
第 16 节的检验脚本、抽样种子与预注册文本可随本文一并提供;数据源为公开页面,任何人可重算。
第 15 节的清点演练为按真实流程结构构造的示例,用于演示编码规则的执行,其中的数值不是某一具体机构的实测数据,特此声明。
第 10 节所列十二处兑现中,各处的领域事实取自参考文献所列条目;本文对这些事实的用法(把它们读成关于运行时权力归属的证据)是本文自己的,与原条目的论旨不同,责任在本文。
Vestal, S. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. RTSS, 2007.
Edwards, S. A., Lee, E. A. The Case for the Precision Timed (PRET) Machine. DAC, 2007.
Pellizzoni, R., et al. Worst Case Delay Analysis for Memory Interference in Multicore Systems. RTSS, 2010.
Cucu-Grosjean, L., et al. Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. RTSS, 2012.
Wandeler, E., Thiele, L. Interface-Based Design of Real-Time Systems with Hierarchical Scheduling. RTSS, 2006.
Davare, A., et al. Period Optimization for Hard Real-time Distributed Automotive Systems. DAC, 2007.
IEEE. 802.1Qbv — Time-Aware Shaper, 2015.
Burns, A., Davis, R. I. A Survey of Research into Mixed Criticality Systems. ACM Computing Surveys, 2018, 50(6).
Saha, S., Xiang, Y., Kim, H. STGM: Spatio-Temporal GPU Management for Real-Time Tasks. RTCSA, 2019.
Yun, H., Yao, G., Pellizzoni, R., Caccamo, M., Sha, L. Memory Bandwidth Management for Efficient Performance Isolation. IEEE Transactions on Computers, 2016.
Martins, J., et al. Bao: A Lightweight Static Partitioning Hypervisor. 2020.
Hennessy, J. L., Patterson, D. A. A New Golden Age for Computer Architecture. Turing Award Lecture, 2019.
RISC-V International. The RISC-V Instruction Set Manual.
Kocher, P., et al.; Lipp, M., et al. Speculative execution vulnerabilities, 2018.
Klein, G., et al. seL4: Formal Verification of an OS Kernel. SOSP, 2009.
Farrell, H., Newman, A. L. Weaponized Interdependence: How Global Economic Networks Shape State Coercion. International Security, 2019.
Tucker, P. Unelected Power: The Quest for Legitimacy in Central Banking and the Regulatory State. Princeton University Press, 2018.
Gereffi, G., Humphrey, J., Sturgeon, T. The Governance of Global Value Chains. Review of International Political Economy, 2005.
Srnicek, N. Platform Capitalism. Polity, 2017.
Streeck, W., Thelen, K. (eds.) Beyond Continuity: Institutional Change in Advanced Political Economies. Oxford University Press, 2005.
Krippner, G. R. The Financialization of the American Economy. Socio-Economic Review, 2005.
Baccaro, L., Pontusson, J. Rethinking Comparative Political Economy: The Growth Model Perspective. Politics & Society, 2016.
ISO. ISO/PAS 8800:2024 — Road vehicles: Safety and artificial intelligence, 2024.
Maeng, K., Lucia, B. Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing. OSDI, 2018.
正文纯汉字 16,909 字(不含参考文献与本附录;机械计数)。版本 1.0,2026 年 8 月。
本文的问题由委托方给定;材料范围亦由委托方限定为本站「新思想前沿」栏目的学科面板,初稿写作过程中未使用该范围之外的文献检索;发表之前另做过一次栏目之外的公开检索,专门用来找「这个想法在哪儿其实已经有了」,结果构成第 13 节,并据以改写了第 12 节末段与第 21 节;那一次检索削弱了本文的原创主张,其结果按原样写入正文,未作淡化。三条立场所属的学科由程序随机抽取并经形式判据筛选后确定,未由人指定。三条立场的归纳、共有前提的识别、承重命题与两轴四格、编码规则、第 16 节的预注册与检验脚本、第 15 节的清点演练、以及全部证伪条件,由人工智能助手生成,委托方未逐轮干预(本次为全自动执行)。第 16 节的检验为真实运行,其不利结果未经修饰。第 21 节所述”本文自身 β 等于 1”为写作条件的如实记录,非修辞。作者未对参考文献中的原始文献做二次核验,此项限制及其后果已在第 12 节末尾与第 21 节写明。
三家争的是「权力该被记在哪一栏」,却都默认它是一种可被指派、并稳定归属于某个位置的属性。推翻这条共有前提的材料来自其中一家自己——当一个任务能不能按时完成,取决于此刻别的任务握着什么,而「别的任务」在优先级表上可能排在最后。
网页长文