LH

1. TLA+简介 1.1 TLA+是什么 大多数软件的缺陷来自两个地方。 代码bug， 代码错误是指代码与我们的设计不一致--例如使用空指针，越界访问，多线程读写变量等，这些我们有很多寻找代码缺陷的

1. 题目描述 给定一个数组 prices ，它的第 i 个元素 prices[i] 表示一支给定股票第 i 天的价格。 你只能选择 某一天 买入这只股票，并选择在 未来的某一个不同的日子 卖出该股票

LUA源码分析，分析5.3版本lua的内部数据类型。分析了lua是如何进行数据抽象，什么是GCObject，以及如何创建GCObject等。

1. LUA虚拟机的字符串 LUA语言中所有的字符串都是保存在LUA虚拟机中的。LUA虚拟机是怎么保存这些字符串的呢？ 每次存放LUA字符串的变量，实际上存放的并不是一个真正的字符串数据， 而是一个字符串的引用。比如如下代码： 其实a和b引用的是同一份数据。 在lua内部有一个…

用虚拟化技术已经很久了，虽然自己一直是一个应用层的码农，但是前段时间出差，和一群大拿们一起工作，也接触了一些虚拟化技术，这段时间正好肺炎肆虐，在家没事做，闲得无聊就学习下虚拟化的相关技术，做点笔记用于以后复习。 1. 前言&&概念 虚拟化技术浅薄个人的理解就是用 通过一个物理机…

大家都是知道，redis支持两种持久化的操作，AOF和RDB方式。如果有不对的地方请指正谢谢。 首先要说说什么是持久化的操作。 其实前面3步都是应用程序（数据库）自己能保证的，而4和5步是由操作系统来好正的。这里就不得不说下两个函数： fsync： 这个函数就工作的更加底层了，…

每种数据类型都存在至少一种encoding方式。redis把上面几种基础类型抽象成为一个结构体叫做 redisObject 本文就重点介绍下hash类型在redis中是如何存储和使用的。 2. redis hash类型 其实具体的命令查看redis的官方文档是最方便的，但是我还…

redis性能很好，而且是一个单线程的框架。得益于redis主要通过异步IO， 多路复用的技术，使用反应堆（reactor）模式，把大量的io操作通过消息驱动的方式单线程一条条处理，这样可以很好的利用CPU资源。因为没有同步调用，所以处理速度非常快。使得多个Client访问re…

1. 总体结构 2. API接口分析 3. rehash过程 redis对于dict支持两种rehash的方式：按照时间，或者按照操作进行rehash。每次都调整一个key值桶内所有的冲突链表到新的hash表中。