PC's Blog

前言

跳跃表是一种以O(log N)期望时间支持查找、插入、删除操作的、有序的数据结构。

Redis使用跳跃表作为有序集合键的底层实现之一。

跳表的基本实现原理参考：《Skip lists: a probabilistic alternative to balanced trees》

Redis中的跳表实现

什么是三大范式

三大范式是数据库设计遵循的规范, 分别是：

• 第一范式(1NF)：表中每列不可再拆分
• 第二范式(2NF)：1NF基础上，要求非主键列完全依赖于主键，不能只依赖于主键的一部分(针对联合主键)
• 第三范式(3NF)：2NF基础上, 要求任何非主键列必须直接依赖于主键，不能是传递依赖

问题描述

进程收到SIGABRT信号异常退出，异常调用栈显示__stack_chk_fail

原因分析和定位思路

原因分析： __stack_chk_fail说明发生了缓冲区溢出，canary被破坏。这说明代码设置GCC编译选项fstack-protector，开启了栈保护机制canary

定位思路：

前言

Redis中，整数集合是集合键的底层之一。

当一个集合只包含整数元素，且这个集合中元素个数不多的情况下，Redis就会使用整数集合作为集合键的底层实现。

1. 整数集合的实现

跳跃表简介

跳跃表是一种以O(log N)期望时间支持查找、插入、删除操作的、有序的数据结构。其性能和红黑树相当，且跳跃表实现更为简单。

如何理解”跳跃“二字

问题描述

root进程调sem_open(XXX, O_CREAT, 0666, 1)创建信号量后，非root进程使用sem_open打开同一个信号量失败，报Permission Denied错

原因分析

非root进程调用sem_open， 以O_CREAT方式打开信号量，需要同时有对该信号量文件的读权限 + 写权限。

ll /dev/shm/sem.semname 查看信号量文件权限，发现权限为0644，缺少其他用户写权限。这个权限与sem_open中指定的权限值0666不一致。

实验简介

实现自己的动态内存分配器（malloc、free、realloc）。

预备知识

• 阅读《CSAPP原书第3版》 9.9小节 —— 动态内存分配。
• 阅读writeup的全部内容。

ctrl + c

中断键，给前台进程组中所有进程发送SIGINT信号，并终止进程。

ctrl + z

挂起键，给前台进程组中所有进程发送SIGTSTP信号, 并挂起进程。被挂起的进程并没有真正结束，可以使用fg或bg命令恢复被挂起的进程。

实验简介

编写一个通用高速缓存模拟器，并优化小型矩阵转置核心函数，以最小化对模拟高速缓存的不命中次数。

预备知识

1. 局部性原理

局部性通常有两种形式：

• 时间局部性：被引用过一次的内存位置很可能在不远的将来被多次引用。
• 空间局部性：如一个内存位置被引用，其附近的内存位置很可能在不远的将来被引用。

msleep和mdelay都是内核的延时函数，原型如下：

1
2

void mdelay(unsigned long msecs);
void msleep(unsigned int millisecs);

区别

mdelay是忙等待函数，会占用CPU资源，延迟时间是准确的。

msleep是休眠函数，不占用CPU资源，延迟时间通常高于给定值。