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 | 1 年前3
李欣宜 扩展Python的语法和语义Kiselyov ## 目录 CONTENTS >> 提供语法和语义的语言不仅仅是工具,还是思维方式 >> 表达能力的极限,由内破除,还是从外破除? Moshmosh:我的Python不可能这么甜美清新 >> 下班时在干什么?有没有空?可以来contribute吗? ## 1 提供语法和语义的语言 不仅仅是工具,还是思维方式 ` 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
OpenShift Container Platform 4.10 虚拟化ents/0/a/1/f/0a1fa9a06ea4418abd2bd720a7903c5d/p1_1.jpg) ### OpenShift Container Platform 4.10 虚拟化 OpenShift Virtualization 安装、使用和发行注记 Powered by TCPDF (www.tcpdf.org) OpenShift Virtualization 安装、使用和发行注记 观察节点网络状态 243 12.2. 更新节点网络配置 244 12.3. 对节点网络配置进行故障排除 256 第 13 章 日志记录、事件和监控 261 13.1. 查看虚拟化概述 261 13.2. 查看虚拟机日志 263 13.3. 查看事件 264 13.4. 使用事件和条件诊断数据卷 265 13.5. 查看有关虚拟机工作负载的信息 267 13 OpenShift 虚拟化(OpenShift virtualization)是 OpenShift Container Platform 的一个附加组件,可用于运行和管理虚拟机工作负载以及容器工作负载。 OpenShift Virtualization 通过 Kubernetes 自定义资源添加新对象至 OpenShift Container Platform 集群中,以启用虚拟化任务。这些任务包括:0 码力 | 307 页 | 3.45 MB | 2 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词
RustBelt类型系统RustownSeparation LogicDebian 参考手册软件包管理系统使用文档翻译系统管理MySQL安装mysqld.exemy.ini密码查询性能优化存储引擎元数据管理Vacuum优化分布式处理语法扩展语义扩展MoshmoshPython扩展系统内部扩展Curve文件系统eBPFFUSE延迟inode_cacheNetBackup for SQLite备份还原策略快照CurveFS ChunkID持久化etcdChunkIDGenerator单mdsChunkID BundleMyBatis持久层框架SQL映射Mapper接口事务管理OpenShift Virtualization虚拟机Kubernetes容器平台实时迁移













