STM:为什么 Rust 和 Go 没有把它作为核心并发机制?
从 STM 的事务模型出发,对比 Haskell、Rust 与 Go 的并发设计哲学,重点解释 Rust 所有权、Borrowing、Send/Sync 与共享状态边界,并分析 STM 的优势、限制与系统设计价值。
个人博客
关于软件、系统设计与持续学习。文章由 Notion 写作并在这里发布。
目前已发布 307 篇文章。
筛选结果
共 3 篇
从 STM 的事务模型出发,对比 Haskell、Rust 与 Go 的并发设计哲学,重点解释 Rust 所有权、Borrowing、Send/Sync 与共享状态边界,并分析 STM 的优势、限制与系统设计价值。
在 Haskell 中,fmap 是 Functor 类型类(type class)里最核心的函数,用来把一个普通函数“映射”到“容器”或“上下文”中去
主题索引