Delphi2007 for Win32 Beta(转)
2007-06-28 11:24
423 查看
[b]Review: Delphi2007 for Win32 (Beta) (翻译) |
日期:2007年3月17日 作者:翻译:monkeyking 人气: 4113 查看:[大字体 中字体 小字体] |
这两天上班的时候翻译了这东西,还差最后一篇。先贴出来给大家看看。 Delphi2007 for Win32 Beta 评论 Part One From Hallvard's Blog http://hallvards.blogspot.com/2007/03/review-delphi-2007-for-win32-beta-part.html 翻译:monkeyking(www.cnblogs.com/monkeyking) 转载请注明出处。翻译匆忙,如有不妥之处请留言共同探讨。 CodeGear的Nick Hodges联系我,并给我一个授权,允许我讨论一下即将发布的Delphi2007 for Win32(产品代号为Spacely)。需要注意的是,以下评论都是基于2月中旬的预发布Beta版本 Build 2063,所以如遇变化请以正式发布的版本为准。 安装程序 下面的几张截图为大家呈现了新安装程序的外观。安装程序是由InstalAware(Delphi2007中已捆绑此工具)制作的,它应该使得CodeGear能以更加容易和更加集成的方式发布补丁和新版本。 Delphi2007是一个non-breaking版本 啥叫“Delphi2007是一个non-breaking版本”?很奇怪吧!根据CodeGear的路线图,今年的晚些时候会有一个代号为Highlander的新版本BDS(或者应该叫CDS了)出现。为了减少由于一年之内至少出现两个新版本的Delphi而带来的麻烦(对于开发者,第三方组件厂商等),CodeGear决定发布一个non-breaking版本的Delphi2007。这就意味着你可以使用BDS2006或者Turbo Delphi2006中的代码和组件,而不需要重新编译任何.dcu(Delphi Compiled Unit)文件。因此,即使某个组件是以dcu文件的形式发布的,它仍能够正常工作。 (译者注:其后,我将non-breaking称之为“无缝”) Delphi2007与BDS2006和Turbo Delphi 2006之间的无缝过渡很特殊,这意味着在.dcu层面上的二进制数据,Delphi2007对后两者具有兼容性,单元文件的interface部分也不存在因版本变化而带来的变化。所以你不需要修改任何已存在的类或者例程。请注意,Delphi单元文件的Interface部分所进行的检查,是允许你添加新类和标识的。(译者注:这个是指在编译代码时,编译器对interface部分的检查。当代码所引用的单元中出现了新的内容,比如一个新声明的类或者新的变量,此次检查仍能顺利通过,只要被引用代码所使用的变量或者代码没有变动即可。参照下面一段会有更加准确的理解) 这种方法带来的一个副作用就是它易于修改RTL和VCL的Bug(只需在实现部分中做修改即可),也能很方便的声明一个新类或者新组件,但是你却很难为一个已经存在的类声明新功能,方法或者属性。尽管“困难”,但也不是无法做到。比如CodeGear 就已经使用了几个小技巧(原文为hack)在TForm类中实现对Vista Glass效果的原生支持。Allen Bauer已经公开了这个事情,并且说了他是如何实现的。在后面的评论中,我们将会与Delphi2007(相对于BDS2006)的RTL和VCL新变化有更亲密的接触。 编译器有哪些新变化? 实际上,如果编译器有新变化,就有可能造成二进制数据层面上的不兼容性,所以普通意义上更新并不存在。不过,一些调查显示编译器确实有改进之处。例如,大量新的编译器提示,警告和错误信息。看起来就好象编译器已经有了XML文档生成功能。其中一部分新的错误消息能够有效帮助错误的修正。代码能够更早的生成内部错误,并有详细的编译时错误说明,用于解释代码究竟错在哪。下面就有一些新提示,警告和错误的例子。 New Hints: H2445 Inline function '%s' has not been expanded because its unit '%s' is specified in USES statement of IMPLEMENTATION section and current function is inline function or being inline function H2451 Narrowing given WideChar constant (#$%04X) to AnsiChar lost information H2456 Inline function '%s' has not been expanded because contained unit '%s' uses compiling unit '%s' New Warnings: W1055 PUBLISHED caused RTTI ($M+) to be added to type '%s' W1201 XML comment on '%s' has badly formed XML -- 'Whitespace is not allowed at this location.' W1202 XML comment on '%s' has badly formed XML -- 'Reference to undefined entity '%s'.' W1203 XML comment on '%s' has badly formed XML -- 'A name was started with an invalid character.' W1204 XML comment on '%s' has badly formed XML -- 'A name contained an invalid character.' W1205 XML comment on '%s' has badly formed XML -- 'The character '%c' was expected.' W1206 XML comment on '%s' has cref attribute '%s' that could not be resolved W1207 XML comment on '%s' has a param tag for '%s', but there is no parameter by that name W1208 Parameter '%s' has no matching param tag in the XML comment for '%s' (but other parameters do) New Errors: E2447 Duplicate symbol '%s' defined in namespace '%s' by '%s' and '%s' E2448 An attribute argument must be a constant expression, typeof expression or array constructor E2449 Inlined nested routine '%s' cannot access outer scope variable '%s' E2450 There is no overloaded version of array property '%s' that can be used with these arguments Linker errors: F2446 Unit '%s' is compiled with unit '%s' in '%s' but different version '%s' found IDE的变化 新的IDE感觉很快,也易于使用。很显著得例子是在调试窗口和设计窗口切换时也很少有闪烁现象。 下面两张截图显示了IDE上的一些新内容。 我已将变化之处编号: 1.我添加了一个工具条按钮,用于名为Notify on Language Exceptions的调试器设置。 2.TForm的新属性GlassFrame,用于控制Form的Vista Glass效果。它巧妙的使用了class helper,property injector和其他额外技术(hack)来实现的。 3.Tool Palette部分修改了搜索机制。只要组件的名字中包含了你输入的字符串,它们都会被显示在列表中。例如输入“but”,所有按钮组件都会显示出来。很棒! 这是另外一张屏幕截图。 1.新的文件浏览器窗口极其顺手。它就像一个迷你版的浏览器(explorer),大大减少我们对外部浏览器或者使用文件菜单的需求。同时,这个窗口也能停靠在任何位置或者处于浮动状态。当你不需要使用时,点击图钉按钮,窗口就会自动划出屏幕。 2.这是当前工程的编译器选项窗口。编译器警告,链接器和目录/编译条件现在都能为发行版本和调试版本单独设置。 3.在这里你可以看到新的编译器警告。它在外部单独停靠。 4.我添加了一个Vista上专用的组件TFileOpenDialog,此时编译器给我一个有关于使用平台方面的警告。不错! Review: Delphi 2007 for Win32 (Beta) - part two Review: Delphi 2007 for Win32 (Beta) - part two 编译器的新变化 From Hallvard's Blog http://hallvards.blogspot.com/2007/03/review-delphi-2007-for-win32-beta-part_06.html 翻译:monkeyking(www.cnblogs.com/monkeyking) 转载请注明出处。翻译匆忙,如有不妥之处请留言共同探讨。 新的published和$M+对比 新的编译器警告“W1055 PUBLISHED caused RTTI ($M+) to be added to type '%s'”非常有趣。它解决了我们之前讨论过的一个问题。在以前的编译器版本中,如果你编写这样的代码: type TMyClass = class private FName: string; published property Name: string read FName write FName; end; published属性不会产生RTTI ,它在后台被默认当作public属性来对待。这主要是因为TmyClass不是从一个使用了$M+编译指示字的类继承下来(比如TPersistent),它自己内部也没有使用$M+。现在,当你在Delphi2007里编译相同的代码时你会得到这样的警告: [DCC Warning] ThSort.pas(13): W1055 PUBLISHED caused RTTI ($M+) to be added to type 'TMyClass' 这说明,尽管$M+被漏掉了,但是编译器仍然会将它作为标准published属性来处理,并为它产生RTTI。在类声明前面添加一个$M+指示字,就不会再有这个警告了。如果你只是想使用一个Public属性,那么就把published改成public好了。 $DYNAMICBASE 和 ASLR 编译器现在接受一个新的编译指示字——$DYNAMICBASE ON/OFF,它对应的命令行参数为“-dynamicbase”。它相当于已经存在的编译指示字$SetPEOptFlags的一个快捷方式。$DYNAMICBASE ON等同于$SetPEOptFlags $40,$40在Windows中的定义为: const IMAGE_DLLCHARACTERISTICS_DYNAMIC_BASE = $0040; // The DLL can be relocated at load time. SetPEOptFlags指示字将在PE头中重开辟一个DllCharacteristics字段。它被用于Windows的装载程序确定某个被装载模块(比如DLL或者BPL)的大小。$40在Windows Vista中有特殊的意义,它将使用一个名为“随机地址空间分布(Address Space Layout Randomization,ASLR)”的特性。使用该特性后,OS会在装载模块时适当的随机偏移一定的地址(实际上偏移地址大致在0-255之间)以取代现在的这种精确装载于某个镜像基地址上的做法。这样做的主要目的是为了安全和抵御黑客针对DLL代码进行缓冲区溢出攻击。下面的链接讲解了更多关于这方面的知识http://blogs.msdn.com/michael_howard/archive/2006/05/26/address-space-layout-randomization-in-windows-vista.aspx -description的命令行选项 编译器同样有一个新的命令行选项“-description:<string>”,它对应与$DESCRIPTION编译指示字。用于在PE头中设定模块描述入口。 RTL中有什么新内容? 运行时库(RTL)包含了Delphi系统中所有编译器层面之上的最底层的构建模块。SysInit和System单元与编译器和链接器的内部紧紧捆绑着。当包(package)被使用时,SysInit被编译到每一个模块中(Exe和包文件BPL),System单元仅仅被编译到rtl100.bpl中。这就是为什么它们会被分离为两个单元文件。 这是个基本的背景知识。那么现在,到底有什么新变化呢?事实上,SysInit并没有变化。我猜测这说明SysInit单元很稳定,不需要任何修改。这可是个好消息。接下来我们深入分析一下System单元所作的改变。 System单元的变化 有一个名字非常好记的全局布尔变量出现——NeverSleepOnMMThreadContention。System.pas单元的实现部分引用了一个getmem.inc文件,该文件使用了新的内存管理器FastMM进行内存管理,而这个变量正式作用于它的。下面这段注释与变量一同出现: {Set this variable to true to employ a "busy waiting" loop instead of putting the thread to sleep if a thread contention occurs inside the memory manager. This may improve performance on multi-CPU systems with a relatively low thread count, but will hurt performance otherwise.} NeverSleepOnMMThreadContention: Boolean; 当FastMM需要保护共享资源时,它会使用轻量级的原语操作(例如汇编指令lock cmpxchg)替代重型的OS级别的临界对象API。如果遇到冲突(某个资源已经被其他线程锁定),它通常会进入休眠状态,释放CPU控制权,并允许其他线程完成自己的工作和释放该资源锁。 如同上面的注释中所提到的,在一些多CPU的机器上(这正在变为主流),采用在循环中不停的检查某个“锁”是否可用(也可称作spin-lock)的方法,等待另外一个CPU执行完线程并释放“锁”时,会更加有效率。我们一起来看看这个逻辑的Pascal代码: while LockCmpxchg(0, 1, @MediumBlocksLocked) <> 0 do begin if not NeverSleepOnMMThreadContention then begin Sleep(InitialSleepTime); if LockCmpxchg(0, 1, @MediumBlocksLocked) = 0 then break; Sleep(AdditionalSleepTime); end; end; 另外一个改进是关于spin-lock的汇编版本(默认情况下使用该版本)。它使用了pause x86指令,以便更好的兼容处理器和操作系统。 asm //... {The pause instruction improves spinlock performance} pause //... end; 此外,通过对一些汇编代码采用类似method-extract重构方法(重新分配大内存块的逻辑已经被重构到ReallocateLargeBlock例程的内部了),FastMM的代码体积好像略有减少(我没有仔细计算过)。 这时,看起来它对大片段内存块的支持逻辑是有所改进的。Pierre在代码里做了以下注释: {Is this large block segmented? I.e. is it actually built up from more than one chunk allocated through VirtualAlloc? (Only used by large blocks.)} 已优化过的RTL代码 正如Steve Threfethen在博客中写的那样,RTL已经包含了一些新的更新并用一些FastCode中代码替换原有的功能。当你比较字符串时,编译器魔法中System单元的例程 _LStrCmp 将被使用,这会成为代码性能至关重要的一环。Pierre le Richie为这个例程编写了一个新的更快的版本(依据FastCode大赛中CompareStr挑战赛的获胜代码编写),并提交到Quality Central中,编号为 #31328。该代码已经集合到RTL中。 _LStrCmp是进行字符串比较时都要用到的例程,包括字符串操作符>,>=,=,<>,<和<=。在Pierre的QC报告里,他建议修改编译器以便于调用不同的具有针对性的函数(_LStrEqual)。多数情况下,它只需要对比字符串的长度即可得知结果。但是这样的修改会影响二进制文件.dcu的兼容性,所以这项建议没有包含在Spacely中,但是很有可能应用于Highlander(Highlander或许会成为BDS2007)。 其他来源于FastCode的代码应用于SysUtils单元。BDS2006中,UpperCase和LowerCase都已经使用来源于FastCode的代码了(作者:Aleksandr Sharahov)。而在Delphi2007里,John O'Harrow又为它们开发了更快的版本。此外CompareStr和StrLen也使用了由Pierre le Riche编写的高效代码。 另外,FileAge和FileSearch函数也被优化。FileAge函数现在使用更加有效率的API GetFileAttributesExA (如果该API能够使用)替代原有的FindFirst/FindClose。如果FileSearch的Name参数为空值,它也会直接返回。这两个变化有助于改进编译器和链接器的速度。 最后,CheckForDuplicateUnits中使用了哈希表的逻辑思想,在装载包(package)时有更多的优化效果。这段代码在BDS2006中有很大的改进,但是现在,它会更快。当应用程序在启动时需要动态装载许多包时,它有助于缩短启动时间(比如Delphi IDE)。 桌面窗口管理器API DwmAPI单元是一个新出现的单元,它由Vista的DWMAPI.DLL导出。在其他平台上,这些代码会返回错误代码E_NOTIMPL。本单元中的所有常量和代码都是Delphi IDE和VCL中新添加进来的有关Vista新功能和Glass特殊效果的基础。比如里面就有这些例程DwmExtendFrameIntoClientArea 和DwmUpdateThumbnailProperties,大多数情况下VCL已经屏蔽了我们直接使用这些基本例程的需求,但我们还是应该知道在哪找到它们。 Math单元和完整的布尔值计算(complete boolean evaluation) Math单元里的三个InRange函数(重载的Integer,Int64和Double版本)有两个很有趣的变化。主要是代码的布置从(BDS2006版本): function InRange(const AValue, AMin, AMax: Integer): Boolean; begin Result := (AValue >= AMin) and (AValue <= AMax); end; 变成了(Delphi2007版本): function InRange(const AValue, AMin, AMax: Integer): Boolean; var A,B: Boolean; begin A := (AValue >= AMin); B := (AValue <= AMax); Result := B and A; end; 代码的变化,迫使编译器在设置Result变量前,计算出所有布尔表达式的值。这可以减少指令的条件判断后跳转(conditional jump)次数,以优化执行性能(一个明显的例子,如果Inrange返回True,它都需要计算出所有表达式)。编译出来的代码的不同之处可以参照下面(这是由BDS2006产生的汇编代码): Result := (AValue >= AMin) and (AValue <= AMax); //0040841C 3BD0 cmp edx,eax //0040841E 7F04 jnle $00408424 //00408420 3BC8 cmp ecx,eax //00408422 7D03 jnl $00408426 //00408424 33C0 xor eax,eax //00408426 C3 ret 新版本函数的汇编代码如下: A := (AValue >= AMin); //0040842C 3BD0 cmp edx,eax //0040842E 0F9EC2 setle dl B := (AValue <= AMax); //00408431 3BC8 cmp ecx,eax //00408433 0F9DC0 setnl al Result := B and A; //00408436 22C2 and al,dl end; //00408438 C3 ret 如你所见,第二段代码没有任何分支,而第一段代码由两个条件分支指令。现在处理器在无分支代码上能工作的更有效率,所以第二段代码的实际效果更好。也许某天我们会再遇到这个问题,此时还有另外一种方法来解决它——使用 $B+ 编译指示字。它会命令编译器完整的计算布尔值。 |
相关文章推荐
- Review: Delphi 2007 for Win32 (Beta) - part two
- Review: Delphi 2007 for Win32 (Beta) - part two
- 选择 Delphi 2007 ( CodeGear Delphi 2007 for Win32 Version 11.0.2837.9583 ) 的理由
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- 刚装了DELPHI2007 For WIN32,感觉还不错
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- delphi 2007 for win32 补丁
- 关注Delphi 2007 for Win32
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- CodeGear开发者日投影片和Delphi 2007 For Win32范例录像
- 选择 Delphi 2007 ( CodeGear Delphi 2007 for Win32 Version 11.0.2837.9583 ) 的理由
- CodeGear Delphi 2007 for Win32 专业版下载地址及安装、破解方法
- CodeGear公司正式推出delphi2007 for win32
- CodeRush for Visual Studio .NET v.3.0.2 (Beta) released on 18 Dec 2007 and What'a New
- 2007/06 Delphi&VCL For Web程式設計研討會
- Acro Multi-Language Suit for Delphi Win32升级到4.0版本
- CodeRush for Visual Studio .NET v.3.0.1 (Beta) released on 4 Dec 2007