FPU与VFP最全面解释

本文希望能将FPU以及ARM中的FPU介绍清楚。

1. FPU(Floating-Point Unit)

浮点运算单元是处理器内部用于执行浮点数计算的逻辑部件,或者说硬件电路。不是所有的处理器都有该功能。浮点运算满足IEEE 754的标准,所谓IEEE 754标准,定义了浮点数字的存储和计算方式、计算异常等,比如IEEE 754标准准确地定义了单精度(32位)和双精度(64位)浮点格式。
对于含有FPU的处理器,我们可以通过控制编译选项的方式使编译器编译出的代码使用FPU指令。

2. -mfloat-abi=name来指定浮点运算处理方式

gcc为例,对应的-mfloat-abi参数值有三个:soft,softfp,hard。

  1. soft是指所有浮点运算全部在软件层实现,比如ARM提供了一个「浮点支持软件库」用于计算浮点数:fplib。使用软件的方式来计算浮点最终是通过执行了很多的指令来完成一次运算,不仅慢而且程序体积大。fplib提供的 API 以__aeabi开头,比如:__aeabi_fadd:计算两个float型浮点数加法(float占4个字节,32位)
  2. softfp是指浮点运算的实际计算是在FPU上来做,但是传递浮点运算的参数是用整形的通用寄存器(r0-r3)来传递的。比如float fadd(float a, float b),a和b实际上是通过r0,r1传入到被调函数的,结果也是通过r0传出的。
  3. hard与softfp的区别是不仅运算实际发生在FPU上,浮点参数的传递使用的也是浮点专用寄存器。以上同样的例子,a和b是通过s0, s1寄存器来传的,结果是通过s0传出的。softfp和hard两种模式不兼容,所以你不能将一个使用softfp方式的库和另外一个使用hard的库或目标文件链接起来。因为如此,armv7有些编译好的库(比如glibc使用softfp)没法在使用另一种使用hard的应用中编译。
    在这里插入图片描述

使用软件库编译出的代码实例:
在这里插入图片描述
使用hard编译出的使用FPU的代码实例:
在这里插入图片描述

3. -mfpu=name来指定浮点协处理的类型

在ARM中的FPU被称为VFP(Vector Floating Point),即向量浮点运算,之所以称为“向量”浮点是因为在ARMv6及以前这个扩展不只是用于增加浮点数计算处理,同时也用于类似向量的SIMD浮点数计算处理。在ARMv7架构中,这种使用VFP来处理向量浮点数据的方式不建议采用,相关的功能可以使用“先进SIMD扩展”来替代。而vfp经过几代的发展和完善,出现了vfpv3, vfpv4, fpv5等多个版本,每个版本又可以配置为不同的使用方式,所以,这个-mfpu参数就是指定所采用的vfp硬件。
在文档《Arm Compiler for Embedded Reference Guide》中列举了可以使用的值,可选类型如none, softvfp,vfpv3,vfpv3-d16,vfpv3-d16-fp16,vfpv3xd, neon, vfpv4,fpv4-sp-d16,fpv5-d16,fpv5-sp-d16等。简单从文档中摘出几个:

  • none, softvfp: Use either -mfpu=none or -mfpu=softvfp to prevent the compiler from using hardware-based floating-point functions. If the compiler encounters floating-point types in the source code, it uses software-based floating-point library functions. This option is similar to the -mfloatabi=soft option.
  • vfpv3: Enable the Armv7 VFPv3 Floating-point Extension. Disable the Advanced SIMD extension.
  • vfpv3-d16: Enable the Armv7 VFPv3-D16 Floating-point Extension. Disable the Advanced SIMD extension.
  • vfpv3-fp16: Enable the Armv7 VFPv3 Floating-point Extension, including the optional half-precision extensions. Disable the Advanced SIMD extension.
  • vfpv4:Enable the Armv7 VFPv4 Floating-point Extension. Disable the Advanced SIMD extension.
  • neon-vfpv4:Enable the Armv7 VFPv4 Floating-point Extension and the Advanced SIMD extension.
  • fpv5-sp-d16: Enable the Armv7 FPv5-SP-D16 Floating-point Extension for single precision only.

如果你对d16之类的后缀感兴趣,下面这张浮点寄存器表可能解答你的疑惑,其中D代表double,64bit寄存器,sp表示single precision, 表示只允许32位单精度浮点计算:
在这里插入图片描述
还有个小问题就是vfpv3, vfpv4, vfpv5之间有什么区别呢?从维基百科ARM architecture family 4.10章节中摘录如下:https://en.wikipedia.org/wiki/ARM_architecture_family#Floating-point_(VFP)

  • VFPv1
    Obsolete
  • VFPv2
    An optional extension to the ARM instruction set in the ARMv5TE, ARMv5TEJ and ARMv6 architectures. VFPv2 has 16 64-bit FPU registers.
  • VFPv3 or VFPv3-D32
    Implemented on most Cortex-A8 and A9 ARMv7 processors. It is backward-compatible with VFPv2, except that it cannot trap floating-point exceptions. VFPv3 has 32 64-bit FPU registers as standard, adds VCVT instructions to convert between scalar, float and double, adds immediate mode to VMOV such that constants can be loaded into FPU registers.
  • VFPv3-D16
    As above, but with only 16 64-bit FPU registers. Implemented on Cortex-R4 and R5 processors and the Tegra 2 (Cortex-A9).
  • VFPv3-F16
    Uncommon; it supports IEEE754-2008 half-precision (16-bit) floating point as a storage format.
  • VFPv4 or VFPv4-D32
    Implemented on Cortex-A12 and A15 ARMv7 processors, Cortex-A7 optionally has VFPv4-D32 in the case of an FPU with Neon. VFPv4 has 32 64-bit FPU registers as standard, adds both half-precision support as a storage format and fused multiply-accumulate instructions to the features of VFPv3. 相比v3增加了半精度和乘加指令的支持。
  • VFPv4-D16
    As above, but it has only 16 64-bit FPU registers. Implemented on Cortex-A5 and A7 processors in the case of an FPU without Neon.
  • VFPv5-D16-M
    Implemented on Cortex-M7 when single and double-precision floating-point core option exists. 单双精度可以选择。

此外,关于VFP架构和功能上的一些解释可以参考:《ARM Compiler armasm User Guide Version 5.06》 VFP Programming一节,写得比较清楚: https://developer.arm.com/documentation/dui0473/m/vfp-programming/architecture-support-for-vfp

4. NEON和VFP

在上面的一些介绍中,可以看到NEON经常和VFP一起出现,ARM中的NEON即SIMD(单指令多数据)技术,是一种真正的向量化运算方式,他们之所以耦合在一起是因为他们公用浮点寄存器。
在这里插入图片描述在这里插入图片描述
这里插一句题外话,如果想入门ARM SIMD编程,【张先轶】SIMD向量化编程入门——https://www.bilibili.com/video/BV1KZ4y1Y7VH/?spm_id_from=333.337.search-card.all.click&vd_source=d9ead405209236cb507b6c90c75777f9 这个课程可以借鉴。

以下是NEON与VFP的几点异同。

  1. ARM架构中支持 没有NEON和VFP, 只有VFP,NEON和VFP都有 三种配置,不支持只有NEON的配置。
  2. NEON使用32个双精度浮点寄存器,即32D,因此如果一些VFP配置D16则就无法使用NEON了。
  3. NEON不支持双精度浮点的计算,也不支持如square root和divide等一些比较复杂的浮点运算。
5. 编译工具中配置FPU

在上述2和3中描述了如何配置编译选项能够让编译器编译出来使用FPU指令的代码,那对于没有makefile的GUI用户如何设置呢?
MDK:
在这里插入图片描述
IAR:
在这里插入图片描述
ARM Cortex - M4内核中将 FPU 作为协处理器设计的,所以通过设置协处理器访问控制(CPACR,Co-processor access control register)来控制是否使能FPU。在这些工具软件中使能FPU后,编译器会设置宏定义__FPU_USED == 1,该配置将在代码中启用FPU硬件。

#if (__FPU_PRESENT == 1) && (__FPU_USED == 1)
 SCB->CPACR |= ((3UL << 10*2)|(3UL << 11*2));  /* set CP10 and CP11 Full Access */
#endif
参考:
  1. ARM技术杂谈:何谓FPU、VFP、ASE、NEON、MPE、SVE、SME以及MVE —— https://www.eefocus.com/article/521046.html
  2. Armv8上不弃不离的NEON/FPU —— https://www.jianshu.com/p/a19cc2ca59da
  3. ARM FPU 加速浮点计算 介绍 —— https://blog.csdn.net/u014436243/article/details/122078377
  4. ARM Cortex-A Series Programmer’s Guide for ARMv7-A —— https://developer.arm.com/documentation/den0013/d/Introducing-NEON/NEON-architecture-overview/Commonality-with-VFP
  5. ARM Cortex-M7 Processor Technical Reference Manual r0p2:About the FPU —— https://developer.arm.com/documentation/ddi0489/b/floating-point-unit/about-the-fpu
  6. IEEE 754浮点数标准详解 —— http://c.biancheng.net/view/314.html
  7. arm浮点运算 —— http://t.zoukankan.com/-9-8-p-9254964.html
内容概要:本文档详细介绍了PlatforMax单机版5.0.1-rc6版本的完整安装流程,涵盖硬件、操作系统、硬盘、网络等前置环境要求,并提供了Ubuntu 20.04.3 DesktopServer两种系统的安装步骤。重点强调系统需全新安装、禁用自动更新、正确设置磁盘分区以充分利用全部空间,以及创建指定用户名“amax”。随后指导用户通过运行离线安装包完成PlatforMax的部署,包括校验、解压、输入安装码、驱动Docker配置等环节。安装完成后需通过浏览器访问初始化页面完成终配置。文档还列举了常见问题及应对措施,特别是NVIDIA驱动不兼容时的处理方式,允许用户手动提供驱动或跳过安装以确保主程序顺利部署。; 适合人群:具备Linux系统操作基础,从事AI平台运维、系统集成或技术支持的相关技术人员,尤其适用于负责本地化部署高性能计算平台的工程师。; 使用场景及目标:①为满足AI训练推理需求的企业级用户提供PlatforMax平台的本地单机部署方案;②指导技术人员完成从系统准备到平台上线的全流程安装,确保环境合规、数据安全和系统稳定运行;③解决新GPU驱动兼容性等问题,保障平台可扩展性和实用性。; 阅读建议:在实际操作前通读全文,重点关注硬件配置、磁盘管理、用户命名规则及驱动处理策略,建议在测试环境中先行演练,避免因误操作导致数据丢失或安装失败。
内容概要:本文提出了一种面向光储充社区的电动汽车有序充电双层优化模型,旨在通过Matlab代码实现对光伏发电、储能系统电动汽车充电行为之间的协同优化。该模型采用双层架构,上层以降低社区综合用电成本为目标,综合优化光伏出力储能调度;下层则结合用户充电需求动态电价机制,实现电动汽车充电的有序管理,有效达成削峰填谷、提高可再生能源消纳率电网运行效率的目的。文中详细阐述了模型的数学建模过程,包括目标函数多重约束条件的设计,并配套提供了完整的Matlab仿真代码,便于读者复现结果、开展拓展研究实际工程应用。; 适合人群:具备一定电力系统基础知识、优化理论背景及Matlab编程能力的研究生、科研人员,以及从事新能源发电、智能电网、电动汽车综合能源系统等领域的工程技术人员。; 使用场景及目标:①研究光储充一体化系统的协同能量管理优化调度策略;②探索电动汽车参需求侧响应的有序充电调控方法;③学习并掌握双层优化模型在综合能源系统中的建模思路、求解流程算法实现;④获取可用于学术论文复现、课程设计或实际项目开发的高质量Matlab代码参考。; 阅读建议:建议读者结合模型理论描述Matlab代码进行对照学习,重点理解上下层优化问题的耦合关系、约束条件的物理意义及其代码实现方式,可通过调整负荷参数、光伏出力曲线或电价策略等方式进行仿真实验,深入探究模型的适应性优化性能。
内容概要:本文系统研究了基于卡尔曼滤波的二维轨迹跟踪方法,重点在于利用Matlab实现卡尔曼滤波算法对目标在二维平面内的运动轨迹进行高精度估计预测。文中深入阐述了卡尔曼滤波的核心原理,包括状态方程观测方程的构建、协方差矩阵的更新机制以及滤波过程中的预测-校正循环,突出其在抑制测量噪声、提升轨迹平滑性方面的优势。通过设计合理的系统动力学模型和观测模型,实现了对含噪轨迹数据的有效滤波未来状态预测,并进一步探讨了不同噪声强度下滤波器的鲁棒性性能表现,验证了该方法在复杂干扰环境下仍能保持良好跟踪精度的能力。; 适合人群:具备信号处理、控制理论或状态估计基础知识,熟悉Matlab编程环境,从事自动化、电子信息、航空航天、机器人导航或相关领域的科研人员、工程师及研究生。; 使用场景及目标:① 掌握卡尔曼滤波在二维目标跟踪中的建模实现流程;② 学习如何在Matlab中编写并调试卡尔曼滤波算法;③ 理解过程噪声观测噪声对滤波效果的影响机制,并通过仿真实验优化参数配置以提升跟踪性能; 阅读建议:建议读者首先回顾卡尔曼滤波的基本理论,结合文中的Matlab代码逐模块分析算法实现细节,尝试调整系统参数(如噪声协方差)并观察滤波结果变化,从而深化对滤波器动态响应收敛特性的理解。
内容概要:本文系统研究了风光火储多源协同参电网一次调频二次自动发电控制(AGC)的联合调控策略,依托Matlab/Simulink平台构建包含风能、光伏、火电及储能系统的多能源协同仿真模型。研究重点在于设计高效协调的控制机制,使各类电源在电网频率发生波动时能够快速响应并协同调节,提升系统频率稳定性动态响应性能。通过引入构网型控制、虚拟同步机(VSG)、下垂控制等先进控制技术,实现了对一次调频的瞬时功率支撑二次AGC的精确频率恢复控制,并在电磁暂态层面完成仿真验证,有效复现了高水平学术论文中的核心成果,兼具理论深度工程实践价值。; 适合人群:电力系统、新能源并网、智能电网控制等领域的研究生、科研人员及从事电力系统仿真运行控制的工程技术人员,需具备Matlab/Simulink建模能力及电力系统动态分析基础。; 使用场景及目标:① 分析多源电力系统在负荷扰动下的频率响应特性;② 掌握风光火储协同调频的控制逻辑系统建模方法;③ 复现博士论文或SCI期刊级别的研究成果,支撑科研课题、学位论文撰写工程项目开发。; 其他说明:该资源提供完整的Matlab代码Simulink仿真模型,可通过指定公众号或网盘链接获取,建议结合理论学习仿真实验,深入掌握多源协同控制策略的设计优化方法。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值