new post

content/posts/libbpf_minimal.md

@@ -0,0 +1,48 @@
++++
+title = "Libbpf Minimal分析"
+author = ["Logic"]
+date = 2022-03-06
+draft = false
++++
+
+## 宏定义分析 {#宏定义分析}
+
+Minimal程序使用了SEC宏，展开后结果分析如下：
+
+
+### SEC {#sec}
+
+展开后为
+
+```C
+#define SEC(name) \
+	_Pragma("GCC diagnostic push")					    \
+	_Pragma("GCC diagnostic ignored \"-Wignored-attributes\"")	    \
+	__attribute__((section(name), used))				    \
+	_Pragma("GCC diagnostic pop")					    \
+```
+
+源文件中对应给出的注释为
+
+> /\*
+>
+> -   Helper macro to place programs, maps, license in
+> -   different sections in elf_bpf file. Section names
+> -   are interpreted by libbpf depending on the context (BPF programs, BPF maps,
+> -   extern variables, etc).
+> -   To allow use of SEC() with externs (e.g., for extern .maps declarations),
+> -   make sure __attribute__((unused)) doesn't trigger compilation warning.
+>
+> \*/
+
+从注释来看，该宏的作用在于将bpf程序的不同部分放入最终生成的elf文件的不同节中。这个宏是怎么起到这样的作用的。对宏展开后的内容分析。
+
+
+#### \_Pragma {#pragma}
+
+其中有三句为_Pragma,这是一个C99新引入的运算符，作为运算符的优势在于其可以用于宏中，如该源文件中的SEC宏。该运算符在处理运算符内的表达式后即相当于#pragma指令。处理过程非常简单，将'\\\\'替换为'\\'，将\\"替换为"。这样_Pragma在预处理后即成为~ #pragma GCC diagnostic ignored "-Wignored-attributes" ~。pragma则是针对编译器给出的控制编译的指令，因此相关信息需要查阅gcc的说明。在该网站可以看到[gcc支持的pragma](https://gcc.gnu.org/onlinedocs/gcc/Pragmas.html)。其中该处使用的pragma为[Diagnostic Pragmas](https://gcc.gnu.org/onlinedocs/gcc/Diagnostic-Pragmas.html#Diagnostic-Pragmas),这里要注意的是这个编译指令会覆盖编译器的命令行参数，push即改变状态，忽视Wignored-attributes参数，pop则恢复原状。
+
+
+#### __attribute\_\_ {#attribute}
+
+__attribute__也是一种编译器指令，用于在声明（函数，变量，类型）时帮助声明对象向编译器告知某些编译特性。在gnu网站上可以查知[可用的属性](https://gcc.gnu.org/onlinedocs/gcc-3.2/gcc/Function-Attributes.html),在此处的含义为，将对应的函数放入指定的name段中，并且即使该函数没有被引用也不允许将该自定义的段优化掉（used）。