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
Debian 参考手册(版本 2.109)## debian Debian 参考手册 Osamu Aoki (青木修) 版权 $ ^{©} $ 2013-2021 青木修 Debian 参考手册(版本 2.109)(2023-12-18 14:53:01 UTC) 旨在作为一份 Debian 系统安装后的用户指南,为 Debian 系统的使用与管理提供广泛的概览。它通过为非开发者编写的 shell 命令示例来涵盖系统管理的方方面面。 ... 67 2.7.7 使用 apt-pinning 调整获选版本 ..... 68 2.7.8 阻止推荐的软件包的安装 ..... 70 2.7.9 使用带有 unstable 软件包的 testing 版本 ..... 70 2.7.10 使用带有 experimental 软件包的 unstable 版本 ..... 71 2.7.11 紧急降级 ..... 72 2 2.7.15 更多关于软件包管理的文档 ..... 74 系统初始化 3.1 启动过程概述 3.1.1 第一阶段:UEFI 3.1.2 第二阶段:引载加载程序 3.1.3 第三阶段:迷你Debian系统 3.1.4 第四阶段:常规Debian系统 3.2 Systemd 3.2.1 Systemd 初始化 3.2.2 Syatemd login 3.3 内核消息0 码力 | 261 页 | 1.39 MB | 2 年前3
MySQL ZIP Archive版本安装说明# MySQL ZIP Archive版本安装说明 ## 1 系统环境 硬件 Surface Pro 4 ; 操作系统 Windows 10专业版 16299.19 64bit ; MySQL MySQL Community Server 5.7.20, Windows (x86,64bit) ZIP Archive ; MySQL安装路径 C:\MySQL,请视自己计算机情况选择安装目录。 ## 2 软件下载 • MySQL下载地址:https://dev.mysql.com/downloads/mysql/ • 下载版本:Windows (x86, 64-bit), ZIP Archive, mysql-5.7.20-winx64.zip ## 3 软件安装 使用管理员权限打开命令提示符,步骤:开始菜单选择Windows系统 - 命令提示符 - 在其上点击右键选择 - 更多 可用字节 定位到解压目录的bin目录下,执行初始化以下命令: C:\MySQL\mysql-5.7.20-winx64>cd bin C:\MySQL\mysql-5.7.20-winx64\bin>mysqld.exe --initialize C:\MySQL\mysql-5.7.20-winx64\bin> 注意:执行初始化命令前需要正确创建data目录并确保该目录为空。0 码力 | 4 页 | 756.23 KB | 2 年前3
PieCloudDB Database V2.1 版本说明# 元CloudDB Release Note 版本号:V2.1 发布日期:2022年10月 ## 内核 - 聚集下推功能得到增强:通过把聚集操作下推到连接操作之前去执行,极大的减少连接操作需要处理的数据量,使得查询性能显著提升。 - 实现了 Block Skipping 的优化机制:数据库运行查询语句时,通过计算每个块(block)中列聚集信息,在执行期间跳过非必要的数据块,减少数据读取量提高查询性能。 • 原生格式存储:在 HDFS/NAS 系统上支持原生存储格式。 对 Orca 的支持:PieCloudDB 支持查询优化器 Orca。Orca 是一款开源的、基于 Cascades 模型的模块化查询优化器,帮助用户对 SQL 进行优化,生成高效的查询计划。 支持超大数据量字段 支持快速 ETL/ELT:Kafka 流数据导入支持,copy 性能大幅提升。 • 外部数据源的查询(实验性功能):PieCloudDB wrapper 模块,使用户可以访问包括但不限于 HDFS、MySQL 等数据源,同时支持用户自行开发模块来访问新的存储数据源。 ## 管控平台 • 用户权限优化:通过更加清晰的 UI 设计,为用户提供一体化的权限管理 - 注册选项增加:增加了手机注册选项,用户现可选择通过手机或邮件进行用户注册 稳定性优化: 。SQL 结果集缓存优化 优化端到端访问控制管理和证书管理,增强安全能力 ☐ 一键部署优化0 码力 | 3 页 | 257.15 KB | 2 年前3
NJSD eBPF 技术文档 - 0924版本基于FUSE的实现 • curve / ceph / gluster • LD_PRELOAD重载文件系统系统调用 • vpp / f-stack / DirectFUSE • Kernel版本实现 - BentoFS 基于rust的实现 ` matched for {}".format(a)) if_: print("case not matched") 我预期的语法(及语义) 扩展系统: 4. 可以自定义扩展并注册 5. 在这套系统下,有很多简单的自定义扩展可供练手 MyBatis 是 Apache 的一个开源项目 iBatis, 2010 年 6 月这个项目由 Apache Software Foundation 迁移到了 Google Code,随着开发团队转投 Google Code 旗下,iBatis3 Java 的持久层框架。iBatis 提供的持久层框架包括 SQL Maps 和 Data Access Objects(DAO) ### 1.2 MyBatis 简介 1)MyBatis 是支持定制化 SQL、存储过程以及高级映射的优秀的持久层框架 2)MyBatis 避免了几乎所有的 JDBC 代码和手动设置参数以及获取结果集 3)MyBatis 可以使用简单的 XML 或注解用于配置和原始映射,将接口和 或注解用于配置和原始映射,将接口和 Java 的 POJO(Plain Old Java Objects,普通的 Java 对象)映射成数据库中的记录 ### 1.3 为什么要使用 MyBatis - 现有持久化技术的对比 1)JDBC ① SQL 夹在 Java 代码块里,耦合度高导致硬编码内伤 ② 维护不易且实际开发需求中 sql 是有变化,频繁修改的情况多见 2)Hibernate 和 JPA ① 长难复杂0 码力 | 44 页 | 926.54 KB | 2 年前3
快速微服务化编程体验## 快速微服务化编程体验 部门名称:开源软件能力中心 作 者 : 巨震、杨波 日期:2018/10/29  ## 目录 1. 案例简介 2. Provider开发 3. Consumer开发 4. Kubernetes部署0 码力 | 12 页 | 2.67 MB | 2 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词
RustBelt形式化语义模型类型系统所有权分离逻辑Debian 参考手册软件包管理系统使用文档翻译系统管理MySQL安装mysqld.exemy.ini密码查询性能优化存储引擎元数据管理Vacuum优化分布式处理Curve文件系统eBPFFUSE延迟inode_cache语法扩展语义扩展MoshmoshPython扩展系统内部扩展NetBackup for SQLite备份还原策略快照CurveFS ChunkID持久化etcdChunkIDGenerator单mdsChunkID BundleMyBatis持久层框架SQL映射Mapper接口事务管理微服务MesherKubernetesServiceCombDocker













