Rust API可靠性分析与验证Online # Rust API可靠性分析与验证 姜剑峰 ## 主题内容 • Rust第三方库API可靠性现状 • 现用方法的局限性 - 基于程序合成+模糊测试的可靠性分析方法 ## 自我简介 • 本(2019)硕(2022)毕业于复旦大学 - 目前在蚂蚁集团安全计算部门开发应用于机密计算的Rust系统软件 - 研究生期间主要从事Rust测试与验证工具的研究,本人所在的是国内最早开展Ru 分支覆盖率;用例程序的构造 符号执行(klee, angr):路径爆炸;求解困难 静态分析(MirChecker, Rudra, SafeDrop):分析特定问题;假阳性 形式化验证(RustBelt):无法方便的验证第三方库 其他工具(Miri等)..... ## API 测试用例合成 impl Parser { fn justfile(mut self) -> Result0 码力 | 13 页 | 1.68 MB | 2 年前3
ServiceComb 微服务框架## ServiceComb 微服务框架 杨波 ServiceComb 社区 / 华为开源软件能力中心 ## ServiceComb微服务解决方案 云 平滑上云 ServiceComb 微服务解决方案 Java编程 (POJO/SpringM VC/JAX-RS) 熔断/容错 处理链 限流 负载均衡 JWT认证 Golang 编程 边缘服务 服务契约 微服务脚手架 ServiceCenter 是一个使用Go构造的、建立在etcd存储上的高性能、高可用服务中心。 Java微服务SDK Java Chassis是一个由编程模型、运行模型、通信模型和服务契约四个部分组成的微服务框架。 Saga 分布式事务解决方案 Saga 是一个微服务数据一致性解决方案。 Go微服务SDK 编程模型  @app.route('/') def0 码力 | 51 页 | 2.73 MB | 2 年前3
Train-Val-Test-交叉验证0 码力 | 13 页 | 1.10 MB | 2 年前3
go web 框架 严清## Why We Use Go Web Frameworks Web Service 框架解决的核心问题 —— 严清 关于我・五年 JS,一年 Go,也玩 Rust Github 满满绿格子见证我开发生涯的一面 - 16 年底组建 Go 团队,重构后端服务体系,为此造了一些轮子,如 Gear 框架 基于 kubernetes 和 SOA,部分已上线,如 TCM 消息推送服务直接提供 HTTP/2 http package 能力强大,已是一个 web 框架 HTTP能力确实相对完整  - 即使有更复杂的需求,即插即用的包管理机制也能轻易实现 Go 的大糟点啊,学学 Rust - 第三方框架都有学习成本,踩上坑就得潜入源码求解决 其实就两三千行代码,都是精华,值得看 其实就两三千行代码,都是精华,值得看 如果你只写 Hello World 或 Todolist,或者是个人开发者、爱折腾,没问题!否则,还是使用一款框架吧! ## Web 框架要解决三个核心问题 - 定义灵活、一致的开发模式 简单易上手,支撑大规模复杂应用,支撑团队开发 - 集成简洁、完善的异常处理能力 不被 if err != nil {} 羁绊,不放过任何异常,优雅漂亮地处理错误和异常 -0 码力 | 23 页 | 333.12 KB | 2 年前3
Kubernetes 异常配置检测框架## Kubernetes 异常配置检测框架 顾静, 阿里云 邓隽, 阿里云 ## 我们来自阿里云容器服务 • 顾静,研发工程师 • 邓隽,技术专家 ## 我们参与打造 • 容器服务(ACK/ASK) • 容器镜像服务(ACR) • 服务网格(ASM) 1 Kubernetes 典型异常 2 检测框架演进 3 生产实践 4 总结 ## Kubernetes 使用日常 Kernel|仅能检测 Kernel 相关问题 要求熟悉 bpftrace 语言| 1 Kubernetes 典型异常 2 检测框架演进 3 生产实践 4 总结 ## 我们的目标 实现 Kubernetes 集群异常检测框架 支持集群多维度异常检测能力 支持集成开源检测组件 检测框架 Ver.1 自动化 ### V er.1 自动化 2. 根据策略执行检测任务  • 领域特定语言指专注于某个应用程序领域的计算机语言 目标受众为非程序员、业务员或最终客户0 码力 | 31 页 | 9.57 MB | 2 年前3
GoFrame框架介绍及设计GoFrame框架介绍及设计  郭强 成都医联科技 架构师  框架介绍 01 模块化设计 02 统一框架设计 03 代码分层设计 04 对象封装设计 05 DAO封装设计 06 未来发展规划 07 ## 第一部分 ## 框架介绍 • 框架介绍 • 框架架构 • 项目初心 ## 框架介绍  GoFrame是一款模块化、高性能、企业级的Go基础开发框架。 • 模块化、松耦合 • 模块丰富、开箱即用 • 简洁易用、快速接入 • 文档详尽、易于维护 ## 特点 • 自顶向下、体系化设计 • 统一框架、统一组件、降低选择成本 • 开发规范、设计模式、代码分层模型 • 强大便捷的开发工具链 完善的本地中文化支持 • 设计为团队及企业使用 ## 框架介绍-框架架构  ## ServiceComb项目介绍 ## • Java/Go Chassis • Java/Go 微服务框架 • 提供微0 码力 | 28 页 | 1.53 MB | 2 年前3
跨平台桌⾯应⽤框架:Electronde版本对应关系 1.7.5.2 附录 1.8 文档和教程 1.8.1 参考资料 1.8.2 ## 跨平台桌面应用框架:Electron 最新版本:v1.0 • 更新时间:20200808 ## 简介 介绍跨平台桌面应用框架Electron的基本概念、基本原理、核心优势以及额外特性;介绍了用Electron开发出的常见应用有哪些;解释了如何安装Electron;以 ectron: 跨平台桌面应用框架:Electron 如何使用此Gitbook源码去生成发布为电子书 详见:crifan/gitbook template: demo how to use crifan gitbook template and demo ## 在线浏览 跨平台桌面应用框架:Electron book.crifan.com 跨平台桌面应用框架:Electron crifan crifan.github.io ## 离线下载阅读 跨平台桌面应用框架:Electron PDF • 跨平台桌面应用框架:Electron ePub 跨平台桌面应用框架:Electron Mobi ## 版权说明 此电子书教程的全部内容,如无特别说明,均为本人原创和整理。其中部分内容参考自网络,均已备注了出处。如有发现侵犯您版权,请通过邮箱联系我 admin 艾特 crifan.com,我会尽快删除。谢谢合作。0 码力 | 123 页 | 21.81 MB | 2 年前3
基于 mesos 的容器调度框架# 基于 mesos 的容器调度框架 Gopher 杭州 meetup 5 August 2017 黄励博(huangnau) 又拍云 ## What's Upone UPONE ## demandporn 10 repo.upyun.com:5043/demandpom:v0.0.17 CPU: 1.0 MEM: 2560.0M Disk: 0.0G Net: BRIDGE jpg) 各个 Agent 启动后, 向 Master 注册, 携带统计资源, 由 Master 决定给每个框架多少资源, 默认采用分级主导资源公平算法 每个框架收到资源后, 根据自身任务需求, 调度任务的资源分配 ## MARATHON + CHR + ? 为云处理服务定制的容器调度框架,支持长期服务和定时任务 ## 处理流程 












