Database 事务事务有四个特性(ACID): 一致性也就是说不能破坏数据库的某种约定,比如经典的银行转账问题中,从账户A转100元到账户B,那么一致性要求两个账户的金额的和要是相同的,数据库不应该让用户看到事务执行的中间状态, 也就是说不能让用户看到A账户减了100元,但是B账户还没有增加100元这样的中间状态,一致性有些需要数据库保证,有些则需要应用保证。 原子性只是用来保证事务中的操作完全成功或者全部失败 2022-05-08 note Database raft paxos leveldb
MXNET Dependency Engine 基本背景知识MXNET中有一个依赖引擎,这个引擎是用来分析计算过程的依赖关系,把不依赖的计算并行化,以达到提高性能的目的。它的基本原理可以看官方的文档。简单的说就是给每一个对 象打上一个tag,这个tag叫做Var,每一个计算(op)都会依赖一个或者多个Var,依赖有两种类型:写依赖和读依赖。依赖引擎为每一个Var都维护一个队列,然后根据op的依赖关系向队列中添加ReadDependency和Wr 2018-03-11 articles mxnet
gevent笔记与源码分析 基本概念coroutineCoroutine 也就是 corporate routine,中文名就是协程,从它的英文可以看出是协同 的例程的意思,实际上这个概念和进程与线程有相似之处, 因为linux线程就是所谓的轻量级进程,所以我们来比较一下进程与协程的异同: 相同点:二者都是可以看做是一种执行流, 该执行流可以挂起,并且在将来又可以在 你挂起的地方恢复执行,这实际上都可以看做是continu 2018-02-11 articles gevent
python的“缺点” 类型系统python是一个动态类型的语言,它只能进行动态类型检查,所谓动态类型检查,实际就是说,python只有在运行时会进行类型检查,比如说这样的代码: 12345def add1(x): return x + 1a = "hello"add1(a) 运行时python会报错,因为integer类型与string类型是不能相加的,但是这种类型错误只能在运行到这条代码时 2017-02-11 articles python
Concurrency CSPCSP的执行实体是一个一个的process,这些process之间通过channel通信,代表语言是go,go语言中的goroutine就是执行实体,goroutine之间通过channel通信,注意go语言中channel是可以有缓冲区. CSP模型有这几个特点: process之间通过channel来通信, 注意channel是匿名的,任何process都可以向channel中 读或者 2015-03-15 articles CSP Actor
Continuation continuation这是一份关于continuation的文档,将continuation讲的非常清楚,我简要的总结下我的理解: 先说几个概念与符号: escape procedure: 它和普通的procedure是一样的,而且也有相同的行为,会返回相同的值,唯一的不同的是这个函数它返回后就会替换调用栈,也就是说它会返回解释器的最顶层或者解释器的REPL循环, 一个普通的procedure 2015-03-11 articles lisp PL
Nginx nginx的安装安装可以直接使用ubuntu仓库中的nginx,不过版本有点陈旧,下面说一说编译安装, 编译安 装是非常典型的configure, make,make install模式, 我只说一说configure的常用选 项. –prefix: nginx的安装目录 –with-XXX_XXX: 需要开启的模块 添加第三方模块,使用如下命令: 1./configure --add-mod 2015-02-12 notes nginx
Linux平台C语言乱码 文件加载到显示的过程只要是用过linux的人都应该遇到过乱码的问题,众所周知,乱码的产生的主要原因是编码的问题,以B编码方式去读取以A编码方式编码的文件时就会产生乱码,文件读取到显示的过程可以简单的用下图表表示: 第一步是将文件读入内存,这一步可以看作是直接将文件的二进制形式的表示直接复制 进内存,就是将你用十六进制工具看到的那些东西复制进内存, 第二步是显示终端将内存中的数据以某种编码方式解 2015-02-11 articles c
Client-Side javascript js运行方式 <script>…..</script>内嵌 <script src="path-to-js-file"\> </script> 外部js文件 事件处理,比如button的 onclick, onmouseover等等 javascript urls 任何能使用url的地方,比如 a 标签的href,form的act 2014-02-19 notes lang js
js笔记 javascript文档几份不错的文档:JavaScript Garden ,火狐开发者社区的js tutorial 基本类型type的基本常识 数字, 字符串, boolean, null, undefined是js的基本类型,它们不是object, 其它所有的值都是object, 数字, 字符串, bookean这三种类型有对应的包装对象 (wrapperobject),当你访问字符串的方法时 2014-02-18 notes lang js