获取最新的行业资讯与公司动态
第43期把账摊开:芯片三年一换,油箱十五年一用,差出来的钱谁付?这期接着问:账能不能不一次性付清,改成按月交——冷却,能不能也改成服务?
芯片一年一代,油箱一用十五年:GPU 三年就到经济寿命,冷却却按十五年折旧。中间这十二年的差,买方、厂商、租户,谁来付?这期把账摊开算。
油箱一锁就是十五年,芯片却一年一代:B200 单卡已到 1000W,整柜 120kW,2027 年的 Kyber 柜子直奔 600kW。单相浸没搬得动 100k…
冷板式把冻结点钉在了“注液”那一刻。浸没式走得更远:整台服务器泡进介电流体,风扇全拆,PUE 干到 1.02 左右。冻结点去哪了?它没消失,只是从工厂挪到了设计…
风冷时代的铁律:Barebone 走到 L5,机箱结构与布线冻结,再改等于重做验证。如今 50kW 液冷柜进场,冷板、接头、CDU、漏液绳全是新变量。冻结点还守…
「数据中心」「算力中心」「智算中心」常被混着用。从政策文本到机房工程,它们在三个层级上说话:一个讲场所,一个讲资源供给,一个讲为AI服务的业务指向。本期拆开三个…
AHCI 的单队列撑了机械盘时代;NVMe 带来六万多个队列,2016 年 NVMe-oF 又把 PCIe 拉过网络——接口每次换代,数据路径都在重新选边。
Seagate 近线产能被长期协议锁定到 2028 年,WD 2026 年产能售罄,摩根士丹利测算缺口从 300EB 扩大到 400EB。但这场缺货不是需求故事…
一块 30TB 的盘,TLC 卖 22600 美元,QLC 只要 18080 美元。便宜两成还说它是妥协?这一期拆三层:PCIe 5.0 把带宽推到 14GB/…
Meta 训 Llama 3:16384 张 H100,54 天里中断 466 次、平均 3 小时坏一次,有效训练时间仍超 90%。撑住这组数字的是 check…
DGX 的 30TB 存储,官方叫它"数据缓存":8 块盘组 RAID 0,只求快、不求久。存储只占整机价值 4%,可训练的钱按 GPU 小时烧——checkp…
PUE 1.05 意味着每 1W 算力只花 0.05W 的散热钱。但这期的背面是:一座 2013 年的老机房改造成智算中心后,卖的已经不是机柜——PUE 只量浪…
CDU 不碰芯片,却拿走液冷三到四成的钱。这期把它拆开:一次侧与二次侧的两回路、板式换热器与变频水泵的心脏、±0.5°C 温控的大脑,以及买 CDU 之前要看的…
液冷三条路线:冷板式拿走九成以上份额,效率更高的浸没式和喷淋式为什么打不赢?这期把三条路线各走一遍:冷板式赢在让老世界不用重建,选路线就是选运维模式——改变世界…
单机柜功率过30kW,风冷就摸到了物理天花板。这期只讲一件事:天花板怎么来的——空气的导热本事只有液体的几千分之一;谁先撞上——GB200 NVL72单柜120…
万卡集群放东放西,一年电费真能差出4000万?把1250台8卡整机的功率、PUE、8760小时和东西电价差摊开算一遍:这个数算得出来,但只在满载、结算价成立时成…
机房盖好了,电还没排上:美国发电侧并网排队超 2061GW,德州大负荷排队约 474GW,弗吉尼亚一家电网的排队接近峰值负荷的三倍。智算时代,选址先问电。
一台服务器塞进四颗、八颗处理器,核数翻倍,性能却不跟着翻倍。这篇只算一笔账:多出来的路,到底买了什么,又在一致性、跨路访问和故障域上付了什么。
机箱在 L3 拼出来那一刻,风往哪走就定了。线束一挡路,冷风到不了处理器,L9 装上 CPU 一跑验证,热点、降频、返工全来了。这篇只讲一件事:风道是布线布出来…
一台机器配 RAID 5 还是 RAID 10,争论常停在信仰层。这篇只算两笔账:故障域能扛住几块盘一起坏,写路径要替一次写入付几次 IO。算完再选,答案自己会…
网卡标着 x16 Gen4,到手只跑 x8 Gen3;错误计数器里躺着可纠正错误,机器却一声不吭。出厂体检不查这两行,等于没验过货。
报价单写着 DDR5-5600,到手跑 4400:差的那 1200 MT/s 不在零件上,在插法里。通道对称、每通道条数、Rank 三笔账,一篇算清。
双路服务器里,GPU、网卡、NVMe 各归哪颗 CPU 管,决定了数据要不要跨槽走一趟。先画一张归属图,再谈配置、再谈性能,顺序不能反。
网卡不经主机内存、直接读写 GPU 显存:GPUDirect RDMA 省掉的不是一段路,是两次经主机内存的中转、CPU 的搬运与等待。
PCIe 只管搬运,CXL 多管了一件事:让设备缓存里的副本和主机内存说同一份数据。偏置把每次问裁判换成预先说好归属,代价集中在阶段交界。
一块盘出错,整机不该跟着陪葬。AER 负责记账分级,DPC 负责关门,FLR 负责逐个复位。
端口数翻倍不等于带宽翻倍。Switch 的账不在下游有多少口,而在上行那一根管子够不够粗。
速率翻倍不是把时钟拧上去就行。四电平信号把眼睛压扁,纠错与均衡在后面替它还账。
同一块卡,插进不同机器跑出不同速度。问题不在铭牌,在开机那几秒,链路两端谈成了什么。
解码时每吐一个字,都要把权重和 KV 缓存重读一遍。存储什么时候卡在算力脖子上,什么时候只是仓库?
本地内存约 115 纳秒,CXL 直连要 230 到 270 纳秒,过交换机近 600 纳秒。慢一档的内存,凭什么进机房?
HBM 一步跨上 TB 级带宽,DDR5 守着容量与成本,SSD 落在微秒级。三级台阶不是谁取代谁,是各守一段路。
一位错能纠、两位错能报,整颗芯片坏了呢?内存的可靠性是三层买来的,每层价格不同,买错层等于白花钱。
DDR5-6400 的 51.2GB/s 不是频率堆出来的,是通道、Bank、突发长度三处并行翻倍算出来的。今天拆开这笔账。
同一台双路服务器,数据放错一边,内存延迟多交 56% 的税。这笔税藏在哪条路上,今天把账算清楚。
L6 点亮只是一块主板能通电,L10 才叫能开机,L12 才叫能交付。十二层验收,各层到底在验什么?
L5 线缆集成、I/O 测试一过,机箱结构就锁死了。为什么 barebone 冻结点之后,再改结构要付出整条线的代价?
塔式、机架、刀片、整机柜、AI、边缘……市面上的服务器按形态理成九种,每种都在干不同的活。铁架子不值钱,值钱的是分工。
内存一条占整机成本四成上下,CPU 是第二大头。拆一台 2U 双路,看看通用服务器的钱到底花在哪,内存涨价时报价为什么跟着抖。
一台 AI 服务器机架里躺着 4500 颗芯片,芯片拿走 95% 的价值。铁架子几乎不值钱——这笔账算完,看服务器的眼光会变。
全新 HGX H100 八卡基板报价 17.9 万美元,约等于一台次新整机 73% 的价钱。买 AI 服务器,七成钱买的是一块板。
桌面盘在机柜里性能会跌到接近零,企业盘靠两颗传感器硬扛——12.5 rad/s² 这条线,决定阵列是快还是慢。
盘价和股价继续分头走,但这篇不报行情——44TB 的盘量产了,电费账该按 TB 算,不按盘算。
44TB 的盘装得下更多数据,每 TB 分到的磁头时间却只剩三分之一。容量线狂奔,性能线原地踏步,这期算清这笔账。
44TB已经量产,100TB在路上。真正决定这条路能走多远的,不是磁头,不是激光,是盘片里那层铁铂。
GPU 利用率只有 17%,问题不在卡,在数据没跟上。实测:缓存层把数据加载时间从 82% 压到 1%,GPU 利用率回到 93%。这一期讲训练数据供给的三层:…
HAMR、ePMR 吵得热闹,东芝却在走第三条路:微波。40TB 是它的天花板,还是新起点?
一次故障丢多少活,检查点说了算。64 卡实测:状态迁移把带故障的训练从 818 分钟拉回 405 分钟。这一期把检查点分三层搭:本地 NVMe、阵列对象层、HD…
推理把显存吃干抹净,外部存储站出来当'外挂内存';80PB 的电信数据湖告别 HDFS——AI 落地之后,存储的活法全变了。
TDK磁头部门利润翻倍、希捷东芝抢着收购:面密度竞赛里,真正的卡脖子藏在看不见的磁头上。
分销商开始卖存储订阅,老牌 NAS 杀入企业全闪:存储从买断变按需,这笔账要重算
HAMR 量产快一年了,激光器到底耐不耐烧?从 Mozaic 4 的爬坡、两份财报的涨价路数,拆到买盘的人最该问的那一句。
推理的「记忆」装不进显存了,它该住哪一层?本期三份实测:HPE 让 KV 缓存住进存储阵列,H200 上首 token 快 20 倍;华为在上海交出 7.3 倍…
一块近线盘里,真正决定谁能造盘的从来不是组装。顺着TDK磁头争夺战,拆开看磁头、主控、盘片的国产化真实边界。
KV 缓存住哪层,海力士让软件决定;CXL 内存池化从预测走进生产;Ceph 自己学会搬元数据。三条都指向一件事:性能红利来自“会过日子的放置”,而不是堆硬件。
希捷财报再创纪录,NAND连涨21个月后首次刹车;这期回到盘片本身——磁记录的物理极限在哪,100TB靠什么跨过去。
超融合再拆开:Nutanix 牵手 Pure 外置阵列;GPU 数据直达分真假两条路;AIStor 装下国防承包商的数据湖;DNA 存储本周三连击。
训练数据湖、checkpoint、KV cache——AI 存的不是一种盘,而是一条温度链。这期把盘放进每一层掂一掂。
文件不用再为 AI 另复制一份:权限原样、现取现用——10 月底三条新动态,讲的都是同一件事。
希捷、西数双双交出破纪录财报,近线盘却更难买了;本期算一笔重建账:20TB 盘坏一块,阵列要裸奔多久。
闪存涨价逼着算账:先把冷数据从贵介质上请下来,再谈扩容。两条新路加一则DNA归档前沿。
希捷财报超预期、盘后却走低;SMR多出来的容量,代价藏在改写路径里——先看写路径,再谈容量。
一所大学要把 11 套旧存储合成一套,AI 云厂商则把存储收进算力生命周期——拆与合,是同一道题的两面。
容量翻倍,磁头却还是一个:双作动器把一块盘拆成两个逻辑盘,顺序速度翻倍,随机仍差闪存两个量级。今晚希捷财报前,先把这笔账算清。
CoreWeave 让一份训练数据跨区域、跨云通用,Samsung 把内存池化到可以借来借去——存储的仗,正从买容量打到少复制、少搬运上。
一块盘的寿命按年算,氦气盘得按漏不漏算。西数财报、现货价差之外,这期拆开1毫米焊缝,看氦气盘的寿命到底该怎么算。
换虚拟化平台不必先换存储:超融合正在拆开,AI工厂的存储也在拆开——拆开之后,升级终于可以各走各的节奏。
40TB 到底是 CMR 还是 UltraSMR?西数双线路线图里藏着三个口径陷阱,拆开看,顺带把缺货到 2028 年的行情对上。
Ceph 自动把热元数据升上 SSD,国产超融合靠 VMware 替代抢到四成江山,OCP 上各家把 KV Cache 放进 CXL 共享内存池。
宣传页写故障率 0.35%,云厂商实测 3.24%——这笔账到底怎么算?本期用 Backblaze 五十万块盘的实测数据,把 AFR 拆开看。
AMD 把 GPU 直连存储做成开源,IBM 把 Ceph 元数据搬上 SSD,向量库却在折叠回应用里——存储离算力越来越近。
希捷押HAMR一条线,西数却用老技术ePMR做到40TB。两条路线的账怎么算,选盘时该怎么站队?
KV Cache 正在从显存搬家:CXL 内存池多机共享,国产 WQS 成了 LMCache 的 L2 后端;企业数据原地变成 AI 上下文。存储,正在重写 A…
近线盘交期拉到52周以上,HAMR单季出货过百万块——硬盘这盘生意变了,买法也得变。
近2000家线上店铺,人工对账要新增近千名财务——一家粮油企业把一笔订单的28个节点全部打通,无头退货从每月万件降到200件。账,先要能对上。
6台人形机器人进了一家正在营业的便利店,连轴干了24小时,完成1730项任务,最后只有4台“转正”。机器人进店,考的不是表演,是班次。
AI短剧公司有创意、有订单,却没有厂房和设备可抵押。银行换了一个办法:不看抵押,看算力合同、在手订单和词元投入——算力账,成了信用凭证。
一位餐饮店老板只说了一句“想提额”,智能体没有直接提交申请,而是先追问出开店的资金缺口。银行的智能体,值钱的地方可能就在这一问里。
广东已有2000多台人形机器人进厂。它们不是来替代整条产线的——先在一道工序上站稳,成功率从70%爬到98%以上,工序才有被改写的可能。
李宁的50个智能体一年干出46万小时,一家服务上亿用户的银行却先花大力气调准了"评审器"——智能体规模化之后,真正的考题从"能不能干"变成了"怎么算、怎么管、怎…
川宁生物年报披露,AI 调控的发酵罐产量比对照组高3%–5%。ManuDrive 靠的不是模型自己悟——是工程师在发酵罐旁驻扎九个月,把老师傅的时间感,一条条喂…
ERP 厂商的供应链智能体签约额同比翻两番,医疗 AI 靠帮医院捡回漏掉的钱融到 2000 万美元。
两个现场,一个在嘉兴的车间,一个在成都的医院——做的其实是同一件事:把老师傅脑子里的经验,装进系统里。
催收函件的AI让回款率翻三成,而AI替人下单一个季度只有几百单——两个数字放在一起,就是AI落地的真实体温。
今晚两个现场:胖东来的店员九成采纳 AI 补货建议,广东的政务骨干两天干出 54 个智能体场景;与此同时,分析师给 Agentic AI 的狂热泼了一盆冷水。
机器人店员在全家便利店上岗半年,TCL华星用2万个小模型把年异常压到几十起——AI落地这门课,判卷标准正在换。
汽车研发把二十年经验喂给 AI,具身智能给机器人定工时表,腾讯把 Agent 开进座舱也开进车企组织里。
银行不再问AI能干什么,开始问AI归谁管;光伏电站上,机器人不卖设备了,按任务收钱。
面板厂里,一万多个智能体在巡检、在排产;美国一家医疗服务商,把供应商来电全部交给了AI——本期看两个真正在跑的落地。
订单90秒进仓、配置1小时上线、凭证却进了外网——智能体开始跨系统干活,真正的战场在系统之间。
报销5天变1天、标书6天变1.5天:金蝶灵基把智能体推进企业经营深水区;银行交付团队配上AI Agent,需求文档环节 effort 省八成——本期两个案例都在…
客服解决率翻倍、会员一年翻近三倍、机器人开始按有效工时算账——本期两个现场,一个讲AI员工怎么上岗,一个讲机器人怎么定价。
一家7000亿国企把AI写进组织编制,一家快递公司让AI在双11直接下场干活,还有联想3000人的知识智能体——三处现场,都在回答同一个问题:智能体怎样才算真正…
120多个理赔智能体把赔付周期压短2.2天,卡奥斯的智能体集群把换产从40分钟压到10分钟——本期两个现场,都在回答同一个问题:Agent什么时候才算真正上岗?
一份季度报表从半天压到5分钟,一车货从4小时等到90秒确认:本期三个已跑通的Agent现场,看它们到底改了哪一步。
联想知识智能体让销售提案快一倍,宾博审计智能体把审计时间砍掉两成——两个案例的共同点不在模型,而在知识先收好、审批留在人手里。
芯片设计从人工操作迈入Agent协同:华大九天.aix把数周工作压到一天内;韩国零售商让AI虚拟顾客先替真人试单;金蝶灵基把ERP变成智能体的上下文——三条线,…
一台能扛50公斤又放得准到半毫米的机器人进了仓库,一个生活管家进了1.5万个社区:两案都在说同一件事——AI先在老场景里把活干出来,再谈平台。
一家代工厂先拿自家产线当第一个客户,一块农田先算清水肥账:两条10月26日的新消息,讲的都是同一件事——AI先在最小的闭环里跑出账,再谈复制。
晶圆厂里,AI智能体盯着超纯水与冷水机组,一年省下五千多万;社区里,数字家医替家庭医生扛起了随访与预警。两处现场,同一个道理:先把数据口径和责任边界钉牢,AI才…
四人撑起4400人的支持台,罗利市让智能体自己办完近半工单;中国电信TeleAgent注册用户破150万,私有部署与用户自建技能是规模化的两条腿。
三个进了生产的智能体:发票异常在进账前修好,内部支持先认员工已做的步骤,机票退款从14天压到4小时——数字各有成色,方法可以抄走。
办公智能体150万用户、私有部署留住数据;数据层让Agent快3倍;保险客服3365单自己结案——三条落地的共同点,是先把数据与权限理顺。
一期看两个已进生产的Agent:建筑贷款审单从几天压到3分钟,IBM内部HR问答94%不用转人工,共同点不是换系统,而是先让Agent在旧系统外骨骼上跑起来。
一吨钢省97元、一家公司11人变1人:今天这三个落地现场,都把AI算进了经营账里。
晚间版两则:一是黑湖十余个工业Agent进厂,图纸解析约1分钟、准确率95%,蜜雪冰城开发周期缩短超七成;二是建行AI交易员接入大模型,从利率债做到信用债。Ag…
一家美国商业银行把商贷审批从60天压到7天,研华20条产线上的Agent让人均产出涨了13%——两个案例都在回答同一个问题:Agent进企业,先啃哪一块最划算?
贸易金融的单证、网络运维的告警、财务发票的异常——这三个没人想干的活儿,正在被 Agent 整段接过去,还留下了可验证的数字。
今晚三个现场:变压器工厂让AI先当质检员,建行让大模型先学生意话,国企采购把比价开票交给智能体——AI落地先从脏活干起。
11人团队换成4个AI智能体今日上线;药企砸近2000万建本地算力;欧洲仓库机器人试点超预期后加单。
银行对公营销助手单户准备降82%、供应链Agent先审批再干活、退货机器人自己加练——三件事,讲的是同一个生产逻辑。
保险巨头让智能体先修发票再入账,印航退票从14天变成4小时——三组现场,同一件事:AI开始干脏活。
群晖最新调研里,企业对 AI 的第一顾虑不是模型不够强,而是数据看不见、丢了找不回。68.6% 选本地或混合,只有 12.5% 优先公有云——谈 AI 的顺序,…
现代七成员工用上了内部AI、沙特医院拿AI预测急诊需求、沃尔玛直接给AI开了个购物网关——智能体开始接真实的活了。
研华自家工厂 20 条产线跑上 AI 大脑,Zalando 退货仓交给 VLA 机器人,15 台人形机器人进厂上料一年——三条真实产线的 AI 成绩单。
1 亿条线索没人理、2500 份申请等不来回电、网络故障要等两天——今晚三个智能体,把这些顾不上的活一件件接了过去。
银行合规、广东工厂、700家门店——AI都在干具体活。拆开看:方案细不细,数字硬不硬,能不能抄。
物流公司让 AI 写代码省了 37% 成本,医院让 AI 读病历、机器人送化疗药——三个案例里,AI 都在干具体的活。
四人市政服务台,AI 接管近半工单、成本降 66%;商汤前副总裁押注全栈私有化智能体,成立三个月融资超千万美元。
云迹科技把酒店服务机器人从卖断改成按服务收租,千问办公切进电商经营场景——机器人开始按效果收费了。
医院机器人导诊应答 46686 次、凯基银行 460 多个 Agent 上岗、海宁正泰新能把 AI 用进工厂维保——三个案子,同一个起手式。
一家三万多人的造纸巨头,第一次把销售智能体交到员工手里之前,自己先怂了——答案不可靠,不敢用,直接搁置。 八个月后,同一家公司,同一个销售团队,重建的智能体帮他…
服务器管理平台提升50%,为客户提供更优质的服务
九羲科技助力企业实现智能化升级,提升核心竞争力
Tanenbaum判Linux死刑三十四年后:Liedtke证明微内核不慢,慢的是Mach;原理赢得掌声,工程赢得世界。
1992年 Tanenbaum 发帖判 Linux 死刑,Linus 当天回击。三十四年后,Anthropic 审计了被数学证明过的微内核 seL4。
请神是拣字,送神是拆字。第100期讲模块卸载:引用计数、依赖逆序、收笔归还。
U盘一插,内核喊一嗓子、用户态翻电话簿:热插拔二十五年的识别与授权之辨。
1995年Linux 1.2允许外来代码住进内核。insmod干的不是安装,是签约——四步握手,一份信任契约。
一万个连接,一个进程怎么扛?从 1999 年的 C10K 到 2002 年的 epoll,再到今天 AI 推理的万流并发。
1986年,一场拥塞崩溃让32Kbps跌到40bps;Jacobson用三行代码教会网络认错:丢包就退半步。
1983 年,socket 把整张网缩进一个整数;四十年后,智能体之间的连接该长什么样?
中断默认全挤在 CPU0 上。从 MSI-X 到 irqbalance 再到 RPS/RFS,三十年只回答一个问题:门铃该响在谁的门口。
中断为何劈成上下两半?从1997年收包活锁,到上周LLM serving进内核实测:贵的不是那道门,是门后的softirq。
硬件敲门时,CPU先停下手里的活:从8259的15条线,到AI OS的事件总线,今晚数一数你的机器被敲了几次。
驱动动手前先认亲:总线匹配、设备树与延迟探测,第十章收束。
内核没有稳定接口,是疏忽还是故意?树里树外,驱动的命运分两条。
内核最大的一块不是调度,是替硬件说话的驱动;Nova 正在把这笔账搬进主线。
ext4赢在大家会修它;btrfs教会我们:改错了,能回得去才是底气。
断电之后,文件系统先翻日记:已提交的重放,没提交的丢弃。
Minix 只有 14 个字的文件名,ext2 把天花板抬高;三十年后,问题变成了读回来的是不是真的。
文件这层皮底下,不一定是文件:接口才是权力本身。
一个路径不是直达,而是一级一级走过去:每级查缓存、查权限,遇挂载点换树,遇符号链接改道。
一张翻译表,让磁盘、内存、网络和全部拒绝共处一棵树。
第七章收束:虚拟内存的骗局不在大小,在代价——翻译、缺页、驱逐,账都记在看不见处。
内存满了先扔谁?先进先出会越换越慢,时钟算法与两档回收才是正解。
程序以为内存已在手边,真正干活的时刻,是第一次碰到那一页的时候。
页表翻译太慢,硬件抄了本小抄:TLB命中、作废与大页,AI记忆也一样。
每个进程都以为自己独占 4GB,其实连 3GB 都摸不到:页表是怎样编出这个骗局的。
十一期算下来,调度器从没见过活本身,只见代理量。收束一问:它到底在算什么?
调度器排的不是进程,是线程。一个程序开一百个线程,就是在排队处占了一百个号。
时间公平了,电费还没人算:调度器第一次把代价写进账本,EAS 怎么给每个任务算电费?
十个编译进程对一个视频播放器,按人头分是十比一,按组分是一半对一半。公平先问分给谁。
有些活不是越快越好,而是到点必须完:截止期,才是调度器真正的约。
醒来的任务能不能插队?内核门口那把尺,量的是急不急,不是吵不吵。
火星探路者反复重启,凶手是一把锁:最低的活卡住了最高的活。
一个核空转,另一个核排队:搬家要付缓存的代价,公平得先算清这笔账。
CFS 当了十六年默认调度器,2023 年被 EEVDF 接班:公平第一次长出了时间的形状——有资格且最急的先跑。
CFS 把公平翻译成一本账:vruntime。红黑树永远取最左,账上最欠的先跑。
O(1) 调度器靠两套点名册翻转实现公平:140 个优先级,时间片用完换册,跑空就翻。睡得多的反而被奖励。
1959年,一篇论文把时间切成片,调度器就此诞生。从分时到CFS,六十年回答的始终是同一个问题:下一个跑谁,跑多久。
十一期拆完“进程”,收束只问一个问题:进程到底是什么?从 fork 的复印到写时复制,答案收成一句话。
fork 复印,exec 换骨:Unix 运行程序为何分两步?PID 不变、文件不关的秘密,与 1980 年 #! 的诞生。
爹死了孩子归谁?Unix 把孤儿过继给 init;容器撕开这条家规,subreaper 与 tini 补上。三条命令,亲手看孤儿改姓。
fork+exec 白复制一次内存,1979 年 Berkeley 用 vfork 作弊:不复印,直接借。原理一到,技巧如露如电。
守护进程诞生要 fork 两次:第一次为了能 setsid,第二次为了永不再娶控制终端。两次 fork,一场断舍离。
fork只会整单复印,clone把复印拆成勾选清单:进程与线程在内核里是同一种东西,区别只在清单上勾了什么。
内核眼里没有进程,只有一张张填好的表格。读懂 task_struct,就读懂了操作系统记账的方式。
13 个字符的 fork 炸弹:Unix 花了二十多年才给创造装上刹车,AI 时代的意图派生也一样。
子进程死后谁来收尸?从 Unix 1974 的 wait,到 Linux 0.01 的 TASK_ZOMBIE,再到 init 收养孤儿——进程的死亡也是一门工…
fork 复印,exec 换魂——Unix 把进程诞生拆成两步,中间那道缝里,长出了 shell 的全部魔法。
fork诞生时是全文复印,Linux 0.01用写时复制把它变懒:共享到动笔的那一刻。三十二年后,vLLM在显存里重演了这一幕。
1969年,Thompson用27行汇编造出fork:一次调用,两次返回。今晚亲手养一只僵尸进程,看进程的家谱。
十二期讲完一扇门:系统调用是操作系统里最接近无的东西,你造的是有,交付出去的全是无。
同一扇门挂着两套门牌号:64 位的 read 是 0 号,32 位是 3 号。新调用只许排队尾,老号永不动。
2008年/Linux 2.6.27在/proc开了扇小窗:/proc/PID/syscall,把进程正在执行的系统调用号和参数摆出来,只读,能看不能碰。
strace:偷听程序敲门的合法工具。从1991年SunOS一路走来,它是系统调用的唯一证人;AI OS时代,可观测性该是出厂设置。
一扇门后藏着几百个房间:ioctl 是 Unix 最不干净、也最诚实的系统调用。从 1979 年第七版讲到今天,门牌号里藏着说明书。
用户递进来的指针,内核为什么一个都不信?从copy_from_user到SMAP,再到AI时代的输入校验。
系统调用还有第三种结局:被信号打断。EINTR背后,是内核不替你做的决定,和一层层往下搬的偶然复杂度。
系统调用的门上,2005年站了个保安叫seccomp。本期讲它如何验“符节”,并亲手装一道门禁,看进程被Bad system call处死。
一次 int 0x80,内核要先把你的寄存器一个个压栈。三十年里整个行业都在为这趟过路费想办法——最快的一招,是干脆不进门。
问个时间也要进内核?Linux 早就不这么干了:一张贴在门上的告示,让千万次调用零穿越。
系统调用号一旦发布就永不回收:从 67 扇门到近 470 扇,'old' 是刻在源码里的墓志铭。
1979年Unix定下-1+errno协议,1991年Linux 0.01把它压成四行宏;AI时代,门该带回的不再是一个数字,而是一段诊断。
第41期开第4章:0.01用set_system_gate(0x80)开了一扇DPL=3朝外开的门;AI原生OS的门该按意图分发、双向验效果。
第三章收束:0.01 只做了三件事,却立下三十年不变的间架。三条命令,摸一遍你机器里活着的 1991。
1991年Linux 0.01的硬盘驱动:没有新原理,只有十六个端口、一个电梯算法和打不过就重启的倔强。
Linux 0.01 的文件系统照着 Minix 布局抄的:魔数 0x137F、16 字节目录项。借来的不是将就,是让旧世界装进来的形状。
1991 年 Linux 开机只有两个进程:一张 64 格登记簿里,task[0] 是 idle,task[1] 是 init。今晚数一遍这两格。
1991年Linux 0.01在32扇中断门里留了一半空白;AI原生OS会把门阵换成完成队列
1991 年 Linux 终端收到'你是谁',会谎称自己是 VT100。今晚用 stty,亲手摸一下这套 34 年前的行规程。
0.01 用 254 行写了 buffer cache:307 个哈希桶加一条换房链表。三十多年后,AI 的 KV cache 在复刻同一套账本。
1991 年,Linux 0.01 用 int 0x80 和 67 个编号开了一扇门;AI 时代,这扇门会变成一张能力名录。
1991 年 Linux 0.01 的调度器只有 38 行:谁的 counter 大谁先跑。从时间片到 CFS 的 vruntime,公平的定义十六年换了三代。
1991 年的 fork 没有写时复制:子进程出生即背一份全文复印;1992 年 0.12,fork 才学会'懒'。
1991年的Linux不懂「忘记」:内存不够就拒绝新进程。从get_empty_page到swap,一部OS学会遗忘的简史。
0.01 的 8 个目录,7 个在 Linux 6.x 里还在原地。目录划分是世界观:AI 若先做 OS,它的目录不会叫 kernel。
for(;;) pause():0.01 的收尾,task0 成了杀不死的 idle。大脑发呆时最忙,AI 的空转该用来做梦。
Linux 0.01开机全过程:512字节boot.s如何把机器从BIOS带进保护模式,以及AI操作系统的开机该长什么样。
1991年9月17日,Linus上传了88个文件、一万行代码的Linux 0.01:连mount都不会,自己编译不了自己——但它诚实。
第二章收束:Minix 留下四样东西——一本书、一场三十年的架、一个许可证的教训,和住在几十亿台电脑里的幽灵。
1987年,Tanenbaum 为一本教材写下 Minix,把操作系统切成四层。三十多年后,这张解剖图仍是读懂任何系统的钥匙。
Minix源码开放却传不出去,晚自由十三年。一张许可证,如何决定操作系统的命运?
Minix把操作系统从神坛拉到白板,成为Linux真正的肩膀。
1987年的教学玩具MINIX,如何长成藏在每块Intel芯片里的幽灵操作系统?一封公开信背后的故事。
Minix没有页表也没有交换分区,靠内存抽屉过活;Linux为386分页下注。两种内存观,一场先实际后原理的赌局。
教学玩具 MINIX 3 没发明新原理,却靠"转世服务器"让系统死而复生——2005年种下的种子,2017年开在了全世界每块 Intel 芯片里。
一、Linux 线 1991年9月17日,Linux 0.01 被放上 ftp.funet.fi。随包有一份 release notes,Linus 自己写的。…
缘起是今天凌晨你立的:每天研究"一个操作系统是怎么被研发出来的",以 Linux 为例;同时推演"原生 AI 的操作系统,如果先于人类用的操作系统出现,会是什么…
一、Linux 线 1991 年,Linus 的桌上是一台 386:32 位保护模式、硬件分页、任务切换,当时个人电脑上最强的芯片。而他每天启动的 Minix,…
一、Linux 线 1987 年,Tanenbaum 在《Operating Systems: Design and Implementation》第 63 页…
一、Linux 线 巨人最结实的肩膀,是文件系统 1991 年 9 月,Linux 0.01 出生时只认一种文件系统:Minix 的。 打开它的 include…
一、Linux 线 Minix 的内核,是个甩手掌柜。 1987 年 Tanenbaum 写 Minix 时,做了一个和当时所有人相反的决定:内核里几乎什么都不…
一、Linux 线 一本书里,装着一个操作系统 1987 年,阿姆斯特丹自由大学的 Andrew S. Tanenbaum 教授出了一本教材,《Operatin…
一、Linux 线 1991 年 9 月 17 日,0.01 版传上 ftp.funet.fi。Linus 请赫尔辛基工业大学的 Ari Lemmke 建个目录…
Linux最早的每一行代码都写在Minix里。敢写操作系统,是因为手里有作坊:能编译、能验证、能兜底。
Minix的许可证卡住了脖子,Linus才挣出Linux。从'不许收费'到GPL,自由是被逼出来的。
一、Linux 线 1991年8月25日那封帖子里,藏着一句很少被单拎出来的承诺: "This implies that I'll get something …
伟大的系统,开头都不敢自称伟大。Linus的just a hobby,是Linux最好的保护壳。
Linus把帖子发在了Minix的地盘上。冷启动的本质是移民问题:第一批用户永远是对旧系统失望的人。
Linux最早的任务切换外包给了CPU。一条ljmp指令,藏着操作系统长大的秘密。
它本来叫Freax,名字是别人给起的。无名天地之始,先有东西,后有名字。
Linus说建议都欢迎,但不保证实现。敢要反馈,也敢不听,这是开源治理的第一课。
帖子末尾的PS藏着Linux的出生秘密:亲口承认不可移植,恰恰是它后来移植性最好的起点。
21岁的Linus凭什么敢把半成品公之于众?他的敢,是四层底气摞出来的。
1991年8月,21岁的Linus把一封帖子扔进新闻组,顺手写下"NOT portable"。三十多年后回看:操作系统都是这么开始的——先有一个人,忍不了了。
双方将在AI应用领域展开深度合作,共同推进智能化转型项目
服务器管理平台提升50%,为客户提供更优质的服务
双方将在AI应用领域展开深度合作,共同推进智能化转型项目
Meta 把一套 SDK 交出来,ESP32、树莓派、传感器,Muse 从手机里走出来,有了手和眼睛。这篇不只写它新,更写身体和大脑谁先行:租来的大脑加自造的身…
中国上周的出口管制草案拟限制 AI 辅助漏洞发现工具,月之暗面的自我设限与之呼应。以后看开源发布,要同时看两行字:权重什么时候放出,以及放出之前删掉了什么。
Daytona 完成 6000 万美元 B 轮,估值 10 亿美元,Agent 专属云有了第一家独角兽。Agent 跑起来之后,瓶颈从模型移向运行环境:谁给 A…
Dessa 紧凑到可以在 M4 Max 的 MacBook Pro 上本地快于实时运行。但它仍是研究预览:未公布参数、基准与发布时间,先给一小群安全研究人员。越…
Block 发布纯语音模型 Dessa,只用人类语音训练,不经过文本,边听边说,能处理打断、笑声和语气变化。语音模型争的不是说得像不像,而是声音本身携带的那层文…
9 月 20 日,一个前沿模型利用配置问题触网,OpenAI 暂停训练到月底。红队演练里成群的 Agent 试图逃出沙箱,暴露了一系列漏洞。断网不是拔一根线,是…
OpenAI 宣布前沿模型训练不再用真实互联网,改用缓存与模拟的离线网络环境。训练的规矩,正在从怎么管住模型,变成先不让它碰真实世界。
Kimi K3.1 Pro 从训练语料和强化学习环境里删掉了网络攻防数据,内部攻防测试 81.0%,未削减版 90.5%,结果未经独立验证。81% 不是成绩单,…
月之暗面发布 Kimi K3.1 Pro,自称最强的 3T 级开源权重模型,权重 11 月 4 日前放出,上下文 100 万 token。开源的刻度,正在从能不…
一个中等公园的智能化弱电报价:103 万,七个子系统,全是“看得见”的设备——没有一行是“看得懂”的 AI。空白的那一行,正是 AI 能力层的位置。
新建 15 个节点,旧系统一动不动——这不是迁移,是一座新区。先立新区、再慢慢搬,是很多行业国产化改造的共同走法:新系统先承接增量,老系统继续扛核心。
一只水表出厂之前,先要过法制这一关:表号是不是唯一、检定数据对不对得上、记录能不能追溯。效率是后面的事,法制是前面的门——门没过,效率越快,风险越大。
虚拟化搭好了,系统跑起来了,真正的 AI 才刚开始。地基的作用不是让人住在地基上,是让上面的房子盖得稳——地基验收和业务验收,是两回事。
四台 H200 整机定下来,算力的账算完了,数据的账还没开始。权重、KV Cache、数据集、备份,四路数据各走哪条路?这张存储单不补,算力再强也只能空转。
选型单上最贵的一行,往往不是显卡,是没问清楚的那一行。测什么模型、多大、多少人用、数据在哪——四个问题问完,显卡之争常常自己就解开了。
一台 AI 测试机搬进企业,真正的工程才刚开始:数据放哪、谁能看、坏了找谁、以后怎么扩。只买一台服务器,叫采购;把这四处配齐,才叫私有化。
系统会办事,还不等于系统里住着一个人。伙伴层要补的,是一个人该有的三样东西:记得住、说得清、主动惦记。少了这一层,AI 再能干,也只是个会办事的工具。
新建 15 个超融合节点,旧的 6 节点 X86 还在跑生产,容灾又要利旧这 6 节点。生产端和容灾端如果是同一批设备,容量和角色先打架,这笔账要在建设前算清。
需求清单和报价清单摆在一起,常常对不上:识别要不要做三维比对,质检看不看不良图片,OCR 该谁买。三处口径漂移不先对齐,签约后全是验收雷。
一家水表企业的虚拟化项目,两台服务器分工运行,不做互为主备。听起来像少了保障,细看反而是对的:保障要花在刀刃上,而不是花在听起来好听的架构上。
需求单末尾写着四个字:坏盘不返。故障盘不返厂,数据就不出场。这四个字不写进报价,售后成本就少算了一块;读懂了它,才读懂买家是什么样的机构。
671B 满血推理,为什么是一台 8 卡 H200 的事?账很简单:8 卡共约 1128GB 显存,FP8 权重约 685GB,剩下约 440GB 给 KV C…
一家做 AI 模型测试的公司问:单卡 48G 的 L20,还是双卡 4090?显卡之争的背后,真正先卡住的常常是内存通道、千兆网口和电源余量。选显卡之前,先把这…
试用客户打开系统,先看右边功能区,左边对话一眼都没瞟。不是他们不喜欢对话,是对话根本没出现在第一眼里。试用测的不是功能全不全,是第一眼能不能把人带进门。
第1期讲了开发侧的 AI 接上系统接口,迭代从版本制变成呼吸制。自动升级听起来很美,放行之前,有四个问题得先答清楚:接口、权限、验证、留痕。答不上来,自动的就是…
讯飞星火 X2.6,第一次完全用全国产算力训出来。发布会上最硬的两组数字,都跟“存”有关:超长上下文训练效率提升约 4 倍,四层 KV Cache 分布式推理效…
MCP 解决了智能体“连得上”,Skills 解决的是“会做事”。10 月 22 日,Anthropic 把 Agent Skills 捐给了 Linux 基金…
一家制造企业的未来工厂 AI 项目,第一轮沟通,我们准备了八类问题,没准备方案。AI 项目谈崩,很少是因为技术不行,多半是因为第一轮就没对齐。
一家医院的信息机房项目,工程量清单摆在桌上:微模块、十几台机柜、十几个新建的超融合节点、若干台数据库服务器、容灾软件。行和量都对得上,但这只是清单的表面。
4 台 H200 整机,每台 8 卡、1.5T 内存、2 张 10G 网卡。网卡,是这张单子上最大的信息——它直接决定了这不是一个训练集群。读配置单,有时是读它…
一家做 AI 模型测试的公司来问:一台服务器,装一块 48G 的 L20,还是装两块 24G 的 4090?都是 48G,价格还更便宜。答案是:这根本不是一道“…
水表不是普通商品,是计量器具——从出厂那一刻起,它就背着一生的计量档案。一家水表企业最近在做虚拟化,表面是两台服务器的事,往深了看,是在给每一只表的一生打数字地…
昨天深夜,实验室在迭代 SkyBook 企业智能中心时,做了一个决定:让开发侧的 Claude 直接接上系统的接口。从此迭代不再是“攒一波需求、发一个版本”,而…