1# Function Flow Runtime串行队列(C) 2 3<!--Kit: Function Flow Runtime Kit--> 4<!--Subsystem: Resourceschedule--> 5<!--Owner: @chuchihtung; @yanleo--> 6<!--Designer: @geoffrey_guo; @huangyouzhong--> 7<!--Tester: @lotsof; @sunxuhao--> 8<!--Adviser: @foryourself--> 9 10## 概述 11 12FFRT串行队列基于协程调度模型实现,提供高效的消息队列功能,支持异步通信、流量削峰、无锁化状态和资源管理以及架构解耦等多种业务场景。FFRT串行队列支持以下功能: 13 14- **队列创建销毁**,支持创建和销毁队列,创建时可指定队列名称和优先级。每个队列功能上相当于一个单独的线程,队列中的任务相对于用户线程异步执行。 15- **任务延迟**,支持在任务提交时设置延迟时间(`delay`),单位为微秒(`us`)。延迟任务将在`uptime`(提交时刻+延迟时间)后调度执行。 16- **串行调度**,同一队列中的任务按照`uptime`升序排列,严格串行执行。确保队列中上一个任务完成后,下一个任务才会开始执行。 17- **任务取消**,支持根据任务句柄取消未出队的任务。若任务已开始执行或执行完成,则无法取消。 18- **任务等待**,支持根据任务句柄等待任务完成。指定任务完成时,队列中所有`uptime`早于该任务的任务均已执行完成。 19- **任务优先级**,支持在任务提交时设置单个任务的优先级。优先级仅在任务出队后相对于系统其他负载生效,不影响同一队列内任务的串行顺序。若未设置任务优先级,则默认继承队列的优先级。 20 21## 示例:异步日志系统 22 23举例实现一个异步日志系统,主线程将日志任务提交到队列,后台线程从队列中取出任务并写入文件。这种方式既能保证日志的顺序性,又能避免文件写入操作阻塞主线程。 24 25借助FFRT并行化框架API,开发者只需专注于业务逻辑的实现,无需关注异步线程管理、线程安全及调度效率等问题。 26 27用例简化了异常处理和线程安全相关的一些逻辑,实现代码如下所示: 28 29```c 30#include <stdio.h> 31#include <stdlib.h> 32#include <string.h> 33#include <unistd.h> 34#include "ffrt/ffrt.h" // 来自 OpenHarmony 第三方库 "@ppd/ffrt" 35 36typedef struct { 37 FILE *logFile; // 日志文件指针 38 ffrt_queue_t queue; // 任务队列 39} logger_t; 40 41// 全局Logger变量 42logger_t* g_logger = NULL; 43 44// 初始化日志系统 45logger_t *logger_create(const char *filename) 46{ 47 logger_t *logger = (logger_t *)malloc(sizeof(logger_t)); 48 if (!logger) { 49 perror("Failed to allocate memory for logger_t"); 50 return NULL; 51 } 52 53 // 打开日志文件 54 logger->logFile = fopen(filename, "a"); 55 if (!logger->logFile) { 56 perror("Failed to open log file"); 57 free(logger); 58 return NULL; 59 } 60 printf("Log file opened: %s\n", filename); 61 62 // 创建任务队列 63 logger->queue = ffrt_queue_create(ffrt_queue_serial, "logger_queue_c", NULL); 64 if (!logger->queue) { 65 perror("Failed to create queue"); 66 fclose(logger->logFile); 67 free(logger); 68 return NULL; 69 } 70 71 return logger; 72} 73 74// 销毁日志系统 75void logger_destroy(logger_t *logger) 76{ 77 if (logger) { 78 // 销毁队列 79 if (logger->queue) { 80 ffrt_queue_destroy(logger->queue); 81 } 82 83 // 关闭日志文件 84 if (logger->logFile) { 85 fclose(logger->logFile); 86 printf("Log file closed\n"); 87 } 88 89 free(logger); 90 } 91} 92 93// 日志任务 94void write_task(void *arg) 95{ 96 char *message = (char *)arg; 97 if (g_logger && g_logger->logFile) { 98 fprintf(g_logger->logFile, "%s\n", message); 99 fflush(g_logger->logFile); 100 } 101 102 free(message); 103} 104 105// 添加日志任务 106void logger_log(logger_t *logger, const char *message) 107{ 108 if (!logger || !logger->queue) { 109 return; 110 } 111 112 // 复制消息字符串 113 char *messageCopy = strdup(message); 114 if (!messageCopy) { 115 perror("Failed to allocate memory for message"); 116 return; 117 } 118 119 ffrt_queue_submit_f(logger->queue, write_task, messageCopy, NULL); 120} 121 122int main() 123{ 124 // 初始化全局logger 125 g_logger = logger_create("log_c.txt"); 126 if (!g_logger) { 127 return -1; 128 } 129 130 // 使用全局logger添加日志任务 131 logger_log(g_logger, "Log message 1"); 132 logger_log(g_logger, "Log message 2"); 133 logger_log(g_logger, "Log message 3"); 134 135 // 模拟主线程继续执行其他任务 136 sleep(1); 137 138 // 销毁全局logger 139 logger_destroy(g_logger); 140 g_logger = NULL; 141 return 0; 142} 143``` 144 145## 接口说明 146 147上述样例中涉及到主要的FFRT的接口包括: 148 149| 名称 | 描述 | 150| ------------------------------------------------------------------ | -------------------- | 151| [ffrt_queue_create](ffrt-api-guideline-c.md#ffrt_queue_t) | 创建队列。 | 152| [ffrt_queue_destroy](ffrt-api-guideline-c.md#ffrt_queue_t) | 销毁队列。 | 153| [ffrt_queue_submit_f](ffrt-api-guideline-c.md#ffrt_queue_t) | 向队列提交一个任务。 | 154 155> **说明:** 156> 157> - 如何使用FFRT C++ API详见:[FFRT C++接口三方库使用指导](ffrt-development-guideline.md#using-ffrt-c-api-1)。 158> - 使用FFRT C接口或C++接口时,都可以通过FFRT C++接口三方库简化头文件包含,即使用`#include "ffrt/ffrt.h"`头文件包含语句。 159 160## 约束限制 161 162- **避免提交超长任务** FFRT内置进程级队列任务超时检测机制。当串行任务执行时间超过预设阈值(默认30秒)时,系统将打印和上报异常日志,并触发预设的进程超时回调函数(如已配置)。 163- **同步原语使用规范** 在提交给FFRT的任务闭包中,避免使用`std::mutex`、`std::condition_variable`和`std::recursive_mutex`,标准库同步原语会长时间占用FFRT Worker线程。请替换为FFRT提供的同步原语:`ffrt::mutex`、`ffrt::condition_variable`或`ffrt::recursive_mutex`,其用法与标准库相同。 164- **全局变量中的队列管理** 若在全局变量中管理串行队列,随业务进程销毁,测试程序中需注意生命周期解耦问题。在测试用例结束时,需显式释放串行队列,其他资源可随全局变量释放。原因是全局变量在主函数结束后析构,而串行队列的释放依赖于FFRT框架中的其他资源,此时这些资源可能已被销毁。 165