版主，关于多线程下的浮点库使用（比如sprintf格式化浮点输出）！
版主，对于多线程下浮点库的使用论坛上有很多讨论，比如UCOS下sprintf格式化浮点时数据不对等，其解决的办法都是堆栈8字节对齐。却没有人给出根本的原因。还有有些atan2等函数有时在多任务下也有问题。
对于sprintf格式化浮点要求任务堆栈8字节对齐有些不解，堆栈的8字节对齐和调用此函数表面上好像没有直接的联系，就算任务的堆栈是8字节对齐的可调用sprintf
时的堆栈未必也是8字节对齐的。但是事实上大多数人确实通过任务8字节对齐解决了sprintf格式化浮点输出的问题，包括我在内！但至今不明白其中的原因！
望版主和各位高手能给出答案！ 如果我没有猜错，你说的是arm系列的cpu，该cpu的ldrd和strd指令需要8字节对齐的操作数，否则会出错。
正常的函数调用中，只要你栈顶是8字节对齐的，则调用函数时，编译器自动回完成栈的8字节对齐。
但是浮点库往往用异常调用来实现，此时如果栈不是8字节对齐的，编译器就不管了，可能造成出错。
djyos代码中对此是做了处理的，在异常向量入口处就有这样一句：
push {r0,lr} ;r0只是为了满足栈指针8字节对齐的填充物
该函数实际上并不需要在栈中保护r0，但只执行 push{lr}的话，栈就不是8字节对齐了。
因此，相信在djyos中，浮点库是不会出问题的。 版主说的对，是CORTEM-M3系列的。
不过还有点不明白，就算8字节堆栈对齐的函数调用，对内部使用像ldrd和strd指令需要8字节对齐的操作数又有什么作用呢？
浮点库往往用异常调用来实现？如何理解使用异常调用实现浮点库函数！或者说为何要使用异常调用来实现浮点函数库！这样
做有什么优势吗？ 用异常来实现浮点库只是浮点库的一种实现方法之一，并不一定是这样。
局部变量是以栈顶为基地址编排的，只有栈顶保持8字节对齐，编译器才能却白ldrd和strd指令操作局部变量时，该变量地址是8字节对齐的。 非常感谢问题决解了，不过对于浮点库使用异常来做持怀疑态度！
因为对于开发者来说，mcu的所有中断一般是由用户来做管理的，
编译器如何能够绕过用户程序？ 用异常实现浮点库的说法，确实有些不准确，准确地说，是用异常实现浮点指令仿真。
有些拥有专用编译器的操作系统，可以采用这个方法。
有些种类的cpu，可能A型号具有浮点指令，而B则没有，其他则相同。使用异常来仿真浮点指令的话，可以保持A和B程序的二进制级兼容。 记得要给编译器传个参数，编译软件浮点库吧，为什么还需要异常呢，效率不就下降了?
页:
[1]