dyoh5gizhz90的文章_电子工程师 - 电子技术论坛

dyoh5gizhz90

经验：积分：4

查看完整档案 >>

+关注发私信

他的文章发文章

SPARK 语言取代C语言是否可行？
2022-11-9 11:16

SPARK 是一种编程语言和一组验证工具，旨在满足高保证软件开发的需求。SPARK 基于 Ada 语言，它既对 ada 语言进行子集化以删除无法验证的功能，又扩展了合约和方面的系统，进一步支持模块化、形式化验证。...

0

527次阅读

0条评论
基于Linux的嵌套监控程序（Hyper-V）或嵌套虚拟化
2022-11-8 11:27

Hyper-V 是 Microsoft 的硬件虚拟化产品。它允许你创建和运行一个称为虚拟机的计算机的软件版本。每个虚拟机都充当运行操作系统和程序的完整计算机。...

0

556次阅读

0条评论
深入分析eBPF加速容器网络转发的原理
2022-11-4 09:57

在 Node、Pod 网络 namespace 中，分别设置静态路由；其中，Pod 中静态路由网关为 br0，Node 中静态路由网关为对端 Node 接口地址。...

1

1069次阅读

0条评论
Go语言躲坑经验总结
2022-11-4 09:33

本文收集一些使用Go开发过程中非常容易踩坑的case，所有的case都有具体的代码示例，以及针对的代码修复方法，以避免大家再次踩坑。通常这些坑的特点就是代码正常能编译，但运行结果不及预期或是引入内存漏洞的风险。全文...

0

450次阅读

0条评论
深入理解函数式编程的基础概念和特性
2022-11-2 11:48

在λ演算中我们的表达式只有一个参数，那它怎么实现两个数字的二元操作呢？比如加法a + b，需要两个参数。...

0

741次阅读

0条评论
嵌入式技术：常见的分布式事务常见场景
2022-10-28 10:12

事务表：记录每次同步方法执行的状态，包括：1 - 进行中（同步方法执行开始）、2 - 已完成（同步方法执行成功）、3 - 失败（同步方法执行失败）、4 - 已回滚（回滚方法执行成功）...

0

624次阅读

0条评论
关于开源Linux操作系统的veLinux深度解读
2022-10-28 10:05

veLinux 在整体设计上，兼容 x86 和 ARM 生态，同时兼容国内用户的使用习惯，并对多种硬件设备进行了适配和优化，同时针对火山引擎基础设施进行了深度优化。...

0

920次阅读

0条评论
国产20款开源操作系统介绍
2022-10-19 14:47

深度操作系统（deepin）包含深度桌面环境（Deepin Desktop Environment）和近 30 款深度原创精品应用，及数款来自开源社区的应用软件，广泛用于支撑用户日常的学习和工作。...

0

5295次阅读

0条评论