## RUST CHINA CONF 2023 第三届中国 Rust 开发者大会 6.17-6.18 @Shanghai ## 使用硬件加速 Tokio 演讲人：Loong.Dai, Cathy.Lu ## 😍 ## 自我介绍  Loong Dai • Intel 云原生工程师 • 微软 MVP • Dapr、Thanos、Golangci-lint 的 Maintainer - 现在主要专注于服务网格领域，探索云原生软硬件结合新范式 • Github ID: daixiang0 ![Image](/uploads/documents/d/a/a/6/daa6b955a7e7614d8e8dde4ebcdf0f5c/p3_2

/c/7/6/e/c76eff622e932613a71a13e9f0c1b076/p1_2.jpg) ## MicroPython与硬件开发 黄盈樟 ## 个人简介 资深嵌入式开发工程师，近几年的工作领域为开源无人机系统应用、物联网全系统应用，擅长语言是C/C++/Python，曾于国内多个重点大学开展无人机应用项目，在国内多所二本院校担任物联网专业的课程讲师。  目录 CONTENTS >> 硬件发展史与开发语言 >> MicroPython发展史 >> MicroPython实例 >> 物联网全栈开发  ## 1 硬件发展史与开发语言 根据摩尔定律的发展，硬件的性能越来越好，随之对开发语言的要求也越高。 ## 电子管时代 ![Image](/uploads/documents/c/7/6/e/c76eff622e932613a71a13e9f0c1b076/p5_2

工程师关心的问题 ➢ Python 语言：易学易读易用、可扩展性、可移植性等。 ➢ Python 开发工具：库丰富、效率高、调试方便 ➢ Python 的应用：人工智能、数据分析等 ➢ Python 的生态环境：软件平台、硬件平台、方案合作伙伴等 ➢ 用 Python 如何开发嵌入式产品？如何实现 算法硬件加速？ 之前基于python开发的工程师很少接触嵌入式环境，接触硬件 ➢ 本次题目的主要内容 本次题目的主要内容 Python <- tools -> FPGA ➢ 算法硬件加速：用FPGA的逻辑硬件实现算法加速 ➢ 算法如何在FPGA中实现？如何用“与或非”门电路去写算法？ ➢ 目前哪些 Xilinx FPGA 的开发工具支持 python 语言？ ➢ 目前Xilinx 工具支持python 的主要应用领域 ![Image](/uploads/documents/e/3/3/4/e x86 新的嵌入式计算平台：MCU，DSP，FPGA，GPU、ASSP等 ➢ 嵌入式计算： 嵌入式系统是以应用为中心，以计算机技术为基础，软硬件可裁剪，适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的专用计算机系统，它一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序等四个部分组成。 ➢ 嵌入式系统促使计算机的形态和性能更加小型化,多功能,低功耗. 加速计算： ➢

工程师关心的问题 ➢ Python 语言：易学易读易用、可扩展性、可移植性等。 ➢ Python 开发工具：库丰富、效率高、调试方便 ➢ Python 的应用：人工智能、数据分析等 Python 的生态环境：软件平台、硬件平台、方案合作伙伴等 ➢ 用 Python 如何开发嵌入式产品？如何实现 算法硬件加速？ 之前基于python开发的工程师很少接触嵌入式环境，接触硬件 ➢ 本次题目的主要内容 ➢ Python <- tools -> FPGA ➢ 算法硬件加速：用FPGA的逻辑硬件实现算法加速 ➢ 算法如何在FPGA中实现？如何用“与或非”门电路去写算法？ 目前哪些 Xilinx FPGA 的开发工具支持 python 语言？ ➢ 目前Xilinx 工具支持python 的主要应用领域 ![Image](/uploads/documents/d/c/8/8/dc x86 新的嵌入式计算平台：MCU，DSP，FPGA，GPU、ASSP等 ➢ 嵌入式计算： 嵌入式系统是以应用为中心，以计算机技术为基础，软硬件可裁剪，适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的专用计算机系统，它一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序等四个部分组成。 ➢ 嵌入式系统促使计算机的形态和性能更加小型化,多功能,低功耗. ## 加速计算：

## FFmpeg在Intel GPU上的硬件加速与优化 赵军 DCG/NPG @ Intel ## 介绍FFmpeg VAAPI • Media pipeline review • 何谓FFmpeg VAAPI • 为什么我们需要FFmpeg VAAPI • 当前状态 • 更进一步的计划 · 附录 ## 典型的 media pipeline SOURCE libavformat acceleration) MPEG-2, MPEG-4 on VIA Unichrome ## • Xv/XvMC 的限制 - 不支持解码所有阶段的硬件加速 - 依赖于X-protocol协议（转码时候，你需要Xwindow吗？） - 不支持硬件编码加速 ## Linux Video API 续 一 ## • 何谓VA-API(Video Acceleration API ) • An license • It opens and registers a backend https://github.com/01org/libva ## • 依赖于后端驱动，可以提供Video硬件加速 • 解码 • 编码 • 图像后处理 ## 可用的后端驱动 • Intel VA(i965) driver for Intel chip-sets • Intel hybrid driver

## RUST CHINA CONF 2023 第三届中国Rust开发者大会 6.17-6.18 @Shanghai ## 硬件创业公司的Rust应用和转型 演讲人：陈昱衡 鹿仔科技联合创始人 CTO ## 公司介绍 # 鹿仔科技 DEER TECHNOLOGY 鹿仔科技(重庆)有限公司于2021年8月10日由香港科技大学李泽湘教授体系Xbotpark旗下重庆明月湖国际智能产业科创基地投 底部图层按键/滚轮 触发 图片切换时直接改图片地址导致卡顿 数据无法正常渲染 图表无支持，列表表格等支持弱 ## S 轻量化 跨平台 优势 界面逻辑分离 生态 社区 轻量化，高效率 多平台多语言支持 团队未来愿景 类QML的语法 Cargo 社区   从硬件到SOC软核到IDE全自研且开源的RISCV学习套件 ![Image](/uploads/documents/3/f/c/2/3fc274b50f5aed3c9d504fd2c27ae922/p20_4

OpenShift Container Platform 4.12 ## 专用硬件和驱动程序启用 了解 OpenShift Container Platform 中的硬件启用 Powered by TCPDF (www.tcpdf.org) 了解 OpenShift Container Platform 中的硬件启用 ## 法律通告 Copyright $ ^{©} $ 2024 Red Hat are the property of their respective owners. ## 摘要 本文档概述 OpenShift Container Platform 中的硬件启用。 ## 目录 第1章 关于专用硬件和驱动程序启用 ..... 3 第2章 驱动程序工具包 ..... 4 2.1. 关于驱动程序工具包 ..... 4 2.2. 拉取 DRIVER TOOLKIT 容器镜像 40 4.10. KMM 固件支持 ..... 40 4.11. KMM 故障排除 ..... 42 4.12. KMM HUB 和 SPOKE ..... 46 ## 第1章 关于专用硬件和驱动程序启用 Driver Toolkit (DTK) 是 OpenShift Container Platform 有效负载中的一个容器镜像，旨在用作构建驱动程序容器的基础镜像。Driver Toolkit

OpenShift Container Platform 4.10 ## 专用硬件和驱动程序启用 了解 OpenShift Container Platform 中的硬件启用 Powered by TCPDF (www.tcpdf.org) 了解 OpenShift Container Platform 中的硬件启用 ## 法律通告 Copyright $ \copyright $ 2023 are the property of their respective owners. ## 摘要 本文档概述 OpenShift Container Platform 中的硬件启用。 ## 目录 第1章 关于专用硬件和驱动程序启用 ..... 3 第2章 驱动程序工具包 ..... 4 2.1. 关于驱动程序工具包 ..... 4 2.2. 拉取 DRIVER TOOLKIT 容器镜像 FEATURE DISCOVERY OPERATOR ..... 24 4.5. 使用 NFD TOPOLOGY UPDATER ..... 29 ## 第1章 关于专用硬件和驱动程序启用 许多应用程序需要依赖于内核模块或驱动程序的专用硬件或软件。您可以使用驱动程序容器在 Red Hat Enterprise Linux CoreOS (RHCOS) 节点上载入树外内核模块。要在集群安装过程中部署树外驱动程序，请使用

# 飞 Idris 语言文档 Version 1.3.1 ## Contents 1 Idris 教程 2 常见问题解答 (FAQ) 3 用 Idris 实现带有状态的系统：ST 教程 4 The Effects Tutorial 5 Theorem Proving 6 Language Reference 7 Tutorials on the Idris Language mmons.org/publicdomain/zero/1.0/deed.zh Idris 教程 本文档为 Idris 的教程，它简单介绍了如何用 Idris 语言编程。文档中覆盖了该语言的核心特性，并假定你至少熟悉一门函数式编程语言，如 Haskell 或 OCaml。 注解：Idris 文档已按照 创作共用 CC0 许可协议 发布。因此根据法律规定，Idris 社区 已放弃对 Idris 文档的所有版权以及相关或邻接的权利。 文档的所有版权以及相关或邻接的权利。 关于 CC0 的更多信息参见：https://creativecommons.org/publicdomain/zero/1.0/deed.zh ### 1.1 引言 在传统编程语言中，类型与值之间有明确的区分。例如在 Haskell 中，下面这些类型分别表示整数、字符、字符列表以及任意值的列表： • Int, Char, [Char], [a] 与此对应，下面这些值分别为上述类型的成员：

## Go语言基础 Golang Fundaments 中山大学 数据科学与计算学院 潘茂林 panml@mail.sysu.edu.cn ## 大纲 • Golang-设计哲学 • 基础知识学习 • Go语言的入门资源 • 本地项目工作空间组织 • 开始编程 ## Golang-设计哲学 ## 我们需要什么样的语言 曾经 我们对包含大量代码的程序印象深刻。 - 我们努力在代码库中创建大型抽象。 我们努力在代码库中创建大型抽象。 - 我们忘记了硬件就是平台。 - 我们失去了对每一个决定都要付出代价的理解。 这些日子一去不复返了 - 我们可以用更多的硬件来解决这个问题。 - 我们可以让更多的开发人员来解决这个问题。 有趣的问题——它们对你意味着什么？ - 这是一个好的程序吗? - 这是一个有效的程序吗? - 是正确的吗? - 按时完成了吗? - 花了成本（时间、空间复杂度）？ 花了成本（时间、空间复杂度）？ 渴望成为质量、效率和简单的冠军。 • 有自己的观点。 • 重视反省和自我检讨。 ## Go语言应该是这样的 · 易于阅读代码 - 对遗存软件友好 • 心智模型 • 生产率与性能 • 正确性与性能 • 规则 • 方便代码评审 - 完整性 - 可读性 - 简单性 - 性能 - 微优化 ## Golang-设计哲学 面向数据的设计（Data-Oriented Design）