如何使用g++生成确定性二进制输出？
我在一个非常受监管的环境中工作，在这里我们需要能够根据同一份源代码每次构建产品时生成完全相同的二进制输入。目前我们使用的是一个古老版本的g++，已经被修补程序修改，以便在结果二进制文件中不写入日期/时间之类的任何东西，以免从构建到构建发生变化，但我想更新到g++ 4.7.2。有人知道是否有相应...
为什么并发Haskell是非确定性的，而并行Haskell原语（par和pseq）是确定性的？
在Haskell的并发和并行上下文中不太理解“决定论”，一些示例会很有帮助。谢谢。
有哪些确定性垃圾回收算法？
通过"确定性"，我指的是可以用于类似航空航天飞行软件等关键实时软件。垃圾回收器（以及动态内存分配）被认为是不确定的，在飞行软件中是绝对禁止的。然而，我知道目前有研究在进行这方面的探索，所以想知道这个问题是否已经解决。 我也想问一下任何对使用方式有限制的垃圾回收算法。
PyTorch中的可重复性和性能
文档中提到: 确定性模式可能会对您的模型产生性能影响，具体取决于您的模型。 我的问题是，这里的性能是什么意思。是处理速度还是模型质量（即最小损失）？换句话说，通过设置手动种子使模型呈确定性方式运行，是否会导致较长的训练时间直到找到最小损失，或者这种最小损失比非确定性模型更差？ 为...
C（或任何语言）编译器如何保证确定性能？
在最近的一个项目中，我被一位客户QA代表拜访了，他问了我一个我之前从未考虑过的问题： “你如何知道你使用的编译器生成的机器代码完全符合C语言代码的功能，并且编译器是完全确定性的？” 对于这个问题，我完全没有回答，因为我一直认为编译器是理所当然的。它接受代码并输出机器代码。我怎么能测试编译器...
在Prolog中，“semidet”的概念是否已经确定？
作为一个Prolog新手，我发现在2012年底发生了一个非常有趣的讨论。 当时我注意到，在Prolog社区中有两种“semidet”的概念，分别是： 最多只成功一次的计算。 成功后不留下选择点的计算。 显然第二个概念意味着第一个，但反之则不然。 阅读这个帖子，我明白了第一个概念是Neume...
嵌入式系统中使用STL且内存非常有限的问题
我目前正在构建一个嵌入式系统，使用 ARM Cortex M3 处理器和 64 KB SRAM。目前，我正在寻找一种方法来确保 STL 容器的确定性能，其中包括确保在运行时不会耗尽内存。 我主要关注 STL 容器如何执行动态内存分配。虽然我可以使用自定义分配器使这些结构从我设置的池中获取内存...
Java中的确定性RSA加密
这是我在本站上的第一个问题，我只有基本的RSA数学理解，请多包涵！ :) 我正在为我的大学毕业项目编写Java Web应用程序。它是“Pret-a-voter”的网络实现，是一种安全投票系统，对于那些听说过的人来说。 我的问题在于，我想让扮演审计员角色的人表现出： 一个源字节数组（要加密的明...
Java 8流的确定性
动机 我刚刚重新编写了大约30个大多数是琐碎的解析器，我需要新版本与旧版本完全相同。因此，我存储了它们的示例输入文件和旧解析器生成输出的一些标识，以便与新解析器进行比较。这个标识包含成功解析项的计数，某些哈希代码的总和和最多10个伪随机选择的项。 我认为这是个好主意，因为哈希代码总和的相等...
非确定性的来源
我的本应该是确定性程序在不同运行时会产生几个略有不同的输出。输入、编译器和计算机都没有改变。我不确定哪个输出是正确的，因为它们总是看起来合理。 除了偶然调用rand()函数之外，还可能出现什么问题呢？