皮皮网

1.Go语言源码阅读分析（3）-- unsafe
2.vue源码阅读解析1- new Vue初始化流程
3.代码阅读分析神器-Scitools Understand
4.TiDB 源码阅读系列文章（五）TiDB SQL Parser 的源码阅读实现
5.Mobx源码阅读笔记——3. proxy 还是defineProperty，劫持对象行为的分析两个方案
6.Android源码阅读分析：ActivityManagerService分析（一）——启动流程

Go语言源码阅读分析（3）-- unsafe

       Go语言的unsafe包提供了一套打破类型安全限制的操作，但使用时需谨慎，源码阅读因为它可能导致代码无法移植。分析包内主要包含unsafe.go文件和一些声明，源码阅读实际实现和测试用例并未提供。分析exe程序转换源码关键内容如下：

       1. Pointer类型：可以转换为任何类型的源码阅读指针，以及Uintptr类型，分析这种转换允许直接读写内存，源码阅读风险极高，分析需谨慎使用。源码阅读

        - 可以将任意类型转换为Pointer类型，分析但转换后不能长于原类型，源码阅读且要求内存布局一致。分析例如，源码阅读将float转换为uint的函数`Floatbits`。

        - Pointer可以转换为uintptr，但这种转换仅用于内存地址的打印，且不能直接从uintptr恢复为Pointer，除非是枚举类型。

       2. 偏移指针：用于访问结构体字段或数组元素，需确保指针不会超出原始对象的内存范围。

       3. syscall调用：在syscall包中，某些函数需要在同一条语句中进行指针到uintptr的转换，以确保指针指向的对象在调用时仍然有效。

       4. reflect包使用：reflect.Value.Pointer和UndafeAddr返回的都是uintptr，应在获取后立即转换为Pointer，避免对象被GC回收。

       5. 反射结构体转换：例如StringHeader和SliceHeader的Data字段，仅在指向活动切片或字符串时有效。

       总之，unsafe包的使用需遵循特定的规则和限制，不当使用可能导致程序不稳定或移植问题。接下来的计划是研究reflect包。

vue源码阅读解析1- new Vue初始化流程

       深入探究 Vue 初始化流程，从 vue2.6. 版本的 src/core/instance/index.js 路径开始，引入 Vue 对象的初始化机制。首先，定义了实例构造器方法 `_init`。执行 `new Vue(options)` 即会触发此方法。进入 `_init` 内部，调用 `init.js` 文件中函数处理初始化逻辑。

       从 `init.js` 见得，初始化的核心步骤包含：实例 `vm` 的创建，以及 `render` 函数的生成。通过 `$mount` 方法引入与解析 HTML 模板或直接使用 `render` 函数，Vue 会编译模板并生成 `render` 函数，以高效执行渲染操作。微电影网站php源码

       `$mount` 方法位于 `src/platforms/web/entry-runtime-with-compiler.js` 中，其功能主要是从模板或 `render` 函数中获取执行渲染所需的 `render` 函数。这种方式在使用 `template` 编写 HTML 代码时尤为关键，可避免模板编译过程，提高效率。

       继续分析，进入 `src/core/instance/lifecycle.js` 查看 `mountComponent` 方法，了解从模板到真实 DOM 的挂载过程。`mountComponent` 方法负责准备挂载阶段，内部创建渲染 `watcher` 对象，进而调用 `updateComponent` 方法。

       深入解析 `Watcher` 对象的定义和作用，在此过程中，`vm._watcher` 被 `this` 自身所引用，`this.getter` 由 `updateComponent` 函数提供，最终调用 `get` 方法，执行 `updateComponent`，完成数据更新流程。

       通过 `src/core/instance/render.js` 路径，找到渲染函数的调用，此函数将 HTML 字符串或模板转换为虚拟节点 `Vnode`。在此，调用 `vm.update` 函数，触发核心渲染逻辑。

       `vm.update` 方法位于 `src/core/instance/lifecycle.js`，接着进入渲染核心 `patch` 函数 `src/core/vdom/patch.js`。此过程是 Vue 实现其双向数据绑定的精髓，通过 `patch` 函数解析 `Vnode` 差异，并应用更新操作，最终达到界面更新。

       新 Vue 实例的初始化流程至此结束，由模板到虚拟节点、数据绑定再到 DOM 更新，构建了一个动态、灵活且高效的前端应用框架。

代码阅读分析神器-Scitools Understand

       在编程世界中，理解代码逻辑如同破译复杂的迷宫。然而，Scitools Understand，这款强大的代码阅读分析神器，就像一盏明灯，照亮了我们的探索之路。它不仅简化了阅读过程，还提供了丰富的功能来提升代码理解和维护效率。

       Scitools Understand是一款全方位的静态代码分析工具，支持C/C++、Java、3D虚拟社区源码Javascript、Python、Ada等多种编程语言。它的核心特性包括：

代码浏览与导航：通过强大的搜索和导航功能，开发者能迅速定位到源代码的关键部分，无论是类、函数还是变量，都能轻松跳转和查看。

代码度量：对代码复杂性、函数长度和行数等进行精确计算，帮助开发者评估代码质量，便于维护和优化。

代码可视化：通过生成类图、调用图等图表，直观展示代码结构和关系，便于理解和重构大型项目。

代码检查：内置的代码检查工具能发现潜在问题，如空指针引用和内存泄漏，提升代码的稳定性和安全性。

       Understand不仅提供了代码行数统计，还能深入到函数层面的分析。图形化的代码流程分析，如Butterfly图和调用关系图，帮助开发者清晰地把握逻辑。同时，它还能检查代码规范，确保代码质量和一致性。

       使用上，只需简单几步：设置项目，选择编程语言，添加源码，然后通过界面直观地浏览和分析。这款工具虽需付费，但程序员DeRozan公众号上提供了免费的pojie版供你体验，只需回复即可获取。

       总之，Scitools Understand是提升代码阅读和理解能力的强大工具，值得每一位程序员探索和使用。立即行动，让代码阅读变得轻松而高效！

TiDB 源码阅读系列文章（五）TiDB SQL Parser 的实现

       本文是 TiDB 源码阅读系列文章的第五篇，主要内容围绕 SQL Parser 功能实现进行讲解。内容源自社区伙伴马震（GitHub ID：mz）的投稿。系列文章的目的是与数据库研究者及爱好者深入交流，收到了社区的积极反馈。后续，期待更多伙伴加入 TiDB 的孕线的选股公式源码探讨与分享。

       TiDB 的源码阅读系列文章，帮助读者系统性地学习 TiDB 内部实现。最近的《SQL 的一生》一文，全面阐述了 SQL 语句处理流程，从接收网络数据、MySQL 协议解析、SQL 语法解析、查询计划制定与优化、执行直至返回结果。

       其中，SQL Parser 的功能是将 SQL 语句按照 SQL 语法规则进行解析，将文本转换为抽象语法树（AST）。此功能需要一定背景知识，下文将尝试介绍相关知识，以帮助理解这部分代码。

       TiDB 使用 goyacc 根据预定义的 SQL 语法规则文件 parser.y 生成 SQL 语法解析器。这一过程可在 TiDB 的 Makefile 文件中看到，通过构建 goyacc 工具，使用 goyacc 依据 parser.y 生成解析器 parser.go。

       goyacc 是 yacc 的 Golang 版本，因此理解语法规则定义文件 parser.y 及解析器工作原理之前，需要对 Lex & Yacc 有所了解。Lex & Yacc 是用于生成词法分析器和语法分析器的工具，它们简化了编译器的编写。

       下文将详细介绍 Lex & Yacc 的工作流程，以及生成解析器的过程。我们将从 Lex 根据用户定义的 patterns 生成词法分析器，词法分析器读取源代码并转换为 tokens 输出，以及 Yacc 根据用户定义的语法规则生成语法分析器等角度进行阐述。

       生成词法分析器和语法分析器的过程，用户需为 Lex 提供 patterns 的定义，为 Yacc 提供语法规则文件。这两种配置都是文本文件，结构相同，分为三个部分。我们将关注中间规则定义部分，并通过一个简单的例子来解释。

       Lex 的输入文件中，规则定义部分使用正则表达式定义了变量、整数和操作符等 token 类型。例如整数 token 的定义，当输入字符串匹配正则表达式时，大括号内的动作会被执行，将整数值存储在变量yylval 中，并返回 token 类型 INTEGER 给 Yacc。

       而 Yacc 的语法规则定义文件中，第一部分定义了 token 类型和运算符的AI一键生成海报源码结合性。四种运算符都是左结合，同一行的运算符优先级相同，不同行的运算符，后定义的行具有更高的优先级。语法规则使用 BNF 表达，大部分现代编程语言都可以使用 BNF 表示。

       表达式解析是生成表达式的逆向操作，需要将语法树归约到一个非终结符。Yacc 生成的语法分析器使用自底向上的归约方式进行语法解析，同时使用堆栈保存中间状态。通过一个表达式 x + y * z 的解析过程，我们可以理解这一过程。

       在这一过程中，读取的 token 压入堆栈，当发现堆栈中的内容匹配了某个产生式的右侧，则将匹配的项从堆栈中弹出，将该产生式左侧的非终结符压入堆栈。这个过程持续进行，直到读取完所有的 tokens，并且只有启始非终结符保留在堆栈中。

       产生式右侧的大括号中定义了该规则关联的动作，例如将三项从堆栈中弹出，两个表达式相加，结果再压回堆栈顶。这里可以使用 $position 的形式访问堆栈中的项，$1 引用第一项，$2 引用第二项，以此类推。$$ 代表归约操作执行后的堆栈顶。本例的动作是将三项从堆栈中弹出，两个表达式相加，结果再压回堆栈顶。

       在上述例子中，动作不仅完成了语法解析，还完成了表达式求值。一般希望语法解析的结果是一颗抽象语法树（AST），可以定义语法规则关联的动作。这样，解析完成时，我们就能得到由 nodeType 构成的抽象语法树，对这个语法树进行遍历访问，可以生成机器代码或解释执行。

       至此，我们对 Lex & Yacc 的原理有了大致了解，虽然还有许多细节，如如何消除语法的歧义，但这些概念对于理解 TiDB 的代码已经足够。

       下一部分，我们介绍 TiDB SQL Parser 的实现。有了前面的背景知识，对 TiDB 的 SQL Parser 模块的理解会更易上手。TiDB 使用手写的词法解析器（出于性能考虑），语法解析采用 goyacc。我们先来看 SQL 语法规则文件 parser.y，这是生成 SQL 语法解析器的基础。

       parser.y 文件包含 多行代码，初看可能令人感到复杂，但该文件仍然遵循我们之前介绍的结构。我们只需要关注第一部分 definitions 和第二部分 rules。

       第一部分定义了 token 类型、优先级、结合性等。注意 union 结构体，它定义了在语法解析过程中被压入堆栈的项的属性和类型。压入堆栈的项可能是终结符，也就是 token，它的类型可以是 item 或 ident；也可能是非终结符，即产生式的左侧，它的类型可以是 expr、statement、item 或 ident。

       goyacc 根据这个 union 在解析器中生成对应的 struct。在语法解析过程中，非终结符会被构造成抽象语法树（AST）的节点 ast.ExprNode 或 ast.StmtNode。抽象语法树相关的数据结构定义在 ast 包中，它们大都实现了 ast.Node 接口。

       ast.Node 接口有一个 Accept 方法，接受 Visitor 参数，后续对 AST 的处理主要依赖这个 Accept 方法，以 Visitor 模式遍历所有的节点以及对 AST 做结构转换。例如 plan.preprocess 是对 AST 做预处理，包括合法性检查以及名字绑定。

       union 后面是对 token 和非终结符按照类型分别定义。第一部分的最后是对优先级和结合性的定义。文件的第二部分是 SQL 语法的产生式和每个规则对应的 aciton。SQL 语法非常复杂，大部分内容都是产生式的定义。例如 SELECT 语法的定义，我们可以在 parser.y 中找到 SELECT 语句的产生式。

       完成语法规则文件 parser.y 的定义后，使用 goyacc 生成语法解析器。TiDB 对 lexer 和 parser.go 进行封装，对外提供 parser.yy_parser 进行 SQL 语句的解析。

       最后，我们通过一个简单的例子，使用 TiDB 的 SQL Parser 进行 SQL 语法解析，构建出抽象语法树，并通过 visitor 遍历 AST。我实现的 visitor 只输出节点的类型，运行结果依次输出遍历过程中遇到的节点类型。

       了解 TiDB SQL Parser 的实现后，我们有可能实现当前不支持的语法，如添加内置函数。这为我们学习查询计划以及优化打下了基础。希望这篇文章对读者有所帮助。

       作者介绍：马震，金蝶天燕架构师，负责中间件、大数据平台的研发，今年转向 NewSQL 领域，关注 OLTP/AP 融合，目前在推动金蝶下一代 ERP 引入 TiDB 作为数据库存储服务。

Mobx源码阅读笔记——3. proxy 还是defineProperty，劫持对象行为的两个方案

       这篇文章将深入分析 MobX 的 observableObject 数据类型的源码，同时探讨使用 Proxy 和 Object.defineProperty 这两种实现方案来劫持对象行为的策略。通过分析，我们能够理解 MobX 在创建 observableObject 时是如何同时采用这两种方案，并在创建时决定使用哪一种。

       首先，回顾 observableArray 的实现方式，通过 Proxy 代理数组的行为，转发给 ObservableArrayAdministration 来实现响应式修改的逻辑。同样，我们已经讨论过 observableValue 的实现，通过一个特殊的类 ObservableValue 直接使用其方法，无需代理。

       对于 observableObject 的实现机制，其特点在于同时采用了上述两种方案，并且在创建时决定使用哪一种。让我们回到文章中提到的工厂方法，其中根据 options.proxy 的值来决定使用哪一种方案。

       在 options.proxy 为 false 的情况下，使用第一条路径来实现 observableObject。这通过直接返回 extendObservable 的结果，其中 extendObservable 是一个工具函数，用于向已存在的目标对象添加 observable 属性。属性映射中的所有键值对都会导致目标上生成新的 observable 属性，并且属性映射中的任意 getters 会被转化为计算属性。

       这里首先根据 options 参数选择特定的 decorator，这个过程与之前在第一篇文章中通过 options 参数选择特定的 enhancer 类似。实际上，这里的 decorator 起到了类似的作用，甚至在创建 decorator 这个过程本身也需要通过 enhancer 参数。

       至于 decorator 和 enhancer 之间的耦合机制，文章中详细解释了 createDecoratorForEnhancer 和 createPropDecorator 函数，通过这些函数我们能够了解到它们是如何将 decorator 和 enhancer 联系起来的。

       接下来，文章深入分析了 decorator 的作用机制，包括它如何决定是否立即执行，以及在不立即执行时如何将创建 prop 的相关信息保存下来。通过 initializeInstance 函数，我们了解了如何解决 # 问题，这涉及到如何正确处理那些在创建时未被立即执行的 prop。

       最终，通过为 target 对象创建 ObservableObjectAdministration 管理对象，并通过 $mobx 和 target 属性将它们关联起来，我们完成了 observableObject 的创建。如果传入的 properties 不为空，则使用 extendObservableObjectWithProperties 来初始化。这里的代码逻辑相对简单，主要遍历 properties 中的所有键并调用对应的 decorator。

       文章还指出，虽然在第一条路径中，使用 Object.defineProperty 重写了 prop 的 getter 和 setter，但在 MobX 4 及以下版本中，使用 Proxy 来实现 observableObject 的逻辑更为常见。Proxy 特性在 ES6 引入后，提供了更强大的能力来劫持对象的行为，不仅限于 getter 和 setter，还包括对象的其他行为。

       最后，文章总结了使用 Proxy 方案的优点，包括能够更全面地劫持对象的行为，而不仅仅是属性的 getter 和 setter。Proxy 方案在实现双向绑定时，能够提供更灵活和强大的功能。同时，文章也提到了两种方案的局限性，尤其是在处理对象属性的可观察性方面，Proxy 方案在某些情况下可能更具优势。

Android源码阅读分析：ActivityManagerService分析（一）——启动流程

       本文深入解析了Android源码中的ActivityManagerService，即AMS的核心功能与启动流程。AMS作为管理Android四大组件的关键组件，其重要性不言而喻。本篇将从AMS的创建与启动逻辑开始分析，为理解其内部机制打下基础。

       AMS的创建始于SystemServer的startBootstrapServices方法。此方法通过SystemServiceManager的startService方法启动Lifecycle类实例，从而创建AMS对象。Lifecycle作为适配器，连接了AMS与SystemService之间的交互。再通过Lifecycle的构造器，创建出AMS实例。

       创建过程中，AMS线程、UI线程、CpuTracker线程和系统目录被初始化，同时StackSupervisor与ActivityStarter也得以创建，完成AMS对象的创建。

       随后，ActivityManagerService的startService(SystemService)方法执行，完成服务的注册与启动。Lifecycle的onStart方法调用ActivityManagerService的start方法，启动关键操作。

       在SystemServer的startBootstrapServices方法中，创建完AMS后，执行其setSystemProcess方法，为系统进程启动Application实例与服务注册。然后，SystemServer继续调用startBootstrapServices、startCoreServices与startOtherServices方法，启动更多系统服务与持久化进程，完成桌面Activity的启动与广播发布。

       文中总结了AMS创建与启动的关键步骤，并预告后续文章将深入探讨AMS的具体使用、对四大组件的管理以及内存管理等内容。通过本篇解析，读者能更直观地理解Android系统中AMS的核心功能与作用。

TCC编译器源码阅读笔记：命令行选项分析与环境变量处理

       TCC编译器源码阅读笔记：命令行选项分析与环境变量处理

       TCC没有使用命令行选项分析库，而是自己实现了命令行选项分析功能。其命令行选项语法与GCC编译器选项兼容。此外，TCC进程的环境变量也会影响其行为。详情请参考bellard.org/tcc/tcc-doc...

       命令行选项分析由tcc_parse_args函数完成，该函数通过TCCOption结构的数组描述所有支持的选项，使用FlagDef结构的数组描述二级选项。set_flag函数用于分析二级选项。

       命令行选项一般用于指示程序执行功能或传递执行所需数据。tcc_parse_args分析命令行，产生副作用，即保存信息，以及返回值指示程序接下来要执行的功能。TCC使用TCCState结构汇总编译数据信息，tcc_parse_args的第一个参数也是这个结构的地址，将分析结果存储在结构的相关字段中。

       同时，tcc_parse_args通过返回值指示命令行要求的后续功能，并通过三级指针更新指向命令行参数数组首项的指针变量内容，配合后续功能执行。

       TCC的基础设施包括tcc_strdup、strstart、full_read、load_data、tcc_load_text、tcc_basename、parse_version、args_parser_make_argv、args_parser_listfile、tcc_set_options、filespec、args_parser_add_file等。

       文件相关处理涉及tcc_split_path、tcc_add_include_path、tcc_add_sysinclude_path、tcc_add_library_path和tcc_set_lib_path。路径相关处理包括tcc_define_symbol、tcc_undefine_symbol、-Wl,选项分析、link_option、skip_linker_arg和pstrncpy。

       选项分析实现涉及TCCOption结构、FlagDef结构和set_flag函数。TCCOption结构描述选项名称、ID和特性，FlagDef结构描述二级选项的偏移、特性、名称。set_flag函数根据选项名称和描述数组设置二级选项的值。

       接口tcc_parse_args是TCC命令行选项分析的核心，通过tcc_options数组中的选项描述进行遍历分析。这个接口包含多个局部变量，用于查找当前分析的选项、选项值和指示特定命令行参数的特殊逻辑。接口通过while循环顺序分析命令行参数，返回值指示分析结果。

       TCC主要使用C_INCLUDE_PATH、CPATH和LIBRARY_PATH环境变量，分别用于提供头文件搜索目录和库文件搜索目录。这些环境变量中的路径由set_environment函数添加到TCCState相关字段中。