Online
# Rust API可靠性分析与
验证
姜剑峰
## 主题内容
• Rust第三方库API可靠性现状
• 现用方法的局限性
- 基于程序合成+模糊测试的可靠性分析方法
## 自我简介
• 本(2019)硕(2022)毕业于复旦大学
- 目前在蚂蚁集团安全计算部门开发应用于机密计算的Rust系统软件
- 研究生期间主要从事Rust测试与
验证工具的研究,本人所在的是国内最早开展Ru 分支覆盖率;用例程序的构造
符号执行(klee, angr):路径爆炸;求解困难
静态分析(MirChecker, Rudra, SafeDrop):分析特定问题;假阳性
形式化
验证(RustBelt):无法方便的
验证第三方库
其他工具(Miri等).....
## API 测试用例合成
impl Parser {
fn justfile(mut self) -> Result
0 码力 |
13 页 |
1.68 MB
| 2 年前 3
[Image](/uploads/documents/0/0/1/9/0019b3603967ce7162a719aab077e4c7/p1_1.jpg)
## OpenShift Dedicated 4
## 附加组件服务
在 OpenShift Dedicated 集群中添加服务
Powered by TCPDF (www.tcpdf.org)
在 OpenShift Dedicated 集群中添加服务
## 控制台在集群中添加服务 ..... 3
1.1. 在集群中添加附加组件服务 ..... 3
1.2. 访问集群中安装的附加组件服务 ..... 3
1.3. 使用 RED HAT OPENSHIFT CLUSTER MANAGER 删除附加组件服务 ..... 4
第 2 章 适用于 OPENSHIFT DEDICATED 的附加组件服务 ..... 5
2.1. RED HAT OPENSHIFT #### 1.1. 在集群中添加附加组件服务
您可以使用 Red Hat OpenShift Cluster Manager 在现有的 OpenShift Dedicated 集群中添加附加组件服务。
## 先决条件
- 您已为 OpenShift Dedicated 创建并置备了集群。
● 您的集群满足您要添加到集群中的服务的所有先决条件。
● 对于付费附加组件服务,请注意以下注意事项:
0 码力 |
9 页 |
100.47 KB
| 2 年前 3
# Service Mesh Meetup #3 深圳站
## I stio控制平面组件原理解析
朱经惠
2018.08.25
## 关于我
• 朱经惠,ETC车宝平台工程师。
- 喜欢开源,个人开源项目”Jaeger PHP Client”。
- 喜欢研究源码,对NSQ,Jaeger,Istio(控制平面)等go语言开源项目进行过研究。
- 除了代码还喜欢爬山和第二天睡醒后全身酸疼的感觉。
0 码力 |
30 页 |
9.28 MB
| 1 年前 3
## Curve核心组件之Client
D I G I T A L S A I L
吴汉卿
网易数帆存储团队
## CURVE
CURVE是高性能、高可用、高可靠的分布式存储系统
• 高性能、低延迟存储底座
- 可扩展存储场景:块存储、对象存储、云原生数据库、EC等
• 当前实现了高性能块存储,对接 OpenStack 和 k8s
• 网易内部线上无故障稳定运行400+天
• 已开源
0 码力 |
27 页 |
1.57 MB
| 1 年前 3
Curve核心组件之 MDS
Digital Sal
陈威
网易数帆存储团队
## 概述
## Curve 是高性能、高可用、高可靠的分布式存储系统
• 高性能、低延迟
• 可支撑储场景:块存储、对象存储、云原生数据库、EC等
- 当前实现了高性能块存储,对接OpenStack和 K8s 网易内部线上无故障稳定运行一年多
• 已开源
github主页:https://opencurve tar.gz Notes Downloads
v0.1.3
on 30 Jul - f6425ad zip tar.gz Notes Downloads
01 整体架构
02 MDS各组件详细介绍
03 Q&A
## 基本架构
## • 元数据节点 MDS
管理元数据信息
收集集群状态信息,自动调度
- 数据节点 Chunkserver
数据存储
副本一致性 对数据增删改查
快照克隆服务器

## MDS各个组件
MDS是中心节点,负责元数据管理、集群状态收集与调度。MDS包含以下几个部分:
• Topology: 管理集群的 topo 元数据信息。
• Nameserver: 管理文件的元数据信息。
0 码力 |
23 页 |
1.74 MB
| 1 年前 3
## 第六部分 实战 TensorFlow 验证码识别
# 回报回 回报回 回报回
扫描二维码
试看/购买《TensorFlow 快速入门与实战》视频课程
## 第六部分 目录
- 准备模型开发环境
- 生成验证码数据集
- 输入与输出数据处理
- 模型结构设计
- 模型损失函数设计
- 模型训练过程分析
- 模型部署与效果演示
## 准备模型开发环境
## 第三方依赖包 Pillow提供广泛的文件格式支持,高效的内部表示和相当强大的图像处理功能。
核心图像库旨在快速访问以几种基本像素格式存储的数据,它应该为一般的图像处理工具提供坚实的基础。
## captcha
Catpcha 是一个生成图像和音频验证码的开源工具库。
from captcha.image import ImageCaptcha
from captcha.audio import AudioCaptcha
image = Ima 1:5000/ (Press CTRL+C to quit)
## 生成验证码数据集
## 验证码(CAPTCHA)简介
全自动区分计算机和人类的公开图灵测试(英语:Completely Automated Public Turing test to tell Computers and Humans Apart,简称CAPTCHA),俗称验证码,是一种区分用户是计算机或人的公共全自动程序。在CAPTCH
0 码力 |
51 页 |
2.73 MB
| 2 年前 3
s/b/3/b/8/b3b802f42fb4d43ec0b50b268a364ee4/p1_1.jpg)
## Red Hat OpenShift Service on AWS 4
## 附加组件服务
为 Red Hat OpenShift Service on AWS 集群添加服务
Powered by TCPDF (www.tcpdf.org)
为 Red Hat OpenShift Service MANAGER 控制台在集群中添加服务 …… 3
1.1. 先决条件 …… 3
1.2. 在集群中添加附加组件服务 …… 3
1.3. 访问集群中安装的附加组件服务 …… 3
1.4. 使用 RED HAT OPENSHIFT CLUSTER MANAGER 删除附加组件服务 …… 4
1.5. 其他资源 …… 4
第2章 可用的 RED HAT OPENSHIFT SERVICE
- 对于 Amazon CloudWatch 服务,您必须首先使用 ROSA CLI (rosa) 安装 cluster-logging-operator。
#### 1.2. 在集群中添加附加组件服务
您可以使用 Red Hat OpenShift Cluster Manager 在 AWS (ROSA) 集群上添加附加服务到 AWS (ROSA) 集群的现有 Red Hat OpenShift
0 码力 |
10 页 |
118.86 KB
| 2 年前 3