Question

我正在尝试将嵌入式操作系统移植到新平台，我正面临着文件系统组件的一些问题。我介入代码以最终本地化问题：与我的案例相关的函数调用是

    // int64_t vnid = 1;
    // int32_t vid = 0;
    ...
    vnode = queue_lookup (& vnode_manager . vnode_list,
                vnode_id_inspector, vnid, vid);

这是 queue_lookup 声明：

    void * queue_lookup (queue_t * queue, queue_inspector_t inspector, ...)
    {
      bool result;
      va_list list, list_copy;
      queue_link_t * item = NULL;

      va_start (list, inspector);

      if (queue -> status != 0)
      {
        for (item = queue -> head; item != NULL; item = item -> next)
        {
          result = false;

          va_copy (list_copy, list);
          result = inspector (item, list_copy);
          va_end (list_copy);

          if (result) break;
        }
      }

      va_end (list);
      return item;
    }

最后，这是 vnode_id_inspector 声明：

    bool vnode_id_inspector (void * node, va_list list)
    {
      vnode_t vnode = node;
      int64_t vnid = va_arg (list, int64_t);
      int32_t vid = va_arg (list, int32_t);

      watch (bool)
      {
        ensure (vnode != NULL, false);
        return vnode -> id == vnid && vnode -> volume -> id == vid;
      }
    }

现在问题是当我用vnid = 1和vid = 0调用queue_lookup时，我在vnode_id_inspector中得到vnid = 1和vid = 1145248！

如何以尽可能少的代码更改来解决此问题？

此致

编辑：添加一些调试信息

    (gdb) p vnode_manager . vnode_list
    $44 = {lock = 1, head = 0x167770, tail = 0x167770, status = 1}
    (gdb) p vnode_manager . vnode_list ->head
    $45 = (queue_link_t *) 0x167770
    (gdb) p *(vnode_t)vnode_manager . vnode_list ->head
    $46 = {link = {next = 0x0}, id = 1, volume = 0x166370, destroy = false, 
      usage_counter = 1, data = 0x166430}
    (gdb) p *(volume_t)((vnode_t)vnode_manager . vnode_list ->head)->volume
    $47 = {link = {next = 0x0}, id = 0, root_vnid = 1, lock = 0, host_volume = 0x0, 
      host_vnid = -1, cmd = 0x13a768 <rootfs_cmd>, data = 0x1663d0}

Answer 1

我解决了这个问题，堆栈对齐存在问题。我通过在cpu_context_switch.s中进行一些调整来修复它，使堆栈与 8bytes 而不是 4bytes 对齐。

为什么va_arg返回错误的数据？

1 个答案: