从右到左的可计算性

2024-10-05

这篇文章探讨了“从右到左的可计算性”概念,即一个函数的每个输出位是否仅取决于输入操作数中相同位置及右侧的位。文章首先论述了所有从右到左可计算的函数都可以用基本逻辑运算和移位操作来实现。接着,文章指出像右移这样的操作不满足从右到左的可计算性,因此无法仅通过这些基本操作实现。文章还探讨了一个假设的无限位机器,并分析了在该机器上实现各种操作的可行性,例如常数加载、向量逻辑运算和分支操作等。

阅读更多
23
未分类 逻辑运算

一个编译器错误

2024-10-05

本文讲述了作者在十年前发现的一个编译器错误。为了解决硬件定时器异步读取可能出现的竞争条件,作者编写了一个循环读取定时器直到两次读数相同的函数。但在升级到新版编译器后,编译器优化了代码,导致在极少数情况下会出现死循环。最终,作者找到了问题所在,并联系编译器供应商解决了该错误。

阅读更多
20
未分类