蜗窝科技

@cade：1，相同的work是可以提交多次的，确实有pool->worklist来管理待处理（pending）的work，从log也可以看到： echo t >/proc/sysrq-trigger; dmesg [ 367.575510] Showing busy workqueues and worker pools: [ 367.575513] workqueue events: flags=0x0 [ 367.575520] pwq 4: cpus=0 node=0 flags=0x0 nice=0 active=10/256 [ 367.575530] in-flight: 9297 :mxt_work [ 367.576205] pending: mxt_work, vmstat_shepherd, tsens_poll, tsens_poll, sdhci_msm_pm_qos_cpu_unvote_work, sdhci_msm_pm_qos_cpu_unvote_work, sdhci_msm_pm_qos_irq_unvote_work 这里有两个tsens_poll，两个sdhci_msm_pm_qos_cpu_unvote_work。 至于丢包，那可能是pending太久上层认为timeout丢掉了。 2，关于max_active，Documentation//core-api/workqueue.rst有很好的解释和例子。对于你这例子，传入默认的0最合适，系统会设为256（512/2）。 The following example execution scenarios try to illustrate how cmwq behave under different configurations. Work items w0, w1, w2 are queued to a bound wq q0 on the same CPU. w0 burns CPU for 5ms then sleeps for 10ms then burns CPU for 5ms again before finishing. w1 and w2 burn CPU for 5ms then sleep for 10ms. Ignoring all other tasks, works and processing overhead, and assuming simple FIFO scheduling, the following is one highly simplified version of possible sequences of events with the original wq. :: TIME IN MSECS EVENT 0 w0 starts and burns CPU 5 w0 sleeps 15 w0 wakes up and burns CPU 20 w0 finishes 20 w1 starts and burns CPU 25 w1 sleeps 35 w1 wakes up and finishes 35 w2 starts and burns CPU 40 w2 sleeps 50 w2 wakes up and finishes And with cmwq with ``@max_active`` >= 3, :: TIME IN MSECS EVENT 0 w0 starts and burns CPU 5 w0 sleeps 5 w1 starts and burns CPU 10 w1 sleeps 10 w2 starts and burns CPU 15 w2 sleeps 15 w0 wakes up and burns CPU 20 w0 finishes 20 w1 wakes up and finishes 25 w2 wakes up and finishes If ``@max_active`` == 2, :: ......

@bsp：如果为了模拟PAN是需要切换ttbr1的，看来PAN对进程切换的latency影响不小啊。

@linuxer：ttbr1_el1 Is the page table base register in kernel space , Use when accessing kernel space address , All processes share , No need to switch. kernel threads之间的切换是不需要切换ttrb1_el1的

@bsp：也可以得出，在这样的例子中：用户线程A->kernel线程B->kernel线程C/D/E/F->用户线程G，只有最后一个用户线程在执行finish_task_switch时才会mmdrop(A->active_mm)并跟新mm，其它内核线程都是在沿用第一个用户线程的active_mm。由此看来，内核线程的切换loading还是比较轻的。

@walentine："这里最后完成switch_to后面BBB部分 的还是B线程"，这句话没有问题。 但是在 "用户线程A->kernel线程B->用户线程C" 这样的例子中，B会mmgrab(A->active_mm)，因为B没有用户地址空间 不需要更新mm，所以B在执行finish_task_switch时并不会mmdrop(A->active_mm); B切换到C后，如果C是内核线程处理非常简单（C->active_mm = B->active_mm，即A->active_mm），但是如果是用户线程，C在执行finish_task_switch时就会mmdrop(A->active_mm)（说明A没有其它task借用了可以自己玩耍），然后更新C的mm到ttbr0_el1.

@navadoo：arm/arm64等将内核空间和用户空间 通过不同页表基地址 隔离开来的架构，由于内核是所有task共享的，其实在切换内核线程时 是不需要要切换内核空间的页表基地址(ttbr1_el1)，所以enter_lazy_tlb可以是空函数。 但如果在arm中enable了SW_TTBR0_PAN（privilege access non，禁止kernel访问用户空间，如需访问使用copy_from/to_user来先disable PAN，访问后再enable），update_saved_ttbr0其实就是将用户空间基地址ttrb0_el1设成zero page（在访问user address时都是得到0）。 static inline void enter_lazy_tlb(struct mm_struct *mm, struct task_struct *tsk) { /* * We don't actually care about the ttbr0 mapping, so point it at the * zero page. */ update_saved_ttbr0(tsk, &init_mm); }

@www：我觉得前半部分理解没有问题，从日志也可以看到： echo t >/proc/sysrq-trigger; dmesg [ 367.575510] Showing busy workqueues and worker pools: [ 367.575513] workqueue events: flags=0x0 [ 367.575520] pwq 4: cpus=0 node=0 flags=0x0 nice=0 active=10/256 [ 367.575530] in-flight: 9297 :mxt_work [ 367.576205] pending: mxt_work, watchdog_work, *** 这些work都是挂在到同一个pool中的。 但并行处理是会的，有时候worker_pool太忙了，就会创建新的work-thread去并行处理多个work，这在Concurrency Managed Workqueue之（三/二）有介绍。

怎么注册账号呢？

@fanzhang：我也认为有这个问题：A->B后，A先执行switch_to之前的AAA部分代码，切换到B后，自然是B来执行swtich_to后的BBB部分代码，为何B欢快执行后，再走调度切换流程B->C后，要用C来释放借用的A的mm_struct？B和C都是同样的被调度方，B为何不执行finish_task_switch来释放A的mm_struct？

您好，有个疑惑的地方，这个汇编翻译成C的，id_map段创建block_map时，大小小于2M，start和end地址相同，走不进while循环，那岂不是无法填充tbl中的单元？ #define create_block_map(tbl, flags, phys, start, end) do { \ phys >>= SWAPPER_BLOCK_SHIFT; /* 1 */ \ start >>= SWAPPER_BLOCK_SHIFT; /* 2 */ \ start &= PTRS_PER_PTE - 1; /* 2 */ \ phys = flags | (phys << SWAPPER_BLOCK_SHIFT);/* 3 */ \ end >>= SWAPPER_BLOCK_SHIFT; /* 4 */ \ end &= PTRS_PER_PTE - 1; /* 4 */ \ \ while (start != end) { /* 5 */ \ *((long *)(tbl + (start << 3))) = phys; /* 6 */ \ start++; /* 7 */ \ phys += SWAPPER_BLOCK_SIZE; /* 8 */ \ } \ } while (0)