南洋理工交换指北

HKU 申请南洋理工交换的历程~

新加坡签证指南

去南洋理工交换一个学期,记录一下签证之类的东西~

数学分析一 Ep.1 :实数的公理化描述、四条公理

实数 我们定义实数 R\RR 是一个集合,上面有两个操作: 加法 +:R×R↦R,(x,y)↦x+y+:\R\times\R\mapsto\R, (x,y)\mapsto x+y+:R×R↦R,(x,y)↦x+y 乘法 ⋅:R×R↦R,(x,y...

Rust 原子操作与内存顺序

与 C++ 里的 std::atomic<T> 类似的作用

Rust 同步:Semaphore, 条件变量, 互斥锁

Rust 也实现了共享资源的经典方法

Rust 泛型

作用和 C++ 的 template 差不多

Rust 线程同步:消息传递

以 pipe 的方式进行数据传输

Rust 多线程与并发

安全和高效的处理并发是 Rust 语言的主要目标之一。随着现代处理器的核心数不断增加,并发和并行已经成为日常编程不可或缺的一部分。可惜的是,在 Rust 中由于语言设计理念、安全、性能的多方面考虑,并没有采用 Go 语言大道至简的方式,而是选择了多线程与 async/await 相结合,优点是可控性更强、性能更高,缺点是复杂度并不低,当然这也是系统级语言的应有选择:使用复杂度换取可控性和性能。

Rust Cell<T>: 在不可变引用的同时修改目标数据

Rust 提供了 Cell 和 RefCell 用于内部可变性,简而言之,可以在拥有不可变引用的同时修改目标数据

Rust Arc<T>:在多线程里共享对象

Rust 里提供了和 Box<T&rt; 类似功能,但是多线程安全的替代品 Arc<T&rt;

13456710