相关文章
SAT Encoding and CDCL Algorithm听课笔记
CDCL：：归结式 如果x不出现在公式的别的地方，那么两者可以等价 CDCL：：watched literals
通过监测文字来判断当前子句是否是单元子句 先选择两个未赋值的文字作为监测文字，若其中的监测文字被赋值后则去寻找…
建站知识
2025/1/19 16:59:09
Linux 并发与竞争（二）
Linux 并发与竞争（二）
原子操作，自旋锁，读写锁，顺序锁相关内容在上节内容中，看这里
Linux并发与竞争（一）
1. 前言
协调好 Linux 并发导致的竞争问题，除了可以使用原子…
建站知识
2025/1/19 17:06:53
CAN总线数据采集工具PCAN的使用教程
系列文章目录 文章目录 系列文章目录pcan使用PCAN-Explorer 5安装PCAN-USB Pro安装如下PEAK-System_Driver-Setup安转如下PCAN-View操作步骤 通讯测试检查安装成果trace 文件下载 pcan使用
PCAN-Explorer 5安装 默认路径——all user——yes——next——finish
PCAN-USB Pro…
建站知识
2024/11/4 20:11:09
Oracle常用运维SQL-SQL执行性能及锁表等查询分析
oracle相关系列文章： docker–在Anaconda jupyter 容器中使用oracle数据源时，Oracle客户端安装配置及使用示例 Oracle常用运维SQL–用户管理、数据导入、导出的实用脚本 Oracle TEMPORARY TABLE 临时表的使用及删除报ORA-14452错误的解决办法 Oracle常用运维SQL-SQL执行性能及…
建站知识
2024/11/11 0:51:08
C++进阶篇4---番外-AVL树
一、AVL树的概念 二叉搜索树虽可以缩短查找的效率，但如果数据有序或接近有序二叉搜索树将退化为单支树，查 找元素相当于在顺序表中搜索元素，效率低下。因此，两位俄罗斯的数学家G.M.Adelson-Velskii 和E.M.Landis在1962年发明了一…
建站知识
2025/1/10 0:00:16
rust变量绑定、拷贝、转移、引用
目录
一，clone、copy
1，基本类型
2，类型的clone特征
3，显式声明结构体的clone特征
4，类型的copy特征
5，显式声明结构体的clone特征
5，变量和字面量的特征
6，特征总结
二&am…
建站知识
2024/11/5 20:11:27
ebpf 网络跟踪原理
认为最主要是因为不清楚内核中都有哪些函数和跟踪点可以拿来跟踪。
第一个，kfree_skb ，它经常在网络异常丢包时调用；第二个，consume_skb ，它在正常网络连接完成时调用 sudo ./bpftrace -e kprobe:kfree_skb /comm&quo…
建站知识
2024/11/6 4:11:30
