慣性聚合 高效追讀感興趣之博客、新聞、科技資訊
閱原文 以慣性聚合開啟

推薦訂閱源

博客园 - 司徒正美
V
V2EX
T
Tailwind CSS Blog
有赞技术团队
有赞技术团队
aimingoo的专栏
aimingoo的专栏
Apple Machine Learning Research
Apple Machine Learning Research
IT之家
IT之家
Blog — PlanetScale
Blog — PlanetScale
A
About on SuperTechFans
月光博客
月光博客
T
The Blog of Author Tim Ferriss
宝玉的分享
宝玉的分享
Martin Fowler
Martin Fowler
博客园 - 聂微东
The GitHub Blog
The GitHub Blog
V
Visual Studio Blog
WordPress大学
WordPress大学
酷 壳 – CoolShell
酷 壳 – CoolShell
Engineering at Meta
Engineering at Meta
GbyAI
GbyAI

DEV Community

Authentication Security Deep Dive: From Brute Force to Salted Hashing (With Java Examples) Why AI Systems Don’t Fail — They Drift Spilling beans for how i learn for exam😁"Reinforcement Learning Cheat Sheet" I Replaced Chrome with Safari for AI Browser Automation. Here's What Broke (and What Finally Worked) How Python Borrows Other People's Work The $40 Architecture: Processing 1 Billion API Requests with 99.99% Uptime Vibe Coding: A Workflow Guide (From Zero to SaaS) Most webhook security guides protect the wrong side. The scary part is delivery. Headless CMS for TanStack Start: Build a Blog with Cosmic EU Age Verification App "Hacked in 2 Minutes" — What Actually Happened Comfy Cloud’s delete function does not actually remove files Running AI Models on GPU Cloud Servers: A Beginner Guide Event-driven media intelligence with AWS Step Functions and Bedrock I scored 500 AI prompts across 8 quality dimensions — here's what broke How to Call Google Gemini API from Next.js (Free Tier, No Backend Needed) The Portal Protocol: Reclaiming Human Connection in the Age of AI How to Fix Your Team's Scattered Knowledge Problem With a Self-Hosted Forum Intro to tc Cloud Functors: A Graph-First Mental Model for the Modern Cloud Designing Multi-Tenant Backends With Both Ownership and Team Access I Built a Neumorphic CSS Library with 77+ Components — Here's What I Learned PostgreSQL Performance Optimization: Why Connection Pooling Is Critical at Scale Cómo construí un SaaS multi-rubro para gestionar expensas en Argentina con FastAPI + Vue 3 🚀 I Built an Ethical Hacking Scanner Tool – Open Source Project I Replaced /usage and /context in Claude Code With a Single Statusline A Pythonic Way to Handle Emails (IMAP/SMTP) with Auto-Discovery and AI-Ready Design I Collected 8.9 Million Polymarket Price Points — Here's What I Found About How Markets Really Move EcoTrack AI — Carbon Footprint Tracker & Dashboard Everyone's Using AI. No One Agrees How. 5 self-hosted ebook managers worth trying in 2026 Building Your First AI Agent with LangChain: From Chatbot to Autonomous Assistant Common SOC 2 Failures (Real World) Stop Vibe-Checking Your AI App: A Practical Guide to Evals How to Use SonarQube and SonarScanner Locally to Level Up Your Code Quality Your Next To-Do App Is Dead — I Replaced Mine with an OpenClaw AI Sign a Nostr event in 60 lines of Python using coincurve — no nostr-sdk, no nbxplorer, no rust toolchain ITGC Audit Explained Like You’re in Big 4 Patch Tuesday abril 2026: Microsoft parcha 163 vulnerabilidades y un zero-day en SharePoint Stop scraping everything: a better way to track competitor price changes Listing on MCPize + the Official MCP Registry while routing payments OUTSIDE the marketplace — how I kept 100% of my x402 revenue Building an AI-Powered Risk Intelligence System Using Serverless Architecture Why We Ripped Function Overloading Out of Our AI Toolchain Testing AI-Generated Code: How to Actually Know If It Works SaaS Churn Is Killing Your Business. Here Is What to Do About It (Without a Support Team) The Speed of AI Is No Longer Linear - And Self-Improving Models Are Why How to Implement RBAC for MCP Tools: A Practical Guide for Engineering Teams From Standard Quote to Persuasive Proposal: AI Automation for Arborists I built a CLI that scaffolds complete multi-tenant SaaS apps Axios CVE-2025–62718: The Silent SSRF Bug That Could Be Hiding in Your Node.js App Right Now The dashboard that ended our friendship Data Pipelines Explained Simply (and How to Build Them with Python)
锈与操作系统之再造
Srijan Kumar · 2026-05-24 · via DEV Community

何也?何也? Rust 之兴,为今世操作系统之脊梁——自 Linux 至 Windows 11

曩者数十载,造操作系统者,与魔约为契:以极速为代价,换取软件内存之谬误横生 C C++主核者,盖因其授程序员以直控硬件之权。其代价乃一类恒久之漏洞,终使业界不得不承认非才力之失,实乃语言之弊。

Rust者,乃业界欲撕此约之尝试。

其始也,为Mozilla之实验。已成内核、驱动、虚拟机及云平台之根基,远非寻常。 Rust非复冒险者之奇技淫巧,渐为严肃系统软件之基石。其理至简:性能可比C,而使一类灾厄之错谬,结构上永无可能。

此非小言。乃数代系统编程之至要发展也。


传统操作系统开发之核心困厄

操作系统处乎计算之栈底。其掌管内存之分配、进程之调度、硬件之沟通、文件之系统、网络之连结、驱动之程序、虚拟化之技术、安全之防护。此中几乎一切,逾五十载者,C所撰也。

C之魅力,昭然若揭。其速也,迅若流星。其编译也,近于金铁。其抽象之费,几近于无。其予程序员者,掌控之权,使尽硬件之能,榨取毫厘之效。

然C之失,祸不单行,灾祸之甚,可怖可惊。。其信程序员甚笃,然程序员乃凡夫俗子。其果则缓冲区溢出、使用后释放漏洞、空指针解引用、数据竞争、未定义行为。此非隐晦之边缘情况也。实乃生产软件中,年复一年之主要致命漏洞之源。

微软谷歌。 各自独立估算,其严重安全漏洞约七成源于内存安全之失。NSA 已发布指引,劝人转离 C 与 C++US 政府之网络安全机构 CISA 亦持此见。

数十年修补之后,结论虽不舒坦却势所必至:编程之范式实乃病根。贤工巧匠、精审代码、良器美术可减其害,然不能绝之。唯一之真解,乃语言本身使此等谬误无从发生也.


何以 Rust 易其局

Rust 之立,本于一核之念:捕之記憶錯誤,宜於編譯時而非運行時發現。

是故,其法以属有、借有、寿有,以察存于篇中者。凡值,必有一主。引之严控。变易之得,不可与存之引共。竞态之患,非恃约俗,非恃操守,乃在编译者不立其码,若律有违。

尤要, Rust 皆能为之而无需垃圾收集器。,垃圾收集器,其引入不可预测之停顿与运行时之开销,故不适用于内核及底层系统代码。Rust 之安全,在于编译时之分析,而非运行时之管理,是故其生成之可执行文件,精简迅捷,较之 C 语言,在性能测试中可相媲美。

此乃 Rust 之核心理念转变:正确性已成其语言设计之要义。 编译器非惟译君之码,实乃行内存使用之约。若其能编,则可发之。所防之虫,于二进制中竟无存焉。


无失之内存安全,不损之效能

系统编程之旨,素以为安则损速。如Java、Go之有垃圾收集者,虽安而迟,用于核工则其运行时过重,其暂停不可测。C则速而险。数十载间,无介于其间者。

Rust居其间。

其制:

  • 一时独占一值
  • 不可不安全之变引用共存
  • 类型系统强制禁止数据竞态
  • 使无效内存访问结构上难为

然则其实,此可除核权提升之弊、内存损坏之攻、竞态条件之用,及广类远程代码执行之弱——而不增垃圾收集之费,亦不损硬件之控。

此组合,前所无有。其义甚巨。


Linux与Rust之革命

Linux之核,历卅载而独守C语。其持者拒异言,非无因也:核之复杂,甚矣;兼容之要,尤巨;新语之入,实险。

二零二二年,Rust之支持,已合于Linux之核。此诚为历久弥新之刻也。Linux之业,乃寰宇间最守成、亦最重果之软工,今始承认,独用C,已不足安未来之发展。

其志非欲以 Rust 重撰 Linux。此乃狂妄且无益之举。其志乃更为精准:以 Rust 新撰驱动,固守安全要害之系统,减新码中漏洞之密度。设备驱动,历来为任一内核最凶险之部分,C 语言所撰之谬误驱动,可倾覆全系统。Rust 使此类谬误更难为。

移风渐广。Linux诸分布,试以Rust为核之模块、初始化系统、网络工具、包管理及嵌入式环境。其势虽缓,其向则明。


微软与Rust于Windows 11之中

倘若有Linux(一种自由开源的类Unix操作系统内核)采 Rust 之术,殊为意外。微软(Microsoft) 事同此,甚异。Windows,积数十载C及C++之精髓而成。易之,耗资甚巨,涉险极深,且迟缓难为。微软,竟为之。

驱之者,安也。Windows,寰宇之操作系统,受攻最甚。 记忆之脆弱, 仍为攻之要道。微软之安队,与Google、NSA等,皆得同论。Linux社群言:不可以巧诈脱不安全之语。此语自当行安全之行。

今之 Rust 已现于 Windows 之要害组件、低阶系统用器、认证基构、网络层及与 Windows 生态相系之云服务。微软亦重金投资 Rust 之工具与生态,于其语言之发展有所贡献,惠及全业。

其言昭然若揭:今之操作系统安全,不可独恃开发者之自律。必赖语言之力,方能任重致远。


何以云计算促 Rust 之用

云之基构,易操作系统之求,使 C 之短弊,愈显难掩。

今之系统,运行于 超大规模数据中心容器编排平台虚拟化层边缘设备,且分布式微服务 — 众同时,并发量巨。基于C之并发,其险著矣。竞态条件与不安全共享内存之访问,随系统扩展,其危甚增。

Rust之并发模式,乃其长处所在。线程安全,本乎其类型系统自保。是故并行更安,基建更信,而无垃圾收集之损,亦无语言锁之费。

此乃云基建公司构建容器运行时、存储系统、网络层及虚拟化平台而早采 Rust 之故也。操作系统亦随之演进以应此需。


Rust 亦变 cybersecurity

Rust 之兴非独开发者之趋。政界商界皆推其势。

谷歌、微软、国安局、网络安全与基础设施安全局、皆明示宜转用内存安全之语言。其理至简:防患于未然,远胜于事后补丁,而内存相关之漏洞所酿之灾,既巨且绵。

然则, Rust非灵丹妙药也。不安全之Rust犹存。逻辑谬误犹存。然其骤减攻击之域,盖去一整类之谬,此谬耗业界亿万金,亦使亿万用户蒙害。于运行于机之万般事物,操作系统乃首尾之防线,此减损实关根本。


抗Rust之志

评 Rust 当以诚心相待,盖因其间或有当之论.

1. 学之艰实存焉

所有、借用、生命周期,此等观念,纵使经验丰富的系统程序员亦觉生疏。Rust将复杂性由运行时调试,转移至编译时挣扎。此权衡实属真切。众多开发者因Rust编译器而感挫败,因其迫使其更早面对问题,非其惯常之所及。

是故,其郁结者,即其旨也。Rust使君先解其难,而后方成其器。此痛,乃故设于前也.

2. 旧式之码,不可重书

操作系统含数百万行成熟之C、C++代码,历战考验。尽以Rust重写,需数十载光阴,耗巨资,且易生新弊。此议无人当真。可行之道乃折中:存旧码于C/C++,新制以Rust,高风险子系统渐移。虽缓,实唯一可行之策。

三. 工具链与生态之隙

于核层数据之 Rust 开发,犹存实难:工具有阙,构建之系繁复,融汇之阻,倚赖之管理亦存忧。有核层数据之持者,虑 Rust 代码之基日长,其可持之久远。此非无理之虑也。生态之成速矣,然未臻全成。


为何转变犹似不可避

虽合法之抗,促 Rust 之势,聚速于反 Rust 之阻.

记忆之患,犹软件未解之最昂问题。云系统求并发之安,C 不可靠供之。人工智能之基,需稳固且高效之根,而旧式C/C++之工具有难安泰。 器物日繁,而究C/C++之内存谬误,其工费之巨,令人咋舌。

Rust能同时解此诸般难题。此诚鲜见。诸语言或解一题而造新困,比比皆是。能一并解数难题且不损其效者,尤属罕见。


超乎Linux与Windows

Rust之用,已远超传统桌面操作系统之范畴。

其现于嵌入式操作系统物联固件实时系统瀏覽器引擎游戏引擎虚拟机管理程序区块链基设,且安穏虛擬化層。紅樹實驗證明,整體作業系統可自基礎起以 Rust 設計。塞爾沃示人,高性能瀏覽器引擎可於 Mozilla 仍領 Rust 設計之時,安全以 Rust 製作。

即 Rust 未盡代換作業系統,亦漸為其周遭基礎設施之語言。


时移世易之巨变

Rust之兴,非独编程语言市场份额之变也,乃行业思虑系统软件之哲学转变之征也。

五十载,其潜藏之序也:性能为先,安全为次。Rust言此二者不必相悖。其将正确性纳入语言设计,非寄望于开发者之自觉。

此易其期许。来日之操作系统,或日益以内存安全、并发安全为常,以强编译器之保证、少灾难性之漏洞为基,非所求之赏也。

若C定义了操作系统之第一时代,则Rust或可定义其继者。非因其至善,亦非因其将遍替C也。盖因今之计算已臻其规模,不安全之根基所负之险,实已过于可容之度矣。

操作系统者,今世计算之栋梁也,渐显其真。今非复论 Rust 是否将重于系统编程,唯争其变之速耳。