Linux 5.10.63下ISR中多次调度tasklet仅单次执行问题咨询

Linux 5.10版本的tasklet机制本身自带重复入队防护：同一个tasklet_struct实例维护了TASKLET_STATE_SCHED状态标记，调用tasklet_schedule()时内核会首先检查该标记：

• 如果标记未置位，就把tasklet挂到当前CPU的tasklet待执行链表，置位TASKLET_STATE_SCHED标记，触发软中断等待后续执行；
• 如果标记已经置位，说明该tasklet已经在待执行队列中、还没被执行，内核会直接忽略本次调度请求，不会重复把同一个tasklet加入队列。

你在ISR中连续三次调用tasklet_schedule(fill_buf)时，整个ISR运行期间中断是关闭的，第一次调度就已经给fill_buf打上了SCHED标记、挂入待执行队列，后续两次调度检测到标记存在会直接返回。同时你三次给fill_buf->data赋值都是在ISR上下文连续完成，这期间tasklet根本没有得到执行机会，最终fill_buf->data保存的是最后一次赋值的jiffies值。等ISR退出、软中断开始处理tasklet队列时，这个tasklet只会被执行一次，读取到最后一次写入的data值，就出现了你观测到的“仅执行一次”的现象。

本质上tasklet的调度是类“电平触发”逻辑：只要tasklet处于待调度状态，多次触发调度不会累计执行次数，最终只会执行一次，这是内核设计时特意做的优化，目的是减少软中断执行次数、提升系统性能。

不要试图手动修改tasklet的内部状态标记来强制多次入队，这类操作会引发链表损坏、跨CPU并发执行等问题，直接导致内核崩溃。根据实际需求选择以下两种合规方案即可：

• 方案1：维护私有待处理队列（内核通用做法，性能最优）
  不要把每次事件的参数直接存到tasklet_struct的data字段，自定义私有数据结构，用自旋锁保护一个环形缓冲区/链表/计数器，ISR中每次触发事件时，先把事件参数（比如你这里的jiffies）存入私有队列，再调用tasklet_schedule()即可（重复调用无副作用）。tasklet执行时一次性把队列里所有积压的事件全部取出来逐个处理，处理完成后SCHED标记会被内核自动清除，下次新事件到来时可以再次正常调度。
  参考实现代码：

  // 自定义私有数据结构
  struct fill_buf_priv {
      struct tasklet_struct tlet;
      unsigned long jiffies_buf[8]; // 环形队列缓存待处理的jiffies
      int q_head;
      int q_tail;
      spinlock_t lock;
  };
  
  // ISR逻辑
  irqreturn_t fill_isr(int irq, void *dev_id)
  {
      struct fill_buf_priv *priv = dev_id;
      unsigned long flags;
      spin_lock_irqsave(&priv->lock, flags);
      // 三次事件分别入队
      priv->jiffies_buf[priv->q_tail] = jiffies;
      priv->q_tail = (priv->q_tail + 1) % 8;
      tasklet_schedule(&priv->tlet);
  
      priv->jiffies_buf[priv->q_tail] = jiffies;
      priv->q_tail = (priv->q_tail + 1) % 8;
      tasklet_schedule(&priv->tlet);
  
      priv->jiffies_buf[priv->q_tail] = jiffies;
      priv->q_tail = (priv->q_tail + 1) % 8;
      tasklet_schedule(&priv->tlet);
      spin_unlock_irqrestore(&priv->lock, flags);
      return IRQ_HANDLED;
  }
  
  // tasklet处理函数
  void fill_buf_tasklet(unsigned long data)
  {
      struct fill_buf_priv *priv = (struct fill_buf_priv *)data;
      unsigned long flags;
      spin_lock_irqsave(&priv->lock, flags);
      // 批量处理所有积压事件
      while (priv->q_head != priv->q_tail) {
          unsigned long cur_jif = priv->jiffies_buf[priv->q_head];
          priv->q_head = (priv->q_head + 1) % 8;
          spin_unlock_irqrestore(&priv->lock, flags);
          // 执行单条事件的实际逻辑
          process_jiffies(cur_jif);
          spin_lock_irqsave(&priv->lock, flags);
      }
      spin_unlock_irqrestore(&priv->lock, flags);
  }
  

• 方案2：使用独立tasklet实例（仅适合事件数量极少的场景）
  如果确实需要每个事件对应一次独立的tasklet执行，就为每一次调度初始化独立的tasklet_struct实例，分别绑定处理函数、存入对应参数后单独调度，每个实例的SCHED标记互相独立，不会互相干扰。但这种方案内存开销大、链表操作多，性能远低于批量处理方案，非必要不使用。

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