Linux发行版本的选择
Archlinux是我长期一直使用的linux发行版,喜欢他的BSD风格的配置,喜欢他的pacman,喜欢他的可定制性。
但最近慢慢地,Archlinux的维护越来越消耗精力,原因就是他的bleeding edge。这是一把双刃剑,即能体验最新的软件版本,但又有可能存在不稳定的因素。
所以我开始寻找新的linux发行版作为归宿。
Gentoo我在用Ar...
Gentoo折腾记(一)
久闻“贱兔”大名,却始终没能见其一面。而现在,终于有机会体会下“贱兔”了。
在arch里使用chroot安装gentoo,这种方式我还是第一次,不过还算顺利,按照gentoo的文档来,基本没什么问题。
在编译完内核后,第一次启动的时候,居然提示找不到网卡,这很令人蛋疼,网上google了很久,也没有什么好的解决办法,最后又...
Continuous Integration - Build
三种分支模式
稳定主线
项目中只有一条稳定主线,所有开发人员的代码都直接提交到该主线上,包括新features,bug fix 等。项目Release时不开新分支,只给主线上打上tag进行标记。
该模式的最大好处就是管理方便,分支零成本管理,不涉及多分支间的合并问题。也是Martin Fowler同学推荐的模式。
...
Gentoo安装成功!
之前我的本子安装了arch+centos,可是没想到的是每次从centos中退出重启进入到arch的过程中,磁盘总是会出问题,arch就没法进入。在centos中查看分区,貌似是说分区表错误了。。这时我同学要装gentoo,于是,索性狠下心来,将硬派全部格式化掉,重新分区,试着装下gentoo。
分区结束后,装完arch,还给了gentoo留了很多空间,准备工作完成后,chro...
MySQL事件调度器的基本使用方法
根据MySQL的官方文档,从MySQL的5.1.6版本开始,MySQL支持了事件调度器,用于处理事件的调度与执行。触发器用于根据DML操作来触发事件,而事件调度器则是定时触发事件,功能类似于Linux的crontab计划任务,但是控制更为精确。在MySQL支持这项功能之前,往往通过Linux的crontab来辅助进行定时任务的触发,而当我们对于任务有更高的定时要求时,或者考虑调用接...
KLEE-之函数调用
关于函数的调用在klee使用中的体现
klee -libc=uclibc -posix-runtime *.bc
在executeInstrucion()中
通过判断instruction的类型,区分了call,和invoke
然后通过判断是不是直接的函数调用(是否为函数指针??)
如果是直接的函数调用,则调用函数executeCall...
[asp.net]遇到的常用方法
1.先验证后弹框的方法(页面有验证控件的前提)
/// <summary>
/// 先验证再弹框
/// </summary>
private string strJs = @"if (typeof(Page_ClientValidate) == 'function...
Continuous Integration - Why need it?
Continuous Integration is a software development practice where members of a team integrate their work frequently, usually each person integrates at least daily - leading to multiple integ...
KLEE--constraint与state的关系
在 executor.cpp中,有run函数,一切程序的运行的驱动都是从这里开始的
line:2460
while (!states.empty() && !haltExecution)
{
line2465:
executeInstruction(state, ki);
...............
PPA 源删除
ubuntu 的 ppa 源,都被放在了 /etc/apt/sources.list.d 版本升级后
原来添加的是 natty 的源,好像没有什么自动升级源的方法
只能手动删除,重新添加一遍
UNIX操作系统常用命令
一、文件管理命令
1、 cat,输出显示或链接文件的内容。特殊的格式如cat >testfile. 允许直接接受键盘输入的连续字符,并写入filename中。同样,<符号为输入。
2、comm命令,diff命令,find命令,略
3、tail命令:tail[+-number unit] file
功能:释放文件的最后一部分。
4、t...
9066. Sum of Distinct Numbers
http://www.spoj.pl/problems/XXXXXXXX/
ID
DATE
PROBLEM
RESULT
TIME
MEM
LANG
6133413
2011...
以前写的一些东西
一个C++的矩阵模板类,带有常见运算和求逆等功能:Matrix.zip
一个VC6.0写的右键打开菜单添加器,源码,程序
也就这些了,以前放在GAE搭建的博客上,现在上不去了,而且GAE收费了,所以转移下。