TuringCell 开源小组正在开发一个新的开源项目,需要定制一款 logdb,由于我正在全力开发项目的其它部分,所以需要寻找一位朋友加入进来 :-D
欢迎通过00hnes At gmail
或者微信hnes00
进行沟通,感谢!
1
wssy 2021-02-18 10:54:14 +08:00 via Android
想参加,蛮有意思的诶
但感觉能力不太够 ==! |
3
hulala1021 2021-02-18 11:10:54 +08:00
挺感兴趣,但是是技能不匹配
|
4
rrfeng 2021-02-18 11:13:01 +08:00
想参加,但是感觉能力不太够!
|
5
metrue 2021-02-18 11:22:43 +08:00
感觉挺好玩的,就是精力不够哈哈哈哈。
|
8
lauix 2021-02-18 12:05:45 +08:00
看了下确实不错,这是我的 https://github.com/sanjinhub
|
9
CismonX 2021-02-18 12:13:43 +08:00
关注过楼主的 libaco,也对 TuringCell 有所耳闻
楼主的项目想法独到,思维严谨,是我等新手学习的榜样 |
10
louettagfh 2021-02-18 14:31:30 +08:00
@hnes logdb 的具体 roadmap 有吗? 这让人一头雾水啊
|
11
huanyingtianhe 2021-02-18 15:02:54 +08:00
报名,不过不太清楚需要做什么
|
12
LazyWolfLin 2021-02-18 16:53:22 +08:00
veela 是一个什么样的项目?然后 http://www.turingcell.org 似乎没续费了?
|
13
aeli 2021-02-18 17:08:54 +08:00
TuringCell 这个概念是不是从 spaceX 的载人飞船的中控电脑那个概念来的?
|
15
hnes OP @louettagfh 其实就是一个只能 append 和 delete 的日志型存储,要比 rocksdb 简洁很多
|
16
hnes OP @huanyingtianhe 刚才已经回复了楼上的 louettagfh 同学,辛苦往上翻一下哈
|
17
hnes OP @LazyWolfLin 确实是关闭了,后续准备迁移到 github pages 上面。veela 准备在完成度更进一步的时候再 push 上去。
|
18
hnes OP @aeli
在我发布了 TuringCell 的设计之后,曾致信 Leslie Lamport 请教他对此系统的看法,Leslie Lamport 告诉我他们曾经做的 SIFT 也达到了类似的目的,所以是后来我才知道这些东西的。构想在一定程度上撞车是很正常的。 这里有三个链接: https://www.microsoft.com/en-us/research/publication/sift-design-analysis-fault-tolerant-computer-aircraft-control/ https://www.zdnet.com/article/from-earth-to-orbit-with-linux-and-spacex/ https://www.linkedin.com/pulse/technology-spacex-falcon-9-marcello-benati/?articleId=6672586249422946304 我直接把之前邮件里给一位朋友的回复粘出来: TuringCell 模型是在复制状态机之上实现数学确定的计算机系统解释器,是把计算机系统中的所有组件全都放到了一个复制状态机里面,因为这个复制状态机是基于分布式强一致算法运行的,所以它的其中一个优点就是容错。 相比 TuringCell,SIFT 与 SpaceX 则是通过硬件仲裁来实现的,并且是基于同步的通信链路,所以后者会更昂贵些,前者更通用、廉价一些。 |
19
hnes OP 所以综上,TuringCell 和 SIFT 以及 SpaceX 的中控三者的目标相同,但是 TuringCell 和后两者的实现思路不同,系统成本和运行环境要求也不相同。
|
20
aeli 2021-02-18 17:59:41 +08:00
@hnes 硬件仲裁机制少不了吧,因为系统并发计算出来的一致性的结果在太空这种不可靠传输过程中一样会被改变,硬件只有对结果进行仲裁,才能进一步减少错码的问题。
而且理论上,这种并发的仲裁一样有可能有机率出现错误,所以肯定在实践上还要在硬件上有其他冗余机制来保证安全。 |
21
hnes OP @aeli
>硬件仲裁机制少不了吧,因为系统并发计算出来的一致性的结果在太空这种不可靠传输过程中一样会被改变,硬件只有对结果进行仲裁,才能进一步减少错码的问题。 >而且理论上,这种并发的仲裁一样有可能有机率出现错误,所以肯定在实践上还要在硬件上有其他冗余机制来保证安全。 赞同,在太空中,确实是这样子的,比如另外还可以通过直接使用防辐射材料进行隔离。 不过 TuringCell 在设计时其期望运行环境是在地球上的安全环境里,所以并不需要考虑防辐射的问题。 |
22
xsen 2021-02-18 18:54:22 +08:00
若是可以兼职的话,我倒是很愿意参与进来
|
23
aeli 2021-02-18 19:06:05 +08:00
@hnes 地球上的安全环境里,为什么会需要一个分布式一致性的指令系统就比较奇怪了。
这种分布式的一致性,一定是针对会有纠错需求的不稳定环境啊。 如果安全的环境,操作系统级别的可靠性,已经可以支撑大多数软件正常运行了吧? |
24
LazyWolfLin 2021-02-18 20:43:24 +08:00
@hnes 听起来似乎 leveldb 完全符合你的需求?
|