ptmalloc_lock_all 奇怪的 for 循环

Question

我正在尝试理解 glibc 中的一些代码。为什么要使用这个奇怪的 for 循环？我猜出于某种原因编译器优化？

 237   for (ar_ptr = &main_arena;; )
 238     { 
 239       (void) mutex_lock (&ar_ptr->mutex);
 240       ar_ptr = ar_ptr->next;
 241       if (ar_ptr == &main_arena)
 242         break;
 243     }

Answer 1

你觉得那个循环中有什么奇怪的地方？

显然，main_arena 是循环链表的头部。要遍历一个循环列表，请跟随下一个链接，直到您发现自己回到了起点。但是您必须在循环结束时进行该测试，因为退出条件在第一次迭代时为真。

循环链表很常见，尤其是双向链表。使列表循环避免了许多插入和删除操作的特殊情况检查。

在这种情况下，每个列表项中都有一个互斥锁，循环的重点是锁定所有互斥锁。这可能就是该函数被称为lock_all 的原因。

您可以使用 do ... while 编写经过结束测试的循环，但该构造无法初始化循环变量。