离霜的博客

Rust 语言提供了前所未有的保护机制，其类型检查严格堪称举世无双，开发人员在使用 Rust 语言的时候能够得到优雅的可读性，但是也受到 Rust 高度抽象的烦恼。Rust 系统编程系列文章旨在深入探索 Rust 的特性，从 Rust 本身的设计哲学的视角中去理解 Rust 的细节。

本文是探讨动态分发的第三节，看看 Rust 如何用 trait 来保证动态对象的安全性，涉及到动态分发与对象安全概念，难度较大。

Rust 系统编程系列：

• Rust 系统编程（一）：trait 的向下转型
• Rust 系统编程（二）：动态分发 - 从 Box 说起
• Rust 系统编程（三）：动态类型强制转换 - CoerceUnsized
• Rust 系统编程（四）：self 语法糖 - Receiver
• Rust 系统编程（五）：动态对象安全 - DispatchFromDyn

Rust 语言提供了前所未有的保护机制，其类型检查严格堪称举世无双，开发人员在使用 Rust 语言的时候能够得到优雅的可读性，但是也受到 Rust 高度抽象的烦恼。Rust 系统编程系列文章旨在深入探索 Rust 的特性，从 Rust 本身的设计哲学的视角中去理解 Rust 的细节。

本文继续研究 Rust 的动态分发，探讨如何自定义一个封装类型的 self 语法糖，体现 Rust 的优雅与灵活的兼并。

Rust 系统编程系列：

• Rust 系统编程（一）：trait 的向下转型
• Rust 系统编程（二）：动态分发 - 从 Box 说起
• Rust 系统编程（三）：动态类型强制转换 - CoerceUnsized
• Rust 系统编程（四）：self 语法糖 - Receiver
• Rust 系统编程（五）：动态对象安全 - DispatchFromDyn

Rust 语言提供了前所未有的保护机制，其类型检查严格堪称举世无双，开发人员在使用 Rust 语言的时候能够得到优雅的可读性，但是也受到 Rust 高度抽象的烦恼。Rust 系统编程系列文章旨在深入探索 Rust 的特性，从 Rust 本身的设计哲学的视角中去理解 Rust 的细节。

本文是动态分发深入理解的正式的第一节，探讨了 Rust 是如何利用 trait 机制将对象强制转换为动态类型的操作规范化的。

Rust 系统编程系列：

• Rust 系统编程（一）：trait 的向下转型
• Rust 系统编程（二）：动态分发 - 从 Box 说起
• Rust 系统编程（三）：动态类型强制转换 - CoerceUnsized
• Rust 系统编程（四）：self 语法糖 - Receiver
• Rust 系统编程（五）：动态对象安全 - DispatchFromDyn

今天带来一篇 IJCAI 2024 的论文，这篇论文主要工作是提出了一种称为 ZeroDDI 的方法，用于零样本的 DDI 分类任务，论文 原文参见 arxiv。

Rust 语言提供了前所未有的保护机制，其类型检查严格堪称举世无双，开发人员在使用 Rust 语言的时候能够得到优雅的可读性，但是也受到 Rust 高度抽象的烦恼。Rust 系统编程系列文章旨在深入探索 Rust 的特性，从 Rust 本身的设计哲学的视角中去理解 Rust 的细节。

本文延续上一节的内容，但将目光移向 rust 的核心库和标准库，从 Box 的定义初步认识 Rust 动态分发的优雅。

Rust 系统编程系列：

• Rust 系统编程（一）：trait 的向下转型
• Rust 系统编程（二）：动态分发 - 从 Box 说起
• Rust 系统编程（三）：动态类型强制转换 - CoerceUnsized
• Rust 系统编程（四）：self 语法糖 - Receiver
• Rust 系统编程（五）：动态对象安全 - DispatchFromDyn

今天带来一篇 NeurIPS 2023 的论文，作者主要工作是提出了神经网络旋转欧拉方程，并将这种方法用于基于能量的模型训练。

Rust 语言提供了前所未有的保护机制，其类型检查严格堪称举世无双，开发人员在使用 Rust 语言的时候能够得到优雅的可读性，但是也受到 Rust 高度抽象的烦恼。Rust 系统编程系列文章旨在深入探索 Rust 的特性，从 Rust 本身的设计哲学的视角中去理解 Rust 的细节。

本文重点探讨 trait 的机制相对比 OOP 语言的类与对象的定义之间的差异，以及深入理解 trait 的本质。

Rust 系统编程系列：

• Rust 系统编程（一）：trait 的向下转型
• Rust 系统编程（二）：动态分发 - 从 Box 说起
• Rust 系统编程（三）：动态类型强制转换 - CoerceUnsized
• Rust 系统编程（四）：self 语法糖 - Receiver
• Rust 系统编程（五）：动态对象安全 - DispatchFromDyn

2024全国大学生系统能力大赛操作系统设计赛内核实现赛道（LoongArch芯片）喜提国三，但实际上我们的作品仍然有许多不足。回望半年来的开发，非常想做一个总结。也希望给那些手搓OS内核的人提供一些经验借鉴。有可能之后还会发布专栏讲解一些OS内核开发需要注意的东西。