指针

linux学习笔记： https://blog.csdn.net/djdjiejsn/category_12669243.html 前言： 下面关于锁的封装看看下面的： Lockguard的构造函数加锁，析构函数解锁，用起来很方便。 代码语言：javascript代码运行次数：0运行复制 names…

进程优先级： 1.2. 进程优先级的定义是什么？ 进程优先级指的是CPU资源分配的先后顺序，即进程的优先权（priority）。 1.3. 为何存在进程优先级的概念？ 根本原因在于资源的稀缺性。 在Linux环境中，默认优先级为80，且Linux的优先级是可调的，范围在【60，99】之间，共有40个…

Verus verus 是一种用于验证 rust 编写的代码正确性的工具。开发者需要编写代码应该做什么的规范，verus 会静态检查 rust 代码是否始终满足所有可能执行路径的规范。 Verus 不添加运行时检查，而是依赖于强大的求解器来证明代码的正确性。目前，Verus 支持 Rust 的一个子…