数据库中的删除操作通常是直接指定表名进行操作，但Oracle数据库支持一种特别的DELETE [FROM] (subquery)语法，使用户能够通过子查询指定删除操作，其它任何数据库均不支持，详细了解之后不由感叹Oracle的强大。1，支持情况Oracle对DELETE [FROM] (subquery)语法的支持包括以下几种情形：单表子查询：单表子查询的返回结果可以直接用于DELETE操作。多表JOIN子查询：支持基于包含多表JOIN的子查询进行DELETE。可修改视图：可修改视图也相当于一种子查询，同样支持。但无论是哪种情况，子查询或可修改视图中必须存在一个“键值保存表”（Key-Preserved Table），键值保存表也是实现该语法的关键。什么是键值保存表在一个多表JOIN的查询中，如果某个表的主键或唯一键被投影，且在JOIN结果中依旧保持唯一性，也就是说，JOIN操作不会破坏该键的唯一性，这个表在这个查询中便被称为键值保存表。2，Oracle行为分析Oracle在执行DELETE [FROM] (subquery)时会根据子查询的结构确定删除目标，这其中存在一些有趣的现象。单表子查询行为如果子查询中仅包含一个表，Oracle允许删除操作，即使该表没有唯一键。例如：CREATETABLEA(idint);INSERTINTOAVALUES(1);DELETE(SELECT ...继续阅读 (77)

TL;DR, don’t place your Maildir into Documents, Downloads or Desktop.I’m a heavy user of offlineimap. Thanks to Homebrew, which provides a quite nice plist (which stands for “property list”) file for macOS’s launchd to start the service at login, the offlineimap always works well until macOSVistaCatalina.Days ago, after I upgraded the system to Catalina, offlineimap stopped working, no new mails got in at all. Although I appreciate the break, it’s a thing need to be fixed.Runofflineimap -odirectly, good, so it’s a launchd thing.Enable the launchd logging, it reports “Operation not permitted” w ...继续阅读 (22)

TL;DR, don’t place your Maildir into Documents, Downloads or Desktop.I’m a heavy user of offlineimap. Thanks to Homebrew, which provides a quite nice plist (which stands for “property list”) file for macOS’s launchd to start the service at login, the offlineimap always works well until macOSVistaCatalina.Days ago, after I upgraded the system to Catalina, offlineimap stopped working, no new mails got in at all. Although I appreciate the break, it’s a thing need to be fixed.Runofflineimap -odirectly, good, so it’s a launchd thing.Enable the launchd logging, it reports “Operation not permitted” w ...继续阅读 (21)

Jump Consistent Hash是一个来自Google的快速, 几乎没有内存消耗的一致性哈希算法. 这篇文章是我的翻译和理解思路.哈希算法的设计目标平衡性, 把对象均匀地分布在所有桶(bucket)中.单调性, 当桶的数量变化时, 只需要把一些对象从旧桶移动到新桶, 不需要做其它(例如旧桶之间的)移动.比如一个分布式存储的系统, 按哈希分布带来优化的便利, 平衡性可以避免数据倾斜, 单调性则使得扩容和减容更快速.算法的设计思路我们用循序渐进的思路来设计,ch(key, num_buckets)为桶数为num_buckets时的hash函数, 为了满足设计目标, 需要:num_buckets为1时, 任意key,ch(key, 1)==0, 全落在第0个桶里.num_buckets由1变为2后,ch(key, 2)应该有1/2的结果保持为0, 有1/2变为1.…num_buckets由n变为n+1后,ch(key, n+1)应该有n/(n+1)的结果保持不变, 有1/(n+1)跳变为n+1.因此, 只要我们用一个分布均匀的函数, 例如伪随机数生成器, 并且让这个伪随机数生成器的状态只依赖于key, 从0个桶开始推导, 变到第num_buckets个桶, 结果就是我们想要的hash值:int ch(int key, int num_buckets) { random.s ...继续阅读 (36)

Jump Consistent Hash是一个来自Google的快速, 几乎没有内存消耗的一致性哈希算法. 这篇文章是我的翻译和理解思路.哈希算法的设计目标平衡性, 把对象均匀地分布在所有桶(bucket)中.单调性, 当桶的数量变化时, 只需要把一些对象从旧桶移动到新桶, 不需要做其它(例如旧桶之间的)移动.比如一个分布式存储的系统, 按哈希分布带来优化的便利, 平衡性可以避免数据倾斜, 单调性则使得扩容和减容更快速.算法的设计思路我们用循序渐进的思路来设计,ch(key, num_buckets)为桶数为num_buckets时的hash函数, 为了满足设计目标, 需要:num_buckets为1时, 任意key,ch(key, 1)==0, 全落在第0个桶里.num_buckets由1变为2后,ch(key, 2)应该有1/2的结果保持为0, 有1/2变为1.…num_buckets由n变为n+1后,ch(key, n+1)应该有n/(n+1)的结果保持不变, 有1/(n+1)跳变为n+1.因此, 只要我们用一个分布均匀的函数, 例如伪随机数生成器, 并且让这个伪随机数生成器的状态只依赖于key, 从0个桶开始推导, 变到第num_buckets个桶, 结果就是我们想要的hash值:int ch(int key, int num_buckets) { random.s ...继续阅读 (23)

What is a “JOIN”INNER JOIN is anAND, OUTER JOIN is anOR.id name id name -- ---- -- ---- 1 Pirate 1 Rutabaga 2 Monkey 2 Pirate 3 Ninja 3 Darth Vader 4 Spaghetti 4 NinjaINNER JOIN’s results are those tuples in table AANDB.# SELECT * FROM TableA INNER JOIN TableB ON TableA.name = TableB.name; id | name | id | name ----+--------+----+-------- 3 | Ninja | 4 | Ninja 1 | Pirate | 2 | Pirate (2 rows)FULL [OUTER] JOIN’s results are those tuples in table AORB.# SELECT * FROM TableA FULL OUTER JOIN TableB ON TableA.name = TableB.name; id | name | ...继续阅读 (28)

What is a “JOIN”INNER JOIN is anAND, OUTER JOIN is anOR.id name id name -- ---- -- ---- 1 Pirate 1 Rutabaga 2 Monkey 2 Pirate 3 Ninja 3 Darth Vader 4 Spaghetti 4 NinjaINNER JOIN’s results are those tuples in table AANDB.# SELECT * FROM TableA INNER JOIN TableB ON TableA.name = TableB.name; id | name | id | name ----+--------+----+-------- 3 | Ninja | 4 | Ninja 1 | Pirate | 2 | Pirate (2 rows)FULL [OUTER] JOIN’s results are those tuples in table AORB.# SELECT * FROM TableA FULL OUTER JOIN TableB ON TableA.name = TableB.name; id | name | ...继续阅读 (18)

Who are affectedSome certain Linux distros as Guardian containers, like SLES jobs on Concourse.How to reproduceCreate a SLES 11 SP4 Guardian container, then# useradd john # su - john $ python -c "import pty; pty.fork()" ... OSError: out of pty devicesWhy is thisA pseudo TTY (or “PTY”) is a pair of devices — a slave and a master — that provide a special sort of communication channel.Linux has a virtual filesystem calleddevptsthat is normally mounted at/dev/pts. Whenever a new pseudo TTY is created, a device node for the slave is created in that virtual filesystem.“Unix98” Single Unix Specificat ...继续阅读 (19)

Who are affectedSome certain Linux distros as Guardian containers, like SLES jobs on Concourse.How to reproduceCreate a SLES 11 SP4 Guardian container, then# useradd john # su - john $ python -c "import pty; pty.fork()" ... OSError: out of pty devicesWhy is thisA pseudo TTY (or “PTY”) is a pair of devices — a slave and a master — that provide a special sort of communication channel.Linux has a virtual filesystem calleddevptsthat is normally mounted at/dev/pts. Whenever a new pseudo TTY is created, a device node for the slave is created in that virtual filesystem.“Unix98” Single Unix Specificat ...继续阅读 (18)

C++程序发布时需要自带运行时么? 我觉得很有必要. 因为即使C++标准相同, ABI也不一定.#includeint main() { std::string str = "Hello, world!\n"; std::cout << str; return 0; }这样一个简单的C++程序, 用g++ 6.2.0和C++98标准编译后的二进制文件放到CentOS 5上运行会提示:./a.out: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.21' not found (required by ./a.out)又没有用什么很新的特性, 还指定了C++98标准, CentOS上的g++ 4.1.2当然也支持C++98, 为什么还会报错?因为从GCC 5.1开始[1],std::string和std::list使用了新的C++11的ABI,即使你显式指定使用老标准.解决方法不难, 手动将_GLIBCXX_USE_CXX11_ABI宏置0就可以了, 当然, 为了避免更多的麻烦(谁知道哪儿还有坑呢?), 你也可以自带运行时发布, 感谢GCC Runtime Library Exception[2], 即使私有软件也是可以的.为什么GCC要这么做呢? 我是不大理解, 官方文档说因为这样就保证可以和C++11的代码 ...继续阅读 (19)

C++程序发布时需要自带运行时么? 我觉得很有必要. 因为即使C++标准相同, ABI也不一定.#includeint main() { std::string str = "Hello, world!\n"; std::cout << str; return 0; }这样一个简单的C++程序, 用g++ 6.2.0和C++98标准编译后的二进制文件放到CentOS 5上运行会提示:./a.out: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.21' not found (required by ./a.out)又没有用什么很新的特性, 还指定了C++98标准, CentOS上的g++ 4.1.2当然也支持C++98, 为什么还会报错?因为从GCC 5.1开始[1],std::string和std::list使用了新的C++11的ABI,即使你显式指定使用老标准.解决方法不难, 手动将_GLIBCXX_USE_CXX11_ABI宏置0就可以了, 当然, 为了避免更多的麻烦(谁知道哪儿还有坑呢?), 你也可以自带运行时发布, 感谢GCC Runtime Library Exception[2], 即使私有软件也是可以的.为什么GCC要这么做呢? 我是不大理解, 官方文档说因为这样就保证可以和C++11的代码 ...继续阅读 (26)

Make是如何工作的简单说, Makefile中指定目标和依赖, 然后Make运行的时候会检测文件的时间信息, 如果目标落后于依赖的修改时间则目标需要重新生成, 以此达到按需生成, 节省时间的目的.实际场景中的问题是什么举个简单的例子:OBJS := foo.o bar.o program: $(OBJS) gcc $(OBJS) -o program %.o: %.c gcc -c $(CFLAGS) $< -o $@这个Makefile表达的意思是由foo.c和bar.c生成program, 中间目标文件分别依赖相应的源文件. 但是实际场景远没有这么简单, 例如每个.o还会各自依赖很多不同的.h头文件, 怎么办? 挨个列出来么? 太麻烦了, 而且依赖关系还可能会变化.依赖关系能自动生成么当然可以, 直接看代码:OBJS := foo.o bar.o program: $(OBJS) gcc $(OBJS) -o program -include $(OBJS:.o=.d) %.o: %.c gcc -MD -MP -c $(CFLAGS) $< -o $@相较于之前的版本, 这次每个.o的编译过程中都会生成一个Makefile语法的.d文件, 里面列出了gcc分析得出的依赖关系. 所以当我们把这些.d文件包含进来之后, Make就可以知道详细的依赖 ...继续阅读 (37)

Make是如何工作的简单说, Makefile中指定目标和依赖, 然后Make运行的时候会检测文件的时间信息, 如果目标落后于依赖的修改时间则目标需要重新生成, 以此达到按需生成, 节省时间的目的.实际场景中的问题是什么举个简单的例子:OBJS := foo.o bar.o program: $(OBJS) gcc $(OBJS) -o program %.o: %.c gcc -c $(CFLAGS) $< -o $@这个Makefile表达的意思是由foo.c和bar.c生成program, 中间目标文件分别依赖相应的源文件. 但是实际场景远没有这么简单, 例如每个.o还会各自依赖很多不同的.h头文件, 怎么办? 挨个列出来么? 太麻烦了, 而且依赖关系还可能会变化.依赖关系能自动生成么当然可以, 直接看代码:OBJS := foo.o bar.o program: $(OBJS) gcc $(OBJS) -o program -include $(OBJS:.o=.d) %.o: %.c gcc -MD -MP -c $(CFLAGS) $< -o $@相较于之前的版本, 这次每个.o的编译过程中都会生成一个Makefile语法的.d文件, 里面列出了gcc分析得出的依赖关系. 所以当我们把这些.d文件包含进来之后, Make就可以知道详细的依赖关系信息, ...继续阅读 (19)

什么是PerfPerf是一个与Linux Kernel紧密结合的软件性能分析工具.Perf的工作原理Perf的基本原理是hook事件, 对被分析对象进行采样, 获取数据并分析. 例如在时钟中断触发时采样context可以分析函数的运行时间, 在cache miss触发时采样可以分析缓存的工作效率. 此外, Perf还支持缺页, 进程切换, 具体内核函数等事件, 具体可以参考perf list.Perf怎么用perf stat ./a.out,perf stat -p 1234, 分析程序的整体性能, 可以看到程序的CPU使用率, 进程切换次数, cache利用情况等等.perf top, 类似top命令, 可以分析整个系统当前的状态, 例如寻找当前系统最耗时的用户进程或者内核函数.perf record和perf report, 可以记录并分析一段时间内的性能事件.perf --help:)Happy π day!这只是篇简介, 主旨是要说明Perf很强大很易用以及更新一下blog. 另外, 圆周率日快乐!ref:1,https://perf.wiki.kernel.org/2,http://www.brendangregg.com/perf.html ...继续阅读 (32)

什么是PerfPerf是一个与Linux Kernel紧密结合的软件性能分析工具.Perf的工作原理Perf的基本原理是hook事件, 对被分析对象进行采样, 获取数据并分析. 例如在时钟中断触发时采样context可以分析函数的运行时间, 在cache miss触发时采样可以分析缓存的工作效率. 此外, Perf还支持缺页, 进程切换, 具体内核函数等事件, 具体可以参考perf list.Perf怎么用perf stat ./a.out,perf stat -p 1234, 分析程序的整体性能, 可以看到程序的CPU使用率, 进程切换次数, cache利用情况等等.perf top, 类似top命令, 可以分析整个系统当前的状态, 例如寻找当前系统最耗时的用户进程或者内核函数.perf record和perf report, 可以记录并分析一段时间内的性能事件.perf --help:)Happy π day!这只是篇简介, 主旨是要说明Perf很强大很易用以及更新一下blog. 另外, 圆周率日快乐!ref:1,https://perf.wiki.kernel.org/2,http://www.brendangregg.com/perf.html ...继续阅读 (23)

什么是龟兔算法检测单链表上的环有个很经典的算法叫做”弗洛伊德判圈算法”, 也叫”龟兔算法”.龟兔算法的基本思路是否有环我们让龟(tortoise)和兔(hare)从单链表的起点出发, 每次龟走一步, 兔走两步, 如果time_a步之后龟兔相遇, 则该链表有环.环的长度上述算法刚判断出存在环时, 龟和兔位于同一节点. 此时让兔不动, 而龟不断前进, 肯定又会相遇, 而这一次龟前进的步数显然就是环的长度length.环的起点还是之前所说龟兔相遇的节点, 首先兔保持原位, 而把龟置回链表起点, 然后龟和兔同时走, 每次都走一步, 经过time_b步最终再次相遇, 则这次相遇的节点就是环的起点start.龟兔算法为什么有效假设兔每次走step步, 那么只要单链表中存在环, 而且龟到达环的起点之后, 龟和兔之间的路程差能够是环长度length的整数倍, 则二者就能相遇. 即:((step - 1) * time_a) % length == 0 && time_a >= start其中start和length是固定的, time_a却无限增长, 所以总会有机会整除, 所以龟兔算法可以判断是否有环.略过显而易见的长度计算, 接着说查找环的起点. 当仅当step为2, 即兔每次走两步时, 根据前面的条件得知time_a能被l ...继续阅读 (21)

什么是龟兔算法检测单链表上的环有个很经典的算法叫做”弗洛伊德判圈算法”, 也叫”龟兔算法”.龟兔算法的基本思路是否有环我们让龟(tortoise)和兔(hare)从单链表的起点出发, 每次龟走一步, 兔走两步, 如果time_a步之后龟兔相遇, 则该链表有环.环的长度上述算法刚判断出存在环时, 龟和兔位于同一节点. 此时让兔不动, 而龟不断前进, 肯定又会相遇, 而这一次龟前进的步数显然就是环的长度length.环的起点还是之前所说龟兔相遇的节点, 首先兔保持原位, 而把龟置回链表起点, 然后龟和兔同时走, 每次都走一步, 经过time_b步最终再次相遇, 则这次相遇的节点就是环的起点start.龟兔算法为什么有效假设兔每次走step步, 那么只要单链表中存在环, 而且龟到达环的起点之后, 龟和兔之间的路程差能够是环长度length的整数倍, 则二者就能相遇. 即:((step - 1) * time_a) % length == 0 && time_a >= start其中start和length是固定的, time_a却无限增长, 所以总会有机会整除, 所以龟兔算法可以判断是否有环.略过显而易见的长度计算, 接着说查找环的起点. 当仅当step为2, 即兔每次走两步时, 根据前面的条件得知time_a能被length整除. 于是我们接着假设time_b为龟到达环的起点star ...继续阅读 (19)

This is a simple note for people who are googling this topic right now, and you are welcome.BackgroundsLegacy BIOS needs bootloaders to be installed into MBR and the reserved space after it.UEFI only needs bootloaders in ESP(EFI System Partition).There is no resource competition between legacy BIOS and UEFI requirements.Preparationsgrub-pc-bin and grub-efi-amd64-bin packages for Debian users.An USB storage stick, MBR or GPT. Some unallocated space(1MB is enough) at the beginning of disk if you are using GPT.A vfat partition with the “boot” flag.Cooking# mount /dev/sdb1 /media/sdb1 ...继续阅读 (47)

This is a simple note for people who are googling this topic right now, and you are welcome.BackgroundsLegacy BIOS needs bootloaders to be installed into MBR and the reserved space after it.UEFI only needs bootloaders in ESP(EFI System Partition).There is no resource competition between legacy BIOS and UEFI requirements.Preparationsgrub-pc-bin and grub-efi-amd64-bin packages for Debian users.An USB storage stick, MBR or GPT. Some unallocated space(1MB is enough) at the beginning of disk if you are using GPT.A vfat partition with the “boot” flag.Cooking# mount /dev/sdb1 /media/sdb1 # grub-inst ...继续阅读 (23)

什么是GLOBALGLOBAL是GNU出品的一款代码索引工具.GLOBAL有什么优点原生支持C, C++, 汇编等6种语言的代码索引, 借助插件支持的更多达25种支持多种查找功能, 例如最常用的查找定义, 调用和文件位置等提供gtags-cscope命令, 兼容cscope相对于cscope, 查找匹配更加快速和准确支持增量更新, 而且比cscope的增量更新快很多很多开发活跃, 上一次发布新版本是两个月前, 而cscope的上一次是两年前如何使用GLOBAL简单讲, 在代码目录中执行gtags -i建立索引数据库, 然后使用global命令查找匹配. 例如global symbol查看symbol的定义,global -r symbol查看symbol在哪被引用, 等等. 详见:https://www.gnu.org/software/global/globaldoc_toc.htmlVim中使用GLOBAL的小技巧继承Vim中cscope的接口和键绑定::set cscopeprg=gtags-cscope自动从当前文件夹递归向上搜索索引数据库并加载:function! LoadDatabase() let db = findfile("GTAGS", ".;") if (!empty(db)) set nocscopeverbose ...继续阅读 (33)

什么是GLOBALGLOBAL是GNU出品的一款代码索引工具.GLOBAL有什么优点原生支持C, C++, 汇编等6种语言的代码索引, 借助插件支持的更多达25种支持多种查找功能, 例如最常用的查找定义, 调用和文件位置等提供gtags-cscope命令, 兼容cscope相对于cscope, 查找匹配更加快速和准确支持增量更新, 而且比cscope的增量更新快很多很多开发活跃, 上一次发布新版本是两个月前, 而cscope的上一次是两年前如何使用GLOBAL简单讲, 在代码目录中执行gtags -i建立索引数据库, 然后使用global命令查找匹配. 例如global symbol查看symbol的定义,global -r symbol查看symbol在哪被引用, 等等. 详见:https://www.gnu.org/software/global/globaldoc_toc.htmlVim中使用GLOBAL的小技巧继承Vim中cscope的接口和键绑定::set cscopeprg=gtags-cscope自动从当前文件夹递归向上搜索索引数据库并加载:function! LoadDatabase() let db = findfile("GTAGS", ".;") if (!empty(db)) set nocscopeverbose exe "cs add " . ...继续阅读 (18)

最近围绕着Linux内核编译环境发生了很多有趣的事情. 先是LLVMLinux的[1]大批特性进入mainline, 内核几乎可以用Clang编译了[2], 后来又是Linus Torvalds狂喷GCC 4.9.0[3], 很有意思. 而这些事情都有一个共同的背景: 目前Linux内核编译依赖GCC. 那么, 为什么?不通用的命令参数Linux内核使用了很多GCC的命令参数来进行优化, 其它编译器也一直在试图兼容, 但目前尚未有能完美兼容GCC参数的其它编译器出现.不支持的内联汇编__asm__ 并不被其它编译器全面支持, 或者所支持的架构平台有限, 即使是如此简单的用法:asm("movl %ecx, %eax");特殊的C语言扩展GCC支持很多独有的特殊C扩展, 例如绑定变量与寄存器, 函数嵌套等, 此外大多数其它编译器也不支持结构体中的变长数组, 但是内核中存在, 例如:void func(int i) { struct foo_t { char a[i]; } foo; }特殊的段标记内核中使用了很多段标记例如__refdata, __initdata和__exitdata来优化链接器的行为, 这些特性大多也是GCC独有.#define __refdata __section(.ref.data) #define __initd ...继续阅读 (36)

什么是MSIMSI(Message Signaled Interrupts)是一种中断形式, 依靠设备将约定数据写入指定地址来通知CPU中断的产生.MSI从PCI 2.2开始支持, 在PCI 3.0中得到扩展. 支持更多中断以及拥有独立配置各个中断能力的MSI-X则从PCI 3.0开始被支持.MSI的优点相对基于引脚的中断响应方式, 首先MSI支持更多的中断且不需要复用, 其次启用MSI的设备的数据写入和中断触发是串行的, 驱动接收到中断信号的时候就可以确定数据已经准备就绪, 而不需要检查相应设备的寄存器, 这提升了性能.如何在Linux下使用MSIPCI设备默认以基于引脚的中断响应方式初始化, 然后由驱动来检测是否支持MSI并决定是否启用, 如果启用MSI失败则会回退到基于引脚的中断响应方式. 下面是关于MSI的几个重要的内核函数:启用MSI并给设备分配一个中断:int pci_enable_msi(struct pci_dev *dev)允许驱动申请minvec至maxvec个中断:int pci_enable_msi_range(struct pci_dev *dev, int minvec, int maxvec)获取设备申请的中断向量个数:int pci_msi_vec_count(struct pci_dev *dev)禁用MSI, 回退到基于引脚的中断响应方式:voi ...继续阅读 (32)

dentry, 既directory entry的缩写, 是Linux VFS中用来管理树状目录的结构, 在内存中生成, 并不存在于实际的文件系统中.dentry的结构dentry结构的定义(linux/include/dcache.h)如下:struct dentry { /* RCU lookup touched fields */ unsigned int d_flags; /* protected by d_lock */ seqcount_t d_seq; /* per dentry seqlock */ struct hlist_bl_node d_hash; /* lookup hash list */ struct dentry *d_parent; /* parent directory */ struct qstr d_name; struct inode *d_inode; /* Where the name belongs to - NULL is * negative */ ...继续阅读 (36)

In short, because vmlinux is only the image of bare kernel, which is runningaftersystem booted.ref:https://en.wikipedia.org/wiki/Vmlinux ...继续阅读 (29)

Linux内核中很多事件都是时间驱动的, 通俗讲就是动作的发生都要以时间为条件, 例如延迟, 定时以及周期执行等.jiffies为了让内核能够感知时间, 硬件提供了时钟发生器, 它可以被编程以某个固定频率自行触发时间中断, 然后内核藉由中断服务程序来处理时间驱动的事件. 时钟发生器的频率就是HZ, 意味着时钟发生器每HZ分之一秒产生一个节拍, 而自系统启动以来产生的总节拍数就是全局变量jiffies.jiffies变量的类型是unsigned long, 如果体系结构为32位, 时钟频率为1000, 这个变量大概50天后就会溢出. 所以使用jiffies的关键是不要直接进行比较而要使用内核提供的宏, 例如:jiffies.h> #define time_after(a,b) ... #define time_before(a,b) ... #define time_in_range(a,b,c) ...NO_HZ回过来说HZ, 它的值应该被设定为多少呢? 频率低了的话, 精度不够, 影响整个系统的实时性; 频率高虽然能提高精度和实时性, 但又会造成系统负担过重, 大量的时间被用来处理时钟中断服务程序. 而且由于使用场景的不同, HZ并没有一个通用的理想值, 内核的默认值也曾多次改变.为了兼顾实时性和能耗, 内核从2.6.17开始引入了tickless的特性, 也被称为NO_HZ. ...继续阅读 (49)

Kprobes是一种运行时动态调试内核的机制, 你可以用它设置断点并收集调试信息, 甚至改变内核行为.Kprobes分三种, 普通kprobes以及基于普通kprobes的jprobes和kretprobes. kprobes可以注入某个地址, jprobes用来注入某个函数入口, 而kretprobes则用来注入某个函数返回.实现原理Kprobes的实现主要利用了处理器的异常和单步执行特性. 以普通kprobes举例, 注册时它会复制一份被注入的指令, 并加入断点(例如x86的int 3), 当CPU执行到被注入的指令时就会陷入到Kprobes中, 此时Kprobes先运行钩子函数”pre_handler”, 然后单步执行被复制的指令, 并且由于是单步执行模式, 指令执行完毕后会再次触发异常而陷入到Kprobes中, 此时Kprobes会运行钩子函数”post_handler”并最终返回.使用方法通常情况下, Kprobes以内核模块的形式工作, 模块的init函数用来注册Kprobes, exit函数相应得用来注销, pre_handler和post_handler分别在单步执行被复制的指令前后运行, fault_handler则在单步执行发生异常时运行.Kprobes模块写起来很简单, 下面是一个内核源码中的例子, 演示如何在每 ...继续阅读 (39)

最近在看Linux内核中mutex_lock()和spin_lock()实现, 发现一个很有意思的函数调用: rep_nop()/* REP NOP (PAUSE) is a good thing to insert into busy-wait loops. */ static inline void rep_nop(void) { asm volatile("rep; nop" ::: "memory"); }汇编指令rep的本意是重复执行rep后的指令直到ecx寄存器中的值变成0为止. 但是这里为什么要重复nop呢? 于是反汇编, 发现rep;nop其实是被翻译成了pause指令.以下摘自Intel软件开发者手册第二卷第四章(下载地址):Improves the performance of spin-wait loops. When executing a “spin-wait loop,” processors will suffer a severe performance penalty when exiting the loop because it detects a possible memory order violation. The PAUSE instruction provides a hint to the processor that th ...继续阅读 (34)

Vim的移动操作很强大, hjkl左下上右, wb按词移动, fF前后搜索等等, 方便, 快速. 但也有软肋, 跨越多行的精确跳转就相当不尽人意. 幸好, 有一款堪称神级表现的插件: EasyMotion.简单说, 它提供了一组对应默认移动操作的键绑定, 能搜索并高亮所有可能的选择以供跳转, 类似Vimperator里链接跳转的方式, 效果相当棒, 就像下面这样(via YouTube):总之, 强烈推荐! 具体说明和下载见项目地址:https://github.com/Lokaltog/vim-easymotion/ ...继续阅读 (39)