面试题：Rust并发编程下资源竞争与Send和Sync trait

未实现Send trait：
- 如果某个类型没有实现Send trait，却被传递到了其他线程，就会导致未定义行为。例如，有一个类型内部包含Rc（引用计数），而Rc没有实现Send，因为它的引用计数是共享的，跨线程使用会导致数据竞争。当这个类型被传递到线程池中的线程时，就可能出现资源竞争问题。
未实现Sync trait：
- 当一个类型没有实现Sync trait，却在多个线程间共享，就会出现问题。比如一个包含内部可变状态且没有合适同步机制的类型，多个线程同时访问和修改其内部状态时，没有Sync trait的保证，就会导致资源竞争。

实现Send trait：
- 如果类型的所有数据成员都实现了Send trait，并且类型没有内部可变状态（或者有内部可变状态但有合适的同步机制，如Mutex包裹），那么这个类型就可以安全地实现Send trait。例如，如果有一个自定义类型MyType，其内部只有i32类型的成员（i32实现了Send），可以这样实现：
```
struct MyType {
    value: i32
}
unsafe impl Send for MyType {}
```
实现Sync trait：
- 同样，如果类型的所有数据成员都实现了Sync trait，并且类型没有内部可变状态（或者有内部可变状态但有合适的同步机制，如Mutex包裹），那么这个类型就可以安全地实现Sync trait。例如，如果MyType用Mutex包裹了内部状态：
```
use std::sync::Mutex;
struct MyType {
    value: Mutex<i32>
}
unsafe impl Sync for MyType {}
```

排查思路：
- 检查类型定义：查看在并发任务中涉及的自定义类型，检查其成员类型是否实现了Send和Sync trait。如果有未实现的，需要先处理其成员类型，比如将Rc替换为Arc（Arc实现了Send和Sync）。
- 查找跨线程传递的类型：在代码中查找哪些类型被传递到了线程池中执行的任务里，检查这些类型是否实现了Send trait。可以通过编译器错误提示来定位问题，当编译器提示某个类型不能在线程间安全传递时，就是发现问题的契机。
- 检查共享资源类型：对于被多个线程共享的资源类型，检查是否实现了Sync trait。注意内部可变状态的类型，比如使用Cell或RefCell的类型，它们一般不实现Sync，需要用Mutex或RwLock等同步原语替换。
修复思路：
- 添加Send和Sync实现：按照上述实现Send和Sync trait的方法，为相关类型添加合适的实现。确保类型及其所有成员都满足Send和Sync的要求。
- 使用同步原语：如果类型有内部可变状态，使用合适的同步原语如Mutex、RwLock等包裹，使其成为线程安全的类型，进而满足Send和Sync的实现条件。这样可以保证在多线程环境下对共享资源的访问是安全的，避免资源竞争问题。

星途面试题库