-
![SkyEye卫星篇-国的加强“芯”]()
SkyEye卫星篇-国的加强“芯”
近年来，卫星产业发展迅猛，数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据，“数字卫星”成为当下主流趋势。
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![二进制文件符号信息]()
二进制文件符号信息
在日常的开发工作中，程序员经常使用gdb工具来调试二进制编译文件，以定位和解决一些bug。但同时，很少会有人关注二进制文件中的调试信息从何而来，又是怎么保存和解读的呢？
2023-05-15 digiproto
-
![关于嵌入式可执行程序，你了解多少？]()
关于嵌入式可执行程序，你了解多少？
嵌入式系统由硬件系统和软件系统组成，因此为了使整个嵌入式系统运行起来，必须有相应的程序，我们一般所说的程序，实际上就是存储在硬件设备中的一些可执行代码。可执行代码包括嵌入式操作系统和应用软件。
2023-05-15 digiproto
-
![Linux进程间通信]()
Linux进程间通信
Linux环境下，进程地址空间相互独立，每个进程各自有不同的用户地址空间。任何一个进程的全局变量在另一个进程中都看不到，所以进程和进程之间不能相互访问，要交换数据必须通过内核，在内核中开辟一块缓冲区，进程1把数据从用户空间拷到内核缓冲区，进程2再从内核缓冲区把数据读走，内核提供的这种机制称为进程间通信（IPC，Inter-Process Communication）。
2023-05-15 digiproto
-
![关于Cortex-M3处理器内核中断异常处理机制你了解多少？]()
关于Cortex-M3处理器内核中断异常处理机制你了解多少？
Cortex-M3处理器内核是ARM公司设计的Cortex-M系列的一款经典处理器内核，基于32位ARMv7内核架构，采用Thumb-2指令集，完全没有使用ARM指令集，即不能执行ARM指令。Thumb-2是16位Thumb 指令集的一个超集，在Thumb-2中，16位指令首次与32位指令并存。Cortex-M3处理器的特点包括：性能强劲、功耗低、实时性好、代码密度得到很大改善、低成本的整体解决方案。
2023-05-15 digiproto
-
![你真的了解虚拟机吗？]()
你真的了解虚拟机吗？
近年来，随着科技的发展，计算机在各行各业的应用越来越广泛，所扮演角色也越来越重要。小到超市收银系统，大到飞机导弹都有计算机的影子。正是因为这些广泛的应用推动了计算机体系的迅猛发展，为了满足各种需求，
2023-05-15 digiproto
-
![VxWorks任务调度]()
VxWorks任务调度
大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
