随笔分类 - Linux编程
摘要：跳表（skiplist）是一个非常优秀的数据结构，实现简单，插入、删除、查找的复杂度均为O(logN)。LevelDB的核心数据结构是用跳表实现的，redis的sorted set数据结构也是有跳表实现的。其结构如下所示：所有操作均从上向下逐层查找，越上层一次next操作跨度越大。其实现是典型的空间换时间。具体的细节，可参考维基百科http://en.wikipedia.org/wiki/Skip_list本文作者将redis的sorted set代码进行整理，将跳表部分的实现抽取出来，供参考。skiplist.h 1 #ifndef __SKIPLIST_H 2 #define __SKIP
阅读全文
摘要：在编写多线程程序时，临界资源的处理常常需要互斥量、读写锁等来加以保护。这时需要考虑锁的粒度问题，粒度太粗，会出现很多线程阻塞等待相同的锁，源自并发性的改善微乎其微；如果锁的粒度太细，那么过多的锁开销会使系统性能受到影响，而且代码变得相当复杂。除此之外，还要细致的考虑各种dead lock问题。 因此，对于某些关键数据结构（临界资源），可以考虑使用Lock Free的实现手段。一个Lock Free的程序能够确保执行它的所有线程至少有一个能够继续往下执行，从而免疫了死锁等问题。Lock Free算法需要对应的原子操作加以支持，比如CAS(compare-and-swap)及其变种。CAS实...
阅读全文
摘要：平台：Linux 2.6.28-19-generic书中讲解所用的linux版本为Linux 2.4.22，我没有在此版本上做实验的机会，只是在当前用的版本上做了测试，问题原因可能是Linux内核版本升级导致对线程终止的处理方式进行了改动。代码如下： 1 #include "apue.h" 2 #include <pthread.h> 3 4 void 5 cleanup(void *arg) 6 { 7 printf("cleanup: %s\n", (char *)arg); 8 } 9 10 void *11 thr_fn1(void
阅读全文
