博客园_地狱之门

YUKI类型框架库

2012-02-09T16:42:00Z

Yummy Ultimate Kata Infrastructure (YUKI类型框架库)

地狱门神(F.R.C.)

下载 https://sourceforge.net/projects/fflf/files/ | http://files.cnblogs.com/Rex/YUKI.rar

SVN地址 https://fflf.svn.sourceforge.net/svnroot/fflf/trunk/Yuki/

1 概论

本框架的目标是建立一个跨平台跨语言的类型系统，并提供对应的序列化支持。
本框架的主要用途是将定义好的元数据文件通过代码生成得到各个语言的类型定义和序列化代码。

支持的代码生成分成两类：基于对象数据结构的代码生成和基于关系数据结构的代码生成。

2 基于对象数据结构的代码生成

基于对象的数据结构是用于存储和通讯用的数据结构。

基于对象的数据结构是指的由
基元类型(Primitive)
别名(Alias)
记录(Record)
标签联合(TaggedUnion)
枚举(Enum)
客户端方法(ClientCommand)
服务端事件(ServerCommand)
组成的数据结构。

基元类型 Primitive
没有泛型参数，指由所有相关外部系统均理解的基础类型，如32位有符号整数、字符串等。

别名 Alias
可有泛型参数，用以表示一个基元类型、别名、记录、标签联合或其泛型特化，以及多元组。

记录 Record
可有泛型参数，用以表示一个有多个字段的顺序结构。

标签联合 TaggedUnion
可有泛型参数，用以表示一个有标签和多个字段的选择结构，其实例只表示多个字段中的一个。

枚举 Enum
没有泛型参数，相当于一个所有字段的类型都是空类型(Unit)的标签联合。

客户端方法 ClientCommand
没有泛型参数，在通讯中表示由客户端发出的方法，由一个多个字段的顺序结构表示客户端传给服务端的参数，由一个有标签和多个字段的选择结构表示服务端返回给客户端的返回值。

服务端事件 ServerCommand
没有泛型参数，在通讯中表示由服务端发出的方法，由一个多个字段的顺序结构表示服务端传给客户端的参数。

元组 Tuple
一个匿名的有多个匿名字段的顺序结构，类型的一种组合方法。

泛型特化 GenericTypeSpec
一个匿名的数据结构，表示将某个有泛型参数的类型代入参数的结果。

这部分的代码生成主要分成四个部分：类型定义、二进制序列化、JSON序列化、通讯。
下面列出各语言代码生成支持的部分。

类型定义        二进制序列化        JSON序列化      通讯
C#                  √              Firefly库动态支持   √              √
Java                ×              ×                  ×              ×
C++2011             √              √                  ×              ×
ActionScript        √              ×                  √              √
Xhtml               √              无需                无需            √

其中，C#和ActionScript的二进制序列化和C++2011的通讯功能，将会在今后逐步增加。
Java的四项功能也将逐步增加。

3 基于关系数据结构的代码生成

基于关系的数据结构用于生成数据库创建和数据导入代码。

基于关系的数据结构是指由
基元类型(Primitive)
记录(Record)
枚举(Enum)
组成的数据结构。

基元类型 Primitive
没有泛型参数，指由所有相关外部系统均理解的基础类型，如32位有符号整数、字符串等。

记录 Record
没有泛型参数，表示一个数据表，有多个字段。

枚举 Enum
没有泛型参数，由若干标签名和对应的整数组成。

这部分的代码生成主要是SQL的代码生成，目前只支持SQL Server。

4 环境要求

本框架使用 Visual C# 3.0 编写，开发时需要 Microsoft .Net Framework 4.0 编译器或 Visual Studio 2010 支持。
本框架运行时需要 Microsoft .Net Framework 4 或 Microsoft .Net Framework 4 Client Profile 运行库支持。
Microsoft .Net Framework 4 (x86/x64，48.1MB)
http://download.microsoft.com/download/9/5/A/95A9616B-7A37-4AF6-BC36-D6EA96C8DAAE/dotNetFx40_Full_x86_x64.exe
Microsoft .NET Framework 4 Client Profile (x86，28.8MB)
http://download.microsoft.com/download/3/1/8/318161B8-9874-48E4-BB38-9EB82C5D6358/dotNetFx40_Client_x86.exe

5 用户使用协议

本框架是免费自由软件，所有源代码和可执行程序按照BSD许可证授权，详见License.zh.txt。
本框架的所有文档不按照BSD许可证授权，你可以不经修改的复制、传播这些文档，你还可以引用、翻译这些文档，其他一切权利保留。

本框架所依赖的Firefly框架的使用协议请参见对应文档。

6 备注

如果发现了BUG，或者有什么意见或建议，请到以下网址与我联系。
http://www.cnblogs.com/Rex/Contact.aspx?id=1

本文链接

在Windows7下玩老游戏花屏的解决办法

2011-01-02T15:32:00Z

在Windows7下玩老游戏花屏的解决办法

地狱门神

在Windows7下玩老游戏，如星际争霸，会出现花屏的现象。

这个现象的原因是Win7的DirectDraw的256色调色板的兼容性问题，据说是默认配置下，程序无法获取调色板锁。

一个简单的解决方法是杀掉explorer进程，估计这样就会停止桌面主题修改调色板。

但是这不是一个一劳永逸的办法。

经过在网上搜索，发现有这样一个解决方案。

DirectDraw有一个注册表项，用于开启兼容模式，位于

HKEY_LOCAL_MACHINE\SOFTWARE\Wow6432Node\Microsoft\DirectDraw\Compatibility

(Win7 x64)

HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\DirectDraw\Compatibility

(Win7 x86)

在这个注册表项下添加需要启用兼容模式的exe，如：

Windows Registry Editor Version 5.00

[HKEY_LOCAL_MACHINE\SOFTWARE\Wow6432Node\Microsoft\DirectDraw\Compatibility\StarCraft116]
"Name"="Starcraft.EXE"
"ID"=hex:ca,89,65,49
"Flags"=hex:00,08,00,00

(Win7 x64)

就可以使得对应的程序运行于兼容模式下。

这三个键值中，Name是程序的文件名，Flags是常量，而ID是程序的时间戳。

以星际争霸1.161为例，我们可以使用CFF Explorer打开Starcraft.exe，然后在Nt Headers-File Header中找到TimeDateStamp一项，发现其值为496589CA。

将该整数倒过来写作低字节优先的形式(little-endian)，就是ca,89,65,49，这就是注册表中的ID值。

网上的有解决方案声称HKEY_LOCAL_MACHINE\SOFTWARE\Wow6432Node\Microsoft\DirectDraw\MostRecentApplication下的ID记录的就是上一次运行的游戏的时间戳。

但是我验证的时候发现不一致。

通过此方法，星际争霸已经可以在我的机器上正常运行。

此外，还有一种方法是通过Hook掉DirectDraw的函数来完成的，见

http://sol.gfxile.net/ddhack/

不过这个实现是通过软件方法来进行索引->颜色转换的，没有使用到显卡加速，在运行星际争霸时比较卡。

但这种方法只需要在程序文件夹下放入一个ddraw.dll的文件就可以实现，比较方便。

也许以后会有人通过DirectX或者OpenGL来模拟DirectDraw的功能，能够比较完善的解决这个问题。

本文链接

手工下载器

2010-12-05T07:26:00Z

手工下载器(ManualDownloader)

地狱门神(F.R.C.)

下载地址：http://files.cnblogs.com/Rex/ManualDownloader.rar

1 概论

有一个困扰我很久的问题，就是老是有一些网站下载某个东西要验证，导致支持断点续传的下载软件失效，使得一些文件一旦断掉，很难重新连上。
同时，目前的浏览器或者下载软件，一般都没有办法将一个下载的一半的文件手动更换为另一个链接。
为了对付这些问题，我制作了这个程序。

本程序用于
1)作为HTTP代理服务器拦截服务器二进制文件响应对应的请求
2)通过HTTP报文手工下载
3)下载到已有文件

2 使用说明

最简单的场景：下载一个文件。

1)捕捉请求
在浏览器中按照浏览到下载文件之前的最后一步。
点Listen，并将浏览器的HTTP代理服务器设置为127.0.0.1，端口为界面上显示的端口。
点Capture。
在浏览器中点击下载文件。
此时应该在Header框中出现对应的HTTP请求头，如果没有出现，多试几次。如果还不出现，请修改代码解决。
出现之后，可以停止Listen。

2)选择文件和下载范围
文件在File框中选择，之后修改Header中的Range字段。
如果文件已经下载到一半，可以按FromFile自动修改Range字段为从文件结束位置开始。

3)下载
点击Download。等待进度结束。如果中间出现错误，需要重新修改Range。

4)检验
点击Verify，软件会自动选取1024个Range，从每个Range的头部取1024字节和文件对比。如果出错，会在最后显示出错的范围。

还可在其他场景中使用，用得来人自然用得来。

3 环境要求

本程序使用 Visual Basic 10.0 编写，开发时需要 Microsoft .Net Framework 4.0 编译器或 Visual Studio 2010 支持。
本程序运行时需要 Microsoft .Net Framework 4 或 Microsoft .Net Framework 4 Client Profile 运行库支持。
Microsoft .Net Framework 4 (x86/x64，48.1MB)
http://download.microsoft.com/download/9/5/A/95A9616B-7A37-4AF6-BC36-D6EA96C8DAAE/dotNetFx40_Full_x86_x64.exe
Microsoft .NET Framework 4 Client Profile (x86，28.8MB)
http://download.microsoft.com/download/3/1/8/318161B8-9874-48E4-BB38-9EB82C5D6358/dotNetFx40_Client_x86.exe

4 用户使用协议

本程序是免费自由软件，所有源代码和可执行程序按照BSD许可证授权，详见License.zh.txt。
本程序的所有文档不按照BSD许可证授权，你可以不经修改的复制、传播这些文档，你还可以引用、翻译这些文档，其他一切权利保留。
本程序使用的Firefly.Core.dll和Firefly.GUI.dll是萤火虫框架库的一部分，按照Firefly-License.zh.txt授权。

5 备注

如果发现了BUG，或者有什么意见或建议，请直接跟贴。

本文链接

使用代码生成建立可扩展序列化器(上)

2010-11-18T08:09:00Z

使用代码生成建立可扩展序列化器(上)

地狱门神

在很多程序中，配置文件和用户数据的保存和读取都是一个需要考虑的问题。

在以前，用户数据经常保存在INI文件中，后来出现了注册表，于是也有保存在注册表中的。

注册表不是一种稳定的方式，不便于用户管理。

INI和注册表都难以保存复杂结构的对象，需要手写很多代码。

随着XML和.Net的兴起，越来越多的程序使用XML文件来保存用户数据。

不过.Net的内置序列化器System.Xml.Serialization.XmlSerializer是在.Net 2.0之前推出的，对泛型的支持有限。

同时，由于其使用特性来标记数据模型中的类和变量，并需要对象实现IXmlSerializable。这是对数据模型的严重污染，非常不利于程序维护。

此外，出于性能的考虑，在数据达到一定规模之后，我们必须使用二进制序列化，以加快加载速度。

对于二进制序列化，有很多实现，而且一般都互不兼容。

由于很多二进制格式是已经事先确定的，要实现对这些二进制格式的反序列化和序列化支持，是非常困难的，没有很好的工具解决这个问题，经常需要手工维护读文件和写文件两部分代码。

.Net的默认实现使得类必须实现ISerializable。这和XML序列化的问题是一样的。

这两种序列化器均难以方便的实现定制功能。

由于这些问题，我建立了两个全新的可扩展序列化器，并使用相同的基础结构。

设计目标是：

1)可扩展性，二进制序列化应可扩展支持任意二进制格式；

2)性能，不能太慢，对于多次序列化、反序列化，每次不应有较大的性能损失；

3)无污染，不应对模型数据进行任何插入式的标记；

4)可加的版本支持，这一部分应通过可扩展性来实现；

5)自动支持泛型集合，特别是List(T)和Dictionary(TKey, TValue)。

6)自动支持不变类型，即只读的公开属性和构造函数参数匹配的类型，例如KeyValuePair(TKey, TValue)。

.Net对于泛型的支持不够完整，缺乏泛型λ表达式、泛型委托等语法元素，泛型约束也有很大的限制。

因此，代码生成是唯一的强类型的选择。另一个选择是使用弱类型进行动态绑定，不过感觉性能和类型安全都不能保证，所以不用。

先上代码。C#的代码请参见附件。

数据模型如下：

Public Class DataEntry

Public Name As String

Public Data As Byte()

End Class

Public Class ImmutableDataEntry(Of T)

Public ReadOnly Property Name As String

Get

Return NameValue

End Get

End Property

Public ReadOnly Property Data As T

Get

Return DataValue

End Get

End Property

Private NameValue As String

Private DataValue As T

Public Sub New(ByVal Name As String, ByVal Data As T)

Me.NameValue = Name

Me.DataValue = Data

End Sub

End Class

Public Class DataObject

Public DataEntries As New Dictionary(Of String, DataEntry)

Public ImmutableDataEntries As New Dictionary(Of String, ImmutableDataEntry(Of Byte()))

End Class

XML序列化代码如下：

'创建自定义XML序列化器实例

Dim mxs As New Firefly.Mapping.XmlSerializer

'创建数据

Dim Obj As New DataObject

Obj.DataEntries.Add("DataEntry1", New DataEntry With {.Name = "DataEntry1", .Data = New Byte() {1, 2, 3, 4, 5}})

Obj.DataEntries.Add("DataEntry2", New DataEntry With {.Name = "DataEntry2", .Data = New Byte() {6, 7, 8, 9, 10}})

Obj.ImmutableDataEntries.Add("ImmutableDataEntry1", New ImmutableDataEntry(Of Byte())("ImmutableDataEntry1", New Byte() {1, 2, 3, 4, 5}))

Obj.ImmutableDataEntries.Add("ImmutableDataEntry2", New ImmutableDataEntry(Of Byte())("ImmutableDataEntry2", New Byte() {6, 7, 8, 9, 10}))

'XML序列化

Dim Element = mxs.Write(Obj)

'XML反序列化

Dim RoundTripped = mxs.Read(Of DataObject)(Element)

'输出到命令行

Dim Setting = New XmlWriterSettings With {.Encoding = Console.Out.Encoding, .Indent = True, .OmitXmlDeclaration = False}

Using w = XmlWriter.Create(Console.Out, Setting)

Element.Save(w)

End Using

这样就自动生成以下XML文本：

<?xml version="1.0" encoding="gb2312"?>

<Key>DataEntry1</Key>

<Value>

<Name>DataEntry1</Name>

<Data>

</Data>

</Value>

</KeyValuePairOfStringAndDataEntry>

<Key>DataEntry2</Key>

<Value>

<Name>DataEntry2</Name>

<Data>

</Data>

</Value>

</KeyValuePairOfStringAndDataEntry>

</DataEntries>

<Key>ImmutableDataEntry1</Key>

<Value>

<Name>ImmutableDataEntry1</Name>

<Data>

</Data>

</Value>

</KeyValuePairOfStringAndImmutableDataEntryOfArrayOfByte>

<Key>ImmutableDataEntry2</Key>

<Value>

<Name>ImmutableDataEntry2</Name>

<Data>

</Data>

</Value>

</KeyValuePairOfStringAndImmutableDataEntryOfArrayOfByte>

</ImmutableDataEntries>

</DataObject>

这个文件中，字节数组使用了默认的集合表示，不利于查看和修改，我们可以使用扩展机制来处理这个问题。

两个序列化器均提供三种扩展机制：

1) PutReader|PutWriter，用于提供直接的读写替代，直接操作需要读写的对象和数据流|数据树；

2) PutReaderTranslator|PutWriterTranslator，提供更高层的抽象，用于将需要读写的对象替代成另一种对象，交给序列化器做后续处理；

3) (ReaderResolver|WriterResolver).(ProjectorResolvers|AggregatorResolvers)，提供直接的类型解析替代，但此机制中类型均为运行时类型，编写代码较麻烦。

详细的说明将在后面介绍，这里我们使用2)，即对象替代。

声明对象替代器：

'用于将字节数组转换为字符串处理

Private Class ByteArrayCodec

Implements IProjectorToProjectorRangeTranslator(Of Byte(), String) 'Reader

Implements IProjectorToProjectorDomainTranslator(Of Byte(), String) 'Writer

Public Function TranslateProjectorToProjectorRange(Of D)(ByVal Projector As Func(Of D, String)) As Func(Of D, Byte()) Implements IProjectorToProjectorRangeTranslator(Of Byte(), String).TranslateProjectorToProjectorRange

Return Function(k) Regex.Split(Projector(k).Trim(" \t\r\n".Descape.ToCharArray), "( |\t|\r|\n)+", RegexOptions.ExplicitCapture).Select(Function(s) Byte.Parse(s, Globalization.NumberStyles.HexNumber)).ToArray

End Function

Public Function TranslateProjectorToProjectorDomain(Of R)(ByVal Projector As Func(Of String, R)) As Func(Of Byte(), R) Implements IProjectorToProjectorDomainTranslator(Of Byte(), String).TranslateProjectorToProjectorDomain

Return Function(ba) Projector(String.Join(" ", (ba.Select(Function(b) b.ToString("X2")).ToArray)))

End Function

End Class

将对象替代器注册到序列化器：

Dim mxs As New Firefly.Mapping.XmlSerializer

mxs.PutReaderTranslator(New ByteArrayCodec)

mxs.PutWriterTranslator(New ByteArrayCodec)

这样就自动生成以下XML文本：

<?xml version="1.0" encoding="gb2312"?>

<Key>DataEntry1</Key>

<Value>

<Name>DataEntry1</Name>

</Value>

</KeyValuePairOfStringAndDataEntry>

<Key>DataEntry2</Key>

<Value>

<Name>DataEntry2</Name>

</Value>

</KeyValuePairOfStringAndDataEntry>

</DataEntries>

<Key>ImmutableDataEntry1</Key>

<Value>

<Name>ImmutableDataEntry1</Name>

</Value>

</KeyValuePairOfStringAndImmutableDataEntryOfArrayOfByte>

<Key>ImmutableDataEntry2</Key>

<Value>

<Name>ImmutableDataEntry2</Name>

</Value>

</KeyValuePairOfStringAndImmutableDataEntryOfArrayOfByte>

</ImmutableDataEntries>

</DataObject>

这里解释一下ByteArrayCodec的作用。

ByteArrayCodec是一个转换字节数组到字符串，并转换回来的类，实现了两个接口：

Public Interface IProjectorToProjectorRangeTranslator(Of R, M)

Function TranslateProjectorToProjectorRange(Of D)(ByVal Projector As Func(Of D, M)) As Func(Of D, R)

End Interface

Public Interface IProjectorToProjectorDomainTranslator(Of D, M)

Function TranslateProjectorToProjectorDomain(Of R)(ByVal Projector As Func(Of M, R)) As Func(Of D, R)

End Interface

这两个接口，其实是用来约束两个泛型高阶函数。D是输入类型，M是中间类型，R是输出类型。

所谓的Projector，是指投影函数，即一个将原来的对象转换为具有相同信息或者更少信息的对象的函数。

与其相对的，我还定义了一种叫Aggregator的东西，即聚合函数，用于将一个对象的信息加入到另一个已有对象。这个现在暂不描述。

通常我们认为Projector比Aggregator更好书写。

IProjectorToProjectorRangeTranslator，就是用来将一个Projector的值域类型变换到另一个类型，也就是：

IProjectorToProjectorRangeTranslator(D, M, R): Projector(D, M) -> Projector(D, R)

由于.Net不支持返回泛型λ表达式，不能做泛型参数偏特化，因此将本来的三个泛型参数(D, M, R)分成两组(R, M)和(D)，(R, M)定义为接口参数，(D)定义成函数类型参数。

这样我们可以先对(R, M)进行特化，再对(D)进行特化，使得高阶函数的实现与定义域类型D无关。

同样，IProjectorToProjectorDomainTranslator用于将一个Projector的定义域类型变换到另一个类型。

在ByteArrayCodec中：

TranslateProjectorToProjectorRange用于将Projector(D, String)转化为Projector(D, Byte())，内部做了String到Byte()的转换，使用正则表达式实现；

TranslateProjectorToProjectorDomain用于将Projector(Byte(), R)转化为Projector(String, R)，内部做了Byte()到String的转换，使用Byte.ToString("X2")来完成。

下一步，我们需要变更数据模型，但需要保持对已有用户数据的兼容。

这个时候，我们仍然通过对象替代来解决。

首先变更数据模型，将DataEntry增加一个Attribute字段，原DataEntry更名保留：

'版本1的DataEntry

Public Class DataEntryVersion1

Public Name As String

Public Data As Byte()

End Class

'当前版本(版本2)的DataEntry

Public Class DataEntry

Public Name As String

Public Data As Byte()

Public Attribute As String

End Class

增加一个对象替代器：

'用于适配DataEntry的版本1和版本2

Public Class DataEntryVersion1To2Translator

Implements IProjectorToProjectorRangeTranslator(Of DataEntry, DataEntryVersion1) 'Reader

Implements IProjectorToProjectorDomainTranslator(Of DataEntry, DataEntryVersion1) 'Writer

Public Function TranslateProjectorToProjectorRange(Of D)(ByVal Projector As Func(Of D, DataEntryVersion1)) As Func(Of D, DataEntry) Implements IProjectorToProjectorRangeTranslator(Of DataEntry, DataEntryVersion1).TranslateProjectorToProjectorRange

Return Function(DomainValue)

Dim v1 = Projector(DomainValue)

Return New DataEntry With {.Name = v1.Name, .Data = v1.Data, .Attribute = "Version1's attribute"}

End Function

Public Function TranslateProjectorToProjectorDomain(Of R)(ByVal Projector As Func(Of DataEntryVersion1, R)) As Func(Of DataEntry, R) Implements IProjectorToProjectorDomainTranslator(Of DataEntry, DataEntryVersion1).TranslateProjectorToProjectorDomain

Return Function(v2)

Dim v1 = New DataEntryVersion1 With {.Name = v2.Name, .Data = v2.Data}

Return Projector(v1)

End Function

End Class

然后声明两个版本的序列化器，版本1不放入DataEntryVersion1To2Translator，版本2放入DataEntryVersion1To2Translator。

为了在文档中加入版本标志，我们可以使用XML元素的Attribute，在写入后增加标记，如：

Dim Element = SerializerVersion2.Write(Obj)

Element.@<SchemaType> = "MyDataFormat"

Element.@<Version> = 2

在读取的时候，首先读取XElement：

Dim SchemaType = Element.@<SchemaType>

If SchemaType <> "MyDataFormat" Then Throw New InvalidDataException("数据不是MYDF格式数据")

Dim Version = Integer.Parse(Element.@<Version>)

再通过版本号来选择序列化器进行反序列化。

<?xml version="1.0" encoding="gb2312"?>

这样生成的第二个版本的XML文件就会具有版本号，同时程序可以对各个版本的文件进行兼容。

不会出现手写代码时，由于要兼容，出现多套数据模型或者难以修改数据模型的问题。

详细的代码，以及二进制序列化的示例请参见附件，有VB和C#两个版本的示例代码，和一个简化的库。

简化的库是因为这两个序列化器均是作为萤火虫汉化框架的一部分来开发的。

关于内部实现，主要是通过System.Linq.Expression来进行的，生成的表达式可以被垃圾回收。

实现我将在下篇中描述。

所有的示例代码均按Public Domain授权，所有的库代码均按BSD协议授权。如果需要在GPL程序中使用，请与我单独联系授权。

最后携带一点私货，为了解耦我们不要拘泥于面向对象。

示例下载地址：

http://files.cnblogs.com/Rex/FireflyForSerializing.rar

本文链接

关于x86下VB、C#、VC中的整数运算需要注意的地方

2010-09-30T07:34:00Z

关于x86下VB、C#、VC中的整数运算需要注意的地方

请大家看这段代码：

using System;

namespace IntegerArithmetic
{
    class Program
    {
        static void Main(string[] args)
        {
            Int32 a = (-1) / 8;                   //0
            Int32 b = (-1) % 8;                   //-1
            Int32 c = 1 << 32;                    //1
            UInt32 d = 1U << 32;                  //1
  
            Int32 e = (-1) / (-8);                //0
            Int32 f = (-1) % (-8);                //-1
            Int32 g = (-1) << 32;                 //-1
            Int32 h;                              //-1
            Int32 i = Math.DivRem(-1, 8, out h);  //0

            Console.WriteLine(String.Format("a = {0}", a));
            Console.WriteLine(String.Format("b = {0}", b));
            Console.WriteLine(String.Format("c = {0}", c));
            Console.WriteLine(String.Format("d = {0}", d));
            Console.WriteLine(String.Format("e = {0}", e));
            Console.WriteLine(String.Format("f = {0}", f));
            Console.WriteLine(String.Format("g = {0}", g));
            Console.WriteLine(String.Format("h = {0}", h));
            Console.WriteLine(String.Format("i = {0}", i));
        }
    }
}

这些结果中不少是反常识的。

1.整数除法和模运算

在x86下的VB、C#、VC中，整数除法和模运算的定义为

x DIV y = TruncToZero(x / y)
x MOD y = x - (x DIV y) * y

其中
MOD表示模运算(VB中为Mod, C#和C++中为%)；
DIV表示整数除法(VB中为\，C#和C++中为/)；
TruncToZero(r)是指取一个符号与r相同，且绝对值不大于|r|的绝对值最大的整数；
TruncToZero(r) = sign(r) * max{|x|: |x| <= |r|}
/表示实数除法。

这种定义导致的问题是(负数 MOD 正数)的结果为负数。
例如[1]：

bool is_odd(int n) {
    return n % 2 == 1;
}

这个函数在传入任意负数n时会返回false。

这几种语言在x86下的表现，可能是编译器考虑到运行效率直接使用x86机器指令IDIV实现的缘故。

有两种修正的定义，请参阅[1]：

floored division：模得的值的符号与模数一致

x DIV y = floor(x / y)
x MOD y = x - (x DIV y) * y

Euclidean definition: 模得的值始终为正

x DIV y = if y > 0
              floor(x / y)
          else
              ceil(x / y)
x MOD y = x - (x DIV y) * y

我们可以在C#中实现采用floored division方式修正的代码。

/// <summary>modulo from Knuth's floored division</summary>
public static Int32 Mod(this Int32 a, Int32 m) {
    Int32 s = Math.Sign(m);
    Int32 pm = Math.Abs(m);
    return s * (((s * a) % pm) + pm) % pm;
}

/// <summary>Knuth's floored division</summary>
public static Int32 Div(this Int32 a, Int32 b)
{
    return (a - a.Mod(b)) / b;
}

不过这个方法可能会出现整数溢出。特别是C#默认没有开启整数溢出异常，可能导致计算出错。
下面是没有整数溢出的版本。不过正确是有代价的，逻辑很复杂。

public static Int32 Mod(this Int32 a, Int32 m)
{
    Int32 r = a % m;
    if (((r < 0) && (m > 0)) || ((r > 0) && (m < 0))) { r += m; }
    return r;
}

public static Int32 Div(this Int32 a, Int32 b)
{
    if (b == 0) { throw new DivideByZeroException(); }
    Int32 r = a.Mod(b);
    if ((a > 0) && (r < 0))
    {
        if (a - Int32.MaxValue > r) { return (a - Math.Abs(b) - r) / b + Math.Sign(b); }
    }
    else if ((a < 0) && (r > 0))
    {
        if (a - Int32.MinValue < r) { return (a + Math.Abs(b) - r) / b - Math.Sign(b); }
    }
    return (a - r) / b;
}

2.移位运算
在x86下的VB、C#、VC中，移位运算的定义为

Int32 x, Int32 y
x << y = x SAL (y MOD 32)
x >> y = x SAR (y MOD 32)
UInt32 x, Int32 y
x << y = x SHL (y MOD 32)
x >> y = x SHR (y MOD 32)

其中SAR是最高位补原最高位的算术右移，SHR是最高位补0的逻辑右移，SAL、SHL是左移。
y MOD 32 = y AND 0x1F

这应该是x86指令集所决定的。

不过需要注意到VC编译器对常数和变量的处理不一致。
在y为常数且超过0..31的范围时，会出现“shift count negative or too big, undefined behavior”的警告。
当x也为常数时，常量会按常识正确计算。

修正：

public static UInt32 SHL(this UInt32 a, Int32 n)
{
    if (n >= 32) { return 0; }
    if (n < 0) { return a.SHR(-n); }
    return a << n;
}

public static UInt32 SHR(this UInt32 a, Int32 n)
{
    if (n >= 32) { return 0; }
    if (n < 0) { return a.SHL(-n); }
    return a >> n;
}

public static Int32 SAL(this Int32 a, Int32 n)
{
    if (n >= 32) { return 0; }
    if (n < 0) { return a.SAR(-n); }
    return a << n;
}

public static Int32 SAR(this Int32 a, Int32 n)
{
    if (n >= 32)
    {
        if (Convert.ToBoolean(a & Int32.MinValue))
        {
            return -1;
        }
        else
        {
            return 0;
        }
    }
    if (n < 0) { return a.SAL(-n); }
    return a >> n;
}

3.修正的使用时机

前述的两个修正是完备的。但是不能很好的融入语法，且性能损失是可以预测到的。
因此，下面给出使用的时机判断方法。

1)整数除法和模运算修正的使用时机是：
被除数x和除数y中有一个可能为负数的时候。

通常除数是正数，而被除数有时候是负数。
但是，有时被除数看起来可能会出现负数，却可以较容易的修正为正数表达式，如：
求

(n - 1) MOD m

其中n为非负整数，m为正整数。
这里n = 0时不修正会出现问题。
但是我们可以写成

(n + m -1) MOD m

这个就不会出现问题。

2)移位运算修正的使用时机

在移位的位数y为变量时使用。
例如我们需要获得一个掩码。

Int32 Mask = 1 << n - 1

这里n为Int32变量。
则我们必须使用

Int32 Mask = 1.SAL(n) - 1

否则，在n = 32时会出现问题。

4.结论

x86下的整数运算远比人们所想象的复杂。
稍不注意，就会导致出现无法察觉的bug。

参考：
[1] http://en.wikipedia.org/wiki/Modulo_operation

本文链接

VolumeViewer

2010-09-18T09:24:00Z

2010-09-18T09:24:00Z2010-09-18T09:24:00Z地狱门神http://www.cnblogs.com/Rex/

本文链接

萤火虫框架漩涡文本本地化工具项目

2010-07-14T05:16:00Z

萤火虫框架漩涡文本本地化工具项目(Firefly.Eddy)

地狱门神(F.R.C.)

下载 https://sourceforge.net/projects/fflf/files/ | 备用链接 http://files.cnblogs.com/Rex/Eddy.rar

SVN地址 https://fflf.svn.sourceforge.net/svnroot/fflf/trunk/Eddy/

文本工具示例 https://sourceforge.net/projects/fflf/files/ | 备用链接 http://files.cnblogs.com/Rex/EddyDemo.rar

文本工具示例.Net 2.0/3.5最终版 http://files.cnblogs.com/Rex/TextLocalizerDemo_DotNet2.rar

1 概论

本项目为萤火虫框架中原有的文本本地化工具及附属插件分离而来，用于进行显示和保存对照的几组本地化文本。
本项目的文本本地化工具有一些附属的插件，用于辅助翻译工作。

2 各程序集功能介绍

2.1 主程序(Eddy.exe)
文本本地化工具主程序。

2.2 接口库(Eddy.Interfaces.dll)
本库定义了插件的接口。

2.3 基础库(Eddy.Interfaces.dll)
本库定义了界面插件的接口及其他基础设施。

2.4 WinForm界面库(Eddy.WinForm.dll)
实现了WinForm制作的主界面。

2.5 差异比较高亮插件(Eddy.DifferenceHighlighter.dll)
实现差异比较高亮。

2.6 控制符高亮插件(Eddy.EscapeSequenceHighlighter.dll)
实现控制符高亮。

2.7 朗读插件(Eddy.Voice.dll)
实现使用TTS进行语音朗读。
需要安装VM Misaki之类的软件后方能使用。

2.8 查找替换插件(Eddy.FindReplace.dll)
实现查找替换。

2.9 WQSG文本插件(Eddy.WQSG.dll)
实现对WQSG格式的支持。

2.10 日汉转换插件(Eddy.J2G.dll)
实现日本汉字到简体汉字的转换。

2.11 模板翻译插件(Eddy.TemplateTranslate.dll)
实现按模板翻译重复文本。

2.12 在线词典(Eddy.OnlineDictionary.dll)
实现通过在线网页查词。使用时先选中单词，然后点击对应的词典图标，即可打开相应的网页。
默认支持金山词霸(英汉、汉英)、Yahoo!辞書(日日、日英)、沪江小D(日汉、汉日)、Babylon(多英、英多)。

2.13 版本控制(Eddy.Version.dll)
实现在程序内调用版本控制软件，更新和提交文本。
默认支持TortoiseSVN，请从http://tortoisesvn.net/downloads.html下载最新的版本(及语言包)。

3 环境要求

本项目使用 Visual Basic 10.0 编写，开发时需要 Microsoft .Net Framework 4.0 编译器或 Visual Studio 2010 支持。
本项目运行时需要 Microsoft .Net Framework 4 或 Microsoft .Net Framework 4 Client Profile 运行库支持。
Microsoft .Net Framework 4 (x86/x64，48.1MB)
http://download.microsoft.com/download/9/5/A/95A9616B-7A37-4AF6-BC36-D6EA96C8DAAE/dotNetFx40_Full_x86_x64.exe

Microsoft .NET Framework 4 Client Profile (x86，28.8MB)
http://download.microsoft.com/download/3/1/8/318161B8-9874-48E4-BB38-9EB82C5D6358/dotNetFx40_Client_x86.exe

4 用户使用协议

以下协议不针对示例(Examples文件夹)：
本项目是免费自由软件，所有源代码和可执行程序按照BSD许可证授权，详见License.zh.txt。
本项目的所有文档不按照BSD许可证授权，你可以不经修改的复制、传播这些文档，你还可以引用、翻译这些文档，其他一切权利保留。

以下协议针对示例(Examples文件夹)：
本项目的示例进入公有领域，可以随意修改使用。

5 备注

如果发现了BUG，或者有什么意见或建议，请到以下网址与我联系。
http://www.cnblogs.com/Rex/Contact.aspx?id=1
常见的问题将在今后编制成Q&A。

-------------------

萤火虫框架漩涡文本本地化工具项目示例说明

地狱门神(F.R.C.)

示例说明如下，其中部分示例需要运行Build.cmd编译，因此请确保有编译环境：

GlyphText
演示图形文本工具的配置和使用。
配置文件为GlyphText\Bin\FFX2.locproj。
GlyphText\FFX2.locproj为有注释的版本，可供参考。

WQSGText
演示WQSG文本工具的配置和使用。
配置文件为WQSGText\Bin\Untitled.locproj。
WQSGText\Untitled.locproj为有注释的版本，可供参考。

Plugin
演示文本工具高亮插件的制作。
配置文件为Plugin\Bin\Untitled.locproj。
插件最终形式为Plugin\Bin\LengthHighlighter.dll。
插件源代码在Plugin\Src\LengthHighlighter.vb。

本框架的示例进入公有领域，可以随意修改使用。

本文链接

用Java写成的Tiger到JVM编译器

2009-02-20T14:33:00Z

用Java写成的Tiger到JVM编译器地狱门神源代码http://files.cnblogs.com/Rex/TigerCompiler.rar

魔王的反击

2009-02-20T14:04:00Z

魔王的反击爪哇之角小组2008-07一般的空战游戏都是你控制一架小型战斗机，通过战斗获得武器等级提升，然后于关卡中的BOSS战机进行战斗，BOSS通常都是行动模式单一，但火力强劲的家伙，换句话说就是四肢发达，头脑简单，闪避敌人的子弹是通常战机中的首要技巧。本作品突破传统空战游戏，采用大逆转思路，将玩家与AI逆转，玩家在游戏中扮演普通空战中的BOSS机体，而你的对手则是一部（或多部）由AI控制的普通...

萤火虫框架

2008-11-08T11:16:00Z

萤火虫框架(Firefly)地狱门神(F.R.C.)本类库集成了游戏修改中常常需要用到的一些工具和工具类。