#############################################
本文为极度寒冰原创，转载请注明出处
#############################################
Init.rc的解析过程是笔者认为在android启动过程中，最复杂，最难理解的部分。
虽然它的内容很少，但是却包含了非常多的处理，接下来我们来慢慢的分析。
经过前面的分析，我们知道了read完init.rc的文件后，保存到了data的数组，传递到了parse_config的函数里。
我们来看一下parse_config函数的处理：
static void parse_config(const char *fn, char *s) //仅针对init.rc来说，fn指向的内容为init.rc这个文件，s指向的就是data的数组{ struct parse_state state; // parse_state的结构体 struct listnode import_list; struct listnode *node; char *args[INIT_PARSER_MAXARGS]; int nargs; nargs = 0; state.filename = fn; // 标明解析的是init.rc的文件 state.line = 0; // 将初始化的line置为0 state.ptr = s; // ptr指向s的第一个元素 state.nexttoken = 0; // 设置nexttoken为0 state.parse_line = parse_line_no_op; // 设置解析的方式为parse_line_no_op, 即为不需要处理。需要注意的为parse_line是一个函数指针。 list_init(&import_list); // 初始化前面的import的链表 state.priv = &import_list; // 将priv指向了初始化厚的import的链表。 for (;;) { // 开始解析文件 switch (next_token(&state)) { // next_token的函数的原理是，针对state->ptr的指针进行解析，依次向后读取data数组中的内容，如果读取到"\n","0"的话，返回T_EOF和T_NEWLINE, 如果读取出来的是一个词的话，则将内容保存在args的数组中，内容依次向后 case T_EOF: // 如果文件读取结束的时候， state.parse_line(&state, 0, 0); //如果文件是空的，那么执行的function是parse_line_no_op, 如果不是空的，则执行的是parse_line_action 或者service，而这两个函数中，如果nargs是0的话，都会返回掉。 goto parser_done; // go to parser done case T_NEWLINE: state.line++; // 如果遇到"\n"的话，state.line会+1行 if (nargs) { // 如果nargs有值的话，说明这一行需要解析了。 int kw = lookup_keyword(args[0]); // 利用这一行的第一个关键字即args[0]，获取到kw if (kw_is(kw, SECTION)) { // 如果这个kw是一个SECTION的话，则会返回true，如果不是的话，则会返回false. state.parse_line(&state, 0, 0); \\ 清除掉现在的parse line，开启一个新的section parse_new_section(&state, kw, nargs, args); } else { state.parse_line(&state, nargs, args); // 如果不是一个section的话，则将nargs与args做为参数传递到parse_line对应的函数中去 } nargs = 0; // 在执行完一行以后，由于有新的内容需要读取到args中，所以将nargs设置为0. } break; case T_TEXT: if (nargs < INIT_PARSER_MAXARGS) { args[nargs++] = state.text; \\ 每取出来一个token，就会将其放入到args的数组中，且nargs会自动+1 } break; } }parser_done: \\在文件结束的时候，会去执行到parse_done list_for_each(node, &import_list) { // 这里会去遍历所有的import_list的节点 struct import *import = node_to_item(node, struct import, list); // 取出这些import的节点 int ret; INFO("importing '%s'", import->filename); ret = init_parse_config_file(import->filename); // 继续对这些文件进行解析 if (ret) ERROR("could not import file '%s' from '%s'\n", import->filename, fn); }}在看完上面的这一段分析之后，我们会对下面的两个函数产生浓厚的兴趣，分别是parse_new_section，kw_is以及一个函数指针的 state.parse_line.
那接下来，我们先去看看kw_is函数：
函数原型如下：
#define kw_is(kw, type) (keyword_info[kw].flags & (type))
而keyword_info是什么东西呢？
static struct { const char *name; int (*func)(int nargs, char **args); unsigned char nargs; unsigned char flags;} keyword_info[KEYWORD_COUNT] = { [ K_UNKNOWN ] = { "unknown", 0, 0, 0 },#include "keywords.h"};我们看到这个其实是一个结构体，但是在初始化这个结构体的时候，除了将第一个值置为了k_unknown之外，剩下的值都是从keywords.h中读取的。那我们接着看看keywords.h里面写的是什么
#define KEYWORD(symbol, flags, nargs, func) K_##symbol,enum { K_UNKNOWN,#endif KEYWORD(capability, OPTION, 0, 0) KEYWORD(chdir, COMMAND, 1, do_chdir) KEYWORD(chroot, COMMAND, 1, do_chroot) KEYWORD(class, OPTION, 0, 0) KEYWORD(class_start, COMMAND, 1, do_class_start) KEYWORD(class_stop, COMMAND, 1, do_class_stop) KEYWORD(class_reset, COMMAND, 1, do_class_reset) KEYWORD(console, OPTION, 0, 0) KEYWORD(critical, OPTION, 0, 0) KEYWORD(disabled, OPTION, 0, 0) KEYWORD(domainname, COMMAND, 1, do_domainname) KEYWORD(enable, COMMAND, 1, do_enable) KEYWORD(exec, COMMAND, 1, do_exec) KEYWORD(export, COMMAND, 2, do_export) KEYWORD(group, OPTION, 0, 0) KEYWORD(hostname, COMMAND, 1, do_hostname) KEYWORD(ifup, COMMAND, 1, do_ifup) KEYWORD(insmod, COMMAND, 1, do_insmod) KEYWORD(import, SECTION, 1, 0) KEYWORD(keycodes, OPTION, 0, 0) KEYWORD(mkdir, COMMAND, 1, do_mkdir) KEYWORD(mount_all, COMMAND, 1, do_mount_all) KEYWORD(mount, COMMAND, 3, do_mount) KEYWORD(on, SECTION, 0, 0) KEYWORD(oneshot, OPTION, 0, 0) KEYWORD(onrestart, OPTION, 0, 0) KEYWORD(powerctl, COMMAND, 1, do_powerctl) KEYWORD(restart, COMMAND, 1, do_restart)看到这里，我们就可以看一下刚才感兴趣的SECTION是什么了，可以看到import，on，service是三个唯一的SECTION。
这也就跟前面的init.rc里面的语法对应上了，这三个是主要的关键字。
如果解析到一个新的文件是以这三个关键字开头的话，会在清除掉当前的function后，去执行函数
parse_new_section
那我们接下来就去看看parse_new_section的实现：
static void parse_new_section(struct parse_state *state, int kw, int nargs, char **args){ printf("[ %s %s ]\n", args[0], nargs > 1 ? args[1] : ""); switch(kw) { case K_service: \\ 如果是以service开头的话 state->context = parse_service(state, nargs, args); \\ 进行parse service的初始化工作，稍后进行分析 if (state->context) { state->parse_line = parse_line_service; // 将parse_line的函数指针置为parse_line_service，后面调用的时候就会调用到这个函数 return; } break; case K_on: \\ 如果是以on开头的话 state->context = parse_action(state, nargs, args); //进行parse_action的初始化准备工作，后面进行分析 if (state->context) { state->parse_line = parse_line_action; // 将parse_line的函数指针置为parse_line_action，后面调用的时候就会执行这个函数。 return; } break; case K_import: // 如果是以import开头的话 parse_import(state, nargs, args); // import这个文件 break; } state->parse_line = parse_line_no_op; //如果不是这三个关键字的话，我们不会进行处理。}从上面可以看到，除了进行parse action，service的初始化工作以外，最重要的工作就是将函数的指针给进行了初始化。这样一来，除非执行到下一个section的关键字，都调用该函数指针进行操作。
接下来的两篇，我们会去分析，如何解析action以及service两个关键的SECTION