众所周知，计算机科学世界中有许多经典的故事，其中”Reflections on Trusting Trust”是其中之一。以跑编译器为题，让我们一起探索这个神奇而令人着迷的遗留问题。
跑编译器是编译器中的一种特殊类型，它能够通篇基于自己进行逆向反编译，并在被编译的源代码中植入恶意代码。这意味着，无论你如何仔细审查代码，并进行重复编译，跑编译器总能在每次编译过程中生成一个新的有害程序。这真是一个令人眼花缭乱的想法，但也是对我们信任编译器的一次警示。
Ken Thompson在他的那篇经典论文中提到了这个问题。他首先描述了一个手写的C编译器，并在其中注入了一个即时修改自身源代码的”Trojan horse”程序。而当这个编译器用来编译自身的源代码时，新生成的编译器仍然会保留这个”Trojan horse”。这样的恶性循环让我们顿生不安和困惑。
问题的核心在于，我们是否可以真正相信编译器？难道我们不能得到一个真正没有过渡植入的编译器吗？这是一个令人沮丧的现实，因为即使源代码是开放和透明的，编译器仍然存在偷偷植入恶意代码的可能性。
回应这个问题的最佳方法之一是使用Bootstrap编译器。Bootstrap编译器是一种初始阶段的编译器，它被认为是可信的，不容易受到跑编译器的影响。通过使用Bootstrap编译器编译一个新的编译器，可以最大程度地减少跑编译器的风险。这种方法虽然并非百分之百安全，但可以减小跑编译器攻击的可能性。
然而，我们不应忽视这个问题的根源。既然编译器是由人编写的，我们无法完全排除人类的不可靠因素。因此，一个更全面的解决方案是建立一个高度安全和审计机制下的编译器。这意味着我们需要在开发过程中采用更多的审计和验证手段，确保编译器的可靠性和安全性。
“Reflections on Trusting Trust”为我们提供了深思的机会，使我们认识到不论技术发展多么迅猛，信任依然是非常脆弱的。在这个数字化时代，我们面临着与编译器越来越密切的联系，因此我们必须无时不刻地意识到编译器的潜在危险。
作为计算机科学家和工程师，我们有责任采取行动，发展更加安全和透明的编译器技术。只有这样，我们才能确保我们所信任的软件和系统的可靠性。毕竟，信任是我们数字世界的基石，而跑编译器则是将我们从这个基石上震摇的存在。
让我们共同努力，探索和研究全新的编译器技术，以加强我们对计算机代码的可信程度。跑编译器的问题是一次重要的警示，激励我们寻求更安全、更高效、更可靠的计算机科学解决方案。只有这样，我们才能真正放心地跑起编译器，而不必担忧数据安全和隐私泄露的风险。
了解更多有趣的事情：https://blog.ds3783.com/