REmote DIctionary Server(Redis) 是一个由 Salvatore Sanfilippo 写的 key-value 存储系统，是跨平台的非关系型数据库。 Redis 是一个开源的使用 ANSI C 语言编写、遵守 BSD 协议、支持网络、可基于内存、分布式、可选持久性的键值对(Key-Value)存储数据库，并提供多种语言的 API。 Redis 通常被称为数据结构服务器，因为值（value）可以是字符串(String)、哈希(Hash)、列表(list)、集合(sets)和有序集合(so…
本书是作者潜心撰写22年的《新伦理学》之精粹。它的轴心是至今西方公认未能破解的“休谟难题”（“应该”能否从“事实”推导出来）之答案：行为应该如何的优良道德，只能通过道德最终目的——增进每个人利益——而从行为事实如何的客观本性中推导出来。作者将这个答案归结为一个道德价值公式，认为从这个破解休谟难题的道德价值推导公式，能够推导出伦理学的全部内容，因而可以称之为伦理学公理。 本书就是从这个公理推演伦理学体系的力作。全书分三卷，上卷《元伦理学》就是确证这一伦理学公理的科学。中卷《规范伦理学》则是具体推演构成这一公理的四个命…
时标（Time Scale）就是标度时间的方法。在时间的标度上，存在着两个相互独立的需求：一方面，我们希望时间标度能与地球的自转相吻合，可以称作天文学需求；另一方面，我们要求时间标度的单位是精确的，便于大家获得准确的时间。由于地球自转的不均匀性，从这两个需求出发制定的时标会有细微的差异。世界时（UT1）是基于地球自转的时标，下文有描述。国际原子时（TAI）是基于单位时间的时标，它以“铯-133原子基态两个超精细能级间跃迁辐射9,192,631,770周所持续的时间”为一秒。国际原子时是根据以上秒的定义的一种国际参照…
ELF是UNIX系统实验室（USL）作为应用程序二进制接口（Application Binary Interface，ABI）而开发和发布的，也是Linux的主要可执行文件格式。 本文是在64位ubuntu下执行 gcc a.c 得到ELF格式的可执行文件 a.out ,同时参阅文件 /usr/include/elf.h 的内容进行分析ELF格式的 a.out 文件。 //文件 a.c int main(int argc,char *argv[]) { return 0; } 1.ELF文件组成部分 ELF文件由4…
1.概述 注：如果实现过驱动程序中poll函数的，在这里逐个分析函数，理解poll机制应该不成问题。,本文由顶至下逐个函数分析内核poll机制的实现。 当应用程序调用poll函数时，将会陷入内核调用sys_poll()函数。内核层面各个函数之间的调用关系为(缩进表示调用关系)： //应用程序调用的poll函数头。 poll(struct pollfd __user *ufds, unsigned int nfds,long timeout_msecs) //内核层面poll函数相关的调用关系。 sys_poll()…
