我现在最感兴趣的一件事情,也是技术难度最高的一件事,就是设计和制造一个全新的数据库系统( DBMS )。在我一直以来的博文里,我已经明确的显示出了对数据库这个领域的风气,以及很多数据库产品的不满。数据库是非常重要,有巨大经济价值,却又被搞得最乱,忽悠最多的一个领域。
从最早的关系式模型和理论,到 SQL,到 NoSQL,到 NewSQL,大数据,图数据库…… 这个领域发明出各种吓人的名词,各种新的查询语言,却没有从根本性的认识到他们在解决什么问题。Berkeley DB 一类的系统上百万行代码,结果到最后发现它解决的问题,其实可以用几千行代码解决,而且速度还要快很多。这说明什么问题?这说明这个领域的人根本不知道他们在做什么,他们缺乏对于计算和语言最本质的理解。
经过一段时间的摸索,我已经窥探到数据库系统里各种概念的本质。实际上的问题,恐怕比几十年来很多人想象的要简单和容易很多。再加上之前从头构造 B+ 树等关键数据结构的经验,这使得我在这个领域如虎添翼。号称当今世界最快的某数据库,里面的 B+ 树代码居然是从别人那里拷贝过来改成的,而且混乱复杂不堪。从我的 B+ 树设计出发,再加上对数据库里面各种概念(比如事务)的重新理解,我将会构造一个极其简单而高效的底层数据库系统。
在此之上,结合我对程序语言和编译器的深刻理解,这个数据库将拥有一个极其简单而强大的查询系统,用以解决远程访问和多机构架的需求。这个数据库不是 SQL,也不是 NoSQL,也不是什么 NewSQL。它只是把数据库还原到它本来应该是的样子,恰到好处的解决问题。
谈到分布式数据库,我不得不指出,分布式系统也是一个很混乱的领域。其中充满了各种像 Paxos 一类糊涂而没人讲得清楚的理论。Paxos 的论文被评委拒了三次才投稿成功。按照我的标准,这种故意把问题搞复杂的论文,根本就不应该让他发表。我非常的不欣赏这篇论文里面所谓的“幽默”,一点都不好笑,还把问题弄复杂了。
最近有人发表了 Raft,才稍微好一点,然而里面还是遗留了许多不必要的复杂性和 Paxos 留下来的历史思想包袱(像状态机一类的东西)。我的另一个目标就是消化和转换这类分布式系统理论,使得它们大大简化,用以扩展底层数据库,而得到分布式的扩展和可靠性保障。
这是一个相当大规模的计划,包括了大量的研究和实现工作,所以可能会花不少时间。当然,最后的代码应该不会很长。我的目标,是建立起一家可以跟 Oracle 匹敌的数据库公司,统一和简化互联网领域和其它新兴领域的数据库应用,并且蚕食银行等传统领域的数据库市场。
我已经跟一些数据库领域的内行进行了关于数据库本质的探讨,我也欢迎对此感兴趣的其它人士跟我讨论。
101
Jimrussell 2017-09-08 09:25:31 +08:00
魔道四天王之中最强的一个。造数据库的点子是可行的,但商业上能够活下来的可能性却是极低。
预言一蛤,一年内垠神就会写一篇,国内的 it 环境如何之差的文章,蛤蛤。 |
102
pj0y1 2017-09-08 13:14:22 +08:00
刚刚被垠神移除关注还删了评论 感觉他不太能接受负面意见 即使仅仅只是客观陈述;我相信王垠的才华,但这种脆弱的孤傲,不是很利于创业和团队管理,只能祝垠神好运了
|
103
weakish 2017-09-14 08:14:03 +08:00
@albertofwb 到底是 hello 还是 hi?
|
104
vjnjc 2017-09-14 10:30:17 +08:00
@Jimrussell 另外 3 大天王是谁啊。。。
|
105
Jimrussell 2017-09-14 15:31:41 +08:00
@vjnjc #104 直接打出来太羞耻了。你可以搜一下
|
106
vjnjc 2017-09-14 17:45:36 +08:00
@Jimrussell
找到了~ 居然还有其他 3 个能人异士 田春—— Chun Tian (binghe) - 冰河 胡正——辟支佛胡正 · 阿罗汉尊者 · 功德藏闯菩萨 李杀—— Xah Lee Web 李杀网 王垠——当然我在扯淡 https://ruby-china.org/topics/20779 |
107
jinsongzhao 2017-09-26 21:05:38 +08:00 via Android
@pj0y1 创业和团队就必须妥协吗?你一定是去坚持你自己奉为真理,根深蒂固的观点,所以被移除了。但你在捍卫你的真理时,不就是要求别人妥协于你么?为何不是你妥协于别人认为的真理?比如别人认为物质不是电子原子组成,你是反驳还是等上百年,有人证明这是错的。
|
108
pj0y1 2017-09-27 12:58:59 +08:00
@jinsongzhao 坚持自己的想法不代表要求他人妥协啊 认同他人的观点也不代表向他人妥协啊 因为无论如何我认同的只是事实而已 而不是某一个人;别人认为电子不是原子组成 可以啊 他当然可以这么想 但他要说服我就要拿出证明来 否则只是他的想法 而不是事实啊 拿不出证明和数据来 不就是瞎扯淡吗理他干嘛
|