sites like 91porn 全国上最齐备的两个软件，太横蛮了！

今天给人人先容两个软件sites like 91porn，一个体现了东谈主类在软件开发经过上的极致，另外一个则体现了身手员个体能力的巅峰。

0 1

航天飞机飞控软件

先来说第一个，航天飞机飘零扫尾软件，即是下图这个人人伙。

航天飞机重达120吨，还捎带着2000吨的燃料。

它有四台硬件通常，软件也通常的狡计机对辐射过程进行精确扫尾，从几千个中索取信息，每秒作念出几百个决定，而况对每个决定进行投票。

第五台狡计机，则驱动着不同的软件，随时待命，准备替换其他发生故障的狡计机。

这些狡计秘籍细目什么时候对主发动机燃烧，什么时候下令固体火箭助推器燃烧，火箭姿态扫尾....

每次辐射，软件齐扫尾着价值40亿好意思元的征战，六名航天员的人命，以及国度的梦思。

这个软件不可崩溃，不可重启，最小的症结齐不允许：一个三分之二秒的计时演叨就会使航天飞机偏离航路近5公里。

洛克希德马丁公司的航天飞机小组完了了倡导：软件实在莫得演叨，接近齐备。

软件的临了三个版块，每个版块(42万行代码)惟有一个Bug。

临了的11个版块一共有17个演叨，同等复杂度的生意身手有5000个。

这样的软件是怎样真金不怕火成的呢？

谜底是极为刻薄软件经过。

洛克希德马丁公司的航天飞机软件小组有260名职工，这些东谈主创造了一种澈底不同的开发文化。

莫得超等明星身手员，开发软件的悉数这个词经过齐是有利联想的，不依赖任何特定的东谈主。

这个经过使得他们过上平素的生存，逍遥临了期限，寄托澈底稳当其承诺的软件。

这个经过包含几个重点：

1. 软件的质地取决于软件的谋划

在航天飞机软件开发小组，软件开发周期中有三分之一的工夫不写代码，而是和NASA一谈用来商议需求：软件应该作念什么事情。

即使是最微细的细节也要达成一致。不是理论达成一致，而是写下来，文档化，变成表率，至极专科和精确。

未经两边的高兴，表率中的任何执行齐不会革新。

莫得邃密界说的表率，身手员不会改任何一瞥代码。

举例让航天飞机使用GPS导航，这一变化仅波及6366行代码，占身手总量的1.5%， 但是有关的文档长达2500页，涵盖了各式千般的条目，分支，实在即是伪代码了。

而航天飞机系统的软件，总文档足足有30卷，40000页！

2. 两个百科全书式的数据库

一个是代码历史的数据库，每一瞥代码齐有审视，泄漏每次的革新工夫，革新原因，革新倡导，有哪些文档精采讲明了革新。

关于代码发生的一切齐纪录在这里，每一瞥代码的“祖谱”齐可以坐窝提供给每个东谈主。

第二个是演叨数据库，纪录了软件在编写和驱动时发生的每一个演叨，可以纪念到近20年前。

每个演叨齐会纪录下它被发现的工夫，是谁发现了它，其时正在发生什么活动（测试，磨练，飘零），演叨是怎样引入的，为什么逃过了联想阶段，开发阶段，测试阶段的严格审查.....

由于积贮了如斯多的数据，以致于他们开发了一个代码模子，能讨论某个版块中可能有些许演叨。

要是开发东谈主员和测试东谈主员发现的Bug太少，人人会重叠经过，勤勉使得现实和讨论相匹配。

3.不啻要建立演叨，要建立任何引入演叨的东西

要是软件存在劣势，那么编写它的款式一定存在问题。

在谋划阶段莫得发现的Bug，是怎样逃过查验的？查验经过是否出了问题，是不是要在checklist上加多一项查验？

不毛的是，不要将演叨怨尤于个东谈主。经过要承担连累---启动一个分析的经过来发现Bug的原因。

航天飞机软件开发小组的经过是如斯遍及，不单是通过了SEI CMM5的认证，而且SEI的不少轨范就来自于这个小组的各式实践。

洛克希德马丁开发了近乎齐备的软件，人人战胜会思到一个问题：这种开发款式会不会消失创造力？

他们的恢复是：会，因为人人必须按照手册上章程的经往常作念，而况频繁刻刻齐有东谈主在背后监督。

东谈主们必须将创造力用于篡改经过，而不是篡改软件。

0 2

排版软件TEX

经典巨著《狡计机身手联想的艺术》在身手员界可谓是无东谈主不知，无东谈主不晓了。

1973年，这部刚出到第三卷的书（谋划写七卷）已被狡计机界视为“神作”， 1974年好意思国狡计机学会就“迫不足待”的把狡计机界的最高奖图灵奖授予高德纳。

此时高德纳只是36岁 ！只靠一套还莫得完成的书就赢得ACM图灵奖，不但是前无古东谈主，揣测也后无来者了。

但是令东谈主大跌眼镜的是， 拿到图灵奖以后， 高德纳晓谕暂停写稿， 原理居然是现存的狡计机排版系统太差，碎裂了书的好意思感 ！然后一手一脚开发出了创新性的排版系统TEX ， TEX于今已经全球学术排版的不二之选。

TEX功能遍及，实在落井下石，其版块号也很有利义，不是数字(3.0， 3.1， 3.2....) 也不是年份(Windows 95， 98， 2000...)，而是束缚靠拢的圆周率 （3.1415926...) ，这从侧面反应了软件几近齐备，不需要作念改良了。

高德纳曾示意“临了一次升级是（于我过世后）将版块数改为 π，那时任何余下的瑕疵将被看作身手的功能！

意义意义的是高纳德为此还建立了奖金，谁能从TEX 发现第一个Bug ，奖励2.56好意思元，然后每年翻一倍，5.12，10.24......

手脚算法的众人，不可能不知谈指数增长的可怕性，但高德纳对我方的代码质地至极有信心，事实上，当奖金达到327.68好意思元以后，基本上就没什么Bug报出来了。

那些找到Bug 的东谈主收到高德纳签名的支票以后也不去兑换， 而是手脚珍品保藏了 :-)

高德纳编程能力之强可以说是碾压硅谷的悉数身手员，面向对象的发明东谈主Alan Kay（2003年图灵奖）这样说过：

60年代末，当我在斯坦福从事AI表情时，每个感德节咱们齐会和硅谷的编程妙手们举行编程竞赛，McCarthy（东谈主工智能之父，1971年获图灵奖）出题， 奖品是卤莽是一只火鸡。

高德纳参与的那一年，把咱们齐给虐了， 他的代码无论是身手施行和算法施行齐是最快的，而况他用的是一台最慢的批管理机器！

咱们问高德纳：“你是奈何作念到的？”

他说：“当我学习编程时，要是每天有五分钟的工夫使用机器，就状态得不得了， 是以必须要让身手一次驱动见效，莫得演叨，算法联想达到最好。”

全文完，合计可以的话点个赞或者在看吧！

近期爆文：