科技一周–打仗,得找个靠谱的军备商
作者 硅谷寒 | 2014-04-05 23:14 | 类型 硅谷科技周报 | Comments Off
系列目录 科技一周
打仗,得找个靠谱的军备商 2014/04/05 “二十年岁月流金,五十弦寒暑争荣”,时至今日,芯片巨擎Intel终于告别自己二十年的黄金时期,来到了产业巨变的拐点:摩尔定律难以维持,SOC大行其道,PC处理器逐渐让位于移动处理器。当下的Intel,虽然没能赶上七年前那场移动处理器的大变革,但也并不意味着它将就此消失。这个巨人正在拼尽全力去追赶,无论采用什么盘内盘外的招数,因为它清楚得很:自己手里那数百亿的现金,也可以成为击败ARM CPU的最佳武器。
我唯一可以想到的方案,就是“金元策略”,Intel给平板电脑厂商巨额回扣,以此来换取自己芯片的出货量。这种办法,Intel并非没有干过,当年在与AMD竞争64位处理器市场时,Intel就一直给Dell、HP等厂商不菲的补贴,直到把AMD彻底打垮。此番,Intel欲故技重施,补贴的力度甚至更大,即使赔本赚吆喝,也在所不惜。其实,在科技产业里,创新与金钱,从未停止过竞争:创新者首先凭借技术优势领导市场;跟随者利用金钱优势(或补贴回扣,或价格低廉)后来居上,挤垮创新者;然后,又有更新的技术出来,把原先的跟随者打败,重新领导市场;如此循环往复,生生不息,谁也不能把另一方彻底降服,而我们的世界则得益于这种竞争,向前发展。
本周科普,继续聊聊图灵奖得主Lamport的论文[3],这次主要来侃侃他所定义的在分布式并发系统里的“物理时钟”概念。我还是会摒弃艰深的学术词汇,用一个历史故事来讲解。 明朝建文二年(公元1400年),建文帝以李景隆为帅,领马步军六十万进攻北平府,燕王朱棣尽起十万精锐迎敌,两军会战于白河沟(今河北省雄县)。建文军先锋平安在正面阻击燕王,建文军大将瞿能、俞通渊分击燕王左右,元帅李景隆绕至燕军背后,形成四面合围之势。燕王率军死战,三易其马,损伤极重,眼看将有全军覆没之险。是夜,李景隆约定全军于子时发起总攻,务必要将燕王一战成擒。孰料,天还未到子时,瞿能部率先出击燕军,燕王趁机,以优势兵力“先打出头蛇”,一战击毙瞿能父子,军威大震,得以冲出包围圈,随后又绕至李景隆军背后,乘风纵火,挥师猛攻,大败建文军。朱棣凭此一战,奠定了自己的“永乐霸业”。 那么究其原因,为什么瞿能不等其他三军,而独自攻击呢?其实,这也怪不得瞿能,他并非是贪功冒进之徒,实在是运气太差,吃了山寨货的亏。在约定当晚,瞿能所用的计时器(沙漏),出现了故障,比其他三军的计时器走得快了许多,所以当瞿能以为子时已到的时候,其他三军还在饱餐战饭呢!唉,不得不说,以后打仗的时候,千万要找个靠谱的军备供应商呀:) 话说回来,就算计时器的速率不一样,假如能有一套自动校正的规则,使得各军的计时器“误差缩小在某个可以接受的范围内”,那么李景隆的军队也是可以在约定的时刻发起全面攻击。我们不妨把李景隆的各个军队看做不同的并发进程,而他们各自的计时器就是用来同步各个进程的“物理时钟”。所谓“把误差缩小在某个可以接受的范围内”,正是Lamport关于分布式并发系统里“物理时钟”概念的精髓。Lamport在论文里给出了物理时钟的两个必要条件:1)各个进程的时钟速率相对于1的误差要小于某个值k;2)各个进程时钟的延迟误差也要小于某个值e。并且,Lamport还推导出了k和e的计算公式。有了物理时钟的同步,整个并发系统就可以完全有序地运转起来啦!要是Lamport能穿越回去,当建文帝的国师,大明历史岂不是要改写? [2]. http://www.amazon.com/Amazon-CL1130-Fire-TV/dp/B00CX5P8FC [3 Cialis]. Lamport, L. “Time, clocks, and the ordering of events in a distributed system”, Communications of the ACM, 1978, 21(7): 558-565. 图2. [2]. 图3. https://itunes.apple.com/cn/app/ming-chao-na-xie-shi-er-wang/id553783706?mt=8 注:故事纯属原创性虚构。 | |