Greenplum备份恢复浅析## Greenplum备份恢复浅析 姓名:___ 邮箱:zhuodao.zwj@alibaba-inc.com 公司:阿里云 Greenplum数据备份恢复: 1. 数据量较大 2. 不能完全使用Xlog日志备份 3. 需要保证数据完整性和一致性 ## Greenplum提供了: 1. 非并行备份和恢复: --pg_dump和pg_dumpall(pg_restore) --copy、psql --copy、psql 2. 并行备份和恢复 --gpcrondump(gpdbrestore) ## 并行备份和恢复  gpcrondump  Master segment gpcrondump.py segment gp_dump segment0 码力 | 17 页 | 1.29 MB | 2 年前3
RustBelt - Rust 的形式化语义模型RUST CHINA CONF 2023 第三届中国 Rust 开发者大会 王俊吉 6.17-6.18 @Shanghai ## Outline ## RustBelt - Rust 的形式化语义模型 Background Rust Semantics • RustBelt Project • Type System • Rust Types Overview • The own0 码力 | 21 页 | 2.63 MB | 2 年前3
微信 SQLite 数据库
损坏恢复实践## 微信 SQLite 数据库 损坏恢复实践 johnwhe (何俊伟) ☐ 问题背景 ☐ 常规做法 ☐ 数据备份 ◇ Repair Kit ☐ 组合方案 ## SQLite 恢复 ## 问题背景 微信聊天记录只存客户端 微信团队 欢迎你再次回到微信。如果你在... SQLCipher 加密数据库 ## 问题背景 ☐ SQLite 概率性损坏 ☐ 1/20,000 ~ 256MB ~1%,1GB ~1% ☐ 设备断电、kernel crash、空间不足 ☐ 问题背景 ☐ 常规做法 ☐ 数据备份 ◇ Repair Kit ☐ 组合方案 ## SQLite 恢复 ## 常规做法 .dump 命令 来自 SQLite 命令行工具 ☐ 整个 DB 输出为 SQL 语句 $ sqlcipher samples/sample-repairdb/src/ma ### .dump 用于恢复 ☐ 打开损坏 DB 后使用 ☐ 遇到错误前一直输出 ☐ 遇到错误,跳到下一个表 ### .dump 成功率 ☐ 成功率仅 ~30% ☐ 打不开 DB ☐ 打开了读不出数据 ☐ 问题背景 ☐ 常规做法 ☐ 数据备份 ☐ Repair Kit ☐ 组合方案 ## SQLite 恢复 ## 数据备份 ☐ 主要考虑因素 恢复成功率 ☐ 空间大小 ☐0 码力 | 31 页 | 546.35 KB | 2 年前3
MySQL 数据库架构灾难恢复解决方案..... ## MySQL 数据库架构 灾难恢复解决方案 MySQL InnoDB Cluster Set 介绍 MySQL SE 罗伟文 …… …… …… …… …… ## Safe Harbor Statement 以下内容旨在概述我们的一般产品方向。它仅供参考,不得纳入任何合同。它并不提供任何材料、代码或功能的承诺,不应据此做出购买决策。Oracle产品描述的任何特性或功能 [Image](/uploads/documents/4/1/b/f/41bf4e9c6607aa3e903e68d7ea1e501d/p5_2.jpg) 数以百万计的银行客户无法访问在线帐户。银行花了将近2天的时间才恢复正常运作。  ## 过去、现在和未来 [Image](/uploads/documents/4/1/b/f/41bf4e9c6607aa3e903e68d7ea1e501d/p7_1.jpg) - 设置复制拓扑通常是手动完成的,需要执行许多步骤包括用户管理、恢复备份、配置复制... - MySQL只提供技术部分,让用户来设置(始终自定义的)架构。 - 甚至需要其他软件...为DBA和专家带来了大量工作,他们花时间自动化和集成他们的定制架构 ## Present0 码力 | 52 页 | 3.07 MB | 2 年前3
李欣宜 扩展Python的语法和语义Kiselyov ## 目录 CONTENTS >> 提供语法和语义的语言不仅仅是工具,还是思维方式 >> 表达能力的极限,由内破除,还是从外破除? Moshmosh:我的Python不可能这么甜美清新 >> 下班时在干什么?有没有空?可以来contribute吗? ## 1 提供语法和语义的语言 不仅仅是工具,还是思维方式 ` matched for {}".format(a)) if_: print("case not matched") 我预期的语法(及语义) 扩展系统: 4. 可以自定义扩展并注册 5. 在这套系统下,有很多简单的自定义扩展可供练手  ## 语法和语义扩展 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 > 20: ret = 2 else: ret = 1 else: raise SomeException ## 语言决定思维模型 语言中的语法和语义,决定了它真实的表达力。 大多数语言都不是“万金油”的,这是客观事实。 但它们不够“万金油”的问题来源,不一定是不能解决的。 ## 扩展语言,开阔思维 # moshmosh? # +quick-lambda < 42)` matched for {}".format(a)) if_: print("case not matched") 我预期的语法(及语义) 扩展系统: 5. 在这套系统下,有很多简单的自定义扩展可供练手 












