原创

解决了一个困惑很久的bug

局部变量 — Thu, 08 Jan 2009 08:58:00 GMT

让这个bug困扰了很久，前一段太忙只找了个临时解决方案而没有追究原因，今天终于把它搞清楚了。由于测试时只在多cpu系统上出现，我甚至一度怀疑它是cpu的bug 。

两个c/s结构的网络通讯程序，服务器端使用完成端口模型，客户端使用阻塞模型，双方以一种客户端发送命令，服务器端处理，然后返回应答的方式通讯。问题出在服务器端。以下是服务器端代码的大致处理逻辑：

long volatile g_busy = 0;
void iocp_thread()
{
	while( GetQueuedCompletionStatus() )
	{
		if( InterlockedCompareExchange( &g_busy, 1, 0 ) != 0 )
			WSASend( "服务器忙" );
		// 处理命令
		ProcessCommand();
		WSASend( "应答信息" );
		InterlockedExchange( &g_busy, 0 );
	}
}

其中ProcessCommand需要互斥运行（这是简化的逻辑，实际上有很多不同的命令，有些需要互斥，有些可以并行，否则就没必要用完成端口了），并且需要一定的时间才能处理完毕。为了避免多个客户端同时执行命令，导致所有的iocp线程都等在那，我把g_busy当成了一个锁，第一个线程可以成功进入，其它的都直接向客户端返回“服务器忙”。

程序一直都运行的很好，直到有一天把服务器程序装到了一台有双核cpu的机器上。我发现，如果让客户端连续发送命令，即收到上一条命令的应答后立即发送下一条命令，就会随机的返回“服务器忙”，而这时只有一个客户端连接上去，按照我设想的逻辑是不可能出这种情况的。检查了半天代码，没觉得有什么问题，调试吧，又遇到了另一个难题，海森堡的测不准原理起作用了，做的工作太多问题就消失了，做的太少又得不到什么有价值的信息。搞得我很是头疼。

今天再次看这个问题，突然想到：它肯定和线程切换相关，所以我应该记录下每次处理命令的线程的ID，这样出错时就可以看看上次成功执行命令的那个线程在干什么了。方法正确了，问题也就迎刃而解了，我发现，出问题时，上一个线程的WSASend居然还没有返回，也就是说，客户端已经收到应答并发送了下一条命令，服务器端也收到了命令并准备处理，但上一条命令的应答却还没有完全发送完成，难怪出错了！

总结经验教训，感觉自己一开始被两点给误导了，一是实际程序中的WSARecv/WSASend藏的比较深，没这么明显，所以没注意到。二是当时粗略检查代码觉得没问题，就把主要精力放在ProcessCommand上了，由于我把它里面一段访问sql server的代码注释掉以后，问题就不出了，所以还看了半天atl oledb的源码，最后精疲力尽，其它事情又比较多就放弃了。

发布一个小工具：EasyDump

局部变量 — Tue, 06 Jan 2009 08:33:00 GMT

为了分析用户使用过程中出现的软件Bug，经常需要.dmp文件的帮助。一般我们会用WinDbg或adplus制作这个文件，可这两个工具都有点“太难”了，往往要费九牛二虎之力才能教会用户。而让程序在崩溃时自动转储或用Dr. Watson转储虽然使用简单，却只能做崩溃转储，对死锁之类的情况则无能为力。

所以我决定自己写一个小工具降低一下制作.dmp文件的难度，也就有了今天发布的这个EasyDump（轻松转储）。代码和可执行文件都放到google code（也是刚注册的，尝试一下:)）上去了，大家可以到http://code.google.com/p/easytools/下载。

程序还没有很好的测试过，如果有bug的话，应该可以直接在项目主页上报告。另外下一步考虑增加三个功能：首先是异常过滤，因为first chance异常太多了！如果选择了生成.dmp的话，一秒钟可能就有十个甚至更多的文件，设置了异常过滤后，可以把一些不关心的异常屏蔽掉，不生成文件。其次是如果没有second chance的话，就把first chance的文件直接删掉，也有助于减少不必要的文件。第三是界面的国际化，也发布个英文版什么的。

2009.01.08: 自动删除first chance文件的功能已经实现.
2009.01.22: 异常过滤功能已经实现.

命令行下进行数字签名

局部变量 — Tue, 18 Nov 2008 03:26:00 GMT

网上介绍数字签名的文章，大多使用signtool的signwizard命令实现，这种方式虽说简单，却需要人为干预，不能自动执行。msdn上说signtool的sign命令可以在命令行中完成签名，但描述的相当模糊，试了半天，终于找到了它的使用方法，一共执行四条命令即可，前三条一次性执行，最后生成一个个人证书(pfx)，最后一条用于实际签名，可以放在post build event中去自动执行。

1. makecert生成x.509证书和私钥, 会弹出界面要求输入两次密码, 我输的是123, 其中localvar studio是公司名
makecert /sv sign.pvk /n "CN=localvar studio" sign.cer

2. 把x.509证书转换为Software Publisher Certificate
cert2spc sign.cer sign.spc

3. 把pvk转换为pfx, 例子中的123是私钥密码
pvk2pfx -pvk sign.pvk -pi 123 -spc sign.spc -pfx sign.pfx

4. 签名, 稍微调整一下，就能写在post build event里了，123是密码
signtool sign /f sign.pfx /p 123 test.exe

上面的例子只是演示签名过程，由于证书是本机做出来的，所以签了名也没用，用户那看到的仍然是“未知发行商”。向证书颁发机构申请真正的证书时，能直接得到.spc和.pvk文件，所以就不用执行前两步了。

PS: 证书颁发机构真是坐地收钱呀，几秒钟生成个证书，每年就收好几千。

_tfopen指定文件编码后程序崩溃

局部变量 — Mon, 03 Nov 2008 04:58:00 GMT

vs05和08的crt增加了一点功能, 使用fopen(_wfopen)时可以指定文件的编码, 但我发现这个功能好像有很多bug, 会导致程序崩溃。
我是使用下面的形式打开文件的:
TCHAR buf[1024];
FILE* fp = _tfopen( _T(“a.txt”) , _T(”rt,ccs=UNICODE”) );
_fgetts( buf, _countof(buf), fp );
按msdn的说法，这时fopen会根据文件的bom自动判断文件的编码, 并保证buf中字符的编码总是我希望的那一种。
可是这个程序在使用mbcs并打开unicode编码的文件时会崩溃, 考虑到我的程序只发布unicode版本, 所以忍了，啥也不说。
但这两天发现, UNICODE版本在fgets时也会崩溃, 方法是新建一个excel文件然后重命名为a.txt。

我仔细读了两天msdn，并测试了各种形式，感觉不像是我的错误。
在网上没找到类似的描述, 所以记下来，也许有人会碰到同样的问题。

多线程和函数里的静态变量

局部变量 — Thu, 29 May 2008 01:33:00 GMT

试试下面这段代码的输出是什么?

#include <stdio.h> #include <process.h> #include <windows.h> class foo { public: foo() { printf( "before sleep\n" ); Sleep( 1000 ); printf( "after sleep\n" ); } void test() { printf( "in test\n" ); } }; foo* bar() { static foo a; return &a; } unsigned __stdcall thread( void* ) { foo* p = bar(); p->test(); return 0; } int _cdecl main( int argc, char** argv ) { for( int i = 0; i < 10; ++i ) { uintptr_t t = _beginthreadex( NULL, 0, thread, NULL, 0, NULL ); CloseHandle( (HANDLE)t ); } Sleep( 5000 ); return 0; }

不知道C/C++标准有什么规定没有, 但粗看起来好像是编译器的问题呀。我用的是vc8，谁帮忙测测别的编译器。
根据星星的建议，把输出贴出来，如下：
before sleep
in test
in test
in test
in test
in test
in test
in test
in test
in test
after sleep
in test
这里的问题是至少有10个中的9个线程没有等对象初始化完成，就已经调用对象的方法了，这肯定是不对的。我大概看了一下反汇编的结果，实际上还可能出现构造函数被调用多次的情况。
要解决这个问题，在编译器的层次上要容易一点。如果是在用户程序的层次上，则麻烦的多，因为这类方法都会涉及到另一个静态变量的初始化。

使用SVN实现版本号自增

局部变量 — Tue, 20 May 2008 01:12:00 GMT

在《介绍一下SVN》一文中，我提到了自动递增版本号的功能，现在就来具体说明一下实现方法。虽然标题中说的是“使用SVN”，但我们实际用的是SVN的客户端工具TortoiseSVN中的SubWCRev程序。另外文中的例子也使用了Visual Studio的SVN插件VisualSVN，它并非必须，用了方便一些，不用也行。我平时主要使用C/C++语言，但考虑C#有更大的用户群，我的示例项目也采用了C#。

1. 生成一个名为autover的项目

注意项目的Properties文件夹下有一个名为AssemblyInfo.cs的文件，autover程序的版本号就写在它里面。

2. 创建模板文件

在windows的资源管理器中进入Properties文件夹，把AssemblyInfo.cs文件复制一份，命名为AssemblyInfo.template.cs，并把它加入到项目中来。

3. 修改AssemblyInfo.template.cs的属性

AssemblyInfo.template.cs文件是用来自动生成版本号的模板文件，它不应该被编译，所以我们要把它的Build Action改成None，如下图所示：

4. 修改AssemblyInfo.template.cs的内容

在这个文件中，你能找到如下两行代码：
[assembly: AssemblyVersion( "1.0.0.0" )]
[assembly: AssemblyFileVersion( "1.0.0.0" )]
其中的“1.0.0.0”就是程序的版本号，它使用的是“主版本号.次版本号.内部版本号.修订号”的形式。前三个改成你自己需要的数字，最后一个改成“$WCREV$”，改完之后应该是类似下面的样子：
[assembly: AssemblyVersion( "1.0.0.$WCREV$" )]
[assembly: AssemblyFileVersion( "1.0.0.$WCREV$" )]

在这个文件的最后，你还应该加上下面两段代码，它们可以检测出有本地修改（修改了但没有提交）的代码和有混合版本的代码。
#if $WCMIXED?true:false$
#if DEBUG
#warning mixed update revisions founded
#else
#error mixed update revisions founded
#endif
#endif

#if $WCMODS?true:false$
#if DEBUG
#warning local modification founded
#else
#error local modification founded
#endif
#endif

5. 修改项目属性

在项目属性的Build Event页的Pre-build event command line中输入：
"%ProgramFiles%\TortoiseSVN\bin\SubWCRev.exe" $(SolutionDir) $(ProjectDir)Properties\AssemblyInfo.template.cs $(ProjectDir)Properties\AssemblyInfo.cs -f
注意，这里我们必须保证TortoiseSVN安装到了默认路径上。在多人参加的项目中这应该是强制性的要求，否则，大家安装的路径都不一样，甲机器上能用的配置，到了乙机器上可能就不行了。

然后，你可能还需要将Publish页中的Automatically increment revision with each publish选项关掉（我不确定这步是否必须）。C#可以自己递增版本号，但它生成的版本号和代码库中的代码没有对应关系，我个人觉得意义不大。并且它还可能会把我们的版本自增机制搞乱。所以应该关掉。

6. 把项目加入版本库

使用VisualSVN的Add solution to Subversion命令把项目加入SVN，但不要提交。

7. 从SVN中排除AssemblyInfo.cs文件

每次编译时，这个文件都会基于AssemblyInfo.template.cs重新生成，所以没必要加入版本库。这步做完之后就可以提交整个项目了。

8. 编译

编译完成后，看一下生成的autover.exe文件的版本信息，本例中是1.0.0.1。随便改点什么，提交，重新编译，你会发现它自动变成了1.0.0.2，也就是程序的修订号总是与生成它的代码的修订号一致。这样，当程序出问题后，我们通过这个数字就能轻松得到生成它的那一版代码了。

9. 其它问题

第8步中大家做完修改后再编译时可能会看到警告或错误信息，说代码有本地修改或混合版本。这就是第4步中，在AssemblyInfo.template.cs文件最后加的两段代码的作用，它们检测代码是否都已经提交了并且版本是否一致，一旦发现问题就会在调试版中生成警告信息，在发布版中生成错误信息。使用这种方法，我们可以基本消除发布的程序的版本和代码的版本出现不一致的可能性。去掉这两个错误或警告的方法也很简单，把代码整体提交或更新一下就行了。

再记自己的两个常识性错误

局部变量 — Tue, 08 Jan 2008 03:58:00 GMT

1. WSAStartup只要每个进程调用一次就行了
不知为什么, 几年以来，我一直认为要为每个使用网络的线程调一次. 直到今天才发现弄错了, 按说我一直是仔细阅读msdn的, 唉! 不过为每个线程调一次只是多余的, 并不是错误的, 也许这就是我一直没有注意到它的原因吧.
2. do while循环中的continue会跳到哪里

do {
   // ①
   i++;
   continue;
   // ②
} while( i < 10 );

一直认为是①, 今天正在写的程序出错了才发现是②. 老天保佑以前的程序不出错吧. 这个错误一直没发现的原因有两点，一是我用do while循环比较少, 里面有continue的更少; 二是自己偷懒了, 想当然了, 其实以前怀疑过它的结果的, 但觉得①更符合逻辑就没有深究.

犯了错误总是比较郁闷的, 不过能在一个上午认识到这样两个错误，也算收获不小了。

Windows下配置SVN 1.4.5 + APACHE 2.2.6使用域认证

局部变量 — Thu, 20 Dec 2007 06:28:00 GMT

    其实在网上搜索这个主题，已经有很多文章了，而且Subversion和TortoiseSVN的文档上也有相关介绍。但在我自己配置的过程中，发现它们好像都不完全对。所以我觉得有必要把自己摸索的过程写出来，供大家参考。不过已经有那么多“前车之鉴”了，我的方法是否真的有用，只能靠老天保佑了。
    要想配置成功，首先要保证Apache、Svn和mod_auth_sspi这几个模块的版本是匹配的。我最开始就是在这上面栽的跟头。Apache有很多个版本（以2.0.x和2.2.x最常见），作为对应，每个版本的svn都有一些子版本与其匹配。例如1.4.5版的svn就有针对2.0.x和2.2.x的两个子版本。不幸的是，网上搜到的svn下载链接多是指向针对Apache 2.0.x的那个子版本，当把它用在最新版（目前是2.2.6）的Apache上时，出问题就是必然的了。实际上，当使用2.2.x版的Apache时，我们应该到这里，点击左侧的文件夹Windows Apache 2.2.x（等以后有了新版的apache，可能就是其它对应的文件夹了），然后在右侧的文件列表中下载对应得svn（我下载的是svn-win32-1.4.5.zip）。mod_auth_sspi我们也下载针对2.2.x版apache的那个就可以了。
    以下是我的安装配置过程，它是针对apache2.2.6和svn1.4.5的，如果你用的是其它版本，可能一些细节上会有所不同。
    分别安装apache和svn（svn就是把压缩包解开就行），然后把svn\bin文件夹下的mod_dav_svn.so、mod_authz_svn.so、libdb44.dll和intl3_svn.dll拷贝到apache的modules文件夹下，mod_auth_sspi中的mod_auth_sspi.so也拷贝到那去。
    最后是修改apache的配置文件httpd.conf，经过我的试验，最后确定使用下面配置文件就行了（其中背景标红的内容你可能需要根据你的实际情况进行修改）。

ThreadsPerChild 250 MaxRequestsPerChild 0 ServerRoot "C:/Program Files/Apache Software Foundation/Apache2.2" ServerName svnserver.mydomain.net:8080 ServerSignature Off ServerTokens Prod DocumentRoot "htdocs" Listen 8080 LoadModule sspi_auth_module modules/mod_auth_sspi.so #LoadModule auth_basic_module modules/mod_auth_basic.so #LoadModule auth_digest_module modules/mod_auth_digest.so #LoadModule authn_file_module modules/mod_authn_file.so LoadModule authz_svn_module modules/mod_authz_svn.so LoadModule dir_module modules/mod_dir.so LoadModule deflate_module modules/mod_deflate.so LoadModule mime_module modules/mod_mime.so LoadModule setenvif_module modules/mod_setenvif.so LoadModule dav_module modules/mod_dav.so LoadModule dav_svn_module modules/mod_dav_svn.so <Directory /> Options FollowSymLinks AllowOverride None </Directory> <IfModule dir_module> DirectoryIndex index.html </IfModule> ErrorLog "e:/svn/server.log" LogLevel error DefaultType text/plain <IfModule mime_module> TypesConfig conf/mime.types AddType application/x-compress .Z AddType application/x-gzip .gz .tgz AddType application/x-x509-ca-cert .crt AddType application/x-pkcs7-crl .crl </IfModule> # 注意“/svn/”中最后的斜杠是必须的, 否则列不出版本库列表 # 访问时的url也要带着它, 想要去掉它可搜索RedirectMatch <Location /svn/> # configure SVN DAV svn SVNListParentPath on # 版本库的根目录 SVNParentPath e:/svn # 权限控制文件 AuthzSVNAccessFile e:/svn/authz # 认证时的提示信息(中文不好使) AuthName "My Subversion" # 使用域认证 AuthType SSPI SSPIAuth On SSPIAuthoritative On # 指定使用那个域 SSPIDomain mydomain.net # 是否省略掉用户id的域名部分(好像只是影响svn的一些日志记录) SSPIOmitDomain On # 是否允许非IE客户端(必须打开) SSPIOfferBasic On # 基本认证(非域认证方式)具有更高的优先级? SSPIBasicPreferred Off # 用户名大小写 SSPIUsernameCase lower # 用户必须通过认证 Require valid-user </Location>

最后如果大家觉得手工编辑那个权限控制文件（authz）很麻烦的话，也有一个取巧的办法，就是使用visualsvn server，虽然它目前还不支持域认证，但是我们可以借用它的权限管理界面。操作如下（假设版本库的根目录是e:\svn，并且权限控制文件的名字这时必须用authz）：
1）按前面的操作安装好apache和svn，但不要启动apache
2）把e:\svn改名为e:\svn1
3）下载并安装visualsvn server，安装时指定版本库根目录为e:\svn
4）停掉并禁用visualsvn server的服务（VisualSVNServer），删除e:\svn
5）把e:\svn1的名字改回e:\svn
6）启动apache
7）启动visualsvn server的管理界面，把要使用这个版本库的所有人的域帐号都添加到它的用户列表中去（密码不会被实际使用，随便设或留空都行）。
8）万事ok了，设置权限吧！

ps: 2008-05-23
tortoisesvn(1.4.8版)文档中关于使用多认证源的描述中有一个错误，其中的AuthAthoritative和AuthAuthoritative都应该改成AuthBasicAuthoritative。另外，多认证源还要求域用户登录时必须用“domain\user”的形式，只输user部分就会用其他认证方式。所以，如果你按我前面的描述用了visual svn server，增加多认证源后，域用户的密码就千万不要留空了，因为那样不用密码就能登录了。

介绍一下Subversion

局部变量 — Tue, 18 Dec 2007 02:42:00 GMT

本来是发在公司内刊上的，现在拿来这里凑个数。

前一段时间，公司讨论统一配置管理工具时，我推荐了svn（subversion）。照理说，在公司已经使用了vss、cvs和ClearCase三种工具的情况下，再提一种基本没人用过的新工具不是什么明智的选择。但我确实觉得svn的优点很突出，值得一荐。下面我就对svn进行一下简单介绍，让各位同事对其有一个初步的了解。

1. 与其他工具的对比

    vss是我用的最多的配置工具，所以我相信每个用过vss的人都会对它的离线操作功能头疼不已。虽然它允许在与服务器断开的情况下修改文件，但重新连接后必须非常小心的处理每个文件，一旦出错，就会造成不小的麻烦。svn则没有这个问题。二者更详细的区别我会在下一节说明，这里就不多啰嗦了。
    svn相对cvs是有明显优势的，因为svn的设计目标之一就是“一个更好的cvs”。而且，从众多开源项目的反映看，它也确实达到了这个目标：06年，最大的开源网站SourceForge开始支持svn；KDE和GNOME的开发团队也已经换用svn；如果大家多注意一下的话，还会发现更多著名的开源项目使用了svn。
    ClearCase我没有实际使用过，按说应该无权评价。不过，我没有用过它的原因是因为它太难用了，曾经学过几天，但后来觉得太过复杂，就转向vss了。相比之下，svn是比较简单的，我大概花了一两天的时间就可以完成基本操作了，用的比较熟练也不过两周。另外就是ClearCase要钱，而svn是免费的。
    下表是这几种工具的对比，列出的功能都是我比较关心的。更详细的比较，大家可以看看http://better-scm.berlios.de/comparison/。

项目	Vss	Clearcase	Cvs	svn
文件/目录的重命名或移动	是?	是	否	是
原子提交	否	是	否	是
变更集	否	可间接实现	否	是
中文支持	是	未知	差	是
visual studio集成	是	是	是	是
eclipse集成	未知	未知	是	是
http访问	8.0支持	差	是	是
离线操作	差	未知	是	是
权限管理	是	是	较差	是
易用性	简单	复杂	较简单	较简单
授权	商业	商业	GPL	Apache/BSD

2. svn能解决哪些问题

一直以来，XXXX项目都是使用vss作为配置管理工具的，但应用过程中我也越来越感觉到vss满足不了项目的需要，所以决定在项目组内试用svn，并在合适的时机完全转换到svn。具体说来，svn可以解决以下几个（包括但不限于）问题。

2.1. 获取某个以前的版本

我想获得三天前签入的某个版本怎么办？在vss中，如果没有打标签，那可能就只有一个文件一个文件的去找了。规定每次签入都打个标签或许是个解决办法，不过这项规定能否很好的执行就是另一个问题了。在svn中，每次签入（准确地说应该是“提交”）都会为整个代码库生成一个确定的版本，所以能够轻松完成此任务。

2.2. 自动递增版本号

XXXX发布后，现场经常会反馈回来一些问题。但我发现这些问题中有不少是由于程序版本不匹配或没有用最新的程序造成的。所以我就想在编译过程中实现一个自增版本号的功能，每次修改后，能自动生成一个版本号，并且能把它显示在程序的关于对话框等位置，这样工程人员就能直接把这些原因造成的问题排除掉了。让我失望的是vss做不到这一点，虽然它有“关键字扩展（keyword expansion）”功能，但实现不了我的需求。而如果要求每次编译前手工修改版本号，就是另外一个能否切实执行的问题，我对这类问题的总是很悲观的。
前面已经说过，在svn中，每次签入（提交）都会为整个代码库生产一个版本。生成它的同时，svn还会为其指定一个递增的修订号，利用这个修订号和一个配套的工具（SubWCRev)，就可以做到自动生成版本号了。

2.3. 变更集

作为项目经理或设计人员，大家可能还会经常希望知道某个开发人员的某次签入到底修改了哪些内容，这一点在vss中也是做不到的。而在svn中，只要比较签入前的版本和签入后的版本就行了。实际上，在svn中，你可以比较任意两个版本之间的区别，甚至能追查到一个文件中每行代码的责任人。

2.4. 离线操作

这个在前面已经说过了，再提一次是想强调一下我有多希望配置管理工具支持此功能。

3. 相关工具和网站

TortoiseSvn：是windows下功能最强、最实用的svn客户端。它与资源管理器的右键菜单集成，可以管理包括源代码在内的任何文件。它的“图标叠加（Icon Overlay）”功能，可以让我们从文件和文件夹的图标中直观的看出它们的状态，如是否被修改等。另外，前面提到的SubWCRev就是它的一部分。
AnkhSvn：一个visual studio的svn插件，支持svn的大部分功能，并且比较好用。
VisualSvn：也是一个visual studio的svn插件，应该比AnkhSvn好一些，不过它是商业软件。

VisualSvn Server：windows下svn+apache的组合，提供了一个mmc的管理界面，喜欢gui界面的人的福音。而且，虽然它和VisualSvn是同一家公司的产品，但它是免费的。
Subclipse：eclipse的svn插件，也已经很成熟，据说使用风格和eclipse自带的cvs插件非常像。
p4merge：这是一个文件对比/合并工具，TortoiseSvn自带的文件比较工具还比较好用，但合并工具就差点了，起码没有vss的好用。能找到的工具大多只支持双视图合并。p4merge则能支持三视图甚至四视图，用起来方便很多。开发这个工具的公司也是做配置管理软件的，不过这个公司比较好，只对它的服务器端收费，其他工具都可以免费用。
http://www.tigris.org/：这是subversion、TortoiseSvn、AnkhSvn以及其它众多开源软件开发管理工具的官方站点。
http://www.subversion.org.cn/：svn中文网站。
http://www.iusesvn.com/：也是一个svn的中文网站，内容和上一个有很多是重复的。

锁？不锁？如何锁？

局部变量 — Mon, 15 Oct 2007 01:46:00 GMT

加锁、解锁(同步/互斥)是多线程中非常基本的操作，但我却看到不少的代码对它们处理的很不好。简单说来有三类问题，一是加锁范围太大，虽然避免了逻辑错误，但锁了不该锁的东西，难免降低程序的效率；二是该锁的不锁，导致各种莫名其妙的错误；三是加锁方式不合适，该用临界区的用内核对象等，也会降低程序的效率。
要正确的运用锁操作，首先要弄清楚什么时候需要加锁。很多书上都说在可能“同时发生多个写操作”或“同时发生读写操作”时，应该加锁。这固然没什么错，但我认为它没有说到问题的根上，更准确的表述应该是：如果不加锁会导致不可容忍的数据不一致，那么就应该加锁。据此，我在下表中列出了多线程中应该加锁和无需加锁的条件，其中的“简单数据类型”是指cpu可以在一条指令中完成操作的数据类型，一般整形和所有比整形小的数据类型都是，除此之外的类型都属于“复杂数据类型”，例如你自己定义的结构体等。

	操作的结果与初值无关	操作的结果与初值相关
写简单数据类型	不需要加锁①	需要加锁②
写复杂数据类型	需要加锁③	需要加锁④
读简单数据类型	不需要加锁⑤	不需要加锁⑥
读复杂数据类型	需要加锁⑦	需要加锁⑧

大家可能注意到，在第1、5、6种情况下，我认为可以不加锁，粗看起来，这与书上的说法有些矛盾。其实却不然，因为这些操作可以在一条指令内完成，所以它们具有天然的“原子性”，我们可以认为cpu已经给它们加锁了，我们没必要再画蛇添足。如果这个理由还不够的话，你不妨想一下我们再加一次锁是否有用，看下面的代码(以第1种情况为例)：

Lock(); // ① n = 10; // ② Unlock(); // ③ int x = n; // ④

看出来了吗？不管语句①③是否存在，这段代码执行完毕后，我们都无法保证x的值是10。也许你会想如果把③④两条语句的位置换一下，x就肯定是10了。可是在这个例子中，想让x是10，为什么不把语句④直接换成“int x = 10;”呢？既省了加锁，有减少了键盘的磨损，何乐而不为？！而且，我的这个例子并不是刻意构造的，在多线程，这种情况比比皆是。
    第2种情况的典型代表是“i++;”，需要对它加锁是因为它表面上虽然只有一条语句，却要执行至少两个操作，一是读出i的初始, 二是把加一后的结果写回去，两个操作就没有“原子性”了，所以需要加锁。
    另外，上表中判断是否需要加锁的依据是“是否可能造成数据不一致”。实际上，有些情况下数据不一致是可以容忍的,如果它发生概率极低、造成的不良后果可以忽略、并能很快自动恢复，那它可能就是可以容忍的。对这种数据不一致，我们可以不加锁。不过对它的判定与程序的实际情况关联太大，我们在这里就不讨论了。
    加锁的方法也可分为三类，临界区、内核对象和互锁函数。相比前两类，互锁函数的知名度要低不少，但它却是我用的最多的方法，因为它有一个最大的优点：快！有不少书上比较临界区和内核对象时都说临界区的优点是不会进入内核模式，速度快。不过这是不全面的，如果没有冲突(实际发生冲突的概率一般很低)，临界区确实不会进内核模式，但如果发生了冲突要进行等待，它就要依靠内核对象了。而互锁函数则绝不会进内核模式，所以互锁函数是最快的(临界区在没有冲突时的行为是依靠互锁函数实现的)。互锁函数的缺点是只能处理相对简单的数据类型(不要和我前面说的“简单数据类型”等价起来)，但另一方面，对加锁需求最高的也往往是这些类型的数据。
    实际开发中，还有一种锁比较常用，这就是单写多读锁，《windows核心编程》上有一个单写多读锁的实现，我的blog上有另一个实现。前者适用于需加锁的对象数量较少(例如如只有一个)，访问冲突概率相对较高的情况。后者适用于需加锁的对象很多，访问冲突概率很低的情况(对象多了, 单个对象的访问冲突自然就少了)。两个实现的共同缺点是不支持重入，即同一个线程中，解锁前不能再次加锁。临界区在这方面有优势，它支持重入。使用TLS(线程局部存储)技术进行改进应该能让它们支持重入，不过这样做了以后我那个实现应该就算不上轻量级了:)。
    最后，还有其它的一些不用锁的方法也可以保证多线程中的数据一致性，其中最常用的就是循环。例如下面的例子：

struct bar { volatile unsigned version; // 一个额外的版本号字段 int field1; char field2; char field3; ...... }; bar g_bar = { 0 };

// 写线程 ++g_bar.version; // 加1, version是奇数, 表示正在更新 g_bar.field1 = 10; ...... ++g_bar.version; // 再加1, version是偶数, 表示更新完毕 // 读线程 void ReadGlobalBar( bar* p ) { unsigned ver; do { ver = g_bar.version; if( ver % 2 != 0 ) // 正在更新 { Sleep( 0 ); // 等待 continue; } p->field1 = g_bar.field1; ...... } while( ver != g_bar.version );

}

然而这种方法真的没用锁吗？看你怎么理解了，那个version字段其实就可以看做是锁的。不过它只是半个锁，因为它只锁了读操作，而没锁写操作，也就是说写操作可以随时进行而无需等待。如果读操作非常多，但写操作较少，并且你不希望写操作经常被打断，那它正好满足你的要求。它的缺点是你要保证系统中某个时刻最多有一个“writer”，“writer”一多，它就的无能为力了(这时一般应该用单写多读锁)。

2007.10.18：补充一点，关于acquire release semantics
   在多处理器平台上，一个处理器的实际的操作顺序，和其它处理器所看到的它的操作顺序可能并不相同，例如：
a++;
b++;
在其他处理器看来，很有可能“b++”发生在前面，而“a++”发生在后面。某些情况下，其他处理器看到的顺序必须和实际的顺序保持一致，所以就需要引入acquire semantics和release semantics了。
   说一个操作具有acquire semantics，就表示可以保证其它处理器在看到这一操作的结果前，不会看到(该处理器上)后续操作的结果，对该处理器而言，可以理解为它进行此操作前，不会进行后续操作；而一个操作具有release semantics，就表示可以保证其它处理器在看到这一操作的结果前，能看到(该处理器)上先前所有操作的结果，对该处理器而言，可以理解为在完成所有先前的操作之前，不会进行此操作。
   vc编译器(其它编译器不一定保证)保证对volatile对象的写操作具有release semantics；对volatile对象的读操作具有acquire semantics。基于此点保证，多线程环境中就可以用volatile型对象实现锁操作了。

对windows互锁函数的补充
一个轻量级的单写多读锁