golang是特别不适合拿来做应用层可靠协议开发的语言。所有的可靠协议都依赖于连接状态,在讲究并发的场景下,所有的状态都依赖于事件,所有的事件都依赖于内核文件描述符,问题是,在可靠场景下,我们常常需要将一个端口用作一块网卡,一块网卡可以有65536个描述符并发处理事件,一个端口却只有一个描述符,这一个描述符需要模拟出65536个描述符的事件处理效能,这本来就是令人头大的问题。golang本身的协程机制----固然golang和大多数的协程实现不尽一致----导致每一个事件的处理都应短暂,且事件之间应是无状态的,如果对于可靠协议各阶段的业务与事件理解不到位,极其容易实现出资源有余,而协议效能低下的情况。
为什么要有上面一段呢?因为目前的Sia,IPFS,Storj,Swarm都是golang实现的,这些实现都是在应用层实现基于udp的可靠传输协议,做到点对点数据存储与共享,问题是,我猜测这些项目,包括现在的所有区块链项目,都缺乏网络传输专家的加持,所以他们的传输实现显得非常荒谬。讲真,网络传输是靠时间积累的东西,TCP发展了半个多世纪,才发展出BBR,更不用说二十年不到,大多数时候处于松散研究状态的去中心化传输。从BT开始到几个已经ICO大大笔美刀的存储项目,在传输上,可以说都处于简单粗暴的状态,更不用说与现有网络的亲和策略。
IPFS事实上就是一个BT协议,而BT的底层是uTP。uTP在传输上实现了AIMD,这是从传统TCP继承的东西,经典而有用。顺便说一句,TCP网络本身是一个混沌系统,发送方与接收方都不知道网络的状态,他们既不知道是否能继续发送,也不知道收不到是否合理,唯一能做的就是试探,所以大神们都说TCP是一个控制系统,而不是传输协议。然而,AIMD会导致网络的轻微拥塞,从单条链路看,网络总是处于将丢包而未丢包处。问题是在分组交换网络中,物理链路是被分时复用的,单条链路能探测到的拥塞点,在多条链路时,可能已经产生极大丢包。所以单条链路探测的AIMD总是不准确的。因此,在IPFS上,对于时间不敏感的存储、下载场景,大概无压力,但如果涉及到流媒体传输,IPFS怕是力有未逮。
Storj的问题是什么呢?Storj也使用了uTP,问题是,Storj也没有搞懂AIMD,他们粗暴地设定了一个固定速率,这让我简直不知道怎么评价他们的传输实现。Sia的实现并没有使用uTP,Sia实现了自己的RateLimit,以此来控制报文发送的Pace Rate,问题是Sia的传输实现不是事件驱动的实现,他们使用了睡眠,然而睡眠的时候,连接是不能感知链路的变化的,因此发送端对于链路是否能继续容纳报文,是后知后觉的。
那么,是不是这些存储设备都不能用呢?恰恰相反,都能用,遗憾的是,也仅止于能用,如果想用他们来实现其他更加高效的传输,无异于痴人说梦。讲到底,这些东西都不过是TCP在应用层的重新实现,而现在所有的重新实现都还处在TCP最早期的阶段而已。TCP最早期的阶段甚至没有拥塞控制,大家都可劲儿使用链路,直到某天,有位大神注意到他的报文经常不能按照预期抵达,于是提出了拥塞理论。半个世纪后,拥塞控制算法逐渐成熟----其实离成熟还很远----我们才能在有很多人捣乱的网络上享受流畅的传输服务。然而伟大的TCP也自有缺点:超时重传实在是不准确而又浪费带宽,RTT又实在测不准,于是才出现了一系列的补救措施,形成拥塞控制这一整套的特定技术。
IPFS提出要做去中心化网络基础设施,但从技术架构上来看,实在是不足够,然而做一个去中心化的存储设施却绰绰有余。相较于大陆某几家专注于做应用甚至于连应用都没有做好的厂商----没错,不要心虚,我说的就是你们----IPFS从概念上算是挺有创新的项目了。
有疑问加站长微信联系(非本文作者)