Android BlueDroid分析: OSI中的reactor的实现与使用分析

2024-03-04 12:18

本文主要是介绍Android BlueDroid分析: OSI中的reactor的实现与使用分析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

说明

actor相当于内核中的worker, 用于监控与执行任务. reactor可以认为是: re+actor.

监控使用的是epoll, 而执行任务使用的是对应的epoll_wait返回后的event type, 然后调用相关的read或者write函数来完成对应event type的处理.而epoll_wait对某个fd是监控和执行一次还是多次是使用eventfd来进行控制.
epoll可以看下面的recator_change_registration这个函数的实现.

而eventfd的控制可以search event_read与event_write来找到对应的控制点.

actor的类型

不断监控: 即epoll_wait返回后, 再继续监控. 体现在函数reactor_start,这个时候可以叫做reactor

一次性的: event发生后就被移除,不再监控. 体现在函数reactor_run_once, 这个时候可以叫做actor

epoll_wait的线程休眠问题

epoll_wait在reactor中是永远等待,在event来临之前不会timeout而返回(最后一个参数-1决定的):

do {ret = epoll_wait(reactor->epoll_fd, events, MAX_EVENTS, -1);} while (ret == -1 && errno == EINTR);
因此调用这个epoll_wait后, thread会进行到休眠等待状态.

函数

核心函数的实现

reactor关键的有两个函数

  1. reactor_start/reactor_run_once,run_reactor : epoll_wait
  2. reactor_new : eventfd, epoll_create, epoll_ctl(EPOLL_CTL_ADD)

结构体

struct reactor_t {int epoll_fd;  //用于epoll waitint event_fd;  // 用于reactor的控制, 例如停止监控pthread_mutex_t list_lock;  // protects invalidation_list.list_t *invalidation_list;  // reactor objects that have been unregistered.pthread_t run_thread;       // the pthread on which reactor_run is executing.bool is_running;            // indicates whether |run_thread| is valid.bool object_removed;
};struct reactor_object_t {int fd;                              // the file descriptor to monitor for events.void *context;                       // a context that's passed back to the *_ready functions.reactor_t *reactor;                  // the reactor instance this object is registered with.pthread_mutex_t lock;                // protects the lifetime of this object and all variables.void (*read_ready)(void *context);   // function to call when the file descriptor becomes readable.void (*write_ready)(void *context);  // function to call when the file descriptor becomes writeable.
};

每一个reactor都是使用reactor_object_t来定义, 即reactor_object_t注册到reactor_t中

需要注意的是里面有一个List, 存放着所有没有注册的reactor, 这个是在unregister的时候将前面注册过的reactor放入到这个List中.

新创建与注册

reactor_t *reactor_new(void) {reactor_t *ret = (reactor_t *)osi_calloc(sizeof(reactor_t));if (!ret)return NULL;ret->epoll_fd = INVALID_FD;ret->event_fd = INVALID_FD;// epoll用来监控ret->epoll_fd = epoll_create(MAX_EVENTS);if (ret->epoll_fd == INVALID_FD) {LOG_ERROR("%s unable to create epoll instance: %s", __func__, strerror(errno));goto error;}// eventfd作为semophore,用来协调和控制是否继续进行监控ret->event_fd = eventfd(0, 0);if (ret->event_fd == INVALID_FD) {LOG_ERROR("%s unable to create eventfd: %s", __func__, strerror(errno));goto error;}// 这个List用来将unregistered的reactor存放pthread_mutex_init(&ret->list_lock, NULL);ret->invalidation_list = list_new(NULL);if (!ret->invalidation_list) {LOG_ERROR("%s unable to allocate object invalidation list.", __func__);goto error;}// 将需要监控的fd放入到epoll中struct epoll_event event;memset(&event, 0, sizeof(event));event.events = EPOLLIN;event.data.ptr = NULL;if (epoll_ctl(ret->epoll_fd, EPOLL_CTL_ADD, ret->event_fd, &event) == -1) {LOG_ERROR("%s unable to register eventfd with epoll set: %s", __func__, strerror(errno));goto error;}return ret;error:;reactor_free(ret);return NULL;
}

register

reactor_object_t *reactor_register(reactor_t *reactor,int fd, void *context,void (*read_ready)(void *context),void (*write_ready)(void *context)) {assert(reactor != NULL);assert(fd != INVALID_FD);reactor_object_t *object = (reactor_object_t *)osi_calloc(sizeof(reactor_object_t));if (!object) {LOG_ERROR("%s unable to allocate reactor object: %s", __func__, strerror(errno));return NULL;}object->reactor = reactor;object->fd = fd;object->context = context;object->read_ready = read_ready;object->write_ready = write_ready;pthread_mutex_init(&object->lock, NULL);// 和reactor_change类似, 也是给给回调.struct epoll_event event;memset(&event, 0, sizeof(event));if (read_ready)event.events |= (EPOLLIN | EPOLLRDHUP);if (write_ready)event.events |= EPOLLOUT;event.data.ptr = object;// 重点就在于这里, 和上面的reactor_new类似if (epoll_ctl(reactor->epoll_fd, EPOLL_CTL_ADD, fd, &event) == -1) {LOG_ERROR("%s unable to register fd %d to epoll set: %s", __func__, fd, strerror(errno));pthread_mutex_destroy(&object->lock);osi_free(object);return NULL;}return object;
}

修改reactor

bool reactor_change_registration(reactor_object_t *object, // 需要被修改的reactor可以从object获取void (*read_ready)(void *context), //传入函数指针,函数参数为void * contextvoid (*write_ready)(void *context)) {assert(object != NULL);struct epoll_event event;memset(&event, 0, sizeof(event));if (read_ready)  // 如果需要监控读的话,设置对应的FLAGevent.events |= (EPOLLIN | EPOLLRDHUP);if (write_ready)  // 如果需要监控写的话,设置对应的FLAGevent.events |= EPOLLOUT;event.data.ptr = object;// 更改epoll FLAGif (epoll_ctl(object->reactor->epoll_fd, EPOLL_CTL_MOD, object->fd, &event) == -1) {LOG_ERROR("%s unable to modify interest set for fd %d: %s", __func__, object->fd, strerror(errno));return false;}pthread_mutex_lock(&object->lock);object->read_ready = read_ready;  // 更改read event发生后的 callbackobject->write_ready = write_ready;pthread_mutex_unlock(&object->lock);return true;
}

run_reactor是实施监控的核心

// Runs the reactor loop for a maximum of |iterations|.
// 0 |iterations| means loop forever.
// |reactor| may not be NULL.
static reactor_status_t run_reactor(reactor_t *reactor, int iterations) {assert(reactor != NULL);reactor->run_thread = pthread_self();reactor->is_running = true;struct epoll_event events[MAX_EVENTS];for (int i = 0; iterations == 0 || i < iterations; ++i) {pthread_mutex_lock(&reactor->list_lock);list_clear(reactor->invalidation_list);pthread_mutex_unlock(&reactor->list_lock);int ret;do { // wait将block并等待Event发生ret = epoll_wait(reactor->epoll_fd, events, MAX_EVENTS, -1);} while (ret == -1 && errno == EINTR);if (ret == -1) {LOG_ERROR("%s error in epoll_wait: %s", __func__, strerror(errno));reactor->is_running = false;return REACTOR_STATUS_ERROR;}for (int j = 0; j < ret; ++j) {// The event file descriptor is the only one that registers with// a NULL data pointer. We use the NULL to identify it and break// out of the reactor loop.if (events[j].data.ptr == NULL) {eventfd_t value;eventfd_read(reactor->event_fd, &value); //监控的控制,即使用eventfd来完成epoll流程的更改,例如这里的退出监控reactor->is_running = false;return REACTOR_STATUS_STOP;}reactor_object_t *object = (reactor_object_t *)events[j].data.ptr;pthread_mutex_lock(&reactor->list_lock);if (list_contains(reactor->invalidation_list, object)) {pthread_mutex_unlock(&reactor->list_lock);continue;}// Downgrade the list lock to an object lock.pthread_mutex_lock(&object->lock);pthread_mutex_unlock(&reactor->list_lock);reactor->object_removed = false;if (events[j].events & (EPOLLIN | EPOLLHUP | EPOLLRDHUP | EPOLLERR) && object->read_ready)//根据Event type来调用回调object->read_ready(object->context);//调用read回调if (!reactor->object_removed && events[j].events & EPOLLOUT && object->write_ready)object->write_ready(object->context); //调用write回调完成处理pthread_mutex_unlock(&object->lock);if (reactor->object_removed) {pthread_mutex_destroy(&object->lock);osi_free(object);}}}reactor->is_running = false;return REACTOR_STATUS_DONE;
}

使用分析与示例

创建是在thread创建的时候做的, 然后注册则是在需要监控某个fd的时候使用.

例如HCI H4使用的是串口, 那么在打开tty后有一个fd, 然后就需要对这个fd进行监控;

例如对其进行读写操作, 从而完成HCI的信息传输.

对于这个例子,调用代码的顺序如下:

在hci_hal_h4.c中有:

uart_stream = eager_reader_new(uart_fd, &allocator_malloc, HCI_HAL_SERIAL_BUFFER_SIZE, SIZE_MAX, "hci_single_channel");

其中uart_fd,就是打开串口的fd, 然后:

  ret->inbound_read_object = reactor_register(thread_get_reactor(ret->inbound_read_thread), // 从前面创建的thread中获取在thread中创建的reactor, 这样子因为reactor的epoll_wait会睡眠也就会在这个新创建的thread中睡眠了.fd_to_read,ret,inbound_data_waiting,NULL);

这里面说到的新创建的thread的创建位于eager_reader.c中:

  ret->inbound_read_thread = thread_new(thread_name);
这个thread_new会创建reactor:

osi/src/thread.c
调用流程如下:
thread_t *thread_new_sized(const char *name, size_t work_queue_capacity) {ret->reactor = reactor_new();
....
}

thread_t *thread_new(const char *name) {return thread_new_sized(name, DEFAULT_WORK_QUEUE_CAPACITY);
}


前面的fd变成了fd_to_read, 接下来就到了epoll_ctl中的fd:

(epoll_ctl(reactor->epoll_fd,EPOLL_CTL_ADD,fd, &event)== -1)

这个时候就被加入到监控列表中了, 但是还没有调用epoll_wait来进行监控,仅仅只是加入到epoll的监控fd中.

void eager_reader_register(eager_reader_t *reader, reactor_t *reactor, eager_reader_cb read_cb, void *context) {assert(reader != NULL);assert(reactor != NULL);assert(read_cb != NULL);// Make sure the reader isn't currently registered.eager_reader_unregister(reader);reader->outbound_read_ready = read_cb;reader->outbound_context = context;reader->outbound_registration = reactor_register(reactor, reader->bytes_available_fd, reader, internal_outbound_read_ready, NULL);
}

下面是hci_hal_h4.c中的处理:

  return eager_reader_read(uart_stream, buffer, max_size, block);


// SEE HEADER FOR THREAD SAFETY NOTE
size_t eager_reader_read(eager_reader_t *reader, uint8_t *buffer, size_t max_size, bool block) {assert(reader != NULL);assert(buffer != NULL);// If the caller wants nonblocking behavior, poll to see if we have// any bytes available before reading.if (!block && !has_byte(reader))//只有非block才会去has_type(里面是select尝试读取),见下面函数的分析return 0;// Find out how many bytes we have available in our various buffers.eventfd_t bytes_available;if (eventfd_read(reader->bytes_available_fd, &bytes_available) == -1) {LOG_ERROR("%s unable to read semaphore for output data.", __func__);return 0;}// 上面的eventfd_read会block, 要等到有数据才会才会返回了.if (max_size > bytes_available)max_size = bytes_available;size_t bytes_consumed = 0;while (bytes_consumed < max_size) {if (!reader->current_buffer)reader->current_buffer = fixed_queue_dequeue(reader->buffers);// 这个queue里面的数据是在inbound_data_waiting中read并enqueue的,在以后的eager_reader.c分析中会有说明.size_t bytes_to_copy = reader->current_buffer->length - reader->current_buffer->offset;if (bytes_to_copy > (max_size - bytes_consumed))bytes_to_copy = max_size - bytes_consumed;memcpy(&buffer[bytes_consumed], &reader->current_buffer->data[reader->current_buffer->offset], bytes_to_copy);bytes_consumed += bytes_to_copy;reader->current_buffer->offset += bytes_to_copy;if (reader->current_buffer->offset >= reader->current_buffer->length) {reader->allocator->free(reader->current_buffer);reader->current_buffer = NULL;}}// 将没有读完即unconsumed的字节数使用eventfd_write写回去,这样子下次来读有可以继续从前面读完的位置继续读取bytes_available -= bytes_consumed;if (eventfd_write(reader->bytes_available_fd, bytes_available) == -1) {LOG_ERROR("%s unable to write back bytes available for output data.", __func__);}return bytes_consumed;
}


has_byte实现

static bool has_byte(const eager_reader_t *reader) {assert(reader != NULL);fd_set read_fds;FD_ZERO(&read_fds);FD_SET(reader->bytes_available_fd, &read_fds);// Immediate timeoutstruct timeval timeout;timeout.tv_sec = 0;timeout.tv_usec = 0;
// 设置的timeout时间是0,所以仅仅是try read一把,不会block select(reader->bytes_available_fd + 1, &read_fds, NULL, NULL, &timeout);return FD_ISSET(reader->bytes_available_fd, &read_fds);
}

总结

以上就是reactor的分析. 总结起来便是:

  • 1. 创建一个reactor,这个被thread.c中封装在new thread中
  • 2. reactor_register完成reactor的注册
  • 3. 调用run_reactor的封装函数完成一次性或者不停的监控, 这个依然被thread.c中的run_thread进行了封装.
  • 4. 使用reactor_unregister来将fd从epoll中移除,放入到unregistered list中
  • 5. 线程stop/exit/kill的时候,使用reactor_stop来停止epoll监控.

这篇关于Android BlueDroid分析: OSI中的reactor的实现与使用分析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

SpringBoot集成redisson实现延时队列教程

《SpringBoot集成redisson实现延时队列教程》文章介绍了使用Redisson实现延迟队列的完整步骤,包括依赖导入、Redis配置、工具类封装、业务枚举定义、执行器实现、Bean创建、消费... 目录1、先给项目导入Redisson依赖2、配置redis3、创建 RedissonConfig 配

Python的Darts库实现时间序列预测

《Python的Darts库实现时间序列预测》Darts一个集统计、机器学习与深度学习模型于一体的Python时间序列预测库,本文主要介绍了Python的Darts库实现时间序列预测,感兴趣的可以了解... 目录目录一、什么是 Darts?二、安装与基本配置安装 Darts导入基础模块三、时间序列数据结构与

Python使用FastAPI实现大文件分片上传与断点续传功能

《Python使用FastAPI实现大文件分片上传与断点续传功能》大文件直传常遇到超时、网络抖动失败、失败后只能重传的问题,分片上传+断点续传可以把大文件拆成若干小块逐个上传,并在中断后从已完成分片继... 目录一、接口设计二、服务端实现(FastAPI)2.1 运行环境2.2 目录结构建议2.3 serv

C#实现千万数据秒级导入的代码

《C#实现千万数据秒级导入的代码》在实际开发中excel导入很常见,现代社会中很容易遇到大数据处理业务,所以本文我就给大家分享一下千万数据秒级导入怎么实现,文中有详细的代码示例供大家参考,需要的朋友可... 目录前言一、数据存储二、处理逻辑优化前代码处理逻辑优化后的代码总结前言在实际开发中excel导入很

Spring Security简介、使用与最佳实践

《SpringSecurity简介、使用与最佳实践》SpringSecurity是一个能够为基于Spring的企业应用系统提供声明式的安全访问控制解决方案的安全框架,本文给大家介绍SpringSec... 目录一、如何理解 Spring Security?—— 核心思想二、如何在 Java 项目中使用?——

SpringBoot+RustFS 实现文件切片极速上传的实例代码

《SpringBoot+RustFS实现文件切片极速上传的实例代码》本文介绍利用SpringBoot和RustFS构建高性能文件切片上传系统,实现大文件秒传、断点续传和分片上传等功能,具有一定的参考... 目录一、为什么选择 RustFS + SpringBoot?二、环境准备与部署2.1 安装 RustF

Nginx部署HTTP/3的实现步骤

《Nginx部署HTTP/3的实现步骤》本文介绍了在Nginx中部署HTTP/3的详细步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录前提条件第一步:安装必要的依赖库第二步:获取并构建 BoringSSL第三步:获取 Nginx

springboot中使用okhttp3的小结

《springboot中使用okhttp3的小结》OkHttp3是一个JavaHTTP客户端,可以处理各种请求类型,比如GET、POST、PUT等,并且支持高效的HTTP连接池、请求和响应缓存、以及异... 在 Spring Boot 项目中使用 OkHttp3 进行 HTTP 请求是一个高效且流行的方式。

MyBatis Plus实现时间字段自动填充的完整方案

《MyBatisPlus实现时间字段自动填充的完整方案》在日常开发中,我们经常需要记录数据的创建时间和更新时间,传统的做法是在每次插入或更新操作时手动设置这些时间字段,这种方式不仅繁琐,还容易遗漏,... 目录前言解决目标技术栈实现步骤1. 实体类注解配置2. 创建元数据处理器3. 服务层代码优化填充机制详

Python实现Excel批量样式修改器(附完整代码)

《Python实现Excel批量样式修改器(附完整代码)》这篇文章主要为大家详细介绍了如何使用Python实现一个Excel批量样式修改器,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一... 目录前言功能特性核心功能界面特性系统要求安装说明使用指南基本操作流程高级功能技术实现核心技术栈关键函