add vec_push_mem_addr_change_cause_ffi_fail

Author: pymongo

2022/02/wordle.md

@@ -56,7 +56,7 @@ answer: a,o,t is correct position, answer not contains b and r
 
 ## 4th guess
 
-```
+```rust
 #[test]
 fn _4th_guess() {
     let start = std::time::Instant::now();

2023/07/rust_atomic_and_lock.md

@@ -435,3 +435,18 @@ hazard pointers 类似引用计数，适用于读多写少场合
 ## parking_lot's deadlock_detection feature
 
 tokio 开 parking_lot feature, 然后 parking_lot 再开死锁检测就能检测死锁?
+
+```rust
+use parking_lot::RwLock;
+let t = std::thread::spawn(|| {
+    let x = RwLock::new(1);
+    let r = x.read();
+    let w = x.write();
+});
+unsafe { libc::sleep(1); }
+let dead_locks = parking_lot::deadlock::check_deadlock();
+dbg!(dead_locks[0][0].backtrace());
+t.join().unwrap();
+```
+
+确实能检测出死锁的线程个数，但是 backtrace 上找不到自己的代码

2023/08/vec_push_mem_addr_change_cause_ffi_fail.md

@@ -0,0 +1,37 @@
+# [Vec::push FFI 内存错误](/2023/08/vec_push_mem_addr_change_cause_ffi_fail.md)
+
+这样一段绑定数据库查询结果 buffer 的 FFI 调用代码发生了内存错误，期望是查询结果为 NULL 的时候 val_is_null flag 会被数据库动态库设置成 -1，然而 val_is_null 这个值并没有改
+
+```rust
+for i in 0..num_fields {
+    let column = Column {
+        val_buf: vec![0u8; size],
+        val_is_null: 0,
+    };
+    KCIDefineByPos(
+        column.val_buf.as_mut_ptr().cast(),
+        i32::try_from(column.val_buf.len()).unwrap(),
+        ((&mut column.val_is_null) as *mut i16).cast(),
+    )
+    .err(err)?;
+    columns.push(column);
+}
+```
+
+怀疑跨函数 move Columns 会改变内存地址，然后打印了下确实 move 没有修改地址，而且 columns 是个 vector 本身就分配到堆上
+
+于是我把 val_is_null 设置成 **static** 就解决了问题，遇到 NULL 查询结果能正常被修改成 -1
+
+最终发现原来问题出自 Vec::push 后 val_is_null 的内存地址变了(从栈上变成堆上)
+
+```rust
+let column = Column {
+    val_buf: vec![0u8; size],
+    val_is_null: 0,
+};
+dbg!(&column.val_is_null as *const i16 as usize);
+columns.push(column);
+dbg!(&columns[i].val_is_null as *const i16 as usize);
+```
+
+所以等 `columns.push(column);` 内存地址修改完后再把 val_is_null 的内存地址传给 FFI 调用就解决了

README.md

@@ -1,6 +1,7 @@
 - [文章列表 - 吴翱翔的博客](/)
 - [正在读的书](/books.md)
 - **2023-08**
+    - [Vec::push FFI 内存错误](/2023/08/vec_push_mem_addr_change_cause_ffi_fail.md)
 - **2023-07**
     - [Atomic Lock 读书笔记](/2023/07/rust_atomic_and_lock.md)
     - [Mutex 源码实现](/2023/07/mutex_source_code_and_impl.md)

books.md

@@ -1,6 +1,5 @@
 ## 正在读的书
 
-- rust atomic and lock(ch6)
 - computer science a programmer's perspective
 
 ## 已读
@@ -13,9 +12,12 @@
 - 為你自己學 Ruby on Rails
 - The Rust Programming Language(官方 the book 讲的太浅了)
 - Rust 编程之道
-- beginning linux programming(深入理解 gcc 动态库，与 APUE/TLPI 部分内容重叠)
+- beginning linux programming(与 APUE/TLPI 部分内容重叠)
+- Asynchronous Programming in Rust
 - Linux 高性能服务端编程
+- The Rustonomicon
 - 凤凰架构
+- Rust Atomics and Locks
 
 ## 已读非技术类书
 

notes/unsafe_ffi/unsafe.md

@@ -10,7 +10,7 @@ variance一般可以分为三类:
 - 逆变(contravariant): 反过来Vec<Animal>是Vec<Cat>的子类型
 - 不变(invariant): 既不保持又不逆转关系 => Vec<Animal>和Vec<Cat>没有任何关系
 
-Rust 只有生命周期体现了父子类型的概念
+Rust 只有生命周期体现了父子类型的概念(gpt 说 trait bound Sub: Super 也算子类型)
 
 协变(绝大部分): 能传 'a 的也能传入 'static，生命周期短的父类型 'a 引用如果能传入函数，那么生命周期长的子类型 'static 引用也能传入