操作系统虚拟化之KVM

KVM(Kernel-based Virtual Machine)是一个全虚拟化的解决方案,它自2.6.20以后正式成为Linux内核的一部分,也就是说,它是Linux内核官方支持的一个虚拟化方案。KVM的硬件需求是CPU必须支持虚拟化,对于Intel CPU来说是Intel VT,AMD CPU则是 AMD-V。如何确定你的CPU支持硬件虚拟化呢?

egrep '(vmx|svm)' /proc/cpuinfo

vmx是Intel CPU的,svm则是AMD CPU的。我的CPU返回如下:

flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 
clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs 
bts rep_good pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 
xsave lahf_lm ida tpr_shadow vnmi flexpriority
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 
clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs 
bts rep_good pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 
xsave lahf_lm ida tpr_shadow vnmi flexpriority

公元甲子檢查表

公元與甲子如何互相轉換,本文摘錄了萬國鼎先生所著《中國歷史紀年表》中的“公元甲子檢查表”,可以很方便的根據公元紀年檢索甲子紀年。可以檢索的范圍是公元前3299年至公元后3299年。

表分兩個,分別對應公元前和公元后。檢查表分為3段,上段左為天干,中間六列是地支,右面的數字是公元的個位數。中段的數字是公元的十位數。下段是公元的百位和千位。檢查方法如下,以公元2008年為例:

  1. 先在《公元后甲子檢查表》中查到2008的百位和千位20,在下段的右欄中﹔
  2. 在和20顏色相等的中段找到2008的十位0,在第4行第三列﹔
  3. 在中段第4行第三列同列的上段,找到2008的個位8,對應的地支是子,天干是戊﹔
  4. 因此,2008年是戊子年。

庚寅年新春快乐

今日是除夕,恭祝大家

虎年行虎运!阖家幸福!春节快乐!

也说说外星人

标签:

前天,去中央电视台参加了一个节目:《走近科学》春节特别节目——《2010终极猜想》,节目会在春节期间播出,我参与的节目内容是关于外星人的,有红方蓝方,红方主张有外星人,而且来过地球,代表人物是世界UFO大会主席孙正立、紫金山天文台研究员王思潮以及来自台湾的历史考古学家(名字我忘记了,春节期间看到节目后再把他的名字补上)。蓝方认为有外星人,但是没有来过地球,代表人物是北京天文馆馆长朱进和科普作家、自由撰稿人方舟子。

在整个节目中,提到了不少很难解释的历史古迹谜团、还有麦田圈、罗斯维尔事件等等,内容倒是比较多,红方提到的不少问题,蓝方的两位都差不多进行了反驳。有兴趣的可以在春节期间观看这个节目。

我在这里想说的是我对外星人这个话题的看法,在现场,我一直在蓝方一侧的边上坐着,也意味着我比较倾向于蓝方的观点。

从主流科学的观点来看,UFO或者说是外星人是不被承认的,不会去探讨这些课题,很少有见到这方面的科学论文,反倒是科幻小说、电影、网络小说中时常出现外星人的身影。但是,我们这个地球上的确存在不少很难解释的现象,便有好多人将如何解释这些现象放在了外星人身上。因此就有了市面上大量描写自然和古迹之谜的书籍,无一例外,外星人是主角。

朱进的观点我比较赞同,如果有更多的线索的话,很多难以解释的现象不找外星人,利用现在和科学知识是可以解释的,没有必要非要扯上外星人。

胡适先生有一句经典的话“大胆的假设,小心的求证”,假设一定要大胆,但更重要的是合理,不能天马行空,求证则一定要脚踏实地,符合科学规律。如果非要扯上外星人来,那么证据一定要确凿。而不是主观认定,或者先验的认定一定有外星人来过地球做过些事情(那些古迹,罗斯维尔等)。

如果有外星人来过地球,那么他来是做什么的呢?要么探险、要么观光、要么就是征服,我想不外乎这几点了,如果他来到地球了,那么为什么不见地球人,绕了一大弯和地球人捉迷藏(假设哪些不能解释的现象是外星人干的),我觉得也说不过去,如果他们能来地球,其科技水平是相当高的了,没有必要给地球人留下这么多的痕迹。不过还有一种可能,他们比较高级,地球还比较落后,他们为了保护生物多样性,没有和地球人进行联系,观光后就走了。

最近这些事情

本周以来,出了不少事情!

周一,听闻了关于国家天文台的一个“学术丑闻”,然后很多论坛都有了这样的帖子,但是,经过事后国家天文台的调查,这是一个假的学术丑闻。我不甚清楚最初发贴者或者揭批者是什么动机,是否经过了翔实的调查,甚至于对所谓的被抄袭者进行过调查?结果出了这么一档子事!而大量的围观者跟风“Ctrl C”,“Ctrl V”,消息就此散布!很无奈的一件事!

周二,百度杯具,时间长达半天,我很纳闷,为什么它域名的注册商不在国内呢?为什么没有相关的预案?影响相当恶劣!不知道此事后baidu是否有什么改进?

Ubuntu 9.10下面安装Intel Fortran Compiler

标签:

2004年我的一篇文章讲述了如何在Linux安装Intel Fortran Compiler,那个是在Fedora环境下实现的。本文是它的升级篇,主要讲述如何在Ubuntu环境下安装Intel Fortran Compiler。

操作系统:Ubuntu 9.10

下载Intel Fortran Compiler:http://www.intel.com/cd/software/products/apac/zho/343156.htm,点击英特尔® Fortran 编译器 Linux* 专业版进入下载界面,在这里需要输入一个电子邮件地址,系统会给你发一封带有license的邮件,这个license可以默认放置在/opt/intel/licenses,安装是系统会自动寻找。然后进入下一个页面就是下载页面,你可以根据你系统的环境下载一个安装包。本文下载的一个包是l_cprof_p_11.1.064.tgz。

二零一零年新年快乐!

今天是2009年的最后一天,21世纪的头十年即将结束了。

十年前的今天,全世界可谓为之疯狂,国内的大佬们在零点还齐聚了一次中华世纪坛,这个世纪坛也是为了跨世纪而建立的。那个时候我大二,学校里面也有各种活动,我也搞了一次比较有意思的活动,我使用录音机在23:45开始录音,我们班上的大部分同学都在录音里面现了声,而且录音总共半个小时,因此声音也是跨世纪的,。有为亲人祝福的,有为祖国祝福的,充分激荡着青春的力量。现在重新听听也是很有意思的一个事情。后来我把录音转为了MP3,现在应该不少大学同学还保留着这份有意义的录音。(如果放在现在,我估计都使用DV了)

21世纪的头个十年,经历了大学、北京导航者工作,以及现在国家天文台的工作这三个阶段,不出意外,下一个十年我应该是还在国家天文台工作,对未来我希望比上个十年更出色,生命更有意义。

最后,祝福所有读者新年快乐!

Linux十周年

标签:

1999年至今,我使用Linux也有十个年头了,近日,有文章回顾了过去十年Linux演变的15个重大里程碑,看着文章,其中不少也都经历过,回想起来也比较有意思。

1999年我最初学习Linux的源动力是因为我发现大量的天文软件都是使用Linux(这个在现在也是很普遍,几次在国外开会,一大片笔记本中,运行Windows的屈指可数),最开始学习的电脑是一个奔腾MMX233的电脑,内存16M,硬盘1.2G,我使用了几百兆安装了Redhat 6.0,那张安装盘我还在家里珍藏着,也是一份记忆。

再往后,2000年的时候国内Linux蓬勃发展,有Xteam Linux,BluePoint Linux, Turbo Linux,使用的桌面是KDE,当时还没有Firefox,我在上面使用g77写程序。研究Linux命令。

下来就是Redhat 8、9、Fedora,我印象比较深的是Fedora Core 2,这个版本比较不错,当时用着很稳定,对现在的Fedora,我不是很感冒,作为桌面版本,在易用性上还是不如Ubuntu。

PHPXref:PHP代码阅读的利器

标签:

对于一些比较有规模的PHP项目,比如Drupal、Wordpress等,我们需要对其修改或者学习的时候,就需要仔细的看他们的代码,如果使用传统的方式查看,找某个函数、找一些类或者方法都是比较费劲的,需要一个文件一个文件的查找,或者使用软件搜索找。本文将介绍一个将PHP项目文件格式化的工具PHPxref,用phpxref格式化源代码后,会生成一些HTML文件,非常方便我们阅读代码。里面有大量的超链接,可以轻松的找到函数在哪些文件里面出现,在什么地方出现,有所有类和函数的索引。

PHPXref网站:http://phpxref.sourceforge.net

PHPXref是个perl程序,使用的时候仅需要将你的源代码放在source目录下,运行

./phpxref.pl

程序将会分析你的代码,将结果输出到output目录。打开查看即可。

http://phpxref.com是利用PHPXref构造的一个源代码阅读库,里面有大量的PHP系统,有CMS,有BLOG,PHPXref将其格式化,方便浏览者在线浏览源代码。

XeTeX:一个新的LaTeX中文排版解决方案

标签:

以前使用CJK进行中文的排版,需要自己生成字体库,近日,出现了XeTeX,可以比较好的解决中文字体问题,不需要额外生成LaTeX字体库,直接使用计算机系统里的字体,本文以在Linux下为例说明XeTeX的使用。

操作系统: Ubuntu

TeX:除了texlive包外,还需要安装的包是texlive-xetex。

字体:可以使用fc-list查看你自己的字体库,注意字体的完整名称,在XeTeX里面会用到。

安装好后,开始一个例子,例子里面的字体是我计算机里面的一些字体,源文件必须是UTF8编码,这在Linux很容易。