- 博客(2)
- 资源 (6)
- 收藏
- 关注
RSS订阅翻译 Paxos Made Simple译文：一致性算法
该版本为Leslie Lamport的文章“Paxos Made Simple”的译文，该译文只包含了文章的主体部分，第一部分背景和最后一部分的状态机的实现没有翻译。现在的版本为刚刚翻译好，还没有修订，今日将重新更新。希望对研究分布式系统的学者有一定的用途。2 一致性算法2.1 问题假设许多节点都可以提交提议（value），一致性算法需要保证在所有被提出的提议中只有
2012-02-25 21:15:03
5357
原创 两阶段提交协议（two phase commit protocol，2PC）
两阶段提交协议（two phase commit protocol，2PC）可以保证数据的强一致性，许多分布式关系型数据管理系统采用此协议来完成分布式事务。它是协调所有分布式原子事务参与者，并决定提交或取消（回滚）的分布式算法。同时也是解决一致性问题的一致性算法。该算法能够解决很多的临时性系统故障（包括进程、网络节点、通信等故障），被广泛地使用。但是，它并不能够通过配置来解决所有的故障，在某些情况
2012-02-22 16:38:40
32833
10
Oxygen XML Editor破解(10和12的破解包)
Oxygen XML Editor破解(10和12的破解包)，可以破解版本10 和 版本12 ，更高版本的13没有测试过。
使用时请看附件中的说明
2012-03-11
用viso写的邮局订报系统ER图( 实体联系图)
用viso写的邮局订报系统的ER图。
其中的定义了四个主要实体：会员，报刊，管理员和订单。
参考此ER图模型可以快速方便地定义出数据库实体模型
2009-05-02
用C#写的较完整的词法分析器
一个可以识别标识符,关健字,运算符和各种数字的词法分析器.
其中标识符，关键字，运算符，界符存储在一个四行的二维数组中，只要将需要识别的串加入到相应的数组中即可，而且不需要结束标志
例如：
for(int i=0;i<intput.length;i++)
输出结果为：
for：是关键字
(：是界符
int：是关键字
=：是算数运算符
0：是数字
;：是界符
i：是标识符
<：是比较运算符
intput：是标识符
.：是界符
length：是关键字
;：是界符
i：是标识符
++：是算数运算符
)：是界符
2009-04-21
C#编写的简单词法分析
词法分析 C# 编译原理
关键字:
auto double int struct break else long switch case enum register typedef char extern return union
const float short unsigned continue for signed void default goto sizeof volatile do while static f
标识符: (常量名,变量名,过程名)
1. 所有标识符必须由一个字母(a~z或A~Z)或下划线(_)开头；
2. 标识符的其它部分可以用字母、下划线或数字(0~9)组成；
3. 大小写字母表示不同意义, 即代表不同的标识符，如前面的cout和Cout；
识别与C语言词法规定相一致的标识符，通过下列正则表达式定义：ID = letter (letter | digit)*；
常 数: NUM=(+ | - |ε)digit digit*(.digit digit* |ε)(e(+ | - |ε) digit digit* |ε)，letter = a|..|z|A|..|Z|，digit = 0|..|9，包括整数，如123, -123, +123等；小数，如123.45, +123.45, -123.45；科学计数法表示的常数，如+1.23e3，-2.3e-9；
运算符: + - * / < <= > >= == != =
界 符: ( ) [ ] { } ; , /* */
2009-04-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人