| David's profileprowyh's spaceBlogLists | Help |
|
November 26 芬兰为什么印象中芬兰是一个位于北欧的很小的国家,耳熟能详的只有一个人和一个公司:Linus和Nokia。
今天忙中偷闲,看了两篇文章,值得记录:
一篇是CSDN上的Blog《阅读推荐-芬兰惊艳(看此书 才了解Linus的来路)》,推荐台湾的一本书《芬兰惊艳》:
![]() 作者语焉不详,仍然不知道Linus和Nokia为什么会出自芬兰,后来又在南方周末上看到一篇Blog《一条吞掉自己的大蛇》:
芬兰教育以国际视野闻名,小学开始学英语,中学再加一门第二外语。他们还把全球的信息与知识自然地融入课程,例如在小学的数学课里要孩子计算各国摩天大楼的高度,在初中社会科学的课堂上请孩子模拟演出联合国的工作情况,使他们懂得从不同国家的视角了解世界局势。……
据统计,41%的芬兰中学生最常干的休闲活动是阅读。……
总算了解到一些“为什么”……
中国教育,为人垢病也久矣。不说也罢!
November 12 [转]SQL Server Build系统你知道SQL Server这么庞大的企业级数据库服务器产品是如何build出来的吗? 这有些相关的数据:
也许你会问:你们的build怎么这么大?怎么需要这么长的时间?为什么你们每天要做这么多build? 为什么我们的一个build这么大?比如说你的32位中文零售开发版SQL Server的DVD,包括工具和帮助文档是4GB,那么你可以这样估算一下:首先加上一些内部的build信息和统计,以及用于debug的Symbol,然后乘以2(retail版,debug 版),再乘以3(CPU 类型:x86、x64和ia64),再乘以所有的版本数(企业版、开发版、标准版等),最后再乘以支持的语言数。不只1个TB 了吧?J 幸好SQL 2008 的setup 团队采用了consolidated setup模式,这样在一个语言包中,安装程序可以判定你的CPU类型并根据你输入的产品序列号,自动安装对应的版本。由此我们的build才压缩到了300GB。 为什么我们的一个build需要这么长时间?Build这么庞大的企业级数据库服务器产品是一个极其复杂的过程,况且SQL Server的build 系统已经是微软内最为高效的系统之一。她是图形化用户界面并且高度自动化的。历经60小时,多数build会顺利的自动完成并通知相关人员其build的状态及信息。如果build失败,其也会提供详细的错误信息用于debug。SQL Server的build 系统不仅如此易用和高效,同时可以灵活的适应某些特殊的需求和build工作流。SQL Server的build 系统是由Windows Workflow Foundation驱动的,其数以千计的job被并行或串行的分发到几十台 build机器上并完成。build的过程包括:
我们每天做这么多的build正体现了我们如何支持整个SQL Server工程体系和构架:
-- 转自SQL Server中国研发中心博客 November 05 concolic testing今天看到一个新词:concolic testing,查了半天,在 portal.acm.org 上看到一篇文章(Concolic testing)的摘要:
Concolic testing automates test input generation by combining the concrete and symbolic (concolic) execution of the code under test. Traditional test input generation techniques use either (1) concrete execution or (2) symbolic execution that builds constraints and is followed by a generation of concrete test inputs from these constraints. In contrast, concolic testing tightly couples both concrete and symbolic executions: they run simultaneously, and each gets feedback from the other.
原来 concolic 是 concrete and symbolic 的意思。 |
|
|