技术改变世界 创新驱动中国 – 《程序员》官网

文 / 吕娜

又一位图灵奖得主去世了，他是受人尊敬的时序逻辑领域大师艾米尔• 伯努利(AmirPnueli)。今年11月2日，这位1996年度图灵奖得主因脑出血去世，享年68岁，只剩那些熠熠生辉的科技成就留给后人。

艾米尔• 伯努利于1941 年出生于以色列的Nahalal，在以色列理工学院取得数学学士学位，1967 年在魏茨曼学院以一篇关于海洋潮汐计算的毕业论文取得应用数学博士学位。而后伯努利留校任教。

在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软件更先进，多任务和变化的数据核查变得更加困难。因此，程序员不得不考虑到时间推移下系统的行为。在这个契机下，时序逻辑被引入计算科学，这是计算科学发展历史的重要转折点。

时序逻辑也叫时态逻辑（temporal logic)，是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统，主要用于形式验证。20 世纪60 年代Arthur Prior提出介入的基于模态逻辑的特殊的时间逻辑系统，这一理论后来被艾米尔•伯努利等逻辑学家进一步发展。 阅读全文 »

本期封面报道：云计算，开始实践！
云计算概念热炒已经超过2年时间，各种公有云、私有云、计算云、存储云、编程模型云、安全云等等都开始慢慢出现。然而它们到底是如何实现的？其架构如何？本期杂志精心甄选了几个实践案例，除了包括针对企业级开发和协作的云计算、面向中小企业应用的云计算、企业级托管服务云计算外，还包括云计算后期引入的云安全实践等案例。这些例子一方面覆盖了主流云计算的思路，另外一方面作为这个领域先驱者，他们的实践经验将给后来者带来更多价值。
专题布局：
（1）TaaS应用——无锡云计算中心实践
（2）实践中的探索者——友友云计算系统
（3）基于云计算的数据安全应用
（4）基础设施云实践——世纪互联CloudEx
（5）八百客：走在云端的SaaS实践者
（6）规划云计算的规模——云中的扩容

特别专题
（1）《设计模式》15年：Erich、Richard、Ralph访谈录
（2）为什么要写《设计模式》？
（3）众人眼中的设计模式 阅读全文 »

一个成功的产品就像一个人的成长过程一样，会经历孕育、婴儿、少年、青年、成年、老年等几个不同的阶段，而产品经理就像无数操心的父母一样，在不同阶段要有不同的心态和处理方式，以帮助产品茁壮成长。

文/Eric Sink 译/顾全

在我贴出的一篇博客中，有这么一段：

最后说点完全不相干的事，别错过了6月3号微软技术大会上的即兴演奏会。我们几个SourceGear来的小跟班儿打算上台表演一曲Pinball Wizard。我弹原声吉他，我们的开发经理Jeremy Sheeley 弹贝司，而我们的产品经理Paul Roub弹EvilMastermind Schecter PT。

话说回头，那篇博客的第一个读者评论写道：

3个经理。哇。你们公司肯定还在增长，要么就比较大。

发表评论的仁兄很可能是用“经理”一词来指代“管人的人”。如果是这样，那是没错，我们公司的经理不止3 个，但是演奏Pinball Wizard 的3个并不都符合这一名号：

• Jeremy Sheeley的确是个经理。他管理着Vault 和Fortress 开发部门。
• 严格说来，我觉得我是经理。但是认识我的人会说，把我当成经理实在太抬举我了。
• 但是Paul Roub是“产品经理”。在SourceGear（还有我所知道的大多数其他公司）这里，产品经理并不[必然]管理他人。

产品经理是什么？

简而言之，产品经理是市场营销人员，他们关注于战略和产品特征之类的东西。

人们一想到市场营销，念头就跑到标识、图形设计和广告等事情上去了。这些是市场营销中的沟通传播一面而已，也就是所谓的“营销传播”（marcomm）。

市场营销的其他方面是那些更关注产品本身的东西：

• 市场定位
• 产品差异
• 功能特性
• 竞争状况
• 市场研究

这些活动都是产品经理的领域。 阅读全文 »

P2V（Physical to Virtual）是将实体机转换为虚拟机的一种技术，是所有企业虚拟化的第一步，但并不是每个企业都能顺利进行P2V的。本文从P2V的应用场景出发，为您介绍P2V实施过程中的重点与难点。

文 / 胡嘉玺

小张是公司的IT主管，常常要应付老板对新科技的要求。当虚拟化成为新潮流时，也成为小张的新功课了。老板要小张评估公司是否可以进行虚拟化，希望能赶上节能减排的新趋势。

服务器合并是虚拟化的第一步，小张当然也是从这开始做的。但全公司都是一台台的服务器，不管是数据库、邮件服务器、网页服务器、代理服务器，晚上还得和国外的公司进行数据交换，所有的服务器是一刻不能停的，怎么可能说虚拟化就虚拟化呢？

此外许多系统已经是NT或Windows 2000的老系统，要安装上虚拟机还得重装系统，但是已经找不到光盘或是驱动程序了，因此重装系统是无法成功的，要将旧服务器虚拟化，最好的办法就是实体机转换（Physical to Virtual, P2V）。

P2V是所有企业虚拟化的第一步，但并不是每个企业都能顺利进行P2V的。首先要考虑的，就是实体机上的数据。如果你的实体服务器的OS是安装在实体机的硬盘，数据也没有放在网络储存上，那P2V就是最坏情况了。如果你将OS安装在FC SAN上，并且将数据存放在网络储存设备上，那么只要利用对应的方式就可以在很短的时间内将实体机转到虚拟机上，有时甚至只需花费几分钟的时间。

利用专业工具进行P2V的方法

将实体机的磁盘数据转换成虚拟机格式，一向是相当耗时的工作，一般是使用FC SAN加上虚拟机产品的快照机制，但如果你的公司没有FC SAN，也可透过快照与成本较低的iSCSI机制，加速实体转换虚拟的工作。P2V主要的重点就是硬盘。由于虚拟机能仿真出CPU和RAM，但硬盘中的数据会从分区变成文件，因此完整的P2V过程，就是将实体机器转换到虚拟机环境中，最后将实体机器的磁盘区转换成虚拟机可辨识的文件格式，才能为虚拟机所用，这是需要专业工具的。 阅读全文 »

——赛门铁克研发中心总经理许明访谈

今天，国外IT企业在中国建立研发中心已经是非常普遍的现象。然而，根据企业的不同，每一个研发中心却拥有着风格不同的气质。作为一个在商业上取得了很大成功的企业，赛门铁克研发中心具备独特的气质。为了深入了解这家研发机构的不同之处，我们采访了赛门铁克中国研发中心总经理许明。

同样是国外的IT公司，赛门铁克中国研发中心的规模不像微软、IBM、英特尔这种巨头，动辄建设可以容纳数千人的软件开发中心。但我们却可以在赛门铁克感受到与其他公司截然不同的气质。

立足全球研发

作为一家研究和开发机构，赛门铁克研发中心是有其历史责任的。赛门铁克中国研发中心的总经理许明对这个问题斩钉截铁：“目前它（赛门铁克中国研发中心）最大的责任是全球研发。”

对于一个几百人规模的软件开发中心而言，通常情况下的国外驻中国软件研发中心，主要任务都是完成各种产品的本地化，并进行一些重点产品的维护和服务等工作。这一点上，最早的赛门铁克中国研发中心也确实在完成类似功能。由于产品众多，而在中国区本地的用户规模又特别大，对于服务和支持团队的需求自然很多，在原来市场和销售部门没有足够力量完成这部分的工作时，这支研发团队的主要精力是集中在这方面的，许明介绍道。

然而，随着2005年8月，赛门铁克宣布对维尔软件的收购之后，维尔软件的研发团队被合并到赛门铁克中国研发中心里来了。这支以产品开发见长的团队很快对原来的职能进行了调整。而许明也正是这个期间加入到赛门铁克的。 阅读全文 »

危机推动

研发向新兴市场转移

出于成本考虑，发达国家开始把研发转移到发展中国家，从一般性外包到研发中心外包，这是我国软件外包的本质变化。

吴萍：金融危机是当下必谈的话题，近一年来，危机带来的变化已经显现。目前的普遍看法是，金融危机会改变世界经济格局，中国会迎来产业升级的机会，您对此有什么判断?

刘积仁：我个人感觉，金融危机会推动经济全球化发展、导致全球资源重新整合，也会加快区域间的合作与重新选择，使全球经济体系更加优化。

事实上，这种变化在金融危机之前就已经开始了。单从软件外包看，最早东软承接的只是一般性软件外包，跨国公司把定制化的软件拿来给东软做; 而今天，几乎所有的跨国公司都把研发中心设在中国，这是一个本质变化。

毫无疑问，金融危机使成本成为一个非常突出的问题。过去30年，发达国家已经在节约成本方面做了很大努力，比如把制造业从本土转移，就是降低成本的重要 举措，研发和服务作为核心竞争力却一直保留在自己手里。现在，产品研发和服务成为成本中最大的组成部分，所以，研发的转移已经成为一种必然趋势。

现在，西方最时髦的一个词是transformation——转变，背景就是资源重新配置、区域重新选择、体系更加优化，这一次的优化是“everything”，东软即将迎来一个新机会。 阅读全文 »

编者按：《程序员》创刊伊始，曾开设“走向海外”专栏，报道国外软件业发展现状及不同特色，文章广受好评。九年之后，这些国家的软件业发展如何？带着疑问，本刊邀请俄罗斯软件外包领域知名专家、Auriga公司总经理Andrei Pronin先生撰文，为我们揭开当今俄罗斯软件业的真实面纱。

文/Andrei Pronin  译/卢鸫翔

对于我这个已经在软件业浸淫十数年，并且掌管着俄罗斯最知名软件研发外包公司之一的人来说，俄罗斯软件行业的方方面面，成败得失，看起来都是如此的明显和自然。然而，当我得到机会，能够与《程序员》杂志的读者朋友们分享个中滋味时，却意识到这绝非易事。在本文中，我将竭尽所能阐述一些基本问题，包括何为俄罗斯软件业，它如何开端，有着怎样的内部结构，与世界其他地区有何不同，在全球软件开发的进程中又是处在什么样的地位。

开辟鸿蒙：从高等科研院所起步

第一手落子，往往便决定了一盘对弈将如何开局。俄罗斯软件的传统很早（远在苏联时期）便伴随着科学密集型任务一同起步。苏联的第一个计算中心1955年在俄罗斯最大的高等学府（国立莫斯科罗蒙诺索夫大学）建立，此后的很长一段时间里它都是全俄领先的计算研究机构。最初的软件系统是针对诸如气象学、无人和载人航天计划、空气动力学、电动力学、结构分析、数理经济学等领域开发的。在数值分析和规划理论方面都取得了重大突破。此后，特别的“科学城”在全俄不同地区建立起来（例如莫斯科附近的泽廖诺格勒，或者新西伯利亚附近的“学术城”阿卡杰姆戈罗多克）；还有精心筹划的科技学校，它们成为了当时最先进技术与思想的前哨站。

图1 世界数学界的最高境界——莫斯科大学

当苏联不复存在，IT 舞台的领导角色便由第一批出现的商业软件公司所继承。然而，这些公司通常都具有科学领域的渊源。一个很好的直接继承例子就是我所管理的公司——Auriga，它是第一家为来自美国和西欧客户提供软件研发服务的私营企业。1990年Alexis Sukharev 创办了这家公司，他是国立莫斯科大学教授，这所俄罗斯著名学府的许多毕业生也汇集于此，为客户开发新的软件产品。正是由于对俄罗斯IT服务产业发展的贡献，Sukharev 博士被《纽约时报》称为“俄罗斯外包教父”。 阅读全文 »