Sherlock's blog

文本分析Linux内核内存管理中伙伴系统的基本逻辑。代码分析基于v6.5-rc3。

本文介绍使用herd7做ARM内存模型验证的基本逻辑。

本文分析qemu tcg中barrier指令模拟的基本逻辑，分析基于qemu代码的版本是v8.1.50。

本文是ARM64 spec 2.2/2.3章节的学习笔记。ARM的spec不同的版本这两节的定义语言 描述变化有点大，我们这里使用的是2023.4.12的版本，另外，这个版本的行文似乎 比较乱，看的时候可以对比着上一个版本的看。

本文介绍计算机领域著名的阿姆达尔定义的测试方式，展示一个简单的测试逻辑框架。

本文介绍下qemu tcg下跟踪CPU指令执行的逻辑，并用一个小例子观察qemu跟踪指令 执行的效率。可以看到qemu跟踪指令执行的效率还是比较低的，在实际调试时，我们 更多采用不断缩小问题范围+指令执行跟踪来定位和调试问题。

本文分析无锁队列的实现逻辑，并给出一个简易无锁队列的C实现。

有开发者翻译了Linux内核文档里memory-barrier.txt这篇文章(https://lkml.org/lkml/2023/8/11/83)， 我们这里以这篇文章作为基础，逐段学习下相关内容。我们直接把翻译内容拷贝过来， 自己的学习内容会以注释的方式插入正文中，注释以comment:开头，注释为红色字体。

本文分析glib中事件处理框架的基本逻辑，知乎上的这篇文章简单demo了下glib事件 处理的使用https://zhuanlan.zhihu.com/p/512939620，这篇文章写的不错，本文在 次基础上，具体看看glib是如何实现相关功能的。本文分析的glib库的版本是2.76.1, 分析基于ARM64机器，使用的系统是ubuntu20.04。

文本整理Linux动态链接时模块间函数调用的逻辑，分析基于RISCV构架。