V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
hnes
V2EX  ›  程序员

TuringCell 开源小组寻找一位开源开发者(有定向捐赠)

  •  
  •   hnes · 2021-02-18 08:44:53 +08:00 · 3006 次点击
    这是一个创建于 1134 天前的主题,其中的信息可能已经有所发展或是发生改变。

    TuringCell 开源小组正在开发一个新的开源项目,需要定制一款 logdb,由于我正在全力开发项目的其它部分,所以需要寻找一位朋友加入进来 :-D

    • 语言: Golang or C or C++;
    • 拥有一定的操作系统基础;
    • 远程,工作时间自由安排;
    • 会周期性地得到一笔公开的定向捐赠;
    • 所有的工作成果均会以宽松的开源许可或者知识共享许可公布;
    • 前期将会负责开发此 logdb

    欢迎通过00hnes At gmail或者微信hnes00进行沟通,感谢!

    第 1 条附言  ·  2021-02-18 09:37:07 +08:00
    PS:
    如果你是已经参加工作的朋友,由于捐赠金额差不多相当于开发实习生的薪资,所以你可能会失望,除非热爱开源并能从中获得快乐
    24 条回复    2021-02-18 20:43:24 +08:00
    wssy
        1
    wssy  
       2021-02-18 10:54:14 +08:00 via Android
    想参加,蛮有意思的诶

    但感觉能力不太够 ==!
    hnes
        2
    hnes  
    OP
       2021-02-18 11:05:13 +08:00
    @wssy 朋友过谦了,我看了下你做的 tryos,还是很棒的!如果你感兴趣的话,可以添加我的微信一起聊聊哈
    hulala1021
        3
    hulala1021  
       2021-02-18 11:10:54 +08:00
    挺感兴趣,但是是技能不匹配
    rrfeng
        4
    rrfeng  
       2021-02-18 11:13:01 +08:00
    想参加,但是感觉能力不太够!
    metrue
        5
    metrue  
       2021-02-18 11:22:43 +08:00
    感觉挺好玩的,就是精力不够哈哈哈哈。
    TheF00L
        6
    TheF00L  
       2021-02-18 11:37:08 +08:00
    @rrfeng +1
    wssy
        7
    wssy  
       2021-02-18 12:05:21 +08:00 via Android
    @hnes 那聊聊吧😁
    lauix
        8
    lauix  
       2021-02-18 12:05:45 +08:00
    看了下确实不错,这是我的 https://github.com/sanjinhub
    CismonX
        9
    CismonX  
       2021-02-18 12:13:43 +08:00
    关注过楼主的 libaco,也对 TuringCell 有所耳闻

    楼主的项目想法独到,思维严谨,是我等新手学习的榜样
    louettagfh
        10
    louettagfh  
       2021-02-18 14:31:30 +08:00
    @hnes logdb 的具体 roadmap 有吗? 这让人一头雾水啊
    huanyingtianhe
        11
    huanyingtianhe  
       2021-02-18 15:02:54 +08:00
    报名,不过不太清楚需要做什么
    LazyWolfLin
        12
    LazyWolfLin  
       2021-02-18 16:53:22 +08:00
    veela 是一个什么样的项目?然后 http://www.turingcell.org 似乎没续费了?
    aeli
        13
    aeli  
       2021-02-18 17:08:54 +08:00
    TuringCell 这个概念是不是从 spaceX 的载人飞船的中控电脑那个概念来的?
    hnes
        14
    hnes  
    OP
       2021-02-18 17:18:57 +08:00
    @CismonX 十分感谢你的关注,大家一起进步 :-D
    hnes
        15
    hnes  
    OP
       2021-02-18 17:20:41 +08:00
    @louettagfh 其实就是一个只能 append 和 delete 的日志型存储,要比 rocksdb 简洁很多
    hnes
        16
    hnes  
    OP
       2021-02-18 17:22:26 +08:00
    @huanyingtianhe 刚才已经回复了楼上的 louettagfh 同学,辛苦往上翻一下哈
    hnes
        17
    hnes  
    OP
       2021-02-18 17:26:25 +08:00
    @LazyWolfLin 确实是关闭了,后续准备迁移到 github pages 上面。veela 准备在完成度更进一步的时候再 push 上去。
    hnes
        18
    hnes  
    OP
       2021-02-18 17:37:36 +08:00
    @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 则是通过硬件仲裁来实现的,并且是基于同步的通信链路,所以后者会更昂贵些,前者更通用、廉价一些。
    hnes
        19
    hnes  
    OP
       2021-02-18 17:41:29 +08:00
    所以综上,TuringCell 和 SIFT 以及 SpaceX 的中控三者的目标相同,但是 TuringCell 和后两者的实现思路不同,系统成本和运行环境要求也不相同。
    aeli
        20
    aeli  
       2021-02-18 17:59:41 +08:00
    @hnes 硬件仲裁机制少不了吧,因为系统并发计算出来的一致性的结果在太空这种不可靠传输过程中一样会被改变,硬件只有对结果进行仲裁,才能进一步减少错码的问题。
    而且理论上,这种并发的仲裁一样有可能有机率出现错误,所以肯定在实践上还要在硬件上有其他冗余机制来保证安全。
    hnes
        21
    hnes  
    OP
       2021-02-18 18:37:10 +08:00
    @aeli

    >硬件仲裁机制少不了吧,因为系统并发计算出来的一致性的结果在太空这种不可靠传输过程中一样会被改变,硬件只有对结果进行仲裁,才能进一步减少错码的问题。
    >而且理论上,这种并发的仲裁一样有可能有机率出现错误,所以肯定在实践上还要在硬件上有其他冗余机制来保证安全。

    赞同,在太空中,确实是这样子的,比如另外还可以通过直接使用防辐射材料进行隔离。

    不过 TuringCell 在设计时其期望运行环境是在地球上的安全环境里,所以并不需要考虑防辐射的问题。
    xsen
        22
    xsen  
       2021-02-18 18:54:22 +08:00
    若是可以兼职的话,我倒是很愿意参与进来
    aeli
        23
    aeli  
       2021-02-18 19:06:05 +08:00
    @hnes 地球上的安全环境里,为什么会需要一个分布式一致性的指令系统就比较奇怪了。

    这种分布式的一致性,一定是针对会有纠错需求的不稳定环境啊。

    如果安全的环境,操作系统级别的可靠性,已经可以支撑大多数软件正常运行了吧?
    LazyWolfLin
        24
    LazyWolfLin  
       2021-02-18 20:43:24 +08:00
    @hnes 听起来似乎 leveldb 完全符合你的需求?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   1035 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 22:25 · PVG 06:25 · LAX 15:25 · JFK 18:25
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.