├── .vscode
└── settings.json
├── C++.md
├── README.md
├── leetcode刷题.md
├── linux服务器.md
├── 书籍笔记
├── c++语言核心及进阶.md
├── linux高性能服务器.md
├── 操作系统.md
├── 汇编语言.md
└── 设计模式.md
├── 其他技术栈.md
├── 手撕代码.md
├── 操作系统.md
├── 数据库.md
├── 数据结构及算法.md
├── 离谱问题.md
├── 计算机网络.md
└── 设计模式.md
/.vscode/settings.json:
--------------------------------------------------------------------------------
1 | {
2 | "C_Cpp.errorSquiggles": "disabled"
3 | }
--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
1 | [](https://pypi.org/project/mmdnn/)
2 | [](LICENSE)
3 | [](https://travis-ci.org/Microsoft/MMdnn)
4 | 
5 |
6 | # 写在前面
7 | 2024.09.09
8 | 工作挺忙,有时候确实没时间没精力维护
9 | 希望发现错误的同学可以帮忙,共同维护
10 | 谢谢!
11 |
12 |
13 | >距离我提交该面试总结已经一年了,当初的想法就是能帮助更多的人去成体系的了解C++,有更多的朋友能够找到其中的错误并且改正。
14 | 虽然当初工作是朝着C++方向找的,但是事与愿违,最后去学了C#这门语言,俗话说的好:“学C++是理想,写C#是生活”,不过我还会抽空修改更正,希望该面试总结能帮助到更多的人!
15 |
16 | 看过市面上很多面经的总结,不论是github上上千star的或者是公众号上的,给我的感觉就是既没有深度也没有广度,仅仅是解释一个概念。如果面试官细问下去,而你仅仅是了解这个概念,很容易就gg了。所以我希望自己总结的这些,当大家看到后都能够发散和思考,找到自己的技术方向和知识框架体系。如有解释不深入的地方,希望每个人都可以自己顺着相关概念查下去,形成自己的一套知识体系。
17 | 时间精力有限有很多知识都没有涉及,希望大家谅解!
18 |
19 | **提示tip:** 所有文章都用的是markdown编写,所以为了方便阅读可以直接下载一个typora(一个简洁的mk阅读和编辑器)。如果直接在网页上阅读的话,可以借助大纲功能来看,这样条理脉络都比较清晰
20 |
21 |
22 |
23 | # :notebook:C++后台开发方向的面经总结:black_nib:
24 | ## [:memo:**C++**](https://github.com/guaguaupup/cpp_interview/blob/main/C%2B%2B.md)
25 | 主要包含三部分内容。第一部分是c++和部分c相关的语言特性,针对这些特性和易错点都做了整理和发散。第二部分是STL知识,一些会被问到的问题的总结,源码的分析等等。第三部分是c++轮子部分,例如线程池、内存池这种写一个工具demo的问题也会被问到。本人2022暑期实习的时候被问到的最多的就是“写一个智能指针类”。
26 |
27 | ## [:memo:**Linux服务器**](https://github.com/guaguaupup/cpp_interview/blob/main/linux%E6%9C%8D%E5%8A%A1%E5%99%A8.md)
28 | 这块会混合这操作系统的一部分内容,因为linux本身就是一种OS,所以范围限制的不是很死。这块很多东西都是服务器开发相关的知识,当然并不全是,还有一些linux系统相关的特性总结。
29 |
30 | ## [:memo:**操作系统**](https://github.com/guaguaupup/cpp_interview/blob/main/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F.md)
31 | 操作系统有关的知识点,进程线程、分页分表、死锁、线程调度机制等等都问的很多
32 |
33 | ## [:memo:**计算机网络**](https://github.com/guaguaupup/cpp_interview/blob/main/%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%BD%91%E7%BB%9C.md)
34 | TCP/IP协议栈是重点,一般面试官会问的比如:说一下TCP为什么可靠,这个时候需要成体系的说,此外就是应用层的很重要的http协议。协议的细节肯定不好记住,但是多看反复的看就会好很多。
35 |
36 | ## [:memo:**数据库**](https://github.com/guaguaupup/cpp_interview/blob/main/%E6%95%B0%E6%8D%AE%E5%BA%93.md)
37 | 搞c++的基本很少跟数据库打交道,但是美团阿里用java的大厂都很喜欢问数据库,本人曾被问数据库问了一个小时。。。
38 | 该部分包含mysql和redis两大块,日后还需要更新索引优化相关的知识点。
39 |
40 | ## [:memo:**数据结构算法**](https://github.com/guaguaupup/cpp_interview/blob/main/%E6%95%B0%E6%8D%AE%E7%BB%93%E6%9E%84%E5%8F%8A%E7%AE%97%E6%B3%95.md)
41 | 不多说了,必背必备知识。
42 |
43 | ## [:memo:**手撕代码**](https://github.com/guaguaupup/cpp_interview/blob/main/%E6%89%8B%E6%92%95%E4%BB%A3%E7%A0%81.md)
44 | 抽了一些会被经常问到的知识点的代码,经常会手撕,所以把这部分代码重新集合到一起看一些。我面试前就经常看,效果很好,基本都会问到而且很快都写出来了。
45 |
46 | ## [:memo:**离谱问题**](https://github.com/guaguaupup/cpp_interview/blob/main/%E7%A6%BB%E8%B0%B1%E9%97%AE%E9%A2%98.md)
47 | 离谱问题、逆天问题都可,就是一些很发散的题目,刚开始肯定很没头绪,但是这些题目都是在面经中总结碰到的,看一看没坏处~
48 |
49 | ## [:memo:**设计模式**](https://github.com/guaguaupup/cpp_interview/blob/main/%E8%AE%BE%E8%AE%A1%E6%A8%A1%E5%BC%8F.md)
50 | 现在越来越卷,刚找工作的小萌新都需要会设计模式了(话说这不是大牛才需要考虑的东西吗?)
51 |
52 | ## [:memo:**其他技术栈**](https://github.com/guaguaupup/cpp_interview/blob/main/%E5%85%B6%E4%BB%96%E6%8A%80%E6%9C%AF%E6%A0%88.md)
53 | 辅助开发的工具类,云服务、协、嵌入式、python等广泛的技术热点!
54 |
55 |
56 |
57 | # :bookmark_tabs:书籍笔记总结
58 | > 将看过的部分书的重要的知识点做了总结, 定时翻看可以对整本书的体系结构有一个比较清晰的认识。
59 | ## [:memo:**操作系统**](https://github.com/guaguaupup/cpp_interview/blob/main/%E4%B9%A6%E7%B1%8D%E7%AC%94%E8%AE%B0/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F.md)
60 | 总结自电子工业出版社的现代操作系统
61 |
62 | ## [:memo:**c++ primer plus**](https://github.com/guaguaupup/cpp_interview/blob/main/%E4%B9%A6%E7%B1%8D%E7%AC%94%E8%AE%B0/c%2B%2B%E8%AF%AD%E8%A8%80%E6%A0%B8%E5%BF%83%E5%8F%8A%E8%BF%9B%E9%98%B6.md)
63 | 那一本很厚的白色c++书,我都给翻成黑色的了
64 |
65 | ## [:memo:**高性能服务器**](https://github.com/guaguaupup/cpp_interview/blob/main/%E4%B9%A6%E7%B1%8D%E7%AC%94%E8%AE%B0/linux%E9%AB%98%E6%80%A7%E8%83%BD%E6%9C%8D%E5%8A%A1%E5%99%A8.md)
66 | 游双老师的那一本
67 |
68 | ## [:memo:**汇编语言**](https://github.com/guaguaupup/cpp_interview/blob/main/%E4%B9%A6%E7%B1%8D%E7%AC%94%E8%AE%B0/%E6%B1%87%E7%BC%96%E8%AF%AD%E8%A8%80.md)
69 | 一些简单的汇编概念知识
70 |
71 |
72 |
73 | # :bookmark_tabs:刷题
74 | ## [连接在这里](https://github.com/guaguaupup/cpp_interview/blob/main/leetcode%E5%88%B7%E9%A2%98.md)
75 | 包含leetcode各种类型约300道,leetcode热题100, 牛客前100,剑指offer
76 |
--------------------------------------------------------------------------------
/linux服务器.md:
--------------------------------------------------------------------------------
1 | # 什么是gcc
2 |
3 | **gcc的全称是GNU Compiler Collection,它是一个能够编译多种语言的编译器。**
4 |
5 | 最开始gcc是作为C语言的编译器(GNU C Compiler),现在除了c语言,还支持C++、java、Pascal等语言。
6 |
7 |
8 |
9 | # gcc工作流程
10 |
11 | - 预处理(--E)
12 | - 宏替换
13 | - 头文件展开
14 | - 去掉注释
15 | - .c文件变成了.i文件(本质上还是.c文件,只不过#include中的程序给链接进去)
16 | - 编译(--S)
17 | - gcc调用不同语言的编译器
18 | - .i文件编程.s(汇编文件)
19 | - 生成汇编文件
20 |
21 | - 汇编(-c)
22 | - .s文件转化成.o文件
23 | - 翻译成机器语言指令
24 | - 二进制文件
25 | - 链接
26 | - .o文件变成可执行文件,一般不加后缀
27 |
28 | > 
29 | >
30 | > **预处理**实际上是将头文件、宏进行展开。
31 | >
32 | > **编译阶段**gcc调用不同语言的编译器。gcc实际上是个工具链,在编译程序的过程中调用不同的工具。
33 | >
34 | > **汇编阶段**gcc调用汇编器进行汇编。汇编语言是一种低级语言,在不同的设备中对应着不同的机器语言指令,一种汇编语言专用于某种计算机体系结构,可移植性比较差。通过相应的汇编程序可以将汇编语言转换成可执行的机器代码这一过程叫做汇编过程。汇编器生成的是可重定位的目标文件,在源程序中地址是从0开始的,这是一个相对地址,而程序真正在内存中运行时的地址肯定不是从0开始的,而且在编写源代码的时候也不能知道程序的绝对地址,所以**重定位**能够将源代码的代码、变量等定位为内存具体地址。
35 | >
36 | > **链接过程**会将程序所需要的目标文件进行链接成可执行文件。
37 |
38 |
39 |
40 | # gcc常用参数
41 |
42 | - -v/--version:查看gcc的版本
43 | - -I:编译的时候指定头文件路径,不然头文件找不到
44 | - -c:将汇编文件转换成二进制文件,得到.o文件
45 | - -g:gdb调试的时候需要加
46 | - -D:编译的时候指定一个宏(调试代码的时候需要使用例如printf函数,但是这种函数太多了对程序性能有影响,因此如果没有宏,则#ifdefine的内容不起作用)
47 | - -wall:添加警告信息
48 | - -On:-O是优化代码,n是优化级别:1,2,3
49 |
50 |
51 |
52 | # 静态库和动态库
53 |
54 | ![clip_image002[4]](https://images0.cnblogs.com/blog/92071/201310/16201602-9c6047fe25ac46659d0a5ab2945552ce.png)
55 |
56 | 1. 什么是库?
57 |
58 | - 库是写好的现有的,成熟的,可以复用的代码。
59 | - 现实中每个程序都要依赖很多基础的底层库,不可能每个人的代码都从零开始,因此库的存在意义非同寻常。
60 |
61 | - 库是二进制文件,.o文件
62 | - 将源代码变成二进制的源代码
63 | - 主要起到加密的作用,为了防止泄露
64 |
65 | 2. 静态库的制作
66 |
67 | - 原材料:源代码(.c或.cpp文件)
68 |
69 | - 将.c文件生成.o文件(ex:g++ a.c -c)
70 |
71 | - 将.o文件打包
72 | - ar rcs 静态库名称 原材料(ex: ar rcs libtest.a a.0)
73 |
74 | - 态库的使用
75 |
76 |
77 |
78 | 3. 动态库的制作(so代表动态库)
79 | - 命名规则:libxxx.so
80 | - 制作步骤
81 | - 将源文件生产.o文件(gcc a.c -c -fpic)
82 | - 打包(gcc -shared a.o -o libxxx.so)
83 | - 动态库的使用
84 | - 跟静态库一样
85 | - 动态库无法加载的问题
86 | - 使用环境变量(临时设置和全局设置)
87 |
88 |
89 |
90 |
91 | # gdb相关问题
92 |
93 | - gdb 不能显示代码(No symbol table is loaded. Use the "file" command)
94 | - 要是用-g 比如: g++ map_test.cpp -g -o mao
95 |
96 |
97 |
98 | # linux权限相关问题
99 |
100 | 对任意一个文件使用ls -l命令,如下图所示:
101 |
102 |
103 |
104 | **任意取一行,如:drwxr-xr-x 2 root root 4096 2009-01-14 17:34 bin**
105 |
106 | **用序列表示为:0123456789**
107 |
108 | - 第一列
109 |
110 | - d:代表目录
111 | - -:代表文件
112 | - l:代表链接,如同windows的快捷方式
113 |
114 | - 第一到九列
115 |
116 | - r:可读
117 | - w:可写
118 | - x:可执行文件
119 | - 0:代表文件类型
120 | - 123:表示文件所有者的权限
121 | - 456:表示同组用户的权限
122 | - 789:表示其他用户的权限
123 |
124 | - 权限的数字表示
125 |
126 | - 读取的权限等于4,用r表示
127 | - 写入的权限等于2,用w表示
128 | - 执行的权限等于1,用x表示
129 |
130 | - 改变文件权限命令
131 |
132 | > chmod 权限数字(如777) filename
133 |
134 | - 改变目录下所有的文件的权限命令
135 |
136 | > chmod -R 权限数字(如777) 目录(如/home)
137 |
138 |
139 |
140 | # 套接字类型
141 |
142 | 下面是创建套接字所用的socket所用的函数
143 |
144 | ```
145 | #include
146 | int socket(int domain,int type,int protocol);
147 | ```
148 |
149 | - **协议簇(Protocol Family)(int domain)**
150 |
151 | > 套接字有许多不同的通信协议分类,由socket函数第一个参数进行传递。其中最重要的是PF_INET(IPv4互联网协议族)
152 |
153 | - **套接字类型(Type)(int type)**
154 |
155 | > socket函数的第二个参数决定套接字数据传输的方式。
156 | >
157 | > 协议族并不能决定数据传输方式,因为一个协议族也有很多数据传输方式
158 |
159 | - 面向连接的套接字(SOCK_STREAM)
160 |
161 | **面向连接的套接字类似于传送带**
162 |
163 | 
164 |
165 | 有如下特点
166 |
167 | 1. 传输的过程中数据不会丢失
168 | 2. 按需传送数据
169 | 3. 传输数据不存在数据边界问题
170 | 4. 两端套接字必须一一对应
171 |
172 | > 收发的套接字内部有缓冲,就是有字节数组。因此通过套接字传输的数据将保存在数组,因此数据可以填满缓冲一次被读取,也可以分段被读取,不存在数据边界问题。当缓冲区占满后,套接字无法接受数据,停止传输。所以不存在数据丢失问题
173 |
174 | - 面向消息的套接字(SOCK_DGRAM)
175 |
176 | **面向消息的套接字类似于快递**
177 |
178 | 有如下特点
179 |
180 | 1. 强调快速传送而非顺序传送
181 | 2. 传输的数据可能丢失也可能损坏
182 | 3. 传输的数据有边界
183 | 4. 限制每次传输的数据大小
184 |
185 | - **协议信息(int protocol)**
186 |
187 | > 由于socket函数前两个参数的存在,大部分情况可以向第三个参数传递0。但若同一个协议族中存在多个数据传输方式相同的协议,即数据传输方式相同,协议不同,需要第三个参数制定具体协议
188 |
189 | ```c++
190 | //IPv4中面向连接的套接字
191 | int tcp_socket=(PF_INET,SOCK_STREAM,IPPROTO_TCP)
192 | //IPv4中面向消息的套接字
193 | int tcp_socket=(PF_INET,SOCK_STREAM,IPPROTO_UDP)
194 | ```
195 |
196 |
197 |
198 | # 实现基于TCP/IP的客户端服务端
199 |
200 | - **TCP服务端默认函数调用顺序**
201 |
202 | 1. socket() 创建套接字
203 | 2. bind() 分配套接字地址
204 | 3. listen() 等待连接请求状态
205 | 4. accpet() 允许连接
206 | 5. read()/write() 交换数据
207 | 6. close() 断开连接
208 |
209 | - **TCP客户端默认函数调用顺序**
210 |
211 | 1. socket() 创建套接字
212 |
213 | 2. connect() 请求连接
214 |
215 | 3. read()/write() 交换数据
216 |
217 | 4. close() 断开连接
218 |
219 | >实现服务器端重要/必经过程就是给套接字分配IP和端口号(bind),但是客户端实现过程并未出现套接字的分配,而是创建套接字后立即调用了connect函数,为什么?
220 | >
221 | >答:客户端其实是分配了IP和端口号的。在调用connect的时候分配的(何时),在操作系统内核中进行分配(何地),IP用的是主机的IP,端口号随机分配(何种方式)
222 |
223 | - **注意事项**
224 |
225 | - 服务器端创建套接字后连续调用bind、listen函数进入等待状态,客户端通过connect函数发起连接请求
226 | - 客户端只能等到服务端调用listen后才能调用connect函数
227 | - 客户端调用connect函数前,服务器可能率先调用accept函数,然后服务端进入阻塞状态,直到客户端调用connect为止
228 |
229 | - **TCP套接字中的I/O缓冲**
230 |
231 | > write函数调用后并不是立刻传送数据,read函数调用后也不是马上接收数据。而是将这些数据移到输入和输出缓冲中
232 |
233 | 如下图所示:
234 |
235 | 
236 |
237 | I/O缓冲有以下特点:
238 |
239 | 1. I/O缓冲在每个TCP套接字中单独存在
240 | 2. I/O缓冲在创建套接字时自动生成
241 | 3. 即使关闭套接字也会继续传递输出缓冲中遗留的数据
242 | 4. 关闭套接字将丢失输入缓冲中的数据
243 |
244 | - **套接字的断开**
245 |
246 | > close()函数表示完全断开套接字链接,并且不能收发任何数据。很显然这样做是不好的,若A主机断开连接后,完全无法调用接收数据和发送数据相关函数,这会导致B向A发送数据,A必须接受的数据也被销毁
247 |
248 | 套接字中会生成两个I/O流,如下图:
249 |
250 | 
251 |
252 | 一旦两台主机间建立了套接字链接,每个主机就会拥有单独的输入流和输出流
253 |
254 |
255 |
256 | # Linux操作系统中断
257 |
258 | - **中断概念**
259 |
260 | > 中断是指在CPU正常运行期间,由于内外部事件或由程序预先安排的事件引起的CPU暂时停止正在运行的程序,转而为该内部或外部事件或预先安排的事件服务的程序中去,服务完毕后再返回去继续运行被暂时中断的程序。这样的中断机制极大的提高了CPU运行效率。
261 |
262 | 根据CSAPP中所描述,中断是异常的一种类别。(p504)什么是异常?比如说在处理器中,依次执行对应的指令流程,这样的控制转移序列叫做控制流。但是系统会出现一些变化,系统必须对这种变化做出反应,而且这种变化是随机的,也不一定跟执行当前的程序关联,比若说子进程终止时父进程必须得到通知,硬盘定时器定期产生一个信号。这种叫做**控制流发生突变**,这些突变成为**异常控制流**。计算机的各个层次都会发生异常。(p502)
263 |
264 | 异常可以分为:中断、陷阱、故障、终止
265 |
266 | | 类别 | 原因 | 同步/异步 | 返回行为 |
267 | | :--: | :---------------: | :-------: | :------------------: |
268 | | 中断 | 来自I/O设备的信号 | 异步 | 总是返回到下一条指令 |
269 | | 陷阱 | 有意的异常 | 同步 | 总是返回到下一条指令 |
270 | | 故障 | 潜在可恢复的错误 | 同步 | 可能返回到当前指令 |
271 | | 终止 | 不可恢复的错误 | 同步 | 不会返回 |
272 |
273 |
274 |
275 | - **硬中断**
276 |
277 | 硬中断是我们通常所说的中断的概念。硬中断是由硬件产生的,比如,像磁盘,网卡,键盘,时钟等。每个设备或设备集都有它自己的IRQ(中断请求)。内核中维护了一个IDT(中断描述符表),表中是中断处理函数的地址和一些其他的控制位。0-31号中断号位系统为预定义的中断和异常保留的,用户不得使用,所以硬件中断号从32开始分发。每当CPU接收到一个中断或者异常信号,CPU首先要做的决定是否响应这个中断(具体由中断控制器根据中断优先级决定是否给CPU发送中断信号),如果决定响应,就终止当前运行进程的运行,根据IDTR寄存器获取中断描述符表基地址,然后根据中断号定位具体的中断描述符。
278 |
279 | - **软中断**
280 |
281 | 软中断是由当前正在运行的进程所产生的。 软中断并不会直接中断CPU。这种中断是一种需要内核为正在运行的进程去做一些事情(通常为I/O)的请求。
282 |
283 | > 中断在本质上是软件或者硬件发生了某种情形而通知处理器的行为,处理器进而停止正在运行的指令流,去转去执行预定义的中断处理程序。软件中断也就是通知内核的机制的泛化名称,目的是促使系统切换到内核态去执行异常处理程序。这里的异常处理程序其实就是一种系统调用,软件中断可以当做一种异常。总之,软件中断是当前进程切换到系统调用的过程。
284 |
285 |
286 |
287 | # 系统调用知识点
288 |
289 | ## 用户态和内核态
290 |
291 | [l链接](https://blog.csdn.net/u013291303/article/details/63682298)
292 |
293 | ## 系统调用过程
294 |
295 | 用户空间的程序无法直接执行内核代码,它们不能直接调用内核空间中的函数,因为内核驻留在受保护的地址空间上。如果进程可以直接在内核的地址空间上读写的话,系统安全就会失去控制。所以,应用程序应该以某种方式通知系统,告诉内核自己需要执行一个系统调用,希望系统切换到内核态,这样内核就可以代表应用程序来执行该系统调用了。
296 |
297 | 通知内核的机制是靠软件中断实现的。首先,用户程序为系统调用设置参数。其中一个参数是系统调用编号。参数设置完成后,程序执行“系统调用”指令。这个指令会导致一个异常:产生一个事件,这个事件会致使处理器切换到内核态并跳转到一个新的地址,并开始执行那里的异常处理程序。此时的异常处理程序实际上就是系统调用处理程序。它与硬件体系结构紧密相关。
298 |
299 | > **系统调用的过程:**首先将API函数参数压到栈上,然后将函数内调用系统调用的代码放入寄存器,通过陷入中断,进入内核将控制权交给操作系统,操作系统获得控制后,将系统调用代码拿出来,跟操作系统一直维护的一张系统调用表做比较,已找到该系统调用程序体的内存地址,接着访问该地址,执行系统调用。执行完毕后,返回用户程序
300 |
301 | ## 系统调用和函数调用区别
302 |
303 | **库函数调用**
304 |
305 | 函数调用主要通过压栈出栈的操作,面向应用开发。库函数顾名思义是把函数放到库里。是把一些常用到的函数编完放到一个文件里,供别人用。别人用的时候把它所在的文件名用#include<>加到里面就可以了。一般是指编译器提供的可在c源程序中调用的函数。可分为两类,一类是c语言标准规定的库函数,一类是编译器特定的库函数。(由于版权原因,库函数的源代码一般是不可见的,但在头文件中你可以看到它对外的接口)
306 |
307 | **系统调用**
308 |
309 | 系统调用就是用户在程序中调用操作系统所提供的一个子功能,也就是系统API,系统调用可以被看做特殊的公共子程序。通俗的讲是操作系统提供给用户程序调用的一组“特殊”接口。用户程序可以通过这组“特殊”接口来获得操作系统内核提供的服务,比如用户可以通过文件系统相关的调用请求系统打开文件、关闭文件或读写文件,可以通过时钟相关的系统调用获得系统时间或设置定时器等。系统中的各种共享资源都由操作系统统一掌管,因此在用户程序中,凡是与资源有关的操作(如存储分配、进行I/O传输及管理文件等),都必须通过系统调用方式向操作系统提出服务请求,并由操作系统代为完成。
310 |
311 | ------
312 |
313 |
314 |
315 | # 对事件的两种处理方式
316 |
317 | ## reactor
318 |
319 | 如果要让服务器服务多个客户端,那么最直接的方式就是为每一条连接创建线程。其实创建进程也是可以的,原理是一样的,进程和线程的区别在于线程比较轻量级些,线程的创建和线程间切换的成本要小些,为了描述简述,后面都以线程为例。处理完业务逻辑后,随着连接关闭后线程也同样要销毁了,但是这样不停地创建和销毁线程,不仅会带来性能开销,也会造成浪费资源,而且如果要连接几万条连接,创建几万个线程去应对也是不现实的。要这么解决这个问题呢?我们可以使用「资源复用」的方式。也就是不用再为每个连接创建线程,而是创建一个「线程池」,将连接分配给线程,然后一个线程可以处理多个连接的业务。不过,这样又引来一个新的问题,线程怎样才能高效地处理多个连接的业务?
320 |
321 | 当一个连接对应一个线程时,线程一般采用「read -> 业务处理 -> send」的处理流程,如果当前连接没有数据可读,那么线程会阻塞在 `read` 操作上( socket 默认情况是阻塞 I/O),不过这种阻塞方式并不影响其他线程。但是引入了线程池,那么一个线程要处理多个连接的业务,线程在处理某个连接的 `read` 操作时,如果遇到没有数据可读,就会发生阻塞,那么线程就没办法继续处理其他连接的业务。要解决这一个问题,最简单的方式就是将 socket 改成非阻塞,然后线程不断地轮询调用 `read` 操作来判断是否有数据,这种方式虽然该能够解决阻塞的问题,但是解决的方式比较粗暴,因为轮询是要消耗 CPU 的,而且随着一个 线程处理的连接越多,轮询的效率就会越低。
322 |
323 | 有没有办法在只有当连接上有数据的时候,线程才去发起读请求呢?答案是有的,实现这一技术的就是 I/O 多路复用。线程池复用+IO复用就形成了reactor模式。
324 |
325 | **Reactor的定义:**是一种接收多个输入事件的服务器事件驱动处理模式。服务器端通过IO多路复用来处理这些输入事件,并将这些事件同步分派给对应的处理线程。其实reactor模式也叫做Dispatcher 模式,本质上就是将收到的事件进行分发处理。Reactor模式中有两个关键的组成:①主反应堆reactor在一个单独的线程中运行,负责监听和分发事件,将接收到的事件分为监听socket和连接socket,连接socket放入任务队列让线程池线程去抢占式调度。②Handlers或Accepter,处理任务队列中具体的逻辑或者建立连接socket。
326 |
327 | 根据 Reactor 的数量和处理资源池线程的数量不同,有 3 种典型的实现:
328 |
329 | 1. 单 Reactor 单线程;
330 | 2. 单 Reactor 多线程;
331 | 3. 主从 Reactor 多线程。
332 |
333 | 接下来一一介绍:
334 |
335 | - **单 Reactor 单线程**
336 |
337 | 顾名思义,一个主反应堆reactor,一个accepter或者handler来处理接收的事件。
338 |
339 |
340 |
341 | **优点:**模型简单,没有多线程、进程通信、竞争的问题,全部都在一个线程中完成。
342 |
343 | **缺点:**性能问题,只有一个线程,无法完全发挥多核 CPU 的性能。Handler 在处理某个连接上的业务时,整个进程无法处理其他连接事件,很容易导致性能瓶颈。
344 | 可靠性问题,线程意外跑飞,或者进入死循环,会导致整个系统通信模块不可用,不能接收和处理外部消息,造成节点故障。
345 |
346 | **使用场景:**客户端的数量有限,业务处理非常快速,比如 Redis,业务处理的时间复杂度 O(1),因为 Redis 业务处理主要是在内存中完成,操作的速度是很快的,性能瓶颈不在 CPU 上,所以 Redis 对于命令的处理是单进程的方案。
347 |
348 | - **单 Reactor 多线程**
349 |
350 | 一个主反应堆reactor和一个线程池,线程池用来处理分发的事件
351 |
352 |
353 |
354 | **优点:**可以充分利用多核 CPU 的处理能力。
355 |
356 | **缺点:**多线程数据共享和访问比较复杂;Reactor 承担所有事件的监听和响应,在单线程中运行,高并发场景下容易成为性能瓶颈。
357 |
358 | - **主从 Reactor 多线程**
359 |
360 | 就是游双书里面的半同步/半反应堆模型,给这个归到了代码逻辑层面。
361 |
362 |
363 |
364 | 主线程和子线程分工明确,主线程只负责接收新连接,子线程负责完成后续的业务处理。
365 |
366 | 主线程和子线程的交互很简单,主线程只需要把新连接传给子线程,子线程无须返回数据,直接就可以在子线程将处理结果发送给客户端。
367 |
368 | **优点:**父线程与子线程的数据交互简单职责明确,父线程只需要接收新连接,子线程完成后续的业务处理。
369 | 父线程与子线程的数据交互简单,Reactor 主线程只需要把新连接传给子线程,子线程无需返回数据。
370 | 这种模型在许多项目中广泛使用,包括 Nginx 主从 Reactor 多进程模型,Memcached 主从多线程,Netty 主从多线程模型的支持。
371 |
372 | ## preactor
373 |
374 | 在 Reactor 模式中,Reactor 等待某个事件或者可应用或者操作的状态发生(比如文件描述符可读写,或者是 Socket 可读写)。
375 | 然后把这个事件传给事先注册的 Handler(事件处理函数或者回调函数),由后者来做实际的读写操作。
376 | 其中的读写操作都需要应用程序同步操作,所以 Reactor 是非阻塞同步网络模型。
377 | 如果把 I/O 操作改为异步,即交给操作系统来完成就能进一步提升性能,这就是异步网络模型 Proactor。
378 |
379 | preactor模型如下图所示:
380 |
381 |
382 |
383 | 工作流程如下:
384 |
385 | 1. Proactor Initiator 负责创建 Proactor 和 Handler 对象,并将 Proactor 和 Handler 都通过
386 | Asynchronous Operation Processor 注册到内核;
387 | 2. Asynchronous Operation Processor 负责处理注册请求,并处理 I/O 操作;
388 | 3. Asynchronous Operation Processor 完成 I/O 操作后通知 Proactor;
389 | 4. Proactor 根据不同的事件类型回调不同的 Handler 进行业务处理;
390 | 5. Handler 完成业务处理;
391 |
392 | 理论上 Proactor 比 Reactor 效率更高,异步 I/O 更加充分发挥 DMA(Direct Memory Access,直接内存存取)的优势。
393 | 但是Proactor有如下缺点:
394 |
395 | 1. 编程复杂性,由于异步操作流程的事件的初始化和事件完成在时间和空间上都是相互分离的,因此开发异步应用程序更加复杂。应用程序还可能因为反向的流控而变得更加难以 Debug;
396 | 2. 内存使用,缓冲区在读或写操作的时间段内必须保持住,可能造成持续的不确定性,并且每个并发操作都要求有独立的缓存,相比 Reactor 模式,在 Socket 已经准备好读或写前,是不要求开辟缓存的;
397 | 3. 操作系统支持,Windows 下通过 IOCP 实现了真正的异步 I/O,而在 Linux 系统下,Linux 2.6 才引入,目前异步 I/O 还不完善。
398 | 4. Reactor处理耗时长的操作会造成事件分发的阻塞,影响到后续事件的处理;
399 |
400 | > 可惜的是,在 Linux 下的异步 I/O 是不完善的,
401 | > `aio` 系列函数是由 POSIX 定义的异步操作接口,不是真正的操作系统级别支持的,而是在用户空间模拟出来的异步,并且仅仅支持基于本地文件的 aio 异步操作,网络编程中的 socket 是不支持的,这也使得基于 Linux 的高性能网络程序都是使用 Reactor 方案。
402 | >
403 | > 而 Windows 里实现了一套完整的支持 socket 的异步编程接口,这套接口就是 `IOCP`,是由操作系统级别实现的异步 I/O,真正意义上异步 I/O,因此在 Windows 里实现高性能网络程序可以使用效率更高的 Proactor 方案。
404 |
405 |
406 |
407 | # 文件(不带缓存的)I/O和标准(带缓存的)I/O
408 |
409 | **首先要明确一个问题:有无缓存是相对于用户层面来说的,而不是系统内核层面。在系统内核层面,一直都存在有“内核高速缓存”**
410 |
411 | - 不带缓存的概念
412 |
413 | > 所谓不带缓存,并不是指内核不提供缓存,而是在用户进程层次没有提供缓存。不带缓存的I/O只存在系统调用(write和read函数),不是函数库的调用。**系统内核对磁盘的读写都会提供一个块缓冲(在有些地方也被称为内核高速缓存)**,当用write函数对其写数据时,直接调用系统调用,将数据写入到块缓存进行排队,当块缓存达到一定的量时,才会把数据写入磁盘。因此所谓的不带缓存的I/O是指用户进程层面不提供缓存功能(但内核还是提供缓冲的)。
414 | >
415 | > 文件I/O以文件标识符(整型)作为文件唯一性的判断依据。这种操作与系统有关,移植有一定的问题。
416 |
417 | - 带缓存的概念
418 |
419 | > 与之相对的就是带缓存I/O。而带缓存的是在不带缓存的基础之上封装了一层,在用户进程层次维护了一个输入输出缓冲区,使之能跨OS,成为ASCI标准,称为标准IO库。其实就是在用户层再建立一个缓存区,这个缓存区的分配和优化长度等细节都是标准IO库代你处理好了,不用去操心。第一次调用带缓存的文件操作函数时标准库会自动分配内存并且读出一段固定大小的内容存储在缓存中。所以以后每次的读写操作并不是针对硬盘上的文件直接进行的,而是针对内存中的缓存的。
420 | >
421 | > 不带缓存的文件操作通常都是系统提供的系统调用, 更加低级,直接从硬盘中读取和写入文件,由于IO瓶颈的原因,速度并不如意,而且原子操作需要程序员自己保证,但使用得当的话效率并不差。另外标准库中的带缓存文件IO 是调用系统提供的不带缓存IO实现的。
422 |
423 | - 因此,标准I/O函数有两个优点:
424 |
425 | 1. 具有良好的移植性
426 |
427 | 2. 利用用户层提供的缓存区(流缓冲)提高性能
428 |
429 | - 标准I/O函数缺点
430 |
431 | 1. 不容易进行双向通信
432 | 2. 有时可能频繁调用fflush函数
433 | 3. 需要以FILE结构体指针的形式返回文件描述符
434 |
435 | - 举例说明
436 |
437 | > **带缓冲的I/O在往磁盘写入相同的数据量时,会比不带缓冲的I/O调用系统调用的次数要少。**比如内核缓冲存储器长度为100字节,在进行写操作时每次写入10个字节,则你需要调用10次write函数才能把内核缓冲区写满。但是要注意此时数据还在缓冲区,不在磁盘中,缓冲区满时才进行实际的I/O操作,把数据写入到磁盘,这样调用了太多次系统调用,显得效率很低。但是若调用标准I/O函数,假设用户层缓冲区为50字节(称为流缓存),则用fwrite将数据写入到流缓存,等到流缓存区存满之后再进入内核缓存区,在调用write函数将数据写入到内核缓冲区中,若内核缓冲区满或执行fflush操作,那么内核缓冲区的数据会写入到磁盘中
438 |
439 | - 无缓存IO操作数据流向路径:**数据——内核缓存区——磁盘**
440 | - 标准IO操作数据流向路径:**数据——流缓存区——内核缓存区——磁盘**
441 |
442 | - apue三种io的总结
443 |
444 | 在apue中有三种io类型,如下:
445 |
446 | 1. 文件I/O(不带缓冲的I/O):open、read、write、lseek、close
447 | 2. 标准I/O(带缓冲的I/O):标准I/O库由ISO C标准说明
448 | 3. 高级I/O:非阻塞I/O、I/O多路转接、异步I/O、readv和writev
449 |
450 |
451 |
452 | # 阻塞非阻塞,同步异步的区别
453 |
454 | [参考](https://blog.51cto.com/yaocoder/1308899)
455 |
456 | [参考2,这个比较符合我的想法](https://blog.csdn.net/historyasamirror/article/details/5778378)
457 |
458 | 进程通讯层面,阻塞就是同步,非阻塞就是异步,一个意思
459 |
460 | IO层面,就不一样。要记住,IO操作只有两个阶段:
461 |
462 | 1. 数据准备阶段
463 | 2. 内核缓冲区(内核空间)复制数据到用户进程缓冲区(用户空间)阶段
464 |
465 | 对于数据准备阶段,是阻塞和非阻塞的层面。对于数据从内核转移到用户空间,就是同步异步阶段。
466 |
467 |
468 |
469 | 阻塞和非阻塞的区别在于内核数据还没准备好时,用户进程在一阶段数据准备时是否会阻塞;
470 |
471 | 同步IO与异步IO的区别在于当数据从内核`copy`到用户空间时,用户进程是否会阻参与第二阶段的数据读写,是由用程序完成还是由内核完成。
472 |
473 |
474 |
475 | # 对于套接字socket的理解
476 |
477 | 这里我类比一下插座和套接字,为什么这样类比呢?因为套接字的中文有插座的含义....
478 |
479 | 电器如何才能供电?电器需要连接上电网。如何连接到电网?需要把电器插销插到插座上,通过插座连接到电网,这样电器就有电可以工作
480 |
481 | 计算机如何收发消息?计算机需要连接上互联网。如何连接互联网?硬件层面我们可以拉一根网线,软件层面需要套接字。通过套接字连接到互联网,进而可以和互利网上的所有主机进行通信。
482 |
483 |
484 |
485 | ***socket* 其实就是操作系统提供给程序员操作「网络协议栈」的接口,说人话就是,你能通过*socket* 的接口,来控制协议找工作,从而实现网络通信**
486 |
487 |
488 |
489 | # C++网络通信中send和receive的为什么会阻塞
490 |
491 |
492 |
493 | 使用tcp协议进行通讯的双方,都各自有一个发送缓冲区和一个接收缓冲区。而缓冲区是有大小的,因此发生阻塞的本质原因是缓冲区满了,别的字节流消息无法进入缓冲区。
494 |
495 | send函数只是将内存中的数据拷贝到内核中tcp的发送缓冲区或者说写缓冲区,但是什么时候发送数据是send无法控制的。同时tcp是一个可靠传输协议,发送端必须收到确认报文信息后才会清空发送缓冲区中的内容。对于读缓冲区来,收到数据放到自己的读缓冲区,同时要给发送端发送一个确认消息表明自己收到了信息。这个时候如果读缓冲区的数据被填满,由于滑动窗口协议,导致接收端不在读取数据,进而写缓冲区也会阻止发送数据。这个时候write函数就会阻塞。总结:**接收端接收数据的速度小于发送端发送数据的速度,导致接收端的读缓冲区填满,接收端发送报文给发送端告诉他我已经满了,先别发。这样发送端的写缓冲区被占满了,导致阻塞**
496 |
497 | receive阻塞是因为读缓冲区中没数据。
498 |
499 | 记住,send是等到写缓冲区被填满之后才发送,但是write只要发现读缓冲区有数据,就将数据拷贝。
500 |
501 |
502 |
503 | # send和receive在阻塞和非阻塞模式下的表现
504 |
505 | ```c
506 | //第一个参数:指定发送端套接字
507 | //第二个参数:指明需要发送数据的缓冲区
508 | //第三个参数:指明实际发送的数据的字节
509 | //第四个参数:一般不写。可以临时设置为非阻塞
510 | int send( SOCKET s, const char *buf, int len, int flags );
511 |
512 | //第一个参数:指定接收端文件描述符
513 | //第二个参数:指明一个缓冲区,存放接受来的数据
514 | //第三个参数:指明缓冲区的长度
515 | //第四个参数:一般不写。可以临时设置为非阻塞
516 | int recv( SOCKET s, char *buf, int len, int flags);
517 | ```
518 |
519 | - recv和send两种模式设置
520 |
521 | 对于一个socket是阻塞还是非阻塞有两种方式来处理:
522 |
523 | 1. 用fcntl函数
524 |
525 | ```c
526 | flags = fcntl(sockfd, F_GETFL, 0); //获取文件的flags值。
527 | fcntl(sockfd, F_SETFL, flags | O_NONBLOCK); //设置成非阻塞模式;
528 | fcntl(sockfd,F_SETFL,flags&~O_NONBLOCK); //设置成阻塞模式;
529 | ```
530 |
531 | 2. 将recv和send函数的最后一个flag 参数设置成`MSG_DONTWAIT`
532 |
533 | 注意!这种方法是临时的,不管之前是否阻塞
534 |
535 | ```c
536 | recv(sockfd, buff, buff_size,MSG_DONTWAIT); //非阻塞模式的消息发送
537 | send(scokfd, buff, buff_size, MSG_DONTWAIT); //非阻塞模式的消息接受
538 | ```
539 |
540 | - 整体来看
541 |
542 | - 当`socket`处于阻塞模式时,继续调用`send/recv`函数,程序会阻塞在`send/recv`调用处
543 | - 当`socket`处于非阻塞模式时,继续调用`send/recv`函数,会返回错误码
544 |
545 | - 阻塞和非阻塞条件下read/recv的区别
546 |
547 | **阻塞和非阻塞的区别在于没有数据到达的时候是否立刻返回**
548 |
549 | 读或者收的本质是从底层缓冲的数据copy到我们制定的buffer中
550 |
551 | - 阻塞条件下
552 |
553 | 1. 如果读缓冲区中没有数据会一直等待
554 |
555 | 2. 如果读缓冲区有数据,则会把数据读到用户指定的缓冲区。如果读取的数据量比函数参数中指定的长度要小,read会返回读到的数据长度。
556 |
557 | 一般情况下我们都需要采取循环读的方式读取数据
558 |
559 | - 非阻塞条件下
560 |
561 | 1. 如果没有数据直接返回EWOULDBLOCK
562 | 2. 读缓冲区有数据,有多少读多少
563 |
564 | - 阻塞和非阻塞条件下send/write的区别
565 |
566 | 写或者发的本质是把buffer(用户态)中的数据copy到内核态,然后就返回了。发送操作是由系统底层和tcp协议进行。send返回成功,表示数据已经copy到底层缓冲区,而不是表示数据已经发送
567 |
568 | - 阻塞情况下
569 |
570 | 一直等待,直到write将数据发送完(发送过程中可能会中断)。
571 |
572 | 读的时候我们并不知道是否有数据,以及数据是何时结束发送,如果一直等待就会造成死循环
573 |
574 | 对于写由于长度是已知的,所以可以随便写,直到写完。不过写会被打断,造成一次write只能写一部分,可以用循环write。
575 |
576 | - 非阻塞情况下
577 |
578 | 对于本地网络阻塞的情况来说,写缓冲区没有足够的内存来存储buf中的数据,因此会出现写不成功的情况。非阻塞不会等到数据全部发送再返回,而是写多少算多少,
579 |
580 | 返回值是WSAEWOULDDBLOCK
581 |
582 | - [write和read返回值详解](https://blog.csdn.net/songchuwang1868/article/details/90665865?utm_medium=distribute.pc_relevant.none-task-blog-2%7Edefault%7ECTRLIST%7Edefault-3.no_search_link&depth_1-utm_source=distribute.pc_relevant.none-task-blog-2%7Edefault%7ECTRLIST%7Edefault-3.no_search_link)
583 |
584 |
585 |
586 | # IO多路复用
587 |
588 | IO多路复用是指内核一旦发现进程指定的一个或者多个IO条件准备读取,它就通知该进程。IO多路复用适用如下场合:
589 |
590 | 1. 当客户处理多个描述字时(一般是交互式输入和网络套接口),必须使用I/O复用。
591 | 2. 如果一个TCP服务器既要处理监听套接口,又要处理已连接套接口,一般也要用到I/O复用。
592 | 3. 如果一个服务器即要处理TCP,又要处理UDP,一般要使用I/O复用。
593 | 4. 如果一个服务器要处理多个服务或多个协议,一般要使用I/O复用。
594 |
595 | 与多进程和多线程技术相比,I/O多路复用技术的最大优势是系统开销小,系统不必创建进程/线程,也不必维护这些进程/线程,从而大大减小了系统的开销。
596 |
597 | ## ☆为什么单线程或者单进程下是用select或者epoll就能实现多个客户端的并发?
598 |
599 | 答: 在套接字中有两种文件描述符,一种是用于监听的文件描述符,一种是用于通信的文件描述符。(对服务器端来说用于监听的文件描述符只有1个,用于通信的文件描述符有n个对应n个连接的客户端)且不论是哪一种文件描述符,都有输入缓冲和输出缓冲。对于用于监听的文件描述符,其读缓冲区会存储来自客户端的链接请求,调用accept函数,如果读缓冲区有数据则解除阻塞,返回对应客户端的文件描述符,用来和响应客户端通信。对于通信的文件描述符,其读缓冲区存储客户端发送来的数据,调用read就能从缓冲区读取,如果没数据就阻塞。写缓冲区同理。从上面来看,accept、read、write函数是互斥的,在单进程中如果有一个陷入了阻塞状态,其余的也没办法工作。因此单线程或者单进程情况下服务器端无法阻止阻塞问题。
600 |
601 | 单进程或单线程下这个问题从使用者或者是用户层面来说无法解决,因此要把这个问题交给内核处理。程序媛不需要维护文件描述符的读缓冲区和写缓冲区,内核可以同时检测多个文 件描述符缓冲区的变化。比如检测读缓冲区,看是否有有数据,写缓冲区是否有剩余空间等等。如果满足,就会形成事件,内核会将满足条件的文件描述符告诉我们。
602 |
603 | 总结一下就是本来程序员来检测IO的使用情况,使用阻塞函数检查,交给了内核做。只有满足事件的文件描述符才调用阻塞函数,因此就不会形成阻塞。
604 |
605 | ## select
606 |
607 | - 原理
608 |
609 | select函数将许多个文件描述符集中到一起进行监视。
610 |
611 | 使用fd_set数组保存被监视的文件描述符的变化,这个数组是以位存储在内核中的。即该数组所在的索引就是对应文件描述符的id。
612 |
613 | 首先创建一个保存监视的数组`fd_set set`,然后将所有文件描述符的状态初始化为0 `FD_ZERO(&set)`,再用`FD_ISSET(i,&set)`查找发生状态的文件描述符,循环查找。
614 |
615 | - 存在额问题
616 |
617 | 1. 单个进程可监视的文件描述符的数量被限制,即监听的端口有限,这个数目的限制和内存有很大关系,32位默认为1024个,对于64位机默认为2048个
618 |
619 | 2. 对这个数组的是线性扫描,时间复杂度为O(n)
620 |
621 | 3. 这个是最主要的开销。**每次调用select函数的时候会向操作系统传递监视对象信息。记住,应用程序向操作系统传递数据会造成很大的开销。**select函数是监视套接字变化的函数,但是套接字是由操作系统来管理的,所以select必须要借助操作系统才能完成功能。所以select函数本身就是一个系统调用。
622 |
623 | (另一种说法:不是拷贝进内核,而是通过mmap系统调用开辟了一坨内核态用户态的共享空间,数据放在了这个共享空间了)
624 |
625 | > 最low的就是在用户代码中自旋实现所有阻塞socket的监听。但是每次判断socket是否产生数据,都涉及到用户态到内核态的切换。
626 | > 于是select改进:将fd_set传入内核态,由内核判断是否有数据返回;
627 | > 然后最low的只能使用自旋来时刻的去判断socket列表中是否有数据达到。
628 | > 于是select改进:使用等待队列,让线程在没有资源时park(阻塞),当有数据到达时唤醒select线程,去处理socket。
629 |
630 |
631 |
632 | ## epoll
633 |
634 | > epoll就是解耦了select的模型:
635 | >
636 | >
637 |
638 | > 设想一个场景:有100万用户同时与一个进程保持着TCP连接,而每一时刻只有几十个或几百个TCP连接是活跃的(接收TCP包),也就是说在每一时刻进程只需要处理这100万连接中的一小部分连接。那么,如何才能高效的处理这种场景呢?进程是否在每次询问操作系统收集有事件发生的TCP连接时,把这100万个连接告诉操作系统,然后由操作系统找出其中有事件发生的几百个连接呢?实际上,在Linux2.4版本以前,那时的select或者poll事件驱动方式是这样做的.
639 | >
640 | > 这里有个非常明显的问题,即在某一时刻,进程收集有事件的连接时,其实这100万连接中的大部分都是没有事件发生的。因此如果每次收集事件时,都把100万连接的套接字传给操作系统(这首先是用户态内存到内核态内存的大量复制),而由操作系统内核寻找这些连接上有没有未处理的事件,将会是巨大的资源浪费,然后select和poll就是这样做的,因此它们最多只能处理几千个并发连接。而epoll不这样做,它在Linux内核中申请了一个简易的文件系统,把原先的一个select或poll调用分成了3部分:
641 |
642 | 首先介绍一下epoll的函数,主要由三个:
643 |
644 | ```c++
645 | int epoll_create(int size);
646 | int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);
647 | int epoll_wait(int epfd, struct epoll_event *events,int maxevents, int timeout);
648 | ```
649 |
650 | 使用epoll_creat**e向操作系统申请创建文件描述符的空间**(这个文件描述符都是在内核空间中),即建立一个epoll对象。epoll_ctl将刚创立的socket加入到epoll中进行监控,或者将某个正在监控的socket移除,不在监控。epoll_wait即监控socket有状态发生变化时候,就返回用户态的进程
651 |
652 | > 从这三个函数就可以看到epoll函数的优越性。当调用select时需要传递所有监视的socket给系统调用,意味着需要将用户态的fd_set拷贝到内核态,可想而知效率非常低效。但是epoll中内核通过epoll_ctl函数已经拿到监视socket列表。所以,实际上在你调用epoll_create后,内核就已经在内核态开始准备帮你存储要监控的句柄了,每次调用epoll_ctl只是在往内核的数据结构里塞入新的socket句柄。
653 | >
654 | > 1. 调用epoll_create建立一个epoll对象(在epoll文件系统中给这个句柄分配资源);
655 | >
656 | > 2. 调用epoll_ctl向epoll对象中添加这100万个连接的套接字;
657 | >
658 | > 3. 调用epoll_wait收集发生事件的连接。
659 |
660 | epoll会开辟出自己的内核高速cache区,用于安置每一个我们想监控的socket,这些socket会以红黑树的形式保存在内核cache里,以支持快速的查找、插入、删除。同时还会建立一个双向链表,每个节点保存着满足读写条件,返回给用户的事件。
661 |
662 | epoll高效的原因主要是epoll_wait这个函数。由于我们在调用epoll_create时,内核除了帮我们在epoll文件系统里建了个file结点,在内核cache里建了个红黑树用于存储以后epoll_ctl传来的socket外,还会再建立一个list链表,用于存储准备就绪的事件,当epoll_wait调用时,仅仅观察这个list链表里有没有数据即可。有数据就返回,没有数据就sleep,等到timeout时间到后即使链表没数据也返回。所以,epoll_wait非常高效。而且,通常情况下即使我们要监控百万计的句柄,大多一次也只返回很少量的准备就绪句柄而已,所以,epoll_wait仅需要从内核态copy少量的文件描述符到用户态而已,如何能不高效?!
663 |
664 | 那么,这个准备就绪list链表是怎么维护的呢?**当我们执行epoll_ctl时,除了把socket放到epoll文件系统里对应的红黑树上之外,还会给内核中断处理程序注册一个回调函数**,告诉内核,如果这个文件描述符的中断到了,就把它放到准备就绪list链表里。所以,当一个socket上有数据到了,数据copy到内核中后就来把socket插入到准备就绪链表里了。
665 |
666 | **总结: 一颗红黑树,一张准备就绪句柄链表,少量的内核cache,就帮我们解决了大并发下的socket处理问题。**
667 |
668 | [详解epoll](https://mp.weixin.qq.com/s/miOOrLrC4HWXigLy9Ml-jw)
669 |
670 | ## select和epoll效率
671 |
672 | **select原理概述:**
673 |
674 | 1. 从用户空间拷贝fd_set到内核空间;
675 | 2. 遍历所有fd,只要有事件触发,系统调用返回,将fd_set从内核空间拷贝到用户空间,回到用户态,用户就可以对相关的fd作进一步的读或者写操作了。
676 |
677 | **epoll原理概述:**
678 |
679 | 1. 调用epoll_create
680 |
681 | 1. 内核帮我们在epoll文件系统里建了个file结点;
682 | 2. 在内核cache里建了个红黑树用于存储以后epoll_ctl传来的socket;
683 | 3. 建立一个list链表,用于存储准备就绪的事件。
684 |
685 | 2. 调用epoll_ctl
686 |
687 | 1. 把socket放到epoll文件系统里file对象对应的红黑树上;
688 | 2. 给内核中断处理程序注册一个回调函数,告诉内核,如果这个句柄的中断到了,就把它放到准备就绪list链表里。
689 |
690 | 3. 调用epoll_wait
691 |
692 | 观察list链表里有没有数据。有数据就返回,没有数据就sleep,等到timeout时间到后即使链表没数据也返回。而且,通常情况下即使我们要监控百万计的句柄,大多一次也只返回很少量的准备就绪句柄而已,所以,epoll_wait仅需要从内核态copy少量的句柄到用户态而已。
693 |
694 | **select缺点:**
695 |
696 | 1. 最大并发数限制:使用32个整数的32位,即32*32=1024来标识fd,虽然可修改,但是有以下第二点的瓶颈;
697 | 2. 效率低:每次都会线性扫描整个fd_set,集合越大速度越慢;
698 | 3. 内核/用户空间内存拷贝问题。
699 |
700 | **epoll的提升:**
701 |
702 | 1. 本身没有最大并发连接的限制,仅受系统中进程能打开的最大文件数目限制;
703 | 2. 效率提升:只有活跃的socket才会主动的去调用callback函数;
704 | 3. 省去不必要的内存拷贝:epoll通过内核与用户空间mmap同一块内存实现。
705 |
706 | **总结:**需要看所有被观察的事件是否都活跃。
707 |
708 | 假设现在有1024个fd,select 和epoll 都同时维护他,假设这些fd 都是活跃的,这种情况下select一次扫描 可以扫描1024个fd,空闲的fd很少,但是epoll 就有可能不一样了, epoll 是先注册等待回调, 有可能出现1024次回调。所以不好说。
709 |
710 | 如果select 和epoll 同时维护1024个fd ,但是每次只有一个fd有事件,这种情况下 select 每次都会扫描所有的fd, 对比于epoll 每次只有一个fd 回调。 select 做了很多无用功, 此时应该epoll的效率高吧!!
711 |
712 | 或者在短连接多的时候, 一个连接使用epoll 会触发epoll_ctrl_add/del 两次系统调用,但是select 只有一次扫描 ,此时 也许select 效率性能更高。
713 |
714 | ## epoll的水平触发模式(LT)
715 |
716 | 默认模式
717 |
718 | 在LT(水平触发)模式下,只要这个文件描述符还有数据可读,每次 epoll_wait都会返回它的事件,提醒用户程序去操作。
719 |
720 | ## epoll的边缘触发模式(ET)
721 |
722 | ET(边缘触发)模式下,在它检测到有 I/O 事件时,通过 epoll_wait 调用会得到有事件通知的文件描述符,**对于每一个被通知的文件描述符,如可读,则必须将该文件描述符一直读到空**,让 errno 返回 EAGAIN 为止,否则下次的 epoll_wait 不会返回余下的数据,会丢掉事件。如果ET模式不是非阻塞的,那这个一直读或一直写势必会在最后一次阻塞。
723 |
724 | 为什么会有ET模式?
725 |
726 | 答:如果采用EPOLLLT模式的话,系统中一旦有大量你不需要读写的就绪文件描述符,它们每次调用epoll_wait都会返回,这样会大大降低处理程序检索自己关心的就绪文件描述符的效率.。而采用EPOLLET这种边缘触发模式的话,当被监控的文件描述符上有可读写事件发生时,epoll_wait()会通知处理程序去读写。如果这次没有把数据全部读写完(如读写缓冲区太小),那么下次调用epoll_wait()时,它不会通知你,也就是它只会通知你一次,直到该文件描述符上出现第二次可读写事件才会通知你!!!这种模式比水平触发效率高,系统不会充斥大量你不关心的就绪文件描述符。减少epoll_wait的调用次数,系统调用开销是很大的
727 |
728 |
729 |
730 | # tcp 在调用connect失败后要不要重新socket?
731 |
732 | connect(套接字默认阻塞)出错返回的情况:
733 |
734 | 1. 调用connect时内核发送一个SYN分节,若无响应则等待6s后再次发送一个,仍无响应则等待24s再发送一个,若总共等了75s后仍未收到响应则返回ETIMEDOUT错误;
735 |
736 | 2. 若对客户的SYN的响应是RST,则表示该服务器主机在我们指定的端口上面没有进程在等待与之连接,例如服务器进程没运行,客户收到RST就马上返回ECONNREFUSED错误;
737 |
738 | 3. 若客户发出的SYN在中间的某个路由上引发了一个“destination unreachable”(目的不可达)ICMP错误,客户主机内核保存该消息,并按1中所述的时间间隔发送SYN,在某个规定的时间(4.4BSD规定75s)仍未收到响应,则把保存的ICMP错误作为EHOSTUNREACH或ENETUNREACH错误返回给进程。
739 |
740 | 若connect失败则该套接字不再可用,必须关闭,我们不能对这样的套接字再次调用connect函数。在每次connect失败后,都必须close当前套接字描述符并重新调用socket。
741 |
742 |
743 |
744 | # Linux零拷贝技术
745 |
746 | splice( )函数
747 |
748 | tee( )函数
749 |
750 | ## **概述:**
751 |
752 | 零拷贝(Zero-Copy)是一种 `I/O` 操作优化技术,可以快速高效地将数据从文件系统移动到网络接口,而不需要将其从内核空间复制到用户空间。其在 `FTP` 或者 `HTTP` 等协议中可以显著地提升性能。
753 |
754 | ## **由来:**
755 |
756 | 如果服务端要提供文件传输的功能,我们能想到的最简单的方式是:将磁盘上的文件读取出来,然后通过网络协议发送给客户端。传统 I/O 的工作方式是,数据读取和写入是从用户空间到内核空间的复制,而内核空间的数据是通过操作系统层面的 I/O 接口从磁盘读取或写入。其过程如下图所示:
757 |
758 |
759 |
760 | 可以想想一下这个过程。服务器读从磁盘读取文件的时候,发生一次系统调用,产生用户态到内核态的转换,将磁盘文件拷贝到内核的内存中。然后将位于内核内存中的文件数据拷贝到用户的缓冲区中。用户应用缓冲区需要将这些数据发送到socket缓冲区中,进行一次用户态到内核态的转换,复制这些数据。此时这些数据在内核的socket的缓冲区中,在进行一次拷贝放到网卡上发送出去。
761 |
762 | 所以整个过程一共进行了四次拷贝,四次内核和用户态的切换。这种简单又传统的文件传输方式,存在冗余的上文切换和数据拷贝,在高并发系统里是非常糟糕的,多了很多不必要的开销,会严重影响系统性能。
763 |
764 | ## 零拷贝原理
765 |
766 | 零拷贝主要是用来解决操作系统在处理 I/O 操作时,频繁复制数据的问题。关于零拷贝主要技术有 `mmap+write`、`sendfile`和`splice`等几种方式。
767 |
768 | 看完下图会发现其实零拷贝就是少了CPU拷贝这一步,磁盘拷贝还是要有的
769 |
770 | - mmap/write 方式
771 |
772 |
773 |
774 | 把数据读取到内核缓冲区后,应用程序进行写入操作时,直接把内核的`Read Buffer`的数据复制到`Socket Buffer`以便写入,这次内核之间的复制也是需要CPU的参与的。
775 |
776 | - sendfile 方式
777 |
778 |
779 |
780 | 可以看到使用sendfile后,没有用户空间的参与,一切操作都在内核中进行。但是还是需要1次拷贝
781 |
782 | - 带有 scatter/gather 的 sendfile方式
783 |
784 | Linux 2.4 内核进行了优化,提供了带有 `scatter/gather` 的 sendfile 操作,这个操作可以把最后一次 `CPU COPY` 去除。其原理就是在内核空间 Read BUffer 和 Socket Buffer 不做数据复制,而是将 Read Buffer 的内存地址、偏移量记录到相应的 Socket Buffer 中,这样就不需要复制。其本质和虚拟内存的解决方法思路一致,就是内存地址的记录。
785 |
786 | **注意: sendfile适用于文件数据到网卡的传输过程,并且用户程序对数据没有修改的场景;**
787 |
788 | - splice 方式
789 |
790 |
791 |
792 | 其实就是CPU 在内核空间的读缓冲区(read buffer)和网络缓冲区(socket buffer)之间建立管道(pipeline)直接把数据传过去了,不去要CPU复制了
793 |
794 |
795 |
796 |
797 |
798 | # accept()、connect()发生在三次握手的哪一步?
799 |
800 |
801 |
802 | 看上图就很明白了,刚准备发SYN同步报文时候,connect函数阻塞,然后服务端收到SYN同步报文的时候,调用accept()阻塞,服务器发送SYN+ACK给客户端,此时connect连接上就返回了,然后等服务器收到ACK报文时,accept也返回。
803 |
804 | 所以只说返回状态的话connect成功返回是在第二步,accept成功返回是在第三步
805 |
806 |
807 |
808 | # accept的队列
809 |
810 | 处于“LISTENING”状态的TCP socket,有两个独立的队列:
811 |
812 | 1. SYN队列(SYN Queue)
813 | 2. Accept队列(Accept Queue)
814 |
815 | **SYN队列**
816 |
817 | SYN队列存储了收到SYN包的连接(对应内核代码的结构体: struct inet_request_sock)。它的职责是回复SYN+ACK包,并且在没有收到ACK包时重传,直到超时。发送完SYN+ACK之后,SYN队列等待从客户端发出的ACK包(也即三次握手的最后一个包)。当收到ACK包时,首先找到对应的SYN队列,再在对应的SYN队列中检查相关的数据看是否匹配,如果匹配,内核将该连接相关的数据从SYN队列中移除
818 |
819 | **accept队列**
820 |
821 | 内核将该连接相关的数据从SYN队列中移除,创建一个完整的连接(对应内核代码的结构体: struct inet_sock ),并将这个连接加入Accept队列。Accept队列中存放的是已建立好的连接,也即等待被上层应用程序取走的连接。当进程调用accept(),这个socket从队列中取出,传递给上层应用程序。一般来说都是select或者epoll上有事件发生时再取走
822 |
823 |
824 |
825 | # 调用close()在哪一步?
826 |
827 |
828 |
829 | 首先注意EOF这个东西。当客户端调用close主动断开时,会在FIN报文后面放入一个文件结束符EOF,会放在服务器端读缓存队列的最后,当接收到EOF时,服务器需要处理这种异常情况,表示以后不会有任何数据到达。因此服务器会返回一个ACK确认报文然后进入closed_wait状态
830 |
831 | 等服务器处理完后,发送FIN报文后也调用close。
832 |
833 |
834 |
835 | # Posix 信号量与System v信号量的区别
836 |
837 | [参考](https://blog.csdn.net/weixin_41413441/article/details/81239859)
838 |
839 | [参考](https://bbs.huaweicloud.com/blogs/detail/232525)
840 |
841 | [参考](https://www.cnblogs.com/sparkdev/p/8692567.html)
842 |
843 | Posix:是“可移植操作系统接口(Portable Operating System Interface )的首字母简写,但它并不是一个单一的标准,而是一个电气与电子工程学会即IEEE开发的一系列标准,它还是由ISO(国际标准化组织)和IEC(国际电工委员会)采纳的国际标准。
844 |
845 | System v是Unix操作系统众多版本的一个分支,它最初是由AT&T在1983年第一次发布,System v一共有四个版本,而最成功的是System V Release 4,或者称为SVR4。这样看来,一个是Unix 的标准之一(另一个标准是Open Group),一个是Unix众多版本的分支之一(其他的分支还有Linux跟BSD),应该来说,Posix标准正变得越来越流行,很多厂家开始采用这一标准。
846 |
847 | 区别如下:
848 |
849 | 1. System v信号量指的是计数信号量集;Posix 信号量指的是单个计数信号量。
850 | 2. Posix信号量是基于内存的,即信号量值是放在共享内存中的,它是由可能与文件系统中的路径名对应的名字来标识的。System v信号量测试基于内核的,它放在内核里面,相同点都是它们都可以用于进程或者线程间的同步。
851 | 3. POSIX信号量常用于线程;system v信号量常用于进程的同步。
852 | 4. POSIX 信号量的头文件是 ,而 System V 信号量的头文件是 。
853 |
854 |
855 |
856 | # 信号通知流程和处理机制
857 |
858 | Linux下的信号采用的异步处理机制,信号处理函数和当前进程是两条不同的执行路线。具体的,当进程收到信号时,操作系统会中断进程当前的正常流程,转而进入信号处理函数执行操作,完成后再返回中断的地方继续执行。为避免信号竞态现象发生,信号处理期间系统不会再次触发它。所以,为确保该信号不被屏蔽太久,信号处理函数需要尽可能快地执行完毕。
859 |
860 | 一般的信号处理函数需要处理该信号对应的逻辑,当该逻辑比较复杂时,信号处理函数执行时间过长,会导致信号屏蔽太久。提供一种解决方案是,信号处理函数仅仅发送信号通知程序主循环,将信号对应的处理逻辑放在程序主循环中,由主循环执行信号对应的逻辑代码。
861 |
862 | > **统一事件源**
863 | >
864 | > 统一事件源,是指将信号事件与其他事件一样被处理。
865 | >
866 | > 具体的,信号处理函数使用管道将信号传递给主循环,信号处理函数往管道的写端写入信号值,主循环则从管道的读端读出信号值,使用I/O复用系统调用来监听管道读端的可读事件,这样信号事件与其他文件描述符都可以通过epoll来监测,从而实现统一处理。
867 |
868 | 信号处理机制如下图:
869 |
870 | 
871 |
872 | - 信号的接收
873 |
874 | - 接收信号的任务是由内核代理的,当内核接收到信号后,会将其放到对应进程的信号队列中,同时向进程发送一个中断,使其陷入内核态。注意,此时信号还只是在队列中,对进程来说暂时是不知道有信号到来的。
875 |
876 | - 信号的检测
877 |
878 | - 进程从内核态返回到用户态前进行信号检测
879 |
880 | - 进程在内核态中,从睡眠状态被唤醒的时候进行信号检测
881 | - 进程陷入内核态后,有两种场景会对信号进行检测:
882 | - 当发现有新信号时,便会进入下一步,信号的处理。
883 |
884 | - 信号的处理
885 |
886 | - ( **内核** )信号处理函数是运行在用户态的,调用处理函数前,内核会将当前内核栈的内容备份拷贝到用户栈上,并且修改指令寄存器(eip)将其指向信号处理函数。
887 |
888 | - ( **用户** )接下来进程返回到用户态中,执行相应的信号处理函数。
889 | - ( **内核** )信号处理函数执行完成后,还需要返回内核态,检查是否还有其它信号未处理。
890 | - ( **用户** )如果所有信号都处理完成,就会将内核栈恢复(从用户栈的备份拷贝回来),同时恢复指令寄存器(eip)将其指向中断前的运行位置,最后回到用户态继续执行进程。
891 |
892 | - 至此,一个完整的信号处理流程便结束了,如果同时有多个信号到达,上面的处理流程会在第2步和第3步骤间重复进行。
893 |
894 |
895 |
896 | # 服务器端有100万个TCP长连接,可能会出现的问题
897 |
898 | [参考1](https://www.zhihu.com/question/20831000)
899 |
900 | [参考2](http://www.blogjava.net/yongboy/archive/2013/04/11/397677.html)
901 |
902 |
903 |
904 | # epoll是同步还是异步的?
905 |
906 | 1.
907 | IO层面
908 | 2. 消息处理层面
909 | 3. 从IO层面来看,epoll绝对是同步的;
910 | 4. 从消息处理层面来看,epoll是异步的.
911 |
912 | select,poll,epoll本质上都是同步I/O,因为他们都需要在读写事件就绪后自己负责进行读写,也就是说这个读写过程是阻塞的(可能通过while循环来检测内核将数据准备的怎么样了, 而不是属于内核的一种通知用户态机制),仍然需要read、write去读写数据。
913 |
914 | 用户线程定期轮询epoll文件描述符上的事件,事件发生后,读取事件对应的epoll_data,该结构中包含了文件fd和数据地址,由于采用了mmap,程序可以直接读取数据(epoll_wait函数)。有人把epoll这种方式叫做同步非阻塞(NIO),因为用户线程需要不停地轮询,自己读取数据,看上去好像只有一个线程在做事情。也有人把这种方式叫做异步非阻塞(AIO),因为毕竟是内核线程负责扫描fd列表,并填充事件链表的。个人认为真正理想的异步非阻塞,应该是内核线程填充事件链表后,主动通知用户线程,或者调用应用程序事先注册的回调函数来处理数据,如果还需要用户线程不停的轮询来获取事件信息,就不是太完美了,所以也有不少人认为epoll是伪AIO,还是有道理的。
915 |
916 | # 原子操作的原理
917 |
918 | 原子操作(atomic operation)意为”不可被中断的一个或一系列操作”
919 |
920 |
921 |
922 | # signal机制
923 |
924 |
925 |
926 | # 使用epoll或select时需要将socket设为非阻塞吗?
927 |
928 | **先说结论:**
929 |
930 | 需要的。但是一个 socket 是否设置为阻塞模式,只会影响到 connect/accept/send/recv 等四个 socket API 函数,不会影响到 select/poll/epoll_wait 函数,后三个函数的超时或者阻塞时间是由其函数自身参数控制的。
931 |
932 | **socket 是否被设置成阻塞模式对下列 API 造成的影响:**
933 |
934 | connfd:该端调用 connect 函数主动发起连接;
935 |
936 | listenfd:调用 listen 函数发起侦听的一端(服务端);即监听的socket
937 |
938 | clientfd:调用 accept 函数接受连接,由 accept 函数返回的 socket(服务端)。即连接的socket
939 |
940 | 当connfd 被设置成阻塞模式时(默认行为,无需设置),connect 函数会一直阻塞到连接成功或超时或出错,超时值需要修改内核参数。当 connfd 被设置成非阻塞模式,无论连接是否建立成功,connect 函数都会立刻返回,那如何判断 connect 函数是否连接成功呢?接下来使用 select 和 epoll_wait 函数去判断 socket 是否可写即可,当然,Linux 系统上还需要额外加一步——使用 getsockopt 函数判断此时 socket 是否有错误(因为select中通知有数据达到但是可能数据error checksum或者discard了),这就是所谓的异步 connect 或者叫非阻塞 connect。
941 |
942 | 当 listenfd 设置成阻塞模式(默认行为,无需额外设置)时,如果连接 pending(待办) 队列中有需要处理的连接,accept 函数会立即返回,否则会一直阻塞下去,直到有新的连接到来。当 listenfd 设置成非阻塞模式,无论连接 pending 队列中是否有需要处理的连接,accept 都会立即返回,不会阻塞。如果有连接,则 accept 返回一个大于 0 的值,这个返回值即是我们上文所说的 clientfd;如果没有连接,accept 返回值小于 0,错误码 errno 为 EWOULDBLOCK(或者是 EAGAIN,这两个错误码值相等)。
943 |
944 | 当 connfd 或 clientfd 设置成阻塞模式时:send 函数会尝试发送数据,如果对端因为 TCP 窗口太小导致本端无法将数据发送出去,send 函数会一直阻塞直到对端 TCP 窗口变大足以发数据或者超时;recv 函数则正好相反,如果此时没有数据可收获,recv函数会一直阻塞直到收取到数据或者超时,有的话,取到数据后返回。send 和 recv 函数的超时时间可以分别使用 SO_SNDTIMEO 和 SO_RCVTIMEO 两个 socket 选项来设置。当 connfd 或 clientfd 设置成非阻塞模式时,send 和 recv 函数都会立即返回,send 函数即使因为对端 TCP 窗口太小发不出去也会立即返回,recv 函数如果无数据可收也会立即返回,此时这两个函数的返回值都是 -1,错误码 errno 是 EWOULDBLOCK(或 EAGIN,与上面同)。
945 |
946 | **select/poll/epoll_wait 函数的等待或超时时间**
947 |
948 | select、poll、epoll_wait 函数的超时时间分别由传给各自函数的时间参数决定的,我们来看下这三个函数的签名:
949 |
950 | ```c
951 | int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout);
952 | int poll(struct pollfd *fds, nfds_t nfds, int timeout);
953 | int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout);
954 | ```
955 |
956 | 三个函数最后一个参数是 timeout,只不过 select 函数的 timeout 参数的类型是一个结构体指针
957 |
958 | select 函数的 timeout 参数含义有三种:
959 |
960 | 1. timeout 为 NULL 时,select 函数将一直阻塞下去,直到出错或者绑定其上的 socket 有事件;
961 | 2. 当 timeout->tv_sec 和 timeout->tv_usec 同时为 0 时,select 函数会检查一下绑定在其上的 socket 是否有事件,然后立刻返回;
962 | 3. 当 timeout->tv_sec 和 timeout->tv_usec 之和大于 0 时,select 函数检测到绑定其上的 socket 有时间才会返回或者阻塞时长为 timeout->tv_sec + timeout->tv_usec 。
963 |
964 | poll 和 epoll_wait 函数的超时时间为毫秒,设置为 0,和 select 函数一样,检测一下绑定其上的 socket 是否有事件,然后立即返回。
965 |
966 | **为什么使用epoll时候需要将socket设置成阻塞的?**
967 |
968 | 首先epoll 模型通常用于服务端,那讨论的 socket 只有 listenfd 和 clientfd 了。
969 |
970 | 对于listenfd,可以阻塞可以非阻塞。有很多的服务器程序结构确实采用的就是阻塞的 listenfd,为了不让 accept 函数在没有连接时阻塞对程序其他逻辑执行流造成影响,我们通常将 accept 函数放在一个独立的线程中。但是如果不在一个独立线程中获得listenfd的话,如果默认一个监听socket是阻塞的话,有如下场景:客户端通过connect向服务器发起三次握手,三次握手后触发select或者epoll上的事件,但是呢此时客户端发送过来RST报文取消了连接,而此时服务器端调用了accept接收了次连接区去内核队列中取时内核队列中是空的(因为该客户端连接被取消),那么服务器就会阻塞在accept调用,无法响应其他就绪的监听socket,所以我们要吧监听socket即listenfd也设置为阻塞的。
971 |
972 | 对于clientfd,主要涉及到的是读写的问题。当读取的数据很小,比如有个buffer是1024字节,读取的数据小于1024的话,水平边缘触发搭配阻塞和非阻塞其实都一样。那么很多时候我们接受的数据都很大,一个buffer装不下,就需要while循环多次读。那么这种情况水平触发模式显得很鸡肋,阻塞和非阻塞效果都一样。所以我们主要讨论的是边缘触发情况下clientfd的阻塞和非阻塞。首先是ET+阻塞的情况,当最后一个数据读取完后,程序是无法立刻跳出while循环的,因为阻塞IO会在 while(true){ int len=recv(); }这里阻塞住,除非对方关闭连接或者recv出错,这样程序就无法继续往下执行,因为我就绪的文件描述符都在等着处理,这一次的epoll_wait没有办法处理其它的连接,会造成延迟、并发度下降。其次的话select或者epoll返回可读,和recv去读,这是两个独立的系统调用,两个操作之间是有窗口的,也就是说 select 返回可读,紧接着去 read,不能保证一定可读。man select中说了数据到达了但是可能error checksum或者discard了,如果你用阻塞的,就阻塞了进行不下去,这显然不行。如果是ET+非阻塞IO的话,当读取完数据后,recv会立即返回-1,并将errno设置为EAGAIN或EWOULDBLOCK,这就表示数据已经读取完成,已经没有数据了,可以退出循环了。这样就不会像阻塞IO一样卡在那里,这就减少了不必要的等待时间,性能自然更高。
973 |
974 |
975 |
976 |
977 |
978 | # 用过哪些linux命令?
979 |
980 | ## top
981 |
982 | top命令是Linux下常用的性能分析工具,能够实时显示系统中各个进程的资源占用状况,类似于Windows的任务管理器。
983 |
984 | 常用命令如下:
985 |
986 | 1. P:按%CPU使用率排行
987 | 2. M:按%MEM排行
988 | 3. T: 根据时间/累计时间进行排序。
989 |
990 | ## scp
991 |
992 | 用于不同linux主机之间复制文件的
993 |
994 | ```shell
995 | scp local_file remote_username@remote_ip:remote_file
996 | ```
997 |
998 | ## find
999 |
1000 | 找文件名
1001 |
1002 | ```shell
1003 | find . -name '[A-Z]*.txt' -print
1004 | ```
1005 |
1006 | ## sar
1007 |
1008 | `sar`(System Activity Reporter 系统活动情况报告)是目前 Linux 上最为全面的系统性能分析工具之一,可以从多方面对系统的活动进行报告,包括:文件的读写情况、系统调用的使用情况、磁盘 I/O、CPU 效率、内存使用状况、进程活动及 IPC 有关的活动等。我们可以使用`sar`命令来获得整个系统性能的报告。这有助于我们定位系统性能的瓶颈,并且有助于我们找出这些烦人的性能问题的解决方法。
1009 |
1010 | [参考](https://shockerli.net/post/linux-tool-sar/)
1011 |
1012 | ## tar
1013 |
1014 | ## df
1015 |
1016 | 用来检查linux服务器的文件系统的磁盘空间占用情况。可以利用该命令来获取硬盘被占用了多少空间,目前还剩下多少空间等信息。
1017 |
1018 | ## free
1019 |
1020 | 显示Linux系统中空闲的、已用的物理内存及swap内存,及被内核使用的buffer。在Linux系统监控的工具中,free命令是最经常使用的命令之一。
1021 |
1022 | total:总计物理内存的大小。
1023 |
1024 | used:已使用多大。
1025 |
1026 | free:可用有多少。
1027 |
1028 | ## netstat
1029 |
1030 | Netstat 命令用于显示各种网络相关信息,如网络连接,路由表,实际的网络连接以及每一个网络接口设备的状态信息。Netstat用于显示与IP、TCP、UDP和ICMP协议相关的统计数据,一般用于检验本机各端口的网络连接情况。
1031 |
1032 | - 直接使用netstat
1033 |
1034 | 输出结果可以分为两个部分:一个是Active Internet connections,称为有源TCP连接,其中"Recv-Q"和"Send-Q"指%0A的是接收队列和发送队列。这些数字一般都应该是0。如果不是则表示软件包正在队列中堆积。这种情况只能在非常少的情况见到。另一个是Active UNIX domain sockets,称为有源Unix域套接口(和网络套接字一样,但是只能用于本机通信,性能可以提高一倍)。
1035 | Proto显示连接使用的协议,RefCnt表示连接到本套接口上的进程号,Types显示套接口的类型,State显示套接口当前的状态,Path表示连接到套接口的其它进程使用的路径名。
1036 |
1037 | - 列出所有端口 #netstat -a
1038 |
1039 | - 列出所有 tcp 端口 #netstat -at
1040 |
1041 | - 列出所有 udp 端口 #netstat -au
1042 |
1043 | ## traceroute
1044 |
1045 | 追踪网络数据包的路由途径,预设数据包大小是40Bytes。
1046 |
1047 | ## route
1048 |
1049 | 跟路由表相关的命令
1050 |
1051 | 可以查看(route),增加(route add -net 224.0.0.0 netmask 240.0.0.0 dev eth0),删除(route del -net 224.0.0.0 netmask 240.0.0.0)
1052 |
1053 | ## ip
1054 |
1055 | linux的ip命令和ifconfig类似,但前者功能更强大,并旨在取代后者。使用ip命令,只需一个命令,你就能很轻松地执行一些网络管理任务。ifconfig是net-tools中已被废弃使用的一个命令,许多年前就已经没有维护了。iproute2套件里提供了许多增强功能的命令,ip命令即是其中之一。
1056 |
1057 |
1058 |
1059 | # Linux惊群效应详解
1060 |
1061 | [参考链接](https://mp.weixin.qq.com/s?__biz=MzU1ODEzNjI2NA==&mid=2247487207&idx=1&sn=08d1a44dcfe978bd97e6735e8e044d06&source=41#wechat_redirect)
1062 |
1063 | **定义:**惊群效应(thundering herd)是指多进程(多线程)在同时阻塞等待同一个事件的时候(休眠状态),如果等待的这个事件发生,那么他就会唤醒等待的所有进程(或者线程),但是最终却只能有一个进程(线程)获得这个时间的“控制权”,对该事件进行处理,而其他进程(线程)获取“控制权”失败,只能重新进入休眠状态,这种现象和性能浪费就叫做惊群效应。
1064 |
1065 | **危害:**
1066 |
1067 | 1. Linux 内核对用户进程(线程)频繁地做无效的调度、上下文切换等使系统性能大打折扣。上下文切换(context switch)过高会导致 cpu 像个搬运工,频繁地在寄存器和运行队列之间奔波,更多的时间花在了进程(线程)切换,而不是在真正工作的进程(线程)上面。直接的消耗包括 cpu 寄存器要保存和加载(例如程序计数器)、系统调度器的代码需要执行。间接的消耗在于多核 cache 之间的共享数据。
1068 | 2. 为了确保只有一个进程(线程)得到资源,需要对资源操作进行加锁保护,加大了系统的开销。目前一些常见的服务器软件有的是通过锁机制解决的,比如 Nginx(它的锁机制是默认开启的,可以关闭);还有些认为惊群对系统性能影响不大,没有去处理,比如 lighttpd
1069 |
1070 | **Linux 解决方案之 Accept**
1071 |
1072 | Linux 2.6 版本之前,监听同一个 socket 的进程会挂在同一个等待队列上,当请求到来时,会唤醒所有等待的进程。Linux 2.6 版本之后,通过引入一个标记位 WQ_FLAG_EXCLUSIVE,解决掉了 Accept 惊群效应。
1073 |
1074 |
1075 |
1076 | # pthread_cond_wait 为什么需要传递 mutex 参数?
1077 |
1078 | 本质上这个问题想问这个锁是用来保护什么的?其实这个互斥锁不是用来保护条件变量的内部状态的,而是用来保护外部条件的,就是那个while()循环中的判断。
1079 |
1080 | 游双书里面说"pthread_cond_wait函数用于等待目标条件变量,mutex是保护条件变量的互斥锁,以确保pthread_cond_wait的原子性。"在看完这个回答你就该知道,**pthread_cond_wait的原子性指的是while条件判断成立和这个线程调用wait函数进入唤醒队列的原子性。**
1081 |
1082 | - 错误写法
1083 |
1084 | ```c
1085 | //threadA
1086 | pthread_mutex_lock(&mutex);
1087 | while (false == ready) {
1088 | pthread_cond_wait(&cond, &mutex);
1089 | }
1090 | pthread_mutex_unlock(&mutex);
1091 |
1092 | //threadB
1093 | ready = true;
1094 | pthread_cond_signal(&cond);
1095 | ```
1096 |
1097 | 这个写法为什么有错误?如图:
1098 |
1099 |
1100 |
1101 | ThreadA进入while循环后,准备进入唤醒队列,此时ThreadB进来横插一脚,把`ready`改成`true`然后提前唤醒,这个时候线程A还没有进入唤醒队列,因此A会丢失唤醒条件进而永久wait
1102 |
1103 | - 正确写法
1104 |
1105 | ```c
1106 | //Thread A
1107 | pthread_mutex_lock(&mutex);
1108 | while (false == ready) {
1109 | pthread_cond_wait(&cond, &mutex);
1110 | }
1111 | pthread_mutex_unlock(&mutex);
1112 |
1113 | //Thread B
1114 | pthread_mutex_lock(&mutex);
1115 | ready = true;
1116 | pthread_mutex_unlock(&mutex);
1117 | pthread_cond_signal(&cond);
1118 | ```
1119 |
1120 |
1121 | [参考链接](https://zhuanlan.zhihu.com/p/55123862)
1122 |
1123 |
1124 |
1125 | # 什么是虚假唤醒?
1126 |
1127 | 一般来说我们要在等待wait的时候用while循环。因为会产生虚假唤醒。
1128 |
1129 | pthread 的条件变量等待 `pthread_cond_wait` 是使用阻塞的系统调用实现的(比如 Linux 上的 `futex`),这些阻塞的系统调用在进程被信号中断后,通常会中止阻塞、直接返回 EINTR 错误。同样是阻塞系统调用,你从 `read` 拿到 EINTR 错误后可以直接决定重试,因为这通常不影响它本身的语义。而条件变量等待则不能,因为本线程拿到 EINTR 错误和重新调用 `futex` 等待之间,可能别的线程已经通过 `pthread_cond_signal` 或者 `pthread_cond_broadcast`发过通知了。所以,虚假唤醒的一个可能性是条件变量的等待被信号中断。
1130 |
1131 | 在多核处理器下,pthread_cond_signal可能会激活多于一个线程(阻塞在条件变量上的线程)。结果是,当一个线程调用pthread_cond_signal()后,因为多个线程都被唤醒了,很可能其中一个唤醒的线程,先一步改变的condition. 此时另一个线程的condition已经不满足,因此需要加Where再次判断。这种效应成为”**虚假唤醒**”(spurious wakeup)。所以我们把判断条件从if改成while,pthread_cond_wait中的while()不仅仅在等待条件变量**前**检查条件变量,实际上在等待条件变量**后**也检查条件变量。
1132 |
1133 |
1134 |
1135 | # 套接字文件描述符和端口号的关系
1136 |
1137 | 个socket句柄代表两个地址对 “本地ip:port”--“远程ip:port”
1138 |
1139 | 在windows下叫句柄,在linux下叫文件描述符
1140 |
1141 | socket为内核对象,由操作系统内核来维护其缓冲区,引用计数,并且可以在多个进程中使用。
1142 |
1143 |
1144 |
1145 | # 进程线程协程
1146 |
1147 | [参考链接](https://www.cnblogs.com/Survivalist/p/11527949.html#%E5%8D%8F%E7%A8%8B)
1148 |
1149 |
1150 |
1151 | # linux栈大小
1152 |
1153 | 用命令ulimit -s查看
1154 |
1155 | 8M左右
1156 |
1157 |
1158 |
1159 | # 服务器集群
1160 |
1161 |
1162 |
1163 |
1164 |
1165 | # Linux进程、进程组、会话、僵尸
1166 |
1167 | > 研究 Linux 之前,首先要对进程、进程组、会话,线程有个整体的了解:一个会话包含多个进程组,一个进程组包含多个进程,一个进程包含多个线程。
1168 |
1169 | **进程:**
1170 |
1171 | 进程是 Linux 操作系统环境的基础,它控制着系统上几乎所有的活动。每个进程都有自己唯一的标识:进程 ID,也有自己的生命周期。进程都有父进程,父进程也有父进程,从而形成了一个以 init 进程 (PID = 1)为根的家族树。除此以外,进程还有其他层次关系:进程组和会话。
1172 |
1173 | 有几种比较特殊的进程:
1174 |
1175 | 1. 孤儿进程:一个父进程退出,而它的一个或多个子进程还在运行,那么那些子进程将成为孤儿进程。孤儿进程将被 init 进程(进程号为1)所收养,并由 init 进程对它们完成状态收集工作。
1176 | 2. 僵尸进程:一个进程使用 fork 创建子进程,如果子进程先退出,而父进程并没有调用 wait 或 waitpid 获取子进程的状态信息,那么子进程的进程描述符仍然保存在系统中。这种进程称之为僵死进程。
1177 | 3. 守护进程:(英语:daemon)是一种在后台执行的程序。此类程序会被以**进程**的形式初始化。**守护进程**程序的名称通常以字母“d”结尾:例如,syslogd 就是指管理系统日志的守护进程。
1178 |
1179 | **进程ID:**
1180 |
1181 | Linux每个进程都会有一个非负整数表示的唯一进程 ID,简称 pid。Linux 提供了getpid 函数来获取进程的 pid,同时还提供了 getppid 函数来获取父进程的 pid。
1182 |
1183 | **进程组:**
1184 |
1185 | 进程组的概念并不难理解,可以将人与人之间的关系做类比。一起工作的同事,自然比毫不相干的路人更加亲近。shell 中协同工作的进程属于同一个进程组,就如同协同工作的人属于同一个部门一样。引入了进程组的概念,可以更方便地管理这一组进程了。比如这项工作放弃了,不必向每个进程一一发送信号,可以直接将信号发送给进程组,进程组内的所有进程都会收到该信号。
1186 |
1187 | **会话(session):**
1188 |
1189 | 一般是指 shell session。Shell session 是终端中当前的状态,在终端中只能有一个 session。当我们打开一个新的终端时,总会创建一个新的 shell session。
1190 |
1191 | 就进程间的关系来说,session 由一个或多个进程组组成。我们可以通过下图来理解进程、进程组和 session 之间的关系:
1192 |
1193 |
1194 |
1195 |
1196 |
1197 |
1198 |
1199 | # 守护进程
1200 |
1201 | **概念:**
1202 |
1203 | 守护进程(Daemon)是运行在后台的一种特殊进程。它独立于控制终端并且周期性地执行某种任务或等待处理某些发生的事件。守护进程是一种很有用的进程。 Linux的大多数服务器就是用守护进程实现的。比如,Internet服务器inetd,Web服务器httpd等。同时,守护进程完成许多系统任务。 比如,作业规划进程crond,打印进程lpd等。守护进程的编程本身并不复杂,复杂的是各种版本的Unix的实现机制不尽相同,造成不同 Unix环境下守护进程的编程规则并不一致。
1204 |
1205 | 当我们在命令行提示符后输入类似./helloworld程序时,在程序运行时终端被占用,此时无法执行其它操作。即使使用./helloworld &方式后台运行,当连接终端的网络出现问题,那么也会导致运行程序中断。这些因素对于长期运行的服务来说很不友好,而「守护进程」可以很好的解决这个问题。
1206 |
1207 | **特性:**
1208 |
1209 | 守护进程最重要的特性是后台运行。其次,守护进程必须与其运行前的环境隔离开来。这些环境包括未关闭的文件描述符,控制终端,会话和进程组,工作目录以及文件创建掩模等。这些环境通常是守护进程从执行它的父进程(特别是shell)中继承下来的。最后,守护进程的启动方式有其特殊之处。它可以在Linux系统启动时从启动脚本/etc/rc.d中启动,可以由作业规划进程crond启动,还可以由用户终端(通常是 shell)执行。总之,除开这些特殊性以外,守护进程与普通进程基本上没有什么区别。因此,编写守护进程实际上是把一个普通进程按照上述的守护进程的特性改造成为守护进程。如果对进程有比较深入的认识就更容易理解和编程了。
1210 |
1211 | **编程:**
1212 |
1213 | setsid()函数主要是重新创建一个session,子进程从父进程继承了SessionID、进程组ID和打开的终端,子进程如果要脱离父进程,不受父进程控制,我们可以用这个setsid命令。想脱离父进程,自己自由自在的活着,就要用这个命令执行后面的操作,简单粗暴。
1214 |
1215 | 编写守护进程过程如下:
1216 |
1217 | 1. 创建子进程,父进程退出
1218 |
1219 | 进程 fork 后,父进程退出。这么做的原因有 2 点:
1220 |
1221 | - 如果守护进程是通过 Shell 启动,父进程退出,Shell 就会认为任务执行完毕,这时子进程由 init 收养
1222 | - 子进程继承父进程的进程组 ID,保证了子进程不是进程组组长,因为后边调用setsid()要求必须不是进程组长
1223 | 2. 子进程创建新会话
1224 |
1225 | 调用setsid()创建一个新的会话,并成为新会话组长。这个步骤主要是要与继承父进程的会话、进程组、终端脱离关系。fork()的目的是想成功调用setsid()来建 立新会话,子进程有单独的sid,并且成为新进程组的组长,不关联任何终端。
1226 |
1227 | 3. 禁止子进程重新打开终端
1228 |
1229 | 此刻子进程是会话组长,为了防止子进程重新打开终端,再次 fork 后退出父进程,也就是此子进程。这时子进程 2 不再是会话组长,无法再打开终端。其实这一步骤不是必须的,不过加上这一步骤会显得更加严谨。
1230 |
1231 | 4. 设置当前目录为根目录
1232 |
1233 | 如果守护进程的当前工作目录是/usr/home目录,那么管理员在卸载/usr分区时会报错的。为了避免这个问题,可以调用chdir()函数将工作目录设置为根目录/。
1234 |
1235 | 5. 设置文件权限掩码
1236 |
1237 | 文件权限掩码是指屏蔽掉文件权限中的对应位。由于使用 fork()函数新建的子进程继承了父进程的文件权限掩码,这就给该子进程使用文件带来了诸多的麻烦。因此,把文件权限掩码设置为 0,可以大大增强该守护进程的灵活性。通常使用方法是umask(0)。
1238 |
1239 | 6. 关闭文件描述符
1240 |
1241 | 子进程会继承已经打开的文件,它们占用系统资源,且可能导致所在文件系统无法卸载。此时守护进程与终端脱离,常说的输入、输出、错误描述符也应该关闭。
1242 |
1243 |
1244 | ```c++
1245 | pid_t pid, sid;
1246 | int i;
1247 | pid = fork(); // 第1步
1248 | if (pid < 0)
1249 | exit(-1);
1250 | else if (pid > 0)
1251 | exit(0); // 父进程第一次退出
1252 |
1253 | if ((sid = setsid()) < 0) // 第2步
1254 | {
1255 | syslog(LOG_ERR, "%s\n", "setsid");
1256 | exit(-1);
1257 | }
1258 |
1259 | // 第3步 第二次父进程退出
1260 | if ((pid = fork()) > 0)
1261 | exit(0);
1262 | if ((sid = chdir("/")) < 0) // 第4步
1263 | {
1264 | syslog(LOG_ERR, "%s\n", "chdir");
1265 | exit(-1);
1266 | }
1267 |
1268 | umask(0); // 第5步
1269 |
1270 | // 第6步:关闭继承的文件描述符
1271 | for(i = 0; i < getdtablesize(); i++)
1272 | {
1273 | close(i);
1274 | }
1275 | while(1)
1276 | {
1277 | do_something();
1278 | }
1279 | closelog();
1280 | exit(0);
1281 | ```
1282 |
1283 |
1284 |
1285 | # 系统调用的详细过程
1286 |
1287 | **系统调用:**系统调用是操作系统为用户提供的一系列API;系统调用将用户的请求发给内核,内核执行完以后,将结果返回给用户;
1288 |
1289 | [参考](https://blog.csdn.net/Agoni_xiao/article/details/79034290)
1290 |
--------------------------------------------------------------------------------
/书籍笔记/c++语言核心及进阶.md:
--------------------------------------------------------------------------------
1 | # 核心编程
2 |
3 | ## 内存分区模型
4 |
5 | 根据c++执行将内存划分为5个区域:
6 |
7 | 1. 代码区,存放函数体的二进制,即CPU执行的机器指令,并且是只读的;
8 | 1. 常量区,存放常量,即程序运行期间不能被改变的量。
9 | 2. 全局区(静态区),存放全局变量和静态变量。
10 | 3. 栈区,由编译器自动分配释放,存放函数形参,局部变量,返回值等。
11 | 4. 堆区,由程序员分配和释放,若程序员不释放,程序结束时由操作系统CPU释放
12 |
13 |
14 |
15 | > 代码区中存放的其实就是CPU执行的机器指令,代码区是共享和只读的,共享是指对于频繁被执行的程序,只需要在内存中有一份代码就行。而只读则表示防止程序意外修改指令。
16 | >
17 | > 全局区是全局变量、静态变量和常量区、字符串常量和const修饰的常量存放在这里。
18 | >
19 | > **代码区和常量区、全局区在代码编译后就存在了**
20 | >
21 | > 栈区和堆区是程序运行后才有。
22 | >
23 | > 不要返回局部变量的地址,栈区的数据由编译器开辟和释放。形参数据也是放在栈区的。
24 | >
25 | > 堆区由程序员开辟,若程序员不释放,则由操作系统回收
26 |
27 | ## 引用
28 |
29 | ### 引用的本质是什么?
30 |
31 | 其实这就是说道引用到底是什么的问题了。
32 |
33 | 其实到现在这个阶段,不能说引用就是起别名这么低俗的说法。
34 |
35 | 下面看一段代码:
36 |
37 | ```
38 | //引用
39 | int i=5;
40 | int &ri=i;
41 | ri=8;
42 |
43 | //引用汇编
44 | int i=5;
45 | 00A013DE mov dword ptr [i],5 //将文字常量5送入变量i
46 | int &ri=i;
47 | 00A013E5 lea eax,[i] //将变量i的地址送入寄存器eax
48 | 00A013E8 mov dword ptr [ri],eax //将寄存器的内容(也就是变量i的地址)送入变量ri
49 | ri=8;
50 | 00A013EB mov eax,dword ptr [ri] //将变量ri的值送入寄存器eax
51 | 00A013EE mov dword ptr [eax],8 //将数值8送入以eax的内容为地址的单元中
52 | return 0;
53 | 00A013F4 xor eax,eax
54 |
55 |
56 | //常量指针
57 | int i=5;
58 | int* const pi=&i;
59 | *pi=8;
60 |
61 | //常量指针汇编
62 | int i=5;
63 | 011F13DE mov dword ptr [i],5
64 | int * const pi=&i;
65 | 011F13E5 lea eax,[i]
66 | 011F13E8 mov dword ptr [pi],eax
67 | *pi=8;
68 | 011F13EB mov eax,dword ptr [pi]
69 | 011F13EE mov dword ptr [eax],8
70 |
71 | ```
72 |
73 | - 引用是一个变量,有地址,数据类型为dword,也就是说,ri要在内存中占据4个字节的位置。
74 | - 看一下引用的汇编和常量指针的汇编可以发现是相同的,ri对应pi,因此可以说在底层汇编实现上引用是按照指针常量的方式实现的
75 |
76 | 在高级语言层面,有一点注意就是数组元素允许是常量指针的,但不允许是引用。主要是为了避免二义性,假如定义一个“引用的数组”,那么array[0]=8;这条语句该如何理解?是将数组元素array[0]本身的值变成8呢,还是将array[0]所引用的对象的值变成8呢?对于程序员来说,这种解释上的二义性对正确编程是一种严重的威胁,毕竟程序员在编写程序的时候,不可能每次使用数组时都要回过头去检查数组的原始定义。
77 |
78 | ```
79 | //可以
80 | int i=5, j=6;
81 | int* const array[]={&i,&j};
82 |
83 | //不行
84 | int i=5, j=6;
85 | int& array[]={i,j};
86 |
87 | ```
88 |
89 | ### 引用注意事项
90 |
91 | - 引用必须初始化
92 | - 引用初始化以后就不能更改了
93 | - 具体见面试总结里面有说
94 |
95 | ### 引用做函数参数
96 |
97 | 引用作为函数参数传递可以简化指针操作,直接修改实参
98 |
99 | 值传递,形参不会修饰实参
100 |
101 | 地址传递和引用传递,形参会修饰实参
102 |
103 | ### 引用作为函数的返回值
104 |
105 | - 不要返回局部变量的引用
106 | - 函数返回值如果是引用,则可以作为左值使用
107 |
108 | ### 常量引用
109 |
110 | 用来修饰形参,防止误操作
111 |
112 | ```c++
113 | int & ref = 10 //不行
114 | const int& ref = 10 //可以
115 | ```
116 |
117 | ## 函数其他性质
118 |
119 | ### 函数默认参数
120 |
121 | ```c++
122 | int func(int a, int b = 20, int c = 30){
123 | return a + b + c;
124 | }
125 | int main(){
126 | func(10);
127 | return 0;
128 | }
129 | ```
130 |
131 | 即函数有默认参数的话,在调用该函数的时候就不用再传入参数了,因为有默认的
132 |
133 | 注意:
134 |
135 | 1. 如果函数的某个参数已经有了默认值,那么从该位置往后从左到右都必须有默认值
136 |
137 | 2. 如果函数声明有默认参数,那么实现就不能有默认参数。如下,会报错
138 |
139 | ```c++
140 | //声明
141 | int func(int a=10, int b = 20);
142 | //实现
143 | int func(int a, int b = 20){ //会出现二义性
144 | return a + b;
145 | }
146 | ```
147 |
148 |
149 | ### 函数重载
150 |
151 | > 函数名称相同,参数不同(或者个数,或者顺序),提高复用性
152 |
153 | - 注意事项
154 |
155 | 1. 引用作为重载的时候
156 |
157 | 引用的时候加入const是可以作为重载条件的,有两个重载函数如下:
158 |
159 | ```c+
160 | void func(int& a);
161 | void func(const int& a);
162 |
163 | //void func(int& a)版本
164 | int a = 10;
165 | func(a);
166 |
167 | //void func(const int& a)版本
168 | func(10)
169 | ```
170 |
171 | 为什么会这样,原因是`a=10`是一个变量,但是直接传入10是临时空间,只能用`const int& a`去接收这块临时的空间
172 |
173 | 2. 重载碰到默认参数
174 |
175 | 由于c++避免二义性,因此带默认参数的函数会出现二义性,所以要避免这类型情况。
176 |
177 | - 本质(底层逻辑)
178 |
179 | - 如果没有函数重载,那么会产生命名空间污染问题,导致为了实现同一个功能起了很多不同的名字
180 |
181 | - 编译器在编译`.c`文件的时候会给函数进行简单的重命名,就是在原函数名称前面加上“_”,比如原函数名叫做`add`,编译后就叫做`_add`,如下图所示:
182 |
183 |
184 |
185 | - c++在底层编译`.cpp`文件的时候,虽然函数名称一样,但是在后面添加了一些其他东西导致名称是不一样的,如图:
186 |
187 |
188 |
189 | 其中“?”表示开始,“@@YA”表示参数的开始,后面三个字符“HHH”和“MMM”分别表示函数返回值类型,两个参数类型,“@Z”表示函数名称结束,所以由于函数生成的符号表中的名称不一样,因此可以编译通过。
190 |
191 | ------
192 |
193 |
194 |
195 | ## 类和对象
196 |
197 | 三大特性:封装、继承、多态
198 |
199 | ```
200 | Class test{
201 | //成员变量
202 | //成员函数
203 | };
204 | ```
205 |
206 | - 封装
207 |
208 | - 三种访问权限
209 |
210 | 1. public。对成员来说,可以在类内被访问,类外也可以访问
211 | 2. protected。对成员来说,可以在类内被访问,类外不可以访问,主要用在继承,子类可以访问父类的一些保护权限的内容。
212 | 3. private。对成员来说,可以在类内被访问,类外不可以访问。子类不能访问父类的私有内容。
213 |
214 | 一般将成员变量属性设置为私有,可以自己控制读写权限,成员函数为共有。
215 |
216 | 类对象的默认访问控制是private的,但是结构的默认访问类型是public,结构没有成员函数只能纯粹的表示数据对象
217 |
218 | - 成员函数
219 |
220 | 成员函数必须使用作用域解析符来指出函数所属的类,代码如下:
221 |
222 | ```c++
223 | void Stock::update(double price);
224 | ```
225 |
226 | 位于类声明中的函数都将自动成为内联函数,但是内联函数也可以在类外定义,如下:
227 |
228 | ```c++
229 | inline void Stock::update(double price);
230 | ```
231 |
232 | 由于内联函数的规则要求每个使用该函数的文件中都要对其进行定义,因此将内联函数放在头文件中是最好的。
233 |
234 | ------
235 |
236 | - 类对象
237 |
238 | 每个新对象都有自己的存储空间,用于存储其内部变量和类成员。但是同一个类的所有对象共享类的方法,即类的函数。所有类对象都会执行同一个代码块,只是入栈的数据不同而已。
239 |
240 | ------
241 |
242 |
243 |
244 | ### 类的构造函数
245 |
246 | 由于类设计的初衷是隐藏数据成员,因此类的初始化不能像结构那样,必须通过成员函数来访问成员数据。
247 |
248 | 因此c++提供了一个类构造函数,在创造对象时自动对它进行初始化。
249 |
250 | > 注意事项:不能将类成员用作构造函数的参数名
251 | >
252 | > 因为构造函数的作用是初始化成员变量的值,因此构造函数的参数肯定是传入的值,不可能是类成员变量的值!因此为了避免这种混乱,需要在类成员函数的名称前加一个前缀,比如“m_”这样的。
253 |
254 | - **使用构造函数**
255 |
256 | c++使用了两种用构造函数来初始化对象的方式:
257 |
258 | ```c++
259 | //显示的调用构造函数
260 | Stock food = Stock("World Cabbage", 250, 1.25);
261 | //隐式的调用构造函数
262 | Stock garment("Furry Mason", 50, 2.5);
263 | //动态分配new
264 | Stock *pstock = new Stock("Furry Mason", 50, 2.5);
265 | /*动态的创建一个Stock对象,并将对象的地址赋给pstock指针,用指针管理该对象*/
266 | ```
267 |
268 | 切记,无法使用对象来调用构造函数,因为在构造函数构造出对象之前,对象是不存在的!因此构造函数是用来创建对象的,不能通过对象调用
269 |
270 | - **默认构造函数**
271 |
272 | 默认构造函数是指在没有显示的赋值时,用来创建对象的构造函数。如下:
273 |
274 | ```c++
275 | Stock fluffyp;
276 | ```
277 |
278 | 上面这行代码之所以可以使用是因为对于类没有构造函数的话,c++编译器将自动提供一个默认构造函数,用来创建对象但不初始化值,一般默认构造函数的形式如`Stokc::Stock(){}`
279 |
280 | **如果类没有定义任何构造函数的时候,编译器才会提供默认构造函数。但是如果类定义了构造函数,就必须要写一个默认构造函数!**
281 |
282 | 因此在以后设计类的时候,通常应提供所有成员隐式初始化的默认构造函数
283 |
284 | - **赋值(构造函数作用2)**
285 |
286 | 与结构赋值一样,在默认情况下给类对象赋值时,把一个对象的成员复制给另一个。这样一来,构造函数不仅仅可用于初始化新对象,还可以执行赋值操作
287 |
288 | ```c++
289 | stock1 = Stock("wuhu", 10, 50.0);
290 | ```
291 |
292 | 上述代码右边指的是构造函数产生了一个新的临时的对象,然后将该临时对象的内容赋值给了stock1
293 |
294 | 我们将上述代码放在一起比较:
295 |
296 | ```c++
297 | //显示的调用构造函数
298 | Stock food = Stock("World Cabbage", 250, 1.25);
299 | stock1 = Stock("wuhu", 10, 50.0);
300 | ```
301 |
302 | 第一条语句有可能会创建临时变量也可能不会,创建临时变量的话就变成第二条语句这样的赋值了,因此如果可以初始化尽量不要赋值,提高效率。因此我们就有c++11的列表初始化。
303 |
304 | ------
305 |
306 |
307 |
308 | ### 类的析构函数
309 |
310 | 当构造函数创建对象后,程序负责跟踪该对象,知道过期为止。对象过期时程序将自动调用一个特殊的成员函数 —析构函数,由析构函数完成清理工作。如果构造函数使用new分配内存,那么析构函数就要使用delete释放。如果构造函数不适用new,则析构函数什么都不用做。
311 |
312 | ------
313 |
314 |
315 |
316 | ### this指针
317 |
318 | 下面给一段代码进行解释:
319 |
320 | ```c++
321 | const Stock& topval(const Stock& s);
322 | top = stock1.topval(stock2);
323 | top = stock2.topval(stock1);
324 | ```
325 |
326 | 这段代码比较两个对象的股票价格最高的,返回其中过一个,传入参数只有一个显示的引用。
327 |
328 | c++使用this这种特殊的指针,指向用来调用成员函数的对象(谁调用该成员函数,this对象就是谁)。其实每个成员方法都有一个隐藏的形参this指针上述代码中stock1调用了topval函数,因此this指针就是stock1.
329 |
330 | 所有的类方法都将this指针设置为调用它的对象的地址
331 |
332 | 每个成员函数(包括构造函数和析构函数)都有`this`指针。`this`指针指向调用的对象,是对象的地址,因此`*this`才是这个对象,`this`只是个地址,`*this`作为对象的别名。
333 |
334 | ------
335 |
336 |
337 |
338 | ### 对象数组
339 |
340 | 如果要创建类的多个对象,可以使用数组的方式,声明对象数组的方法与声明标准类型数组相同:
341 |
342 | ```c++
343 | Stock mystuff[4];
344 | ```
345 |
346 | ------
347 |
348 | ### 类作用域
349 |
350 | 在类中定义的作用域为整个类,名称在类内是已知的,在类外不是。因此可以在不同类使用相同的成员名称而不引起冲突,必须通过对象来访问类的成员或方法。
351 |
352 | - **在类中声明常量**
353 |
354 | 要注意,在类中类只是描述一个结构的形式,在没有创建对象之前,类是没有用于存储的空间的,因此不能如下直接在类中生命一个变量值:
355 |
356 | ```c++
357 | class temp{
358 | private:
359 | const int Months = 12;//这样是不行的
360 | };
361 | ```
362 |
363 | 如果我们要声明一个变量,要在前面加上`static`关键字,表明该常量是与其他静态变量存储在一起的,而不是存储在对象中的。因此month可以被所有的对象共享。
364 |
365 | - **作用域内枚举(枚举类)(c++11)**
366 |
367 | ```c++
368 | enum egg{small, medium, large}
369 | enum t_shirt{small, medium, large}
370 | ```
371 |
372 | 上述代码是常规的枚举类型,可以看到存在问题,即两个枚举定义的枚举量可能发生冲突,因为egg small和t_shirt small在一个作用域内。因此c++11提供了一种新的枚举类型,枚举作用域为类,叫做枚举类。
373 |
374 | ```c++
375 | enum class egg{small, medium, large}
376 | enum class t_shirt{small, medium, large}
377 |
378 | egg choice = egg::small;
379 | tshirt choic = t_shirt::small;
380 | ```
381 |
382 | 不同枚举定义的枚举量就不会发生冲突了
383 |
384 | ------
385 |
386 | 同时枚举类还提高了作用域内枚举的类型安全。在有些情况下,常规枚举将自动转化为整型,比如赋值给int类型或者用于比较表达式时候,但是枚举类不能隐式的转换成整型。有必要的时候只能进行显示的转换`int(枚举)`
387 |
388 | 默认情况下c++11作用域内枚举的底层类型为int,但可以显示的更改底层类型,比如:
389 |
390 | ```c++
391 | enum class : short pizza{small, medium,large}
392 | ```
393 |
394 | 如上述代码底层就变成了short类型。
395 |
396 | ------
397 |
398 |
399 |
400 | ### 运算符重载
401 |
402 | c++多态有函数重载和运算符重载
403 |
404 | 运算符重载的格式如下:
405 |
406 | `(返回类型) operator OP (argument-list)`,例如`operator +()`重载+运算符,`operator *()`重载*运算符。但要切记,OP这个运算符一定是有效的,不能虚构一个运算符,比如`@#`等,因为这些符号在实际中本来就不是运算符。
407 |
408 | > 举个例子:
409 | >
410 | > A,B,C都是一个类的对象
411 | >
412 | > ```c++
413 | > //想求对象相加
414 | > A = B + C;
415 | > //编译器角度
416 | > A = B.operator+(C)
417 | > ```
418 | >
419 | > 该函数隐式的使用A(调用了operator方法),显式的调用C(因为被当做参数传递了)
420 |
421 | **在重载运算符中,运算符左侧的对象是调用对象,而运算符右侧的对象是作为参数传递的**
422 |
423 | > 看一段代码:
424 | >
425 | > ```c++
426 | > class Time{
427 | > private:
428 | > int hours;
429 | > int minutes;
430 | > public:
431 | > Time();
432 | > Time operator +(const Time& t) const;
433 | > };
434 | >
435 | > Time::Time operator+(const Time& t) const{
436 | > Time sum;
437 | > sum.minutes = minutes + t.minutes;
438 | > sum.hours = hours + t.houts + sum.minutes/60;
439 | > return sum
440 | > }
441 | >
442 | > //使用重载运算符
443 | > time1 = time2 + time3;
444 | > ```
445 | >
446 | > 在这里面有两点需要注意:
447 | >
448 | > 1. 要主要operator的返回值,到底返回什么。
449 | >
450 | > 上面代码中我们是要用time1来接收operator的返回,由于time1的类型是Time类,因此上面代码中operator的返回值也是Time。
451 | >
452 | > 2. 注意返回值不能是引用。因为sum是局部变量,在函数结束时会被删除,因此引用将指向一个不存在的对象(vs编译器中会保存一次该引用,但是只能调用一次)。但是上述代码返回的是sum,是一个局部变量,在函数结束删除sum时候会构造一个sum的拷贝放到临时变量中。
453 |
454 | ------
455 |
456 | **重载有以下两个限制:**
457 |
458 | 1. 重载后的运算符必须至少有一个操作数是用户自定义的类型,不能两个操作数都是系统原有的类型。这样是防止用户对标准类型重载运算符,比如不能将+重载后作用于两个int类型的变量上
459 | 2. 重载后的运算符不能违背原来的规则,比如不能将运算符变成一个变量类型
460 | 3. 不能创建新的运算符,比如说创建一个**去求幂。
461 | 4. 有以下几个运算符不能重载:`sizeof`、`.` 、`::` 、`?: ` 、`.*`、`const_cast`、`dynamic_cast`、 `static_cast`等
462 | 5. 下面四个运算符必须通过**成员函数**去重载:`=`、`()`、`[]`、`->`。
463 |
464 | ------
465 |
466 | ### 友元
467 |
468 | c++对私有部分成员的访问非常严格,在没有友元之前只能通过公有方法去访问。但是提供了对私有成员的另一种访问:友元,有3种:
469 |
470 | 1. 友元函数
471 | 2. 友元类
472 | 3. 友元成员函数
473 |
474 | ------
475 |
476 | #### 友元函数
477 |
478 | 在为类重载二元运算符(带两个参数的运算符)常常需要友元,因为问题描述如下:
479 |
480 | > 对于重载的乘法运算符来说,比如代码如下:
481 | >
482 | > ```c++
483 | > Time operator*(const double num);
484 | > ```
485 | >
486 | > 比如上述代码可以满足:A = B * 2.75
487 | >
488 | > 但是我要写成A = 2.75 * B呢?由于重载运算符左边是double类型,而代码中左边是调用operator的对象,是Time类,所以就有问题。由于左侧的操作对象应该是Time类对象,而不应该是doule变量,所以编译器不能使用成员函数来调用该表达式。
489 |
490 | 上述问题的解决办法就是采用非成员函数,非成员函数不是对象调用的,它所使用的值都是显式的参数,比如下面的代码:
491 |
492 | ```c++
493 | Time operator* (double m, const Time& t);
494 | ```
495 |
496 | 上述代码解决了`A = 2.75 * B`这个问题,但又有一个新的问题即非成员函数不能访问私有成员,所以就需要友元函数。
497 |
498 | +++
499 |
500 | 创建友元函数:
501 |
502 | ```c++
503 | friend Time operator*(double m, const Time& t);
504 | ```
505 |
506 | 加了friend前缀后,该函数就和成员函数有着一样的访问权限。
507 |
508 | 可能刚开始学的时候认为友元这个性质违背了OOP数据隐藏的概念,因为友元机制允许非成员函数访问私有数据。这个有些片面,应该将友元函数看作类的扩展接口的组成部分。类方法和友元只是表达类接口的两种不同机制而已。
509 |
510 | +++
511 |
512 | **重载<<运算符**
513 |
514 | 最初<<运算符是C和C++的位运算符,表示左移。ostream类对该运算符进行了重载,变成了一个输出工具。cout是一个ostream对象,能够识别所有的c++**基本类型**,原因是对于每种类型,ostream类声明都包含了相应的重载。
515 |
516 | 但要注意一点,重载<<符号的时候,函数的返回值一定要写成ostream&,如下代码:
517 |
518 | ```c++
519 | ostream & operator<<(ostream& os, const Time& t);
520 | ```
521 |
522 | 因为`cout<<`不是调用一次,而是很多次,比如`cout<<"hello"<