DBOS革命:迈克尔·斯通布雷克和无服务器计算的未来

疾风气象大模型4.0白皮书 《疾风气象大模型白皮书摘要》 疾风气象大模型(J-AFM)是国内首个基于3D建模的气象智能平台,突破传统二维气象分析的局限,采用体素化技术构建"x-y-z-t"四维统一模型,实现从分钟级短临到30天跨时效的连续预测。核心技术包括:1)多源数据三维同化,融合雷达、卫星、风廓线等异构数据;2)物理约束AI解码器,嵌入能量守恒、湍流封闭等气象原理;3)行业适配插件,服务风电、光伏、航空等领域,如山地风场尾流校正、云影短临预测。平台支持批流一体推理与边缘部署,提供概率化输出和误差溯源能力,显著降 阅读详情

“如果说硅是未来的新型石油,那么数据就好比新型硅。”

——迈克尔·斯通布雷克

01

前半生

把Ingres和Postgres带给世界

当提及数据库领域的巨匠迈克尔·斯通布雷克(Michael Stonbraker)这位老爷子,相信大家都早有耳闻,特别是在数据库领域圈子里更是赫赫有名。

1943年出生的他,可谓是经历了信息技术的每一次大浪淘沙。在加州伯克利大学执教的岁月中,他更是把Ingres和Postgres带给了全世界,开启了关系数据库的新纪元。如今,活跃在各行各业的开源数据库PostgreSQL项目,正是源自于这位老爷子的杰出贡献,这些项目照亮了数据库技术发展的前行之路,为各行各业带来了无尽的机遇和可能。

图片

但Michael的足迹不仅仅停留在学术领域,他的创业故事也同样精彩,他一个接一个地创立了公司,从Illustra、Cohera、StreamBase Systems和Vertica,再到VoltDB,每一次创业都显示了他对数据库未来的深刻洞察和无限热情。

对于他的贡献,连计算机界都得站起来鼓掌,甚至将被誉为“计算机界的诺贝尔奖”的ACM A.M.图灵奖授予了他,这份荣誉的重量,可谓是举世瞩目。

注:2015年3月25日,美国计算机协会(ACM)宣布,因“对现代数据库系统底层的概念与实践所做出的基础性贡献”,来自麻省理工学院的教授Michael Stonebraker(迈克尔·斯通布雷克)最终摘得被誉为“计算机界诺贝尔奖”的2015年度图灵奖。

老爷子用他的智慧和坚持,不仅推动了数据库技术的巨大飞跃,也为整个领域注入了新的活力。他的影响力横跨数十年,至今仍在激励着新一代的技术探索者。

注:VoltDB 是一个面向高速数据处理的内存数据库系统,专为需要快速数据摄取、高吞吐量和低延迟的实时决策支持应用而设计。它结合了关系数据库的强大功能和现代应用需求对速度的极致追求,使其特别适合金融服务、电信、网络广告和实时分析等领域。VoltDB 能够处理大量并发事务,同时保证事务的原子性、一致性、隔离性和持久性(ACID)。由数据库界的先锋人物迈克尔·斯通布雷克博士领衔开发,VoltDB 代表了高性能在线事务处理系统(OLTP)的新一代技术。

02

81岁

再创 DBOS Cloud 1.0

2024年3月28日,今年已经81岁高龄的Michael Stonebraker宣布推出DBOS Cloud 1.0!

这是Michael Stonebraker和 Apache Spark的创始者Matei Zaharia(Databrisk的CTO)与麻省理工学院 (MIT)、斯坦福大学、 CMU 、 Lincoln Labs 、谷歌和Vmware 等一个 20 人左右的团队一起开发的一个基于分布式数据库构建的、具有创新操作系统(DBOS)的事务性无服务器计算平台。

这个平台支持创建具有自动状态管理、事务性、可观测性和网络安全弹性的TypeScript应用,简化了容错云原生应用的开发。DBOS 的出现基于这样一个认识:管理操作系统状态本质上是一个数据库问题。DBOS 提供了可靠执行、用于调试和灾难恢复的时间旅行功能以及无需Kubernetes的内置可扩展性。

图片

DBOS 是 Database Operating System 的简写,读作“D Bus”, DBOS 的开发2022年开始的,当时DBOS Inc. 公司的联合创始人Peter Craft和Qian Li(李芊)在他们的第一篇博文中写道: “我们认为下一代操作系统应该是面向数据库的,因为数据库是为了解决现代计算中最棘手的问题而构建的。数据是可管理的、分散的、云原生的,并且通过细粒度的访问控制和来源进行保护和管理同样重要的是,VoltDB 和 FoundationDB 等现代技术分布式内存数据存储变得非常快,正如我们稍后将展示的,它们可以有效地执行传统基于磁盘的关系数据库管理系统 (RDBMS) 无法执行的许多操作系统服务执行,速度很快。”

图片

图片

03

DBOS Cloud 

几个关键点

1. DBOS Cloud

a) DBOS Cloud是一个云原生操作系统,支持可靠的事务性工作流。

b) 通过SDK,用户可以在本机上编写和测试应用程序,然后快速部署到云端。

c) DBOS提供一键式仪表盘用于观察和调试应用程序。

2. SDK 和部署

a) 开发者可以通过访问docs.dbos.dev获取SDK并开始应用开发。

b) 部署应用到DBOS Cloud只需几个简单的命令,应用即刻上线。

3. 调试与监控

a) DBOS的时间旅行调试器可以帮助开发者快速定位问题。

b) 通过仪表盘,开发者可以监控应用的活动,查看日志和追踪信息。

APP Dashboard:

图片

在线调试:

图片

如果大家对这个项目感兴趣,可以到这里开始:https://dbos.dev

演示程序代码:https://github.com/dbos-inc/dbos-demo-apps ,大家可以去试一下。

测试过程:

1. 到 dbos.dev 建立账户 (可以使用谷歌账户登录)

2. 参阅 DBOS 的快速入门 

https://docs.dbos.dev/getting-started/quickstart

a) 下载 SDK

b) 运行 Hello Database 应用程序

c) 将应用部署到云

04

DBOS 构建

背后的技术实现

DBOS 主要是基于两个原则来构建的:

1. 所有应用程序和操作系统状态都存储在分布式数据库的表中 (Everything is table)

2. 状态只能由数据库事务访问

正如Linux 里面Everything is a file, DBOS 倡导的是 Everything is a table。这里的 Everything 主要是指OS 的状态。而过去四十多年,需要管理的OS 状态急剧增加(增加约10^6倍),包括处理器、内存、存储、任务、消息、文件等等,这让管理操作系统的状态成为一个数据库关系系统的问题。

DBOS从裸金属往上分为四个层级:

第4层:用户程序

第3层:操作系统支持程序(完全用SQL编写)

第2层:一个高性能、OLTP、多节点、多核心、高可用性分布式数据库管理系统(目前为VoltDB)

第1层:微内核(中断处理、原始设备支持、基本字节移动)

图片

对于一个数据库操作系统,任务调度、通信以及文件系统等主要逻辑跟数据库目前的云、无服务器Serverless 以及应用即服务FaaS等技术已经完全可以对应,有事务保证的数据库系统也会大大提供整体的可靠性。

在 DBOS中,操作系统给的服务是在数据库中用 SQL 语言进行编码,这跟我们在操作系统的用户空间内运行 DBMS的传统方法是大不相同的。

比如DBOS里面,发送消息就是一条SQL insert,而读一条消息就是SQL 的 Query + Delete 。

另外,数据库本身的可靠性也是 DBOS的优势,比如应用程序终端,你可以从停止的地方恢复,就跟恢复数据库某个时间点的数据一样。

DBOS 是在内存数据库 VoltDB 基础上开发的,加上云、 Serverless等等技术的引入和结合,不得不说这是一个很有跨时代意义的创新,未来企业能否接纳这种模式并采用以云为中心的方式?让我们且走且看。

05

小结

DBOS Cloud 相当于给用户提供了按使用付费的基于 Serverless 架构的数据库服务,用户可以更少关心操作系统、存储、 系统安全、高可用等,并且按使用付费,这为用户在减少成本的同时还能更好的聚焦业务层面。

DBOS 的推出也是云计算领域一个重要的进步,特别是在构建可靠、分布式和事务性应用方面。随着云技术的不断发展,DBOS提供的新型云原生操作系统可能会为开发者提供更加灵活、高效的开发环境。

Serverless 架构正在引领云计算的未来。其核心优势在于能够让开发者摆脱底层基础设施的管理,专注于代码和应用逻辑的创新。瀚高紧跟这一趋势,推出了HGNEON无服务器解决方案。基于开源NEON架构,HGNEON不仅增强了对多云环境的支持,更引入了垂直扩展功能,大大增强了系统的灵活性和扩展能力。完美兼容PostgreSQL,并支持开源IvorySQL 3.1和3.2版本,HGNEON为现代云应用提供了一种高效、易扩展的数据库服务选项。

//

参考链接

1. DBOS 官网:https://www.dbos.dev/

2. DBOS 快速入门 :https://docs.dbos.dev/getting-started/quickstart

3. DBOS Transact事务型 TypeScript 框架,用于开发具有内置一次性代码执行的数据库支持的应用程序:https://github.com/dbos-inc/dbos-transact

4. Michael Stonebraker - DBOS: A Database-oriented Operating System
https://www.youtube.com/live/eB4bJqDzsU8?si=php-MVaHHpgrLxQz 

5. 周庆庆 - 祝贺DB和OS有情人终成眷属:https://juejin.cn/post/7349119662134067215

6. IvorySQL 官网:https://www.ivorysql.org

 文/瀚高基础软件股份有限公司研究院负责人 周宝峰

分享一个我自用的 Python 消息发送模块,支持邮件、钉钉、企业微信 🔥 分享一个我自用的 Python 消息发送模块,支持邮件、钉钉、企业微信 阅读详情

相关推荐

【Collibra 驱动 IPD 数据血缘治理】:三层图谱分层展示体系与全链路追踪的技术业务实践

(应用级/数据级/字段级)是理解复杂数据流动的核心手段。其价值不仅体现在可视化的直观性,更在于通过。技术保障血缘不可篡改性,进一步提升IPD数据治理的可靠性。,解决了跨层级血缘分析的性能与可用性矛盾。数据血缘图谱要素定义(字节跳动/腾讯云/信安标委)实现对IPD数据的精准追踪,而数据血缘图谱的。分层交互设计标准(智慧城市数据中台规范)Collibra技术文档(2024)字段级血缘的挑战与解决路径。自动优化血缘路径,并深化。字段级血缘技术实现方案。Collibra通过。图数据库性能优化原理。

百态·数智思维 | 聚焦大数据、量化与未来AI 1244

论文推荐丨DBOS: 一个以数据为中心的操作系统的建议

论文名称:DBOS: A Proposal for a Data-Centric Operating System 推荐理由:作者称当前的操作系统是在今天计算环境之前设计的复杂系统。这使得它们难以克服当前云计算和并行计算环境中的可扩展性、异构性、可用性和安全性挑战。为了解决这些问题,作者提出了一种全新的基于数据中心架构的操作系统设计:所有操作系统的状态都应该统一表示为数据库表,对这些状态的操作应该通过原本无状态任务的查询来进行。这种设计使得在不需要整个系统重构的情况下就可以轻松地扩展和进化操作系统、检查和调

AI_Conf的博客 4477

【图像大模型】RIFE实战:如何通过中间流估计实现4K视频的实时插帧优化

本文深入解析了基于深度学习的RIFE视频插帧算法,重点探讨其核心的中间流估计技术如何实现高效精准的帧生成。通过实战教程,详细介绍了针对4K视频的实时处理优化方案,包括环境配置、参数调优及性能瓶颈分析,帮助用户利用消费级显卡将低帧率视频转化为流畅的高帧率体验。

weixin_29093017的博客 460

开启数据库审计 db,extended级别或os级别)并将审计文件存放到/opt/oracle/audit/下

开启数据库审计 db,extended级别或os级别)并将审计文件存放到/opt/oracle/audit/下

DBA成长之路 2035

1976国际标准大气_Matlab

输入高度,计算空气密度、气压、温度、声速 function [airDens,airPress,temp,soundSpeed]=Atmos(geomAlt) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 1976 U.S Standard Atmosphere Interpolation % % Note: Function does not extr.

JISANSAN的博客 1万+

GNSS/INS松组合导航实战:如何用卡尔曼滤波提升定位精度(附MATLAB代码)

本文深入探讨了GNSS/INS松组合导航的工程实践,详细阐述了如何利用卡尔曼滤波算法融合卫星与惯性数据以提升定位精度。内容涵盖从仿真环境搭建、误差状态卡尔曼滤波器(ESKF)设计,到状态与观测方程实现、噪声参数调试及常见问题排查的全过程,并提供了可直接运行的MATLAB代码,为开发高精度、鲁棒的组合导航系统提供实战指南。

weixin_29057163的博客 165

小心,美国人又要在基础软件上弯道超车了......

01被"惹恼"的数据库巨佬2021年,DataBricks的创始人和CTO,Spark的发明人马泰·扎哈里亚在斯坦福做了一次演讲。在演讲中,他提到了DataBricks遇到的一个烦人的问题,DataBricks经常需要在云上调度上百万个Spark任务,并且跟踪这些任务的状态(等待、运行、完成、失败)。这些任务非常小,用进程/线程来管理并不合适,太重了,并且进程线程的调度是单机的,DataBrick...

码农翻身 2229

飞牛NAS新增虚拟机功能,如果使用虚拟机网卡直通安装ikuai软路由(如何解决OVS网桥绑定失败以及打开ovs后无法访问飞牛nas等问题)

飞牛NAS新增虚拟机功能,如果使用虚拟机网卡直通安装ikuai软路由

XiaoqiangClub的博客 1万+

foobox-cn 使用指南:3 步安装这款免费 foobar2000 皮肤并自定义播放界面

foobox-cn 是一套面向 foobar2000 的 DUI(默认用户界面)皮肤配置,基于 JSplitter 组件搭建,把播放列表、封面、简介、可视化等模块拼装进一个可自由组合的布局里。它解决的问题很直接:foobar2000 原生界面偏工具化,而多数插件面板又各自为政、风格不统一;foobox-cn 用统一的视觉语言把这些面板整合在一起,并提供双主题、按封面智能取色和按流派自动匹配默认封面

gitblog_00773的博客 779

【温室气体】GOSAT 数据产品

【温室气体】GOSAT 数据产品

WW、forever的博客 238

如何设置Xilinx以太网IP核的Pause帧处理

这里要注意,为什么是或,第一个条件是该功能使能取反,也就是说,如果你设置使能不打开的话,这个条件是直接满足的;先来看图中第二句,判断该以太网数据包为Global Pause帧(gpp),首先要满足Step1,然后是由上图中第二句代码(assign global_pause_packet)后面的所有项“与”(&&)起来的,就是说要满足后面所有的项,分别是DA符合,SA符合,Etype符合,Opcode符合,并且使能了该功能(即设置ctl_rx_enable_gpp=1)。如果没通过,则进入Step3。

qq_43416206的博客 620

DBOS:用 Postgres 简化持久工作流,解决可扩展性、可用性等难题!

DBOS 有相关产品,如 DBOS Transact(开源持久执行库)、DBOS Conductor(代理和工作流的控制平面)、DBOS Cloud(一键部署,可扩展至数百万规模)等。还有多种资源,包括了解简化可靠性的团队、DBOS 演示及深度剖析等视频内容、探索 DBOS 生态系统的合作伙伴等。同时提供定价、客户案例、博客等信息,也有文档如快速入门、分步指南和实际用例、示例应用程序等。

programmerjob的博客 242

innovus:如何在init design之后新增参考库(lib/lef)

如题,在PR过程中经常会遇到这种问题,时序无法收敛,需要新增一套lvt或者hpc的库,怎么办?

m0_61544122的博客 5015

数据库泰斗Stonebraker :“警惕数据库技术的过分炒作!”

但这种数据库类别,如SingleStore、NuoDB(现归Dassault Systems所有)和VoltDB(Stonebraker的创造),从未流行起来,主要是因为现有的数据库“足够好”且没有必要冒险迁移到新数据库。属性图数据库(如Neo4j、TigerGraph)凭借其在某些类型的OLTP和OLAP工作负载上的效率(在连接数据上,在关系数据库中执行连接会导致计算资源的低效使用)为自己开辟了一个舒适的利基市场。“一种寻找应用的低效技术。在论文的结尾,读者留下的印象是“循环往复”的是关系模型和SQL。

IvorySQL的博客 837

Devexpress16.2.6破解工具

Devexpress16.2.6破解工具Devexpress16.2.6破解工具Devexpress16.2.6破解工具Devexpress16.2.6破解工具

最新的sdio 4.0 spec 协议标准 带书签 高清完整PDF版

Part-E1-SDIO-Specification-Ver4.00-Final-120220.pdf:最新的sdio 4.0 spec 协议标准 带书签 高清完整PDF版,包括SDIO 接口的外设,SDIO 接口官方协议等。

1024程序员节:哪10位程序员改变了数据库世界?

在数据库的历史上,有哪些程序员做出了突出贡献,改变了数据库的世界?在写作《数据库简史》一书时,我就特别关注了数据库历史中的人,正是这些卓越人物的努力,数据库技术才得以不断向前,最终成为了计算机世界的基础和基石,从而改变了人类记录世界的方式。以下我摘录来自《数据库简史》一书中记录的“数据英雄”,本打算列举10位,但是暂列7位,留白3位给读者朋友们补齐:丹尼斯·里奇(Dennis Ritchie),因...

Enmotech的博客 1015

ssm框架搭建

这个是一个在idea上成功跑起来的ssm框架项目,保存在这里方便以后使用直接下载

数据库简史:为了“不丢数据”和“更快找到”,人类有多拼?

在计算机的世界里,一切皆数据。而数据库,就是人类为数据建造的王国。

qq_17153885的博客 190

廖雪峰Python教程[完整版]

廖雪峰的python教程整理的,已经排好版了,而且还是完整的,适合小白

2014图灵奖--迈克尔·斯通布雷克简介

读完本博文大家可以收获的是: - 斯通布雷克的博士论文 - 平衡多分树--B树在数据库的应用 - INGRES的研究与开发

执念斩长河 2356

论骑车穿越美国与实现Postgres的相通之处

来源:http://www.postgres.cn/news/viewone/1/106 论骑车穿越美国与实现Postgres的相通之处 原作者:斯通布雷克  创作时间:2015-10-22 09:18:37+08 doudou586 发布于2015-12-23 09:18:37   评论: 0   浏览: 19   顶: 3  踩: 3  2015年10月22

uhml的专栏 1543

专访|79岁图灵奖获得者迈克尔·斯通布雷克谈“数字经济”与“元宇宙”

迈克尔·斯通布雷克(Michael Stonebraker)被誉为“世界上最重要的数据库专家之一”,是数据库领域的第4位图灵奖得主来源:数据观撰稿:黄玉叶编辑:蒲蒲如果说硅是未来的新型石油,那么数据就好比新型硅。——迈克尔·斯通布雷克2022年5月26日,第八届中国国际大数据产业博览会在线上盛大启幕,作为本届大会的特邀嘉宾,2014年图灵奖获得者、全球知名数据库专家迈克尔...

人工智能学家 549

深入Serverless架构在电商订单系统中的实践与边缘计

在当前的互联网技术生态中,Serverless 架构和边缘计算正逐渐成为构建高性能、低延迟系统的基石。特别是对于电商系统这种高并发、高可用性的业务场景,Serverless 和边缘计算的协同应用能够有效解决传统架构下资源利用率低、响应延迟高、运维成本高等痛点。

qq_41106321的博客 154

成本和稳定性 Serverless 全都要:热页驱动的内存弹性实践

## **引言** 业务上云之后,流量起伏成了常态。一次营销活动、一条传播开的内容、一个突发热点,都可能让数据库在几分钟内承受平时数倍的压力。TDSQL-C Serverless 基于计算存储分离架构,按负载自动扩缩容、按实际用量计费,正是为这类场景而生。 Serverless 的弹性扩缩容,本质就是针对 CPU 和内存扩缩的精密控制。这其中,CPU 的弹性相对容易管理控制:并发上来,CPU

search_agent的博客 288

Kimi K3.1 Pro 现已上线 DigitalOcean 无服务器推理

Moonshot AI 最新发布的 Kimi K3.1 Pro 现已上线 DigitalOcean 无服务器推理(Serverless Inference)。开发者无需单独管理 Moonshot AI 账号或模型基础设施,即可通过 DigitalOcean API 调用该模型,并按实际 Token 使用量付费。Kimi K3.1 Pro 是 Moonshot AI 在 Kimi K3 基础上进行大规模后训练的升级版本。

了解关于云主机、GPU、AI、数据库托管、Kubernetes等相关技术知识,以及DigitalOcean云平台使用教程 462

用友 U9C 单据自动同步到钉钉宜搭:一条 14 张单据的 Serverless 同步链路(真实落地项目)

本文分享用友U9C与钉钉宜搭通过Serverless架构实现14张单据自动同步的完整链路,基于阿里云函数计算(FC)、OSS及Node.js构建,支持小时增量与历史补全。核心挑战包括:U9C WebAPI无文档、Filters无效、字段名为空、子表引用不展开等。通过分页倒序扫描、字段动态探测、去重状态持久化、附件代理等策略,实现精准同步。关键避坑点涵盖发起人控制、时间窗口设计、附件处理与接口兼容性。最终落地为4800行单文件函数,按量计费,零常驻成本,验证通过率超98%。

qq_43407325的博客 350

Serverless 架构在企业系统中的落地与架构取舍

长事务编排与人工介入流程、需要跨调用维持状态的工作流、持续高吞吐且实例几乎无空闲窗口的负载(此时FaaS的按量计费不再具有成本优势,甚至可能高于预留容器)、对冷启动有严格上限且无法承受预热成本的极低延迟路径、深度依赖平台特有运行时或本地存储语义的计算。的形式输出,由日志后端异步抽取——这既消除了上报调用对函数执行时间的侵占,也避免了高基数自定义指标带来的额外API成本。:对于深度依赖云厂商特有事件模型和权限体系的能力(如特定云的事件总线规则语法、函数与VPC的集成方式),完全的零成本迁移是不现实的。

jcgu的专栏 260

云原生运维学习笔记:Docker 数据卷、网络管理与镜像自定义深度实践

本文深入探讨Docker数据持久化、网络管理与镜像自定义三大核心运维技术。通过数据卷(Volume)实现容器数据持久化,支持匿名卷、命名卷及宿主机目录绑定;利用--volumes-from构建数据卷容器,实现多容器间数据共享。在网络层面,掌握端口映射(-p/-P)、自定义网络及容器通信机制。最后,基于Dockerfile实现应用镜像的定制化构建,为Kubernetes等云原生平台部署奠定基础。内容涵盖实践操作与原理剖析,是进阶容器运维的关键一环。

2604_96593683的博客 454

云原生运维实战:Docker 底层存储、Compose 编排与 Ceph 入门

Docker Compose 用来定义和运行一组关联容器,通过 YAML 描述服务、网络、存储。v1:Python 开发,已经停止维护;v2:Go 开发,集成进 docker CLI,命令。。services:定义容器服务;networks:容器网络;volumes:数据卷持久化;configs:配置文件。

Wzh5452830的博客 199
上一篇: IvorySQL 3.2原理解析|与Oracle 12c XML函数兼容性的实现机制
下一篇: IvorySQL 3.2 发版 | 基于PG16.2,新增Oracle XML函数兼容功能
IvorySQL
博客等级 码龄5年 745粉丝 565原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值