QEMU源码全解析 —— virtio(12)

2023-12-19 08:01
文章标签 源码 解析 qemu virtio

本文主要是介绍QEMU源码全解析 —— virtio(12),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

接前一篇文章:

上一回对于virtio_device_realize函数进行了详细解析。在第2步中virtio_device_realize函数调用了具体类的realize函数,对于virtio balloon设备来说是virtio_balloon_realize函数。本回就来对于virtio_balloon_device_realize函数进行解析。

为了便于理解,再次贴出virtio_device_realize函数源码,在hw/virtio/virtio.c中,如下:

static void virtio_device_realize(DeviceState *dev, Error **errp)
{VirtIODevice *vdev = VIRTIO_DEVICE(dev);VirtioDeviceClass *vdc = VIRTIO_DEVICE_GET_CLASS(dev);Error *err = NULL;/* Devices should either use vmsd or the load/save methods */assert(!vdc->vmsd || !vdc->load);if (vdc->realize != NULL) {vdc->realize(dev, &err);if (err != NULL) {error_propagate(errp, err);return;}}virtio_bus_device_plugged(vdev, &err);if (err != NULL) {error_propagate(errp, err);vdc->unrealize(dev);return;}vdev->listener.commit = virtio_memory_listener_commit;vdev->listener.name = "virtio";memory_listener_register(&vdev->listener, vdev->dma_as);QTAILQ_INSERT_TAIL(&virtio_list, vdev, next);
}

调用具体类的realize函数的代码片段如下:

    if (vdc->realize != NULL) {vdc->realize(dev, &err);if (err != NULL) {error_propagate(errp, err);return;}}

virtio_balloon_device_realize函数在hw/virtio/virtio-balloon.c中,代码如下:

static void virtio_balloon_device_realize(DeviceState *dev, Error **errp)
{VirtIODevice *vdev = VIRTIO_DEVICE(dev);VirtIOBalloon *s = VIRTIO_BALLOON(dev);int ret;virtio_init(vdev, VIRTIO_ID_BALLOON, virtio_balloon_config_size(s));ret = qemu_add_balloon_handler(virtio_balloon_to_target,virtio_balloon_stat, s);if (ret < 0) {error_setg(errp, "Only one balloon device is supported");virtio_cleanup(vdev);return;}if (virtio_has_feature(s->host_features, VIRTIO_BALLOON_F_FREE_PAGE_HINT) &&!s->iothread) {error_setg(errp, "'free-page-hint' requires 'iothread' to be set");virtio_cleanup(vdev);return;}s->ivq = virtio_add_queue(vdev, 128, virtio_balloon_handle_output);s->dvq = virtio_add_queue(vdev, 128, virtio_balloon_handle_output);s->svq = virtio_add_queue(vdev, 128, virtio_balloon_receive_stats);if (virtio_has_feature(s->host_features, VIRTIO_BALLOON_F_FREE_PAGE_HINT)) {s->free_page_vq = virtio_add_queue(vdev, VIRTQUEUE_MAX_SIZE,virtio_balloon_handle_free_page_vq);precopy_add_notifier(&s->free_page_hint_notify);object_ref(OBJECT(s->iothread));s->free_page_bh = aio_bh_new_guarded(iothread_get_aio_context(s->iothread),virtio_ballloon_get_free_page_hints, s,&dev->mem_reentrancy_guard);}if (virtio_has_feature(s->host_features, VIRTIO_BALLOON_F_REPORTING)) {s->reporting_vq = virtio_add_queue(vdev, 32,virtio_balloon_handle_report);}reset_stats(s);
}

在同文件(hw/virtio/virtio-balloon.c)的virtio_balloon_class_init函数中,将virtio_balloon_device_realize函数(地址)赋给了vdc->realize。

static void virtio_balloon_class_init(ObjectClass *klass, void *data)
{DeviceClass *dc = DEVICE_CLASS(klass);VirtioDeviceClass *vdc = VIRTIO_DEVICE_CLASS(klass);device_class_set_props(dc, virtio_balloon_properties);dc->vmsd = &vmstate_virtio_balloon;set_bit(DEVICE_CATEGORY_MISC, dc->categories);vdc->realize = virtio_balloon_device_realize;vdc->unrealize = virtio_balloon_device_unrealize;vdc->reset = virtio_balloon_device_reset;vdc->get_config = virtio_balloon_get_config;vdc->set_config = virtio_balloon_set_config;vdc->get_features = virtio_balloon_get_features;vdc->set_status = virtio_balloon_set_status;vdc->vmsd = &vmstate_virtio_balloon_device;
}

virtio_balloon_device_realize()是virtio balloon设备的具现化函数,它用于实现TYPE_VIRTIO_BALLOON_DEVICE的具现化。

(1)virtio_balloon_device_realize函数首先调用virtio_init函数初始化virtio设备的公共部分。代码片段如下:

    virtio_init(vdev, VIRTIO_ID_BALLOON, virtio_balloon_config_size(s));

virtio_init函数在hw/virtio/virtio.c中,代码如下:

void virtio_init(VirtIODevice *vdev, uint16_t device_id, size_t config_size)
{BusState *qbus = qdev_get_parent_bus(DEVICE(vdev));VirtioBusClass *k = VIRTIO_BUS_GET_CLASS(qbus);int i;int nvectors = k->query_nvectors ? k->query_nvectors(qbus->parent) : 0;if (nvectors) {vdev->vector_queues =g_malloc0(sizeof(*vdev->vector_queues) * nvectors);}vdev->start_on_kick = false;vdev->started = false;vdev->vhost_started = false;vdev->device_id = device_id;vdev->status = 0;qatomic_set(&vdev->isr, 0);vdev->queue_sel = 0;vdev->config_vector = VIRTIO_NO_VECTOR;vdev->vq = g_new0(VirtQueue, VIRTIO_QUEUE_MAX);vdev->vm_running = runstate_is_running();vdev->broken = false;for (i = 0; i < VIRTIO_QUEUE_MAX; i++) {vdev->vq[i].vector = VIRTIO_NO_VECTOR;vdev->vq[i].vdev = vdev;vdev->vq[i].queue_index = i;vdev->vq[i].host_notifier_enabled = false;}vdev->name = virtio_id_to_name(device_id);vdev->config_len = config_size;if (vdev->config_len) {vdev->config = g_malloc0(config_size);} else {vdev->config = NULL;}vdev->vmstate = qdev_add_vm_change_state_handler(DEVICE(vdev),virtio_vmstate_change, vdev);vdev->device_endian = virtio_default_endian();vdev->use_guest_notifier_mask = true;
}

virtio_init函数的工作是初始化所有virtio设备的基类TYPE_VIRTIO_DEVICE的实例VirtIODevice结构体,其对VirtIODevice的成员进行初始化。

VirtIODevice的vector_queues成员和config_vector成员与MSI中断相关;device_id、status、name成员分别表示设备的id、状态和名字;isr成员用来表示中断请求;queue_sel成员用来在进行配置队列的时候选择队列;vq成员表示的是该设备的virtio queue,这里分配了VIRTIO_QUEUE_MAX个queue,并且进行了初始化;config_len和config分别表示该virtio设备配置空间的长度和数据存放区域;use_guest_notifier_mask成员与irqfd有关。

回到virtio_balloon_device_realize函数。

(2)在virtio_init函数初始化了VirtIODevice之后,调用virtio_add_queue函数创建了3个virtqueue。代码片段如下:

    s->ivq = virtio_add_queue(vdev, 128, virtio_balloon_handle_output);s->dvq = virtio_add_queue(vdev, 128, virtio_balloon_handle_output);s->svq = virtio_add_queue(vdev, 128, virtio_balloon_receive_stats);

virtqueue是virtio设备的重要组成部分,用来与虚拟机中的操作系统进行数据传输。virtio_add_queue函数在hw/virtio/virtio.c中,代码如下:

VirtQueue *virtio_add_queue(VirtIODevice *vdev, int queue_size,VirtIOHandleOutput handle_output)
{int i;for (i = 0; i < VIRTIO_QUEUE_MAX; i++) {if (vdev->vq[i].vring.num == 0)break;}if (i == VIRTIO_QUEUE_MAX || queue_size > VIRTQUEUE_MAX_SIZE)abort();vdev->vq[i].vring.num = queue_size;vdev->vq[i].vring.num_default = queue_size;vdev->vq[i].vring.align = VIRTIO_PCI_VRING_ALIGN;vdev->vq[i].handle_output = handle_output;vdev->vq[i].used_elems = g_new0(VirtQueueElement, queue_size);return &vdev->vq[i];
}

virtio_add_queue函数是virtio框架中用来添加virtqueue的接口,其3个参数分别表示要添加的设备(VirtIODevice *vdev)、virtqueue的大小(int queue_size)以及处理函数(VirtIOHandleOutput handle_output)。

virtio_add_queue函数从VirtIODevice的vq数组成员中找到还未被使用的一个queue。一个virtqueue使用VirtQueue结构表示,这里对VirtQueue的成员进行初始化,包括这个queue的大小以及对齐等信息。最重要的是设置VirtQueue的handle_output成员,其是一个函数指针,在收到虚拟机发过来的IO请求时,会调用存放在handle_output中的回调函数。

VirtQueue结构的定义在hw/virtio/virtio.c中,如下:

struct VirtQueue
{VRing vring;VirtQueueElement *used_elems;/* Next head to pop */uint16_t last_avail_idx;bool last_avail_wrap_counter;/* Last avail_idx read from VQ. */uint16_t shadow_avail_idx;bool shadow_avail_wrap_counter;uint16_t used_idx;bool used_wrap_counter;/* Last used index value we have signalled on */uint16_t signalled_used;/* Last used index value we have signalled on */bool signalled_used_valid;/* Notification enabled? */bool notification;uint16_t queue_index;unsigned int inuse;uint16_t vector;VirtIOHandleOutput handle_output;VirtIODevice *vdev;EventNotifier guest_notifier;EventNotifier host_notifier;bool host_notifier_enabled;QLIST_ENTRY(VirtQueue) node;
};

欲知后事如何,且看下回分解。

这篇关于QEMU源码全解析 —— virtio(12)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/511453

相关文章

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node

Java 虚拟线程的创建与使用深度解析

《Java虚拟线程的创建与使用深度解析》虚拟线程是Java19中以预览特性形式引入,Java21起正式发布的轻量级线程,本文给大家介绍Java虚拟线程的创建与使用,感兴趣的朋友一起看看吧... 目录一、虚拟线程简介1.1 什么是虚拟线程?1.2 为什么需要虚拟线程?二、虚拟线程与平台线程对比代码对比示例:三

一文解析C#中的StringSplitOptions枚举

《一文解析C#中的StringSplitOptions枚举》StringSplitOptions是C#中的一个枚举类型,用于控制string.Split()方法分割字符串时的行为,核心作用是处理分割后... 目录C#的StringSplitOptions枚举1.StringSplitOptions枚举的常用

Python函数作用域与闭包举例深度解析

《Python函数作用域与闭包举例深度解析》Python函数的作用域规则和闭包是编程中的关键概念,它们决定了变量的访问和生命周期,:本文主要介绍Python函数作用域与闭包的相关资料,文中通过代码... 目录1. 基础作用域访问示例1:访问全局变量示例2:访问外层函数变量2. 闭包基础示例3:简单闭包示例4

MyBatis延迟加载与多级缓存全解析

《MyBatis延迟加载与多级缓存全解析》文章介绍MyBatis的延迟加载与多级缓存机制,延迟加载按需加载关联数据提升性能,一级缓存会话级默认开启,二级缓存工厂级支持跨会话共享,增删改操作会清空对应缓... 目录MyBATis延迟加载策略一对多示例一对多示例MyBatis框架的缓存一级缓存二级缓存MyBat

前端缓存策略的自解方案全解析

《前端缓存策略的自解方案全解析》缓存从来都是前端的一个痛点,很多前端搞不清楚缓存到底是何物,:本文主要介绍前端缓存的自解方案,文中通过代码介绍的非常详细,需要的朋友可以参考下... 目录一、为什么“清缓存”成了技术圈的梗二、先给缓存“把个脉”:浏览器到底缓存了谁?三、设计思路:把“发版”做成“自愈”四、代码

Java集合之Iterator迭代器实现代码解析

《Java集合之Iterator迭代器实现代码解析》迭代器Iterator是Java集合框架中的一个核心接口,位于java.util包下,它定义了一种标准的元素访问机制,为各种集合类型提供了一种统一的... 目录一、什么是Iterator二、Iterator的核心方法三、基本使用示例四、Iterator的工

Java JDK Validation 注解解析与使用方法验证

《JavaJDKValidation注解解析与使用方法验证》JakartaValidation提供了一种声明式、标准化的方式来验证Java对象,与框架无关,可以方便地集成到各种Java应用中,... 目录核心概念1. 主要注解基本约束注解其他常用注解2. 核心接口使用方法1. 基本使用添加依赖 (Maven

Java中的分布式系统开发基于 Zookeeper 与 Dubbo 的应用案例解析

《Java中的分布式系统开发基于Zookeeper与Dubbo的应用案例解析》本文将通过实际案例,带你走进基于Zookeeper与Dubbo的分布式系统开发,本文通过实例代码给大家介绍的非常详... 目录Java 中的分布式系统开发基于 Zookeeper 与 Dubbo 的应用案例一、分布式系统中的挑战二