• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Function Flow Runtime串行队列(C++)
2
3## 概述
4
5FFRT串行队列基于协程调度模型实现，提供高效的消息队列功能，支持异步通信、流量削峰、无锁化状态和资源管理以及架构解耦等多种业务场景。FFRT串行队列支持以下功能：
6
7- **​队列创建销毁**​，支持创建和销毁队列，创建时可指定队列名称和优先级。每个队列功能上相当于一个单独的线程，队列中的任务相对于用户线程异步执行。
8- **任务延迟**​，支持在任务提交时设置延迟时间（`delay`），单位为微秒（`us`）。延迟任务将在`uptime`（提交时刻+延迟时间）后调度执行。
9- **​串行调度**​，同一队列中的任务按照`uptime`升序排列，严格串行执行。确保队列中上一个任务完成后，下一个任务才会开始执行。
10- **​任务取消**​，支持根据任务句柄取消未出队的任务。若任务已开始执行或执行完成，则无法取消。
11- **​任务等待**​，支持根据任务句柄等待任务完成。指定任务完成时，队列中所有`uptime`早于该任务的任务均已执行完成。
12- **任务优先级**​，支持在任务提交时设置单个任务的优先级。优先级仅在任务出队后相对于系统其他负载生效，不影响同一队列内任务的串行顺序。若未设置任务优先级，则默认继承队列的优先级。
13
14## 示例：异步日志系统
15
16举例实现一个异步日志系统，主线程将日志任务提交到队列，后台线程从队列中取出任务并写入文件。这种方式既能保证日志的顺序性，又能避免文件写入操作阻塞主线程。
17
18借助FFRT并行化框架API，开发者只需专注于业务逻辑的实现，无需关注异步线程管理、线程安全及调度效率等问题。
19
20用例简化了异常处理和线程安全相关的一些逻辑，实现代码如下所示：
21
22```cpp
23#include <iostream>
24#include <fstream>
25#include <string>
26#include <memory>
27
28#include "ffrt.h"
29
30class Logger {
31public:
32    Logger(const std::string& filename)
33    {
34        // 创建队列
35        queue_ = std::make_unique<ffrt::queue>("loggerQueue");
36
37        // 以追加模式打开文件
38        logFile_.open(filename, std::ios::app);
39        if (!logFile_.is_open()) {
40            throw std::runtime_error("Failed to open log file: " + filename);
41        }
42        std::cout << "Log file opened: " << filename << std::endl;
43    }
44
45    ~Logger() {
46        // 销毁队列
47        queue_ = nullptr;
48
49        if (logFile_.is_open()) {
50            logFile_.close();
51            std::cout << "Log file closed." << std::endl;
52        }
53    }
54
55    // 添加日志任务
56    void log(const std::string& message) {
57        queue_->submit([this, message] {
58            logFile_ << message << std::endl;
59        });
60    }
61
62private:
63    std::ofstream logFile_;
64    std::unique_ptr<ffrt::queue> queue_;
65};
66
67int main()
68{
69    Logger logger("log.txt");
70
71    // 主线程添加日志任务
72    logger.log("Log message 1");
73    logger.log("Log message 2");
74    logger.log("Log message 3");
75
76    // 模拟主线程继续执行其他任务
77    std::this_thread::sleep_for(std::chrono::seconds(1));
78
79    return 0;
80}
81```
82
83## 接口说明
84
85上述样例中涉及到主要的FFRT的接口包括：
86
87| 名称                                             | 描述           |
88| ------------------------------------------------ | -------------- |
89| class [queue](ffrt-api-guideline-cpp.md#queue)   | 队列类。       |
90| [sleep_for](ffrt-api-guideline-cpp.md#sleep_for) | 延迟一定时间。 |
91
92> **说明：**
93>
94> 如何使用FFRT C++ API详见：[C++接口使用指导](ffrt-development-guideline.md#using-ffrt-c-api-1)
95
96## 约束限制
97
98- **避免提交超长任务** FFRT内置进程级队列任务超时检测机制。当串行任务执行时间超过预设阈值（默认30秒）时，系统将打印和上报异常日志，并触发预设的进程超时回调函数（如已配置）。
99- **同步原语使用规范** 在提交给FFRT的任务闭包中，避免使用`std::mutex`、`std::condition_variable`和`std::recursive_mutex`，标准库同步原语会长时间占用FFRT Worker线程。请替换为FFRT提供的同步原语：`ffrt::mutex`、`ffrt::condition_variable`或`ffrt::recursive_mutex`，其用法与标准库相同。
100- **全局变量中的队列管理** 若在全局变量中管理串行队列，随业务进程销毁，测试程序中需注意生命周期解耦问题。在测试用例结束时，需显式释放串行队列，其他资源可随全局变量释放。原因是全局变量在主函数结束后析构，而串行队列的释放依赖于FFRT框架中的其他资源，此时这些资源可能已被销毁。
101