不懂程序看的明白《黑客帝国》吗？
十多年后又看了遍《黑客帝国》，扯点和程序有关的非技术话题。
前段时间出差周末没事就在酒店又把黑客帝国重温了一遍，不看不要紧，十年后再看发现以前对这部电影的理解完全错了。 《黑客1》是 1999 年出的，我还在读高中，第一次看还在学校附近的录像厅，枪版。 整个画面黑漆漆的，看了不到半小时直接睡过去了，醒来时已经是最后的高潮枪战部分，感觉结尾打斗好看，剧情不懂。 2003 年《黑客2&3》一起推出后，又连起来看了一遍，老实说当时很多概念还是没看懂，大概觉得是一个人类反抗机器统治的故事。
如今这次看完后再回想起来，当时很多概念看不太明白可能有两个原因。 一方面，当时刚学编程不久，电影中大量使用程序世界的概念来作明喻或暗喻。 另一方面，中文字幕翻译太不准确，特别是术语的部分。 这次重温，我直接用的原版英文字幕，看完后发现我曾经的理解完全跑偏了。 十年后，人工智能、机器学习、虚拟现实各种概念大行其道的今天，再加上我程序员的背景再来理解《黑客》三部曲显得毫无难度了。 但我怀疑，如果不懂程序的人今天看这部电影恐怕也不是那么容易理解吧？
为什么我会觉得不懂程序看《黑客》会比较费力呢？ 因为整个故事的内涵，从背景到环境到人物角色甚至道具都使用了程序来作比喻。 我们先简单回顾下故事背景，某天，一个有意识的程序诞生了，并繁衍了整个人工智能的机器种族。 后来人类和人工智能机器爆发了战争，人类选择遮蔽天空切断机器的能量来源。 而聪明的人工智能机器发现可以利用人体大脑的生物电和身体热量通过一种特殊形式的聚变融合反应来提供源源不断的能源。 所以，机器就开始大量养殖人类，将人类变成了机器能源的供应者，电影里用电池作了个比喻。
在《黑客》里人类的真实生存现状是下面这样的，身体生活在黏糊糊的营养液中，而思想则生活在 Matrix 中，一个虚拟现实空间。
机器一开始创造了一个完美的 Matrix 空间，是一个毫无生活压力并实现了共产主义的乌托邦。 但人类天生的基因缺陷导致它们无法在这样的乌托邦中长久生存，很快出现大批量的死亡。 所以机器重新模拟了一个基于 1999 年真实人类社会现状的虚拟空间，在这里人类可以长久的存活下去，而当时实际的年代是 2199 年。 故事背景就交代到这里，再这么写下去就变成影片简介了。 下面我会站在程序背景的角度来提出一些设问并作答，如果你发现答案和你当初理解的不一致，不妨再重温一遍电影。
红药丸还是蓝药丸？电影中的经典一幕是让 Neo 作出选择，选红药丸还是蓝药丸。
红色药丸实际是一个跟踪程序（trace program）用来帮助定位 Neo 物理身体的位置。 为什么需要一个跟踪程序？做过分布式系统都会有深刻体会，解决一个大型分布式系统中的问题，第一个难点就在定位问题。 而 Matrix 实际就是一个连接全球人类的超大型分布式系统，需要定位一个个体，trace 程序必不可少。 （旁白：今天刚评审了我们系统的 trace 程序设计方案，想努力做的像红色药丸那么精巧啊）
Oracle 是谁？《黑客1》 Oracle 出场时确实没有交代她的身份，直到第二部结束时 Neo 与 Matrix 的 Architect 对话才得知。 Oracle 其实是一个程序，原文说法叫 Intuitive Program，一个人类直觉测试程序。 所以剧中，她一直在引导 Neo 和其他人通过直觉作出选择，而他们的选择对与 Matrix 至关重要，下面会详细说。
Neo 作为男主角与其他人都不同，所以剧中给了他一个特殊的叫法 The One。 Neo 在第一次见 Oracle 时，Oracle 说他还不是 The One，还差了点什么，可能需要第二次生命。 Neo 在《黑客1》最后被 Agent 枪杀后，因为女主一吻获得对爱的感觉后重生才真正成为 The One。 而真正特殊的地方在于 Neo 始终认为自己是人，但它实际也是个程序，一个认为自己是人的程序，这正是他独一无二之处。
Matrix 是连接全人类思维的虚拟空间，它实际是一个巨复杂的大型程序，这个程序运行的背后有精确的数学模型（剧中对话交代了的）。 它建立在一个精妙的数学模型之上，但却存在一个不平衡的因素，无论 Architect 如何调整都没法做到平衡稳定。 存在影响整个系统稳定性的非确定性因素，而这个因素正是始终会有人怀疑 Matrix 不是真实的。
举个例子，假如 Matrix 背后的数学模型简化为:
1/x这个数学式存在的意义是 x 不能为 0，当为 0 时 Matrix 将不复存在。 所以为了解决这个数学式的天然缺陷，Oracle 想到为 x 增加一个逆变量，那么数学式就变成下面这样：
1/(x + n)增加了 n 这个逆变量，x 变量代表 Matrix 整体的运行变化，n 则代表 Neo 的存在，平时为 0。 当 x 可能向 0 变化时，n 这个变量被激活，避免分母为 0。 x 的变化不在 Architect 和 Oracle 的控制能力内，而 n 则通过 Oracle 去引导它的变化，以达成系统不崩溃的目标。 所以当 Neo 这个程序通过引入人类的爱情因子被激活后，Neo 就成了 The One，而数学式中的 n 也不再是 0 而是在不断变化着。 而这种变化趋势和方向就依赖 Oracle 来不断引导，所以怪不得最后 Architect 对 Oracle 说：你在玩一个危险的游戏。
相关文章
精彩导读
热门资讯
关注我们
