FUSE在10个线程阻塞后死锁，寻求100线程全阻塞方案

问题背景 #

测试FUSE文件系统时遇到线程阻塞限制：启动100个线程，每个线程访问各自mmap映射的独立FUSE文件页，触发FUSE_read()；在FUSE_read()中记录日志并调用sleep(1000000)阻塞线程。结果仅10个线程能进入FUSE_read()并阻塞，其余线程无法进入该函数，系统陷入死锁。缩短sleep时长（如20秒）后，线程会在超时后陆续进入FUSE_read()。经排查，该问题源于libfuse默认用户空间线程池大小限制为10，线程池耗尽后无法处理新请求，导致死锁。

可行解决方案 #

1. 调整libfuse内置线程池大小 #

直接修改libfuse的线程池上限，匹配你的线程数量需求：

• 挂载时指定参数：在启动FUSE挂载程序时添加-o max_threads=100选项，例如：

  ./fuse_minimal -o max_threads=100 /mnt/fuse_mount_point
  

• 代码中添加参数：如果需要在代码中动态设置，可通过fuse_opt_add_arg()添加选项：

  struct fuse_args args = FUSE_ARGS_INIT(argc, argv);
  // 添加max_threads参数
  fuse_opt_add_arg(&args, "-o");
  fuse_opt_add_arg(&args, "max_threads=100");
  

  此方案最简单直接，能让libfuse的线程池容纳100个并发请求，所有线程均可进入FUSE_read()阻塞。

2. 使用libfuse异步接口（libfuse3+） #

若使用libfuse3版本，可切换到异步处理模式，避免依赖内置线程池：

• 实现fuse_operations中的异步回调（如read_async），将请求放入自定义队列后立即返回，不阻塞libfuse线程。
• 在自定义线程池中处理阻塞操作（如sleep），完成后通过fuse_reply_read()回复请求。
  示例异步read回调框架：

static void minimal_read_async(fuse_req_t req, size_t size, off_t off, struct fuse_file_info *fi) {
    // 将请求提交到自定义线程池处理
    submit_to_custom_threadpool(req, size, off, fi);
}

// 自定义线程处理函数
void handle_read_request(fuse_req_t req, size_t size, off_t off, struct fuse_file_info *fi) {
    printf("Thread %ld entered FUSE_read()\n", pthread_self());
    sleep(1000000);
    fuse_reply_read(req, NULL, size);
}

此方案适合需要更灵活请求调度的场景，彻底摆脱libfuse线程池限制。

3. 禁用libfuse线程池，自定义请求处理线程池 #

通过-o singlethread参数禁用libfuse内置线程池，完全由自定义线程池处理请求：

• 挂载时添加-o singlethread，让libfuse仅用一个线程接收请求。
• 在FUSE操作回调中，将请求任务提交到自定义的100线程池，立即返回。
• 自定义线程处理阻塞逻辑后，调用fuse_reply_*系列函数回复请求。
  此方案完全掌控线程资源，适合复杂的并发场景。

验证示例 #

以调整线程池大小的方案为例：

1. 编译代码：

   gcc fuse_minimal.c -o fuse_minimal `pkg-config fuse --cflags --libs`
   gcc test.c -o test -lpthread
   

2. 挂载FUSE文件系统：

   ./fuse_minimal -o max_threads=100 /mnt/fuse_test
   

3. 运行测试程序：

   ./test
   

此时所有100个线程均可进入FUSE_read()并阻塞，无死锁问题。

内容的提问来源于stack exchange，提问作者Rockrid3r