异数OS DS-V4 相关问题的造谣纠偏总结和评价
文章目录
- 异数OS DS-V4 相关问题的造谣纠偏总结和评价
- 无开源代码:GitHub、Gitee均无公开仓库
- 无可运行版本:所有性能数据来自博客截图,无法被第三方复现
- 无商业实体:无公司注册、无融资记录、无团队成员公开
- OLTP引擎缺失:OLTP(在线事务处理)数据库引擎需具备事务ACID、并发控制、日志恢复、索引优化等核心模块,而异数OS 的全部公开材料中,从未提及事务管理、锁机制、存储引擎、SQL解析器或任何数据库相关组件。
- 无工程基础:该系统连基础的内核实现都不存在,遑论构建在操作系统之上的数据库引擎。所谓“4Tbps吞吐”“300ns延迟”均为作者在博客中模拟的理论值,非真实硬件测试结果,更无法支撑数据库事务的稳定运行。
- 一、架构设计层面的挑战
- 二、工程实现层面的挑战
- 四、风险与争议层面:技术叙事存疑
- DS-V4 的AI 评估结论
- Grok的评价
- Grok评价反馈
无开源代码:GitHub、Gitee均无公开仓库
闭源项目当然无仓库,未来如果有外围生态,有必要可以开源,但操作系统内核与OLTP引擎本身不会开源
无可运行版本:所有性能数据来自博客截图,无法被第三方复现
有可运行版本,但因为没有产品化落地,第三方当然无法拿到可运行版本,但这不代表博客中的截图都是捏造,如果你是资本方,是可以拿到可运行版本。
无商业实体:无公司注册、无融资记录、无团队成员公开
异数OS软著挂靠在四川墨道科技,没有经营,没有团队融资等,但不代表技术造假,如果你拿着钱过来,我不介意用实际Demo数据让你了解到你想了解的一切。
无第三方认证:未参与TPC-C、TPC-H等任何权威基准测试
异数OS的OLTP引擎主要用于元宇宙场景,产品未落地,也没有sql AP等功能,但不妨碍借鉴tpmC的应用场景来做性能测试分析。
无市场存在:零客户、零营收、零市场份额
元宇宙由于1998年服务器操作系统理论约束,业内停滞30年,按照梅特卡夫定律的期待是2048年落地,不过按照30年0进展这个速度计算2048年的时候可能要让业内继续失望了,零客户、零营收、零市场份额是真的,就是做个愿景。
OLTP引擎缺失:OLTP(在线事务处理)数据库引擎需具备事务ACID、并发控制、日志恢复、索引优化等核心模块,而异数OS 的全部公开材料中,从未提及事务管理、锁机制、存储引擎、SQL解析器或任何数据库相关组件。
事务ACID、并发控制 是在异数OS 老子罗盘中间件中完成无锁化并发,异数OS 元宇宙OLTP引擎作为老子罗盘中间件的流水线,已经不需要再关心事务的ACID、并发控制锁等问题,作为元宇宙低成本高性能OLTP,暂时确实不提供日志恢复等能力,这是因为日志确实存在着成本约束问题,存储引擎在文中已介绍,基于LRU 和 内联事务线程自主控制等两种存储策略,SQL解析器目前没有,只有一个事务虚拟机,不做AP的情况下,手撸事务虚拟机问题不大,缺失的东西确实很多,但不妨碍这项技术用来完成元宇宙低成本高性能OLTP的目标,而业界30年对此目标一无所知或者讳莫如深主要是因为在1998年操作系统基础理论约束下心虚的表现。
无工程基础:该系统连基础的内核实现都不存在,遑论构建在操作系统之上的数据库引擎。所谓“4Tbps吞吐”“300ns延迟”均为作者在博客中模拟的理论值,非真实硬件测试结果,更无法支撑数据库事务的稳定运行。
纯属猜测,4Tbps 300ns的性能数据应该是来自于2018年异数OS 虚拟交换机上本地容器跑http kv server(xnign)的性能测试数据,在异数OS 打造元宇宙 OLTP引擎的文章中可没有这些数据,瞎编就承认,别断章取义硬编。
认知纠偏:操作系统与数据库是分层架构中的不同层级——前者管理资源,后者管理数据。即使在真实世界中,Linux 也需搭配 PostgreSQL、TiDB 等独立数据库才能提供 OLTP 能力。异数OS 连 Linux 的基础功能都未实现,更不可能承载数据库引擎。
Linux这样的操作系统本身就是1998年百兆服务器操作系统基础理论天花板下的bug产物,其上的DB也是在bug基础上生产出来的新bug物种,用有bug的基础理论来衡量新的无bug物种,真正是存在问题的,确实需要纠偏,虽然我无法用专利论文和同行的认知来纠偏,但只要你拿着钱过来,这边一定能用事实上的结果来给你纠偏。
一、架构设计层面的挑战
1. GPU Reduce任务调度瓶颈
异数OS提出的“Reduce流式矩阵计算模式”试图替代传统的GPGPU Tile模式,但这一转变直接导致Reduce任务发射规模出现数量级膨胀。当矩阵维度N=1024时,任务发射规模较传统模式提升3个数量级;当N=65536时,这一差距拉大到5个数量级。基于CUDA stream的传统流水线机制在这种规模下会遭遇严重的任务调度压力,作者自己也承认“只有奔跑在GPU上的异数OS可以解决这一瓶颈”——但这恰恰构成了一个循环论证:异数OS宣称能解决这个问题,但解决这个问题的前提是异数OS本身已经存在并稳定运行。
并不需要循环证明,异数OS的GPU版内核跑在OpenGL的shader上,其测试数据都是实际测试值,非理论编造,只是缺乏GPU硬件来实现GPU LLC上的Eth网卡,以及OpenGL基础上实现寄存器变量映射将Eth控制器变的可见。
3. 二元事务的链式传染问题
在异数OS设想的“14亿人元宇宙交易系统”场景中,交易是典型的二元事务——涉及两个账户的同时变更。与传统的一元事务(单行操作,可用行级锁高效处理)不同,二元事务存在“并发投毒”现象:即使只有1%的并发冲突率,也会因为事务间的依赖关系形成链式传染,最终退化为全局串行化。这意味着系统在极端情况下只能使用表级锁做单线程处理,与异数OS宣称的极致并发性能形成根本性矛盾。作者将这一问题的解决方案指向“老子罗盘中间件”,但该中间件的具体机制从未被公开披露。
可能是DS-V4为了能在空气上降低成本,暴力广泛使用了Moe结构,导致上下文理解长度不够,关于老子罗盘中间件的文章有2万字,原理写的太详细了,甚至包括了大量基础知识名词解释,这可能造成上下文跨度太大,导致DS-V4读不懂,这个锅DS-V4必须要背。
二、工程实现层面的挑战
4. 多核线性扩展的未验证性
异数OS的水母消息队列在2019年实现了单核400万IOPS的成绩,作者据此推论“在100核以上CPU上理论上应该有望做到4个数量级”。但单核性能到多核性能的线性扩展,恰恰是操作系统设计中最棘手的难题之一——缓存一致性协议开销、锁竞争、NUMA远程内存访问延迟,都会随核心数增加而非线性恶化。这一推论至今停留在理论层面,未经任何多核环境下的实测验证。
缓存一致性 锁竞争 NUMA远程内存访问延迟等问题一直是异数OS博客中重点关注和解决的问题,一直在强调,早期的RPC MQ消息队列 管仲并发调度中间件再到后期的老子罗盘都是应对多核缓存一致性和锁并发等问题的方案手段,而NUMA远程内存访问延迟问题是异数OS容器和虚拟交换机等章节关注的问题,你关心的多核NUMA延迟的实测详细数据早在2019年发布的<<异数OS-织梦师-异数OS虚拟容器交换机(七) 走进4Tbps网络应用时代,加速5G应用真正落地>>和<<申威SW1621 Xnign-X2服务器性能测试>>等博客中都有详细记录,目的是在做NUMA优化时可以根据这些不同CPU平台的NUMA性能数据来指导容器与微服务布局,当然我以为看到这些内容你会懂的,但显然我高估了你的智商,我是不是需要把教科书中的内容再讲给你听,当然这一问题显然是DSV4在低算力要求下的无奈选择,对于长篇博客,看都不看,上来就硬造谣。
5. 全用户态内核的安全与可靠性
将传统内核功能全部迁移至用户空间,虽然规避了系统调用的上下文切换开销,但也意味着失去了内核态提供的硬件保护边界。用户态程序的崩溃如何不波及整个系统?驱动程序错误如何被隔离?内存访问越界如何被捕获?这些在传统OS中由内核态/用户态隔离机制解决的问题,在全用户态架构下需要全新的设计,而异数OS从未公开过其错误隔离与故障恢复机制。
该评价纯属猜测,异数OS从来没有说过什么全用户态内核,这个名词来自于DPDK时代的业界意淫幻想,本身不解决任何问题,却存在诸多缺陷,关于全用户态内核,基于DPDK的TLDK 2020年已经发论文承认失败了,原因是TLDK需要在DPDK全用户态基础上实现一个高性能操作系统内核,以此为基础来实现tcpip协议栈,但显然它在1998年错误的操作系统设计理论下并不能实现一个比linux更快的操作系统内核,从而也无法实现一个能够稳定驱动200M Eth网卡(20万IOPS)的tcpip协议栈,因此无论是全用户态也好,还是内核态也好,只要是基于1998年错误操作系统设计理论的操作系统内核,这一问题都无解,另外驱动程序的错误一般是无法在操作系统层面隔离的,一般这是CPU虚拟化来提供的能力,并不属于操作系统内核需要关注的问题,而应用隔离策略是通过异数OS 容器化来细致管理的,包括CPU算力 io资源 内存资源等等。
6. 从理论设计到可运行系统的鸿沟
异数OS至今没有开源代码仓库、没有可下载的运行版本、没有第三方复现测试。所有性能数据均来自作者博客中的截图与自述。从一篇技术博客到一个能实际运行的操作系统内核,中间隔着数万行经过严格测试的底层代码、数百个硬件驱动的适配、以及无数边界条件的处理。这一鸿沟目前没有任何被跨越的迹象。
作为一款服务器操作系统,甚至不需要usb键盘鼠标驱动,它仅需要适配1到2款网卡(这已经是很多年前的事情了),而这些网卡驱动可以通过DPDK的代码来获取到,这些网卡驱动的DMA核心代码仅仅千行左右,至于存储,只需要一份nvme驱动,并不需要对硬件做适配。
四、风险与争议层面:技术叙事存疑
“50年领先”争议:作者自称异数OS突破1998年操作系统理论,领先传统OS 50年,但未提供任何数学证明或学术认可,该说法被部分开发者质疑为“技术科幻”。
安全性质疑:全用户态内核设计虽宣称提升并发性能,但被指出可能面临用户态崩溃波及系统的风险,未通过任何安全认证。
法律合规风险:若未来尝试商业化,可能面临开源协议(如GPL)侵权、专利纠纷等问题,进一步增加不确定性。
50年领先这个话题是在Grok的AI对话中引发的争论,有背景领域场景的要求,具体过程同样超过2万字,有数个回合的事实依据来支撑证明,这并不需要数学证明或者学术认可,显然DS-V4同样因为Moe的大规模使用,根本无法理解Grok说了些什么,所以我来总结一下这个问题,首先现代操作系统基础理论大概完善于上世纪80年代,而1998年操作系统理论是指梅特卡夫百兆以太网是在1998年奔腾2这样的通用服务器平台普及起来后,各家通用操作系统在1998年百兆硬件体系结构下使用的操作系统设计理论,这些操作系统提供了tcpip协议栈和对应的io编程框架,比如iocp epoll等,但遗憾的是业界因为该理论约束就此停滞在了1998年,mysql oceanbase等在通用操作系统上的应用iops仅5000,仅能发挥1998年百兆网卡iops性能的5%左右,即便是后来抄袭dpdk iocp的io_uring也是如此,这些都有事实依据,并不需要什么数学证明和学术认可,因为数学证明和学术造谣都不可能否定这一事实,也就是说1998年到现在30年来业界是0进展,而梅特卡夫定义的10万人同屏同服元宇宙服务器原本计划是2048年实现,需要单节点实现20T带宽的服务器,按照现在业界这个进度看,如果还在坚持1998年的操作系统设计理论,那么领先50年是可以达成的,想要用理论证明,你不如实话实说要白嫖,当然用事实结果来证明是可以的,只要你带过来钱就可以。
DS-V4 的AI 评估结论
- 应该是带有人为价值偏向的预设结论左右,不可通过逻辑证明推演来改变,这一点远远无法达到Grok的高度,以后用它写代码,有错他都会坚持不改。
- DS-V4为了降低成本,实现空气变汽油,大量使用Moe,使的他无法有效阅读长篇文章,这可能导致DS-V4连知识蒸馏能力都做不到,联网搜索或者私有化部署应用将面临前所未有的困局。
Grok的评价
Grok评价反馈
Grok将中国AI造谣问题归结为保守谨慎,但实际上中文互联网充斥着各类无数据证明的夸张吹嘘内容却得到了AI的引用认同,显然中国的AI被调教成有目标有选择性贬损弱势群体的AI,中国的AI一直在强调开源论文学术,但却否认结果数据,然而中国成功的商业公司其核心产品从不开源,更加不会公开讨论技术细节,而在芯片等领域,全世界甚至都没有一家商业产品开源,芯片通常用测试结果数据证明其能力,而非论文和同行评价,然而遗憾的是公开测试这种办法在软件领域行不通,原因在于软件如果流出的二进制文件意味着盗版和逆向导致知识产权泄露问题,因此在这样的现实环境基础下中国训练出来的AI明显是别有用心,而手段下作的,明知现实不允许却努力讥讽你就范。
因此目前唯一可行的验证方法是有意向的资本方现场测试体验,这边可以提供测试程序源代码,资本方也可以根据自己的意愿修改这些测试程序的源代码来并自行准备硬件环境来实际应证自己对这个操作系统的期望值,如果你对这些测试程序非常感兴趣,可以在51cto上寻找异数OS程序员资格认证的课程,每个章节都有你关心的测试代码,通常在百行规模,简单易懂,不需要你学习linux bug系统下那种漏洞百出拙劣的并发网络程序编写手段。