关于 C/C++ boost::asio 的一些须知

2024-03-26 15:44
文章标签 c++ boost asio 须知

本文主要是介绍关于 C/C++ boost::asio 的一些须知,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在 C/C++ 之中异步事件及网络库,建议直接统一采用 boost::asio、不要去自己手写 kqueue、epoll、iocp,这不会带来多大的性能提升。

国内很多所谓的大牛都在说 aiso 性能差,不要在意别人的看法,在绝大多数需要网络编程的场景里面 asio 的吞吐性能足够用。

如果大家真要追求所谓的单机网络吞吐性能(装13 geek),直接DPDK来处理是最快的,解决方案无外乎以下几种:

1、DPDK + VPP

2、DPDK + 多核LWIP

上述是假设处理TCP,UDP根本不需要带协议栈,DPDP+自己手写就行了,想要多少个核来彪性能就多少个核来彪,DPDK多队列模式就可以。

SOCKET用户层编程接口还要切入内核,哪有直接DPDK零拷贝来的快,不是要秀儿,追求网络吞吐效率嘛?

关于对 C/C++ asio 网络吞吐还有效能的童鞋,不要关心这个问题,在现代涉及到网络的绝大多数程序之中,瓶颈就不在 asio。

我不否认,aiso 在 Windows 上面效率会比较好,但 Linux 增加一层兼容包袱,跟你自己做没有区别,该有的CPU算力开销是不会少的。

asio 最大的问题是该框架库,一股STL标准库的尿性,晦涩难懂,大量的模板元编程,但库的使用者们几乎不会去关注它内部的实现,因为 asio 已经在无数个大型项目之中得到验证,稳定性绝对是有保障的,毕竟是 C/C++ 标准委员会的网络候选库。

asio 官方提供的默认示例代码是一个 io_context(io_service)被多个线程驱动,这个例子本身是没有问题的。

缺点只不过是每个 io_context 都有一个事件队列互斥体(CS临界区/同步锁),所以对于 asio 来说。

如果想要获得理论最大性能,每一个线程单独驱动一个 io_context 是比较合理的,但我本人在这里会一定层度,不认同这个观点。

每一个线程单独驱动一个 io_context 的确是可以解决线程锁导致的CPU上下文的问题,但也带来了一个全新的问题。

举个例子:

现在存在一个场景,网络IO负载很高,如果是多线程驱动一个 io_context,那么就可以获得多核并行吞吐效率,而每一个线程驱动一个 io_context,若某一个线程驱动的 io_context 同时需要处理得吞吐量CPU负载过高,那么必定导致该线程负载积压,迫使承载得TCP吞吐效能下降。

即对于CPU得利用率很难达到圆满,如果我们希望榨干所有的CPU机能,那么必定就会涉及到多线程交叉收发 socket 得情况(这里仅仅以 socket 网络IO为例)

首先我们要知道 iocp 是怎么被驱动得,(asio 是统一平台事件及网络库,统一为 iocp/proactor edsm 事件驱动状态机模型)

在 windows 平台上面,大家希望 iocp 获得最大网络吞吐效率,那么必定需要多个线程对同一个完成端口(主)调用

GetQueuedCompletionStatus 函数来获取队列的完成状态,那么对于完成端口锁得应用是在内核态完成得。

在 asio 之中单线程情况下,aiso 没有锁得开销,只有函数步入栈帧得开销,那么 Windows 平台上面,asio 得性能基本于裸写 iocp 队列得效率差不太多。

在 linux 下面,多线程也可以对于同个 epoll(主文件描述符句柄)进行 epoll_wait 等待,多线程之间得同步是在内核态完成,那么这部分开销是不算得。

同理在:

在 asio 之中单线程情况下,aiso 没有锁得开销,只有函数步入栈帧得开销,那么 linux 平台上面,asio 得性跟裸写 epoll 并且补齐 epoll 未完成得那部分得效率开销也不会差太多。

那么 asio 得问题在哪里是在多线程同时驱动一个 io_context 得情况下,但要取决于场景及情况,如果只是做单收测试,那直接用 epoll 更快,但是如果涉及到收发处理、转发处理,这未必,在多线程得情况下,无论用原生还是非原生,你都会涉及到锁得同步,效率一样会有影响。

访问公共资源锁开销都少不了,只是 aisio 相对多了一层 io_context 队列公共锁,如果你非要说这能影响多大得效率,这个我个人不敢苟同。

并且绝大多数网络编程之中,人们需要关注得更多是其核心域,而不是在网络底层上面各种折腾,因为即便是十几年前得CPU都可以轻松跑千兆,单核走 socket,TCP单核即便没有千兆,500兆都是随便有的。

找一个没多大问题得云服务器VPS,ASIO单核2Gbps、3Gbps 都是没多大问题得,所以,我一直不知道这些人所谓得纠结点在哪里,或许是单纯得找点纯在感,显示自己得优越性?

我还是那句话,不要在乎它们得看法,它们得看法并不重要,重要的是合不合适,技术没有好坏之分,存在即合理,如果是我,我是不愿意不会采用 libevent、libuv、或者用原生 kqueue、iocp、epoll 之类的来实现。

boost::asio 吞吐效率这块足够用、并且统一平台API兼容细节,这可以显著得减少成本,大家在这些没有必要浪费过多精力得上面折腾,这并没有太大实际意义。

补充:

一个好的建议是多线程同时驱动同一个 io_context,为每个线程单独分配一个 strand,而不是每个线程一个 io_context,这样才可以真正得把多线程吞吐效能利用起来,而不是某一个线程可能挤压过多的CPU负载。

这点无论是自己手写原生还是用什么 libuv、libevent 库做这块的正确做法,其它做法有一定道理,但并不一定多,具体场景需要具体分析,严格来说作为一个开发人员是需要动点脑子的。

这篇关于关于 C/C++ boost::asio 的一些须知的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

ASIO网络调试助手之一:简介

多年前,写过几篇《Boost.Asio C++网络编程》的学习文章,一直没机会实践。最近项目中用到了Asio,于是抽空写了个网络调试助手。 开发环境: Win10 Qt5.12.6 + Asio(standalone) + spdlog 支持协议: UDP + TCP Client + TCP Server 独立的Asio(http://www.think-async.com)只包含了头文件,不依

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)