�??xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/"><channel><title>&#x4E45;&#x4E45;&#x7CBE;&#x54C1;&#x4E2D;&#x6587;&#x65E0;&#x7801;&#x8D44;&#x6E90;&#x7AD9;&#x2C;&#x7CBE;&#x54C1;&#x4E45;&#x4E45;&#x4E45;&#x4E45;&#x4E45;&#x4E9A;&#x6D32;&#x7CBE;&#x54C1;&#x0D;&#x2C;&#x7CBE;&#x54C1;&#x56FD;&#x9645;&#x4E45;&#x4E45;&#x4E45;&#x4E45;&#x39;&#x39;&#x39;&#x6CE2;&#x591A;&#x91CE;</title><link>http://www.shnenglu.com/lingjingqiu/archive/2014/01/14/205354.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Tue, 14 Jan 2014 02:07:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2014/01/14/205354.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/205354.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2014/01/14/205354.html#Feedback</comments><slash:comments>6</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/205354.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/205354.html</trackback:ping><description><![CDATA[以前的时候话多，能写很长。工作以后�h���来���懒�Q�也���来���不能写�?ji��n)�?

��M��来说13�q�干掉的事情比较多，但是得到的成长比较少�?

最重要的当然是把结婚证领了(ji��n)。这个本来就在计划内�Q�没啥好说的�?
然后���是来了(ji��n)X店���虽然去�q�底���把面试什么的走完�?ji��n)，但是二月底我才拿到offer�Q�三月初才入职，
然后9月䆾���忙着领证�Q�十月䆾开始就是办�{�证�Q�准备搬�Ӟ��诸如此类日常琐碎的事务�?
十二月䆾整个月都耽误在Relocation上�?

自己的项目方面，���是��x��白一些事情后�Q�缓慢更新SALVIA。开�?ji��n)一些坑�Q�比如CppTemplateTutorial。但是没有一个坑是填�q�了(ji��n)的�?

估摸着�Q?014�q�大概和今年的状态接�q�。买车，把老婆弄过来，婚礼�Q�省钱准备接下来的生�z�，有时间的话就填坑�Q�你们有什么C++ Template的问题都来问吧。。。）(j��)�?
<img src ="http://www.shnenglu.com/lingjingqiu/aggbug/205354.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2014-01-14 10:07 <a href="http://www.shnenglu.com/lingjingqiu/archive/2014/01/14/205354.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>SALVIA 0.5.2优化�?/title><link>http://www.shnenglu.com/lingjingqiu/archive/2013/02/11/197800.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Mon, 11 Feb 2013 12:09:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2013/02/11/197800.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/197800.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2013/02/11/197800.html#Feedback</comments><slash:comments>2</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/197800.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/197800.html</trackback:ping><description><![CDATA[<h1>梗概</h1> <p>SALVIA 0.5.2 的优化经历是一个“跌宕�v伏”的�q�程。这个过�E�的�l�果很简单：(x��)</p> <p>在Core 2 Duo T5800(2.0GHz x 2)上，Sponza的性能提升�?0%�Q�ComplexMesh性能提升�?6%�?/p> <h1>&nbsp;</h1> <h1>背景</h1> <p>SALVIA的整个渲染流�E�主要是以下几部分：(x��)</p> <ul> <li>�Ҏ(gu��)��Index Buffer获得需要进行变换的��点�Q?/li> <li>���顶点利用Vertex Shader�q�行变换�Q?/li> <li>���变换后的顶点，输出成若�q�个float4�Q?/li> <li>���三角�Ş光栅化。SALVIA的光栅化是将三角形拆分成4x4的像素块若干�Q�不满的块有掩码来处理；</li> <li>���像素进行插��|��</li> <li>插完值后把像素送到Pixel Shader中处理一���；</li> <li>处理完的�l�果用Blend Shader塞到Back buffer里面厅R�?/li></ul> <p>用于���试的场景：(x��)</p> <ul> <li>Sponza 26万个面，20个左右的Diffuse�U�理�Q?024x1024�Q�；</li> <li>PartOfSponza �U?00个面�Q?个Diffuse�U�理�Q?024x1024�Q�；</li> <li>ComplexMesh 两万个面�Q�无�U�理�Q�有个能量保守的光照�?/li></ul> <p>最初的版本�Q�V1231�Q�中�Q�性能的主要瓶颈在插值阶�D�，各种耗时林林��L��d���?ji��n)一半以上（50% - 70%�Q��?/p> <p>相比之下其他阶段�Ҏ(gu��)��能的媄(ji��ng)响要么有限，要么没有多少优化�I�间。所以最�q�一周的优化�Q�就都集中在�?ji��n)“插值”上�?/p> <h1>&nbsp;</h1> <h1>插值算�?/h1> <p><strong>�U�性的插值算�?/strong>常见的实现有两种�Q?/p> <p>�W�一�U�是拿UV插��|���W�二�U�是用ddx和ddy累积�?/p> <p>UV是先计算像素的u和v�Q�基本方法是用面�U�比�Q�不记得���复�?f��n)一下中学几何吧�Q�，然后用插值公式：(x��)</p> <p>pixel = v0 * u + v1 * v + v2 * (1-u-v)</p> <p>后者的步骤是选一个主��点�Q�然后计���这个顶点的ddx和ddy�Q�最后用</p> <p>pixel = v0 + ddx * offset_x + ddy * offset_y</p> <p>计算出相应顶炏V�?/p> <p>但是在图形学中，我们�q�需要对插��D��行透视修正�Q�获得在3D�I�间中线性的插值结果�?/p> <p>我们���步骤修正到<strong>透视�I�间</strong>�Q?/p> <p>先将v0�Q�v1�Q�v2弄到透视�I�间中，变成projected_v0, projected_v1, projected_v2</p> <p>对于UV的插值是</p> <p>pixel = ( projected_v0*u + projected_v1*v + projected_v2 * (1-u-v) ) / pixel_w</p> <p>对于用ddx和ddy的篏�U�公式是�Q?/p> <p>pixel = ( projected_v0 + projected_ddx * offset_x + projected_ddy * offset_y ) / pixel_w</p> <h1>&nbsp;</h1> <h1>插值算法的选择</h1> <p>何咏�Q�Graphixer�Q�大���之前也写了(ji��n)一个渲染器�Q�比我快许多�Q�大概是4-6倍）(j��)�Q�用的是UV�Q?/p> <p>gameKnife大神两个�C�拜写成的渲染器�Q�速度比我用五�q�写出来的半成品要快7倍，用的办法是Lerp到Scanline上，再Lerp到像素�?/p> <p>SALVIA采用�?ji��n)篏�U�法�Q?/p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">struct transformed_vertex { float4 attributes[MAX_ATTRIBUTE_COUNT]; };</pre><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">transformed_vertex projected_corner;

// 计算角点的坐�?
projected_scanline_start = projected_v0 + projected_ddx * offset_x + projected_ddy * offset_y; 

// 像素的透视修正�?
float inv_w; 

// 最�l�输出的4x4个像�?
pixel_input px_in[4][4];

for(int i = 0; i &lt; 4; ++i)
{
  projected_pixel = projected_scanline_start;
  for(int j = 0; j &lt; 4; ++j)
  {
      // 透视�I�间转换到线性空间�ƈ输出到px_in�?
      px_in[i][j] = unproject( projected_pixel );
     // 累加x方向上的��|��透视�I�间�Q?
      projected_pixel += projected_ddx;
  }
  // 累加y方向上的��|��透视�I�间�Q?
  projected_scanline_start += projected_ddy;
}</pre>
<h1>&nbsp;</h1>
<h1>本轮优化之前�Ҏ(gu��)��值算法的优化���试</h1>
<p>注意那个MAX_ATTRIBUTE_COUNT�Q�这个值通常比较大，在v1231中，它是32�?/p>
<p>不过�Q�显然我们不需要对所有的属性进行计���。敏敏在�q�里�q�用�?ji��n)一点小���的技巧进行了(ji��n)优化�Q�只计算必要的属性。同�Ӟ����Z��(ji��n)减少分支的��用，他甚至用</p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">template &lt;int N&gt;
void sub_n(out, v0, v1 )
{
    for(int i = 0; i &lt; N; ++i) {
       out.attributes[i] = v0.attributes[i] �?v1.attributes[i];
    }
}</pre>
<p>�q����合函数指针的�Ҏ(gu��)���Q�以�?j��)�ɾ~�译器展开循环�Q�减���分支�?/p>
<p>不过从实际生成的汇编来看�Q�这个部分�ƈ没有被展开到期望的形式�Q�可能是�~�译器认为x86的Branch Predication性能已经���_��高�(sh��)��(ji��n)吧�?/p>
<p>�q�个“优化”在v1231中就已经具备�?ji��n)�?/p>
<h1>&nbsp;</h1>
<h1>首轮优化�Q�unproject函数�Q�operator += �?operator =</h1>
<p>�W�一个Profiling是用BenchmarkPartOfSponza和Sponza跑的�Q�unproject�Q�operator +=和operator = 加在一起大�U�占用了(ji��n)15-20%的时间。单独的unproject</p>
<p>最初的实现���是普通的标量。既不要求对齐，也没有��用SIMD�?/p>
<p>所以当然会(x��)以�ؓ(f��)用了(ji��n)SIMD后，优化效果�?x��)很好。于是在v1232中，中间��点和像素输入的分配都以16字节寚w���Q�unproj�Q?=�?也都使用�?ji��n)SSE�q�行�?ji��n)重写�?/p>
<p>从跑分来看，PartOfSponza性能提升�?0%。但是，在测试ComplexMesh和Sponza�Ӟ���q�未发现帧率有显著提升�?/p>
<p>其实在进行优化之前，何咏���告诫过我，因�ؓ(f��)��C��CPU的一些技术，比方说超标量啥的�Q�四个数据宽度的SSE和标量运���相比，���只�?0%的性能差距�?/p>
<p>�q�且�q�些函数的指令已�l�极为简单，瓉���也很明确的落在计���指令上。例如Unproject优化后，性能焦点���p��在_mm_mul_ps上（3.7%�Q�，几无优化余地�?/p>
<p>&nbsp;</p>
<h1>二轮优化�Q�插值算法的调整</h1>
<p>在进行第二轮优化之前同样�q�行�?ji��n)一�ơProfiling。因为对PartOfSponza性能基本满意�Q�因此这�ơ优化的目标主要在Sponza上�?/p>
<p>排名前几位的���函敎ͼ�分别是sub_n�Q�unproj�Q?= 和tex2D。对sub_n例行优化后，性能没什么变化。当�?d��ng)����q�也是意料之中的事情�?ji��n)�?/p>
<p>因此�Q�第二轮优化便着重考虑在插值算法本�w�上�?/p>
<p>在优化之前，我尝试对代码成本做个�_�略的评伎ͼ�(x��)</p>
<p>在现有算法下�Q�假设每个像素有N个需要插值的属性，则��^均每个像素有</p>
<p>�Q�corner�Q?N/16个读 + 2N/16个乘�?+ 2N/16个加�?+ N/16个写</p>
<p>�Q�x�Q?=�Q?N个读 + N个加�?+ N个写</p>
<p>�Q�x�Q?�Q?nbsp; N个读 + 1个标量除�?+ N个乘�?+ N个写</p>
<p>�Q�y�Q?=�Q?N/4个读 + N/4个加�?+ N/4个写</p>
<p>�Q�y�Q?�Q?N/4个读 + N/4个写</p>
<p>因�ؓ(f��)每个都是函数指针�Q�所以这些都是优化不掉的。因此首先将一些操作合�q�了(ji��n)一下，比如�?= �?合�ƈ以减���一下读写操作。只可惜效果也不是很明显�?/p>
<p>&nbsp;</p>
<p>�W�二刀���q��到算法的头上。因为篏加本�w�是��Z��(ji��n)减少乘法的运用，但是�q�可能带来了(ji��n)多余的存取开销�?/p>
<p>因此直接套用公式�Q?/p>
<p>pixel = ( projected_v0 + projected_ddx * offset_x + projected_ddy * offset_y ) / pixel_w</p>
<p>�q�样���有�Q?N读，2N乘法�Q?N加法�Q�N个乘法和N个写�Q�假讑֯�存器够用的话�Q�。不���Corner的计���成本，�q�样比较一下，���q��于是3N/4个读�Q�N/2+N个写�Q�N/4个加法来换取2N个乘法的旉���。本来以��Z��为IO瓉���的应用，�q�样可以提高?sh��)��些性能。不�q�结果证实这个买卖实在是很不划算�Q�整体性能不增反减�?/p>
<p>&nbsp;</p>
<h1>三轮优化�Q�减���内存占用，��x��花明</h1>
<p>虽然所有的操作只针对已使用的属性，但是�I�间上还是浪费了(ji��n)许多�?/p>
<p>考虑到内存占用较大也�?x��)导致一些性能损失�Q�于是将MAX_ATTRIBUTE_COUNT�?2下调��C��(ji��n)8�?/p>
<p>�l�果令�h大跌眼镜。性能瞬间提升�?0-30%之多�?/p>
<p>再加上SSE也不知道��Z��么开始发力了(ji��n)�Q���用上之后性能大约又有�?0-15%的提升�?/p>
<p>我猜���可能是因�ؓ(f��)换页频率下降�Q�以�?qi��ng)Cache的命中率提升。不�q�手上没有VTune�q�种工具�Q�所以也不太好验证�?/p>
<p>&nbsp;</p>
<h1>四轮优化�Q�精度敏感性下降的额外�U�利</h1>
<p>在这轮优化之后，PartOfSponza出现�?ji��n)精度问题。因�����锥体的上下左叛_��个面都没有Clip�Q�所以可能会(x��)出现非常大的三角形。这��L(f��ng)���U�的时候一旦�v始点选择的不好，��׃��(x��)出现比较大的误差。在之前版本中，使用/fp: precise来减���这一问题出现的机�?x��)。但是因��Z��用了(ji��n)SSE�Q�也让这个问题再难解冟뀂因此我选用�?ji��n)一些办法，来改善精度问题。在大问题都修正以后�Q�换�?fp: fast来编译整个SALVIA�Q�最�l�也获得�?-10%左右的性能收益�?/p>
<h1>&nbsp;</h1>
<h1>�l�论</h1>
<p>对于�q�算和IO都密集的�E�序来说�Q�优化真可能是牵一发而动全��n的问题。比如在我的例子中，所有猜���是性能瓉���的地方，都没有得到预想中的改善�?/p>
<p>倒是在内存占用这个地�Ҏ(gu��)���?j��)插査I��才得以柳暗花明，而且�q�让别的优化�Ҏ(gu��)��体现�?ji��n)�h(hu��n)倹{��所以如果你不像qiaojie大牛那样对x86�?ji��n)如指掌�Q�还是要�?f��n)惯于从多方面猜���，例如内存占用�Q�对齐或紧羃�Q�计���强度，访存密度�Q��ƈ行度�{�多个角度进行设惛_ƈ用实践去验证。尽���可能会(x��)遇到很多挫折�Q�但是，只要是直觉上有优化的余地�Q�一般都可以扑ֈ�合适的�Ҏ(gu��)���?/p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/197800.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2013-02-11 20:09 <a href="http://www.shnenglu.com/lingjingqiu/archive/2013/02/11/197800.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>开源光栅化渲染器SALVIA的�O长五�q�_(d��)���?amp;middot;�q�货�Q?/title><link>http://www.shnenglu.com/lingjingqiu/archive/2013/01/13/197224.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Sat, 12 Jan 2013 21:00:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2013/01/13/197224.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/197224.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2013/01/13/197224.html#Feedback</comments><slash:comments>12</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/197224.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/197224.html</trackback:ping><description><![CDATA[<p>SALVIA是从07�q�底开始开发的。历�l�五�q�_(d��)��无论是设计目标，�q�是使用到的一些方法，都和最初差别很大�?<p>谨以此文�Q�纪忉|��在五�q�中作出来的各种傻逼决定�?<p>&nbsp; <h1>1. 2007�q?�?- 2007�q?2月：(x��)可笑的动机，可笑的雏�?/h1> <h2>动机与原�?/h2> <p>SALVIA出现的原因其实很可笑�?7�q�底的时候我正在写一���paper�Q�讲GP-GPU的。那个时候还没有CUDA一�cȝ��东西�Q�一切都要靠Shader来。本来我手上的显卡是一�?550的SDRAM的简版。但是论文快�l�束的时候，�H�然�q�卡的风扇就�|�工�?ji��n)。然后我降频用了(ji��n)大概一个多月，卡也废掉�?ji��n)。因为没�׃��新显卡，我就打算写一个比D3D REF快的软�g渲染器�?/p> <p>07�q�底的时候，实现�?ji��n)第一版的SALVIA�Q�当时还叫SoftArt。第一版的SALVIA其实�q�算不错�Q�流水线的完整程度到现在都还没超�q�，包括Cpp的Vertex Shader和Pixel Shader、纹理采栗���光照什么的一应俱全。在开发过�E�中�Q�主要参考GL 2.0的Specification�Q�也阅读�?ji��n)一些同�c�d��软�g的代码，例如Muli3D和Mesa�?/p> <p>一些对���线臛_��重要的概念，例如透视修正、固定管�U�上�U�理采样的LoD Level、Clip都是借助于Spec和这些实现徏立的�?/p> <h2>��Z��么要有Shader Compiler</h2> <p>如果是固定管�U�的话，那么SALVIA做到�q�些�Ҏ(gu��)��也���p��够了(ji��n)。但是从SALVIA一开始，我就希望让它成�ؓ(f��)一个Pure Shader的管�U�，固定���线的那些状态实在太�?ch��)�h�?ji��n)。本来Cpp实现的Shading language能满���绝大部分的需要了(ji��n)�Q�但是有一个特性彻底难倒了(ji��n)我：(x��)Pixel Shader的差分函数ddx/ddy�?/p> <p>�q�个东西的工作原理是�q�样的：(x��)</p> <p>比方说我有一�D�shader函数�Q?/p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">float shading_pixel( ... ): COLOR0
{
    float x;
    // Expression for calculating x
    return ddx(x);
}</pre>
<p>在Pixel Shader�q�行的时候，它一�ơ性执�?x2的一个小块，所有的指��o(h��)对于整个块内都是同步执行的。遇到ddx(x)后，四个像素都正好执行到�q�里�Q�然后把x方向上的盔R��两个像素的局部变量x求个差，���可以得出ddx�?ji��n)�?/p>
<p>�q�个要求在C++中很隑֮�现�?/p>
<ol>
<li>不好让C++的四个函数都在同一个地方Join�Q?/li>
<li>我不好去获得盔R��函数的栈上的倹{�?/li></ol>
<p>其实如果要较真，当然�q�是有办法的�Q?/p>
<ol>
<li>对于Join问题�Q��v码有两种�Ҏ(gu��)���Q?/li>
<ul>
<li>自己搞一个Fiber Manager�Q�直接控制代码的栈的Switch。每个pixel都有一个Fiber�Q�到�?ji��n)DDX/DDY���换��C��一个Fiber执行�Q�直到所有的Fiber都执行完毕后�Q�计���ddx�Q�写入栈变量�Q�再�l�箋执行�Q?/li>
<li>直接用线�E�，Join�Q�计���，然后�l�箋执行�?/li></ul>
<li>对于栈变量的地址问题�Q�也有办法：(x��)</li>
<ul>
<li>在切换线�E�的时候直接保存�(sh��)��(f��)时变量的地址�?/li></ul></ol>
<p>但是�q�些实现�Q�要么因为切换上下文而变得奇慢无比；要么���是完全没有�q�_���U�L��性。想来想去，�q�是要让代码按照����g的方式SIMD执行�?/p>
<p>所以我最�l�横下一条心(j��)�Q�要为它做Shading Language Compiler。然后开始了(ji��n)漫长的Compiler开发。后来我看团镉K��个《�O无止境的八月》的时候，���直就是对着镜子照自��q��傻逹{��所以我才更黑团�ѝ�?/p>
<h1>2. 2008�q�初 - 2009�q?2月：(x��)黎明前的黑暗</h1>
<h2>Shader的文�?/h2>
<p>08�q�到09�q�我都在外面实习(f��n)�Q�一周上六天班，一天得�q�上十个多小时。从2008�q�初�?月䆾�Q�我都一直在看编译原理和成熟的语法库。底子薄�Q�看��h��很吃力。到�?月䆾开始设计Shader的EBNF。设计语�a��Q�不外乎是三个方面：(x��)应用场景、语法和库的支持。尽���有现成的HLSL和GLSL作参考，但对于我�?开始设计语�a�来说�Q�这些语�a�的语法和语义都过于复杂了(ji��n)。我需要让语言�Ҏ(gu��)��慢慢的��d���q�来�?/p>
<p>考虑到HLSL和C比较接近�Q�C的文法参考资料又很多�Q�于是我选择�?ji��n)从C开始裁剪语法。但是文法这个东西，�q�不������单单是树(w��i)状的�l�构�Q�树(w��i)上的��M��一个语法节点，都可能会(x��)引用到其它的文法规则。因此修改了(ji��n)一条规则后�Q�你�?x��)发现它可能会(x��)和其它规则冲突了(ji��n)，二义了(ji��n)。于是裁剪计划完蛋了(ji��n)�?/p>
<p>当然�Q�如果我现在来设计语法，肯定�?x��)和陈汉子一��P��直接从Use Case���p��把EBNF写出来，再稍微规范一下，一门不那么复杂的语�a����成�?ji��n)。当然像C++�q�种变态语�a��Q�这样做是做不出来的。但当时我显然不具备那样的能力。从七月份开始就���磕�l�绊地裁剪了(ji��n)一些语法特性之后的语言�Q�到�?ji��n)八月䆾才出了(ji��n)个千疮癑֭�的方案�?/p>
<h2>���：(x��)Boost.Spirit</h2>
<p>作�ؓ(f��)完全不懂�~�译器的矬货�Q�设计语�a�一定要和编译器的开发放在一��h��能有�Ҏ(gu��)��莗���我用过Flex/Bison�Q�用�q�ANTLR。但是当时我对编译器特别的陌生，�l�织Build的能力也比较弱，因此它们在��用上�J�琐和难于调试给我带来了(ji��n)很大的困扰。不�q�那时我�Ҏ(gu��)���ѝ��元�~�程和Boost���已�l�相当熟�(zh��n)�了(ji��n)�Q�无论是开发、阅��M��码还是Debug都能��L��应付�Q�所以我挑了(ji��n)半天�Q�选了(ji��n)Boost.Spirit�?/p>
<p>Boost.Spirit是个很奇葩的东西。它惛_��C++里面提供一个类��g��EBNF、可以定义语法分析规则的方言。要让C++看�v来像一个方�a��Q�当然是要��用神出鬼没的操作�W�重载。当�?d��ng)���即便是修饰后的语法，看�v来也�q�是�?x��)有��?gu��)��怪的。EBNF中的规则</p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">Rule ::= Token SubRule0 [OptionalSubRule1]</pre>
<p>在Cpp中最���单可以表�C�成</p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">rule = token &gt;&gt; subrule0 &gt;&gt; optional(OptionalSubRule1)</pre>
<p>虽然看�v来有点丑陋，但是它已�l�完全满���一个DSL的要求了(ji��n)�Q�直观的面向解决�Ҏ(gu��)���?/p>
<p>不过如果牉|��到实现细节，在C++里面要写一个又���单、又可用Parser Generator�Q�那几乎是不可能完成的�Q务。�v码对于Combinator-based Parser来说�Q�它够简单，但是没有CPS的支持会(x��)令错误恢复这一�cȝ��周遭设计变得极�ؓ(f��)可怕；如果Rule只是grammar definition�Q�不牉|����C�Q何Parser的构造，那解析这个definition的复杂度和调试难度又不亚于ANTLR或者Yacc�q�样有单独脚本的工具。所以这��工作，�q�是交给Haskell�q�样的语�a�来完成吧�?/p>
<p>通过使用Spirit、设计编译器、折腾文法，让我对Compiler和Cpp的理解都递进�?ji��n)一大步。再加上08�q�全�q�都在做GUI相关的东西，也让我对�~�译器的理解有所加深�?/p>
<p>09�q�下半年我一直都比较动荡�Q�不�q�到�q�底�ȝ��是安定了(ji��n)下来�?/p>
<h1>3. 2009�q?2月�?010�q?月：(x��)长征的开�?/h1>
<h2>后端与前�?/h2>
<p>09�q?2月䆾的时候，Boost升���?ji��n)，Spirit也到�?ji��n)V2。到�?月䆾�Q�我费了(ji��n)点功夫，把V2的Spirit折腾到SALVIA的前端上。Parser也有所变化�Q�前一版的Parser�q�比较草率，�q�一版的Parser我几乎是完全按照Spirit的Demo中的�Ҏ(gu��)���q�行的。此时我也开始尝试着撰写语义分析。怎么做函数重载都是在那个时候开始点的技能树(w��i)�Q�虽然在现在看来都是歪的。�ؓ(f��)�?ji��n)执行生成的代码�Q�我设计�?ji��n)半个虚拟机�Q�然后还准备写点教程。但是我思前惛_���Q�对于Shader�q�样一�U�钟要调�?0M�ơ的函数�Q�无论如何虚拟机都是不合适的�?/p>
<p>所以我���开始筹备自��q��后端。要求就是一个字�Q�快。那个时候，陈汉子正在学怎么写x86的JIT。但是我的语�a�到x86有很长的路要走。怎么��d��配寄存器�Q�怎么把类型�{换到x86的Native�Q�怎么选择指��o(h��)�Q�我都是一知半解的。凭我当时的知识�Q�这一定是不可能完成的�?/p>
<p>于是在阅��d��Intel Architecture手册和优化指南后�Q�我军_����L��一个合用的后端。考虑�q�很多可选的办法�Q�例如生成C++的Code然后�~�译成DLL�Q���用Tiny C�Q�TCC�Q�；或者是JIT。但是它们缺炚w��是很明显的。编译成DLL必须要自��p��剪一个GCC出来�Q�Tiny C的效率�ƈ不是很好�Q�JIT很复杂（��L(f��ng)��在那个时候是�q�样�Q�。不�q?月䆾的时候，敏敏�q�是谁指点了(ji��n)我一下，说你可以�ȝ��看LLVM。然后我��M��看，牛��|�����是我要的东西！然后我就开始学LLVM。LLVM的IR很好学，一个下午就搞了(ji��n)个Hello world�?/p>
<p>�q�个时候，minmin也在SALVIA上实��C��(ji��n)Half-Space的光栅化���法�?/p>
<p>那个时候我�t�躇满志�Q�意气风发，三月赶英�Q�五月超����?/p>
<p>可没想着���p��么掉坑里面去�?ji��n)�?/p>
<h1>4. 2010�q?月�?011�q�新�q�_(d��)��(x��)苦难的行�?/h1>
<h2>苦难�Q�复杂的问题</h2>
<p>��M��大�h真是���，五个字就概括�?ji��n)�?010�q�一�q�的努力�?/p>
<ul>
<li>minmin做的SALVIA的Half-Space���法�q�不比我朴素的Top-Bottom的光栅化强；</li>
<li>�U�理上的优化���管使用�?ji��n)SSE但是仍然改进有限�Q?/li>
<li>Shader�~�译器本�w�的�~�译旉����׃��Spirit的存在而实在�O长；</li>
<li>Shader�~�译器和Pipeline如何兌���又无从下手；</li>
<li>LLVM的集成也因�ؓ(f��)前端而有所耽搁�Q�另外因为各�U�错误层��Z���I�P��让整个开发进度变得龟速�?/li></ul>
<p>所以整个一�q�中�Q�SALVIA的开发就是写写停停，停停写写。可以说08�q�初的锐气，已经消磨的差不多�?ji��n)。到�?月䆾的时候，我毕业了(ji��n)�Q�新工作也基本上���定和熟�(zh��n)�了(ji��n)�Q�我���和minmin��_(d��)��从现在开始我写半�q�报吧，讲述一下半�q�来的进展。于是便有了(ji��n)�W�一���项目简报�?/p>
<h2>行军�Q�些微的�q�展</h2>
<p>也正是从那个时候，我决定要把SALVIA作�ؓ(f��)一�Ƒ֮�验品来对待，用上所有我不会(x��)的或者新学的东西。单元测试，CMake工具链，为Shader设计的Pipeline�Q�语义分析和后端的原型都在那一�q�加入了(ji��n)SALVIA。虽然从实现上它们已�l�与现在相距甚远�Q�但是�v码一切都�q�是往好的方向发展�?/p>
<p>另外�Q?8�q�到09�q�期间在实习(f��n)的时候积累的教训开始慢慢的酝酿和发酵，敏捷也逐渐成�ؓ(f��)�?ji��n)我开发过�E�中的主要指南�?/p>
<p>基本上，那个时候积累了(ji��n)很多必要的经验和教训。当然绝大多数是教训�?/p>
<h1>5. 2011�q?月�?011�q?月：(x��)新Shader的�v�?/h1>
<h2>坑神�Q�Boost.Spirit的灭�?/h2>
<p>�?1�q�的春节期间�Q�我�l�于无法忍受Spirit的麻�?ch��)�?ji��n)�Q?/p>
<ul>
<li>一�D?00行不到的代码�Q�在我的机器上需要编�?0分钟�Q?/li>
<li>Object File需要占�?.9G的硬盘；</li>
<li>Mangling name��L�����过4K字符的限�Ӟ��</li>
<li>��L��撑爆obj文�g的symbol table�Q�需要用/bigobj才能够编译通过�Q?/li>
<li>甚至在编译的时候会(x��)��L��的让32位的MSVC CL out of memory�?/li></ul>
<p>要知道，以上�q�些�q�是应用�?ji��n)Spirit指南中的�~�译速度优化�Ҏ(gu��)��之后的结果�?/p>
<p>�q�一切原因，都是因�ؓ(f��)Boost.Spirit对于Parser Tree�Q�是用了(ji��n)完全�?r��n)态的分析�?w��i)结构。每条规则的�q�回值都�?x��)是完全不同的类型。这直接��D���c�d��数量极�ؓ(f��)庞大�Q�代码膨胀的厉実�?/p>
<p>于是11�q�的寒假我花�?天的旉���重新山寨�?ji��n)一个文法分析器的��生器�Q��ƈ做到DSL几乎完全和Spirit一致。只不过Parser Tree不再是静(r��n)态类型；模板的用量也减轻�?ji��n)很多�?/p>
<h2>Shader的阶�D�|��成�?/h2>
<p>��C��(ji��n)四月份的时候，Shading Language Semantic/System Value已经在语法上支持�?ji��n)，语义上也能分析出哪些变量是System Value�Q�哪些变量是Uniform的。�ƈ且通过生成�Ҏ(gu��)��的函数签名，Shader满���?ji��n)以下几个需求：(x��)</p>
<ol>
<li>Shader要返回一个函敎ͼ�</li>
<li>�q�个函数是可重入的（因�ؓ(f��)要�ƈ发）(j��)�Q?/li>
<li>数据能正���的从Pipeline传入到Shader的函��C���Q�也能正���的�q�回�Q?/li>
<li>Shader中对于Pipeline数据引用要能正确的生成地址�?/li></ol>
<p>��C��(ji��n)11�q?月䆾的时候，�l�于把Shader全线贯通。虽然很多Operator和Instrinsic�q��(sh��)��支持�Q�但是�v码有�?ji��n)个可以看的Demo�?/p>
<h2>�W�一个版本与发布前的完善工作</h2>
<p>LLVM用上�?ji��n)；VS完整�?ji��n)，PS也有�?ji��n)个雏�Ş�Q�预处理器什么的都有�?ji��n)�?/p>
<p>Unit Test也有�?ji��n)原型。我为每个Stage都做�?ji��n)Unit test�Q�Parser�Q�Semantic�Q�CodeGen和JIT�?/p>
<p>某种意义上来��_(d��)���q�几个月来在后端上顺利进展，让我多少有点得意忘�Ş。再加上梁�ȝ��帮助�Q�SoftArt�q�个名字�Ҏ(gu��)��SALVIA�Q�LOGO也有�?ji��n)，我在部门内部做的一些Introduction也帮助我梳理�?ji��n)思�\。于是从4月䆾开始，我就�{�备着要把SALVIA正式发布出去�?/p>
<p>11�q?�?��P��SALVIA Milestone 1.0 发布。有Change Log�Q�有Binary Demo�Q�有Snapshot�?/p>
<p>三周后，发布�?ji��n)第一个有Vertex Shader的Demo</p>
<h1>6. 2011�q?月�?012�q?月：(x��)坂道�?.0</h1>
<h2>Pixel Shader�Q�需求与设计</h2>
<p>在Milestone 1.0发布后，我开始做Pixel Shader的特性。本以�ؓ(f��)半年之内���p��搞定�Q�发�?.0扬眉吐气一下。但是实践证明，我真是他妈的太盲目乐观了(ji��n)�?/p>
<p>我先来说一说Pixel Shader的特点和需求。比方说我有四个pixel�Q�每个pixel都是一个float�?/p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">struct pixel_input
{
  float data;
};

pixel_input pixel_block[4];</pre>
<p>然后我要计算一下，�q�个data加上1.0之后是多���。我前面说过�Q�我要让指��o(h��)看�v来是四个像素同一时刻执行的，那么昄���我生成的代码��׃��(x��)�c�M��于这��P��(x��)</p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">struct pixel_input
{
  float data;
};

struct pixel_output
{
  float data;
};

void shading_pixel(pixel_input* in_data, pixel_output* out_data)
{
     // TMP = IN_DATA.DATA + 1.0
     float tmp0 = in_data[0].data + 1.0;
     float tmp1 = in_data[1].data + 1.0;
     float tmp2 = in_data[2].data + 1.0;
     float tmp3 = in_data[3].data + 1.0;

    // OUT_DATA.DATA = TMP
    out_data[0].data = tmp0;
    out_data[1].data = tmp1;
    out_data[2].data = tmp2;
    out_data[3].data = tmp3;
}</pre>
<h2>Pixel Shader�Q�优化与问题</h2>
<p>昄����q�里是可以优化的�Q�将四条指��o(h��)�q�作一条SIMD指��o(h��)�?/p>
<p>那么�q�个时候，有两个需求是要满���的�Q?/p>
<ol>
<li>同样的struct member一定要是邻接在一赗��?/li>
<li>得根据SIMD的要求数据对齐�?/li></ol>
<p>只有一个域当然好办。如果struct很复杂呢�Q�比方说下面�q�样�Q?/p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">struct
{
   float;
   float2;
   int3;
   struct 
   {
       float2[3];
       float;
   };
};</pre>
<p>那就�?x��)衍生出各种问题�Q?/p>
<ul>
<li>那要不要把每个域都展�q�_���Q?/li>
<li>展��^��C��么程度？</li>
<li>让每个Builtin Type Member盔R���Q�还是让每个Float/Int盔R���Q?/li>
<li>那遇到动态寻址�Q�怎么办？</li>
<li>展��^后的代码�Q�与VS中的代码能通用吗？</li></ul>
<p>每个�Ҏ(gu��)��都一定能完成�Q�每个方案都有明昄����~�陷。最初我是想���试四个像素完全独立的办法，�q�样实现��h��最方便。但是出于对性能的追求，我又惛_��展��^的。展�q�的�Ҏ(gu��)��做到一半，发现太复杂了(ji��n)�?/p>
<h2>坑神II�Q�LLVM</h2>
<p>此外�Q�还有几个非�怸�重的问题�Q�发生在LLVM上�?/p>
<p>一个是ABI。一个符合C Calling Convention的LLVM函数�Q�它对堆栈的理解与VS完全不同�Q�特别是参数传入或者返回Struct的时候。这��P��直接用LLVM的函数Export出来后，让VC去Call它就一定会(x��)��p�|。�ؓ(f��)�?ji��n)解军_���Q�我�׃��(ji��n)�q�两周的旉����Q�设计了(ji��n)一个Proxy�Q�让函数避免用Struct来传递，一切数据，除了(ji��n)和寄存器同样大小的float和int�Q�其余数据都通过指针来做。同�Ӟ��我需要将一些函数注入到LLVM中，比方说纹理采��P��此时ABI同样是个����?zh��n)�。�ؓ(f��)�?ji��n)让Code Gen正确的识别函数是LLVM的调用协议还是我自己定制的调用协议，�q���生正���的代码。我做了(ji��n)各种奇葩和傻逼的�Ҏ(gu��)��。有一些方案被废弃�?ji��n)，但是主要的Idea�Q�仍然沿用到现在�?/p>
<p>一个是临时变量�Q�包括Spiller�Q�的寚w��。在Linux/GCC上，栈顶和栈基指针一定是16字节寚w��的。如果编译器需要分配一个��(f��)时变量，那么它只要通过ESP - 0x10*n���p��获得一个对齐的地址。但是在VC中，x86下完全没有这��L(f��ng)��限制�Q�除非函��C��使用�?ji��n)__m128�Q�这个时候在�q�入Frame之后�?x��)有一个SUB/AND的指令把栈顶搞到16字节寚w��。）(j��)。但LLVM生成的所有代码，又是��Z��GCC的假设。SALVIA生成的局部变量，�q�可以控制地址�Q�但是对于编译器临时生成的变量来��_(d��)�����完全不可控�?ji��n)。在3.1之后因�ؓ(f��)引入�?ji��n)AVX�Q�需�?2字节寚w���Q�这个问题就更加变本加厉�?ji��n)。在x86上，我还可以通过嵌入汇编�Q�来强制调整栈��。但是在x64上，又启动了(ji��n)AVX的情况下�Q�我���彻底没有办法了(ji��n)。这个问题�(sh��)��直�g�l�到现在�Q�如果我不动手去Debug LLVM的话�Q�就只能�{�他们什么时候想��h��修复�q�个问题?sh��)��(ji��n)�?/p>
<h2>SIMD执行模型下分支的处理</h2>
<p>Pixel Shader的执行模型是SIMD的，�q�要求每个像素上同一时刻都执行相同的指��o(h��)。如果没有分支，那自然是���单无比。一旦有�?ji��n)分支就打破了(ji��n)这个约定。在DX9.0b�?qi��ng)之前，�q�当然没问题�?/p>
<p>但是Shader Model 3.0正式支持Dynamic Branch开始，�q�个问题���凸现出来了(ji��n)�Q�分支要怎么处理�Q?/p>
<p>对于Pixel Shader来说�Q�会(x��)面��(f��)三种分支�Q�静(r��n)态分支，准静(r��n)态分支（�q�个名字是我瞎�v的）(j��)和动态分支�?/p><pre class="brush: cpp; auto-links: true; collapse: false; first-line: 1; gutter: true; html-script: false; light: false; ruler: false; smart-tabs: true; tab-size: 4; toolbar: true;">float branches( uniform float udata, float vdata: POSITION): COLOR0
{
   const float zero = 0.0;
   if(zero &lt; 1.0)
   {
     // Static branch
   }

   if(udata)
   {
      // Semi-Static Branch (我自己造的)
   }
  
   if(vdata)
   {
     // Dynamic Branch
   }
} </pre>
<p>我们来分情况讨论一下：(x��)</p>
<ul>
<li>对于�?r��n)态分支来��_(d��)��因�ؓ(f��)���定分支的是一个常量，那么昄���在编译阶�D�就能够知道分支执行与否�Q�直接生成对应的代码���可以了(ji��n)�?/li>
<li>对于uniform作�ؓ(f��)判断条�g的分支来��_(d��)��在shader�~�译的时候，�q�不知道�q�个分支是否�?x��)执行。但是呢�Q�Uniform�?x��)在Shader执行前设�|�，和代码执行相比，Uniform讄���的比例非�怽�。这个时候我们可以先讲代码编译成中间表达�Q�这个中间表达会(x��)知道一个变量是不是Uniform的。在Uniform讄���好后�Q�Shader真正执行前，把Uniform替换成那个��|��也就是把Uniform当做帔R���Q�对Shader再编译一�ơ，得到真正的执行指令。所以在指��o(h��)执行的时候，准静(r��n)态分支就和静(r��n)态分支完全相同了(ji��n)�?/li>
<li>最后一个，动态分支。如果判断条件就是动态的�Q�那没办法，如果要支持SM3.0�Q�就必须要能支持它。同时对于不同的Pixel�Q�都可能有不同的分支。这对于SIMD来说�Q�才是真正的��N���?/li></ul>
<p>实际上，我们真正要解决的�Q�就是动态分支�?/p>
<p>对于SIMD模型来说�Q�动态分支有三种处理办法�?/p>
<ol>
<li>跌��{执行。像CUDA 2.0以上那样的指令集具备有一定的跌��{执行能力。编译器可以把SIMD拆开�Q�按照标量执行。每个都执行完了(ji��n)后，再���l�按照SIMD执行其他的代码�?/li>
<li>条�g执行。这也是囑�Ş����g上最常见的执行模式。通过一个位�Q�就可以军_��GPU中的执行单元是否执行一�D�代码。�D个不准确的例子，如果是个4�q�发的执行器�Q�那么四个�ƈ发执行器的执行条件可以设�|��ؓ(f��)1100�Q�这样就只有前两个单元的数据执行�Q�后两个不执行了(ji��n)�?/li>
<li>写掩码。这个办法是没有办法的办法。它的基本理念就是：(x��)只要不写到内存�(sh��)��的执行结果，���可以认为它没执行过。但是写掩码��L�����费�?ji��n)指令。不�q�好歹它�q�是避免�?ji��n)蟩转的。所以对于早期的ARM�q�样没有分支预测的精���体系来说�Q�一旦有分支执行��h�����是�ȝ�����。所以它有类��g��Select-Store�q�样的指令，���可能的避免分支的出现�?/li></ol>
<p>对于SAVLIA来说�Q�蟩转执行和写掩码是两个可能的选择。因为写掩码的代码生成�v来更加轻松一些，所以目前的SALVIA的实现是写掩码的。在x86/x64�q�_��上，对于AVX以上的指令，�q�可以用blend。但是对于其他指令而言�Q�基本上只能是通过跌��{实现写掩码。所以这部分的开销其实很大。等到造出�?ji��n)自��q��SSA之后�Q�再来考虑分支执行的事情吧�?/p>
<p>对于写掩码的掩码要怎么计算�Q�一开始我�?j��)里挺没��q��。特别是有了(ji��n)�Q�Continue和Break之后�Q�情况就�?x��)变得复杂�v来。一开始我没法���信自己的方案是正确的。后来看�?ji��n)MESA的Gallinum以后�Q�看见了(ji��n)Continue Mask和Break Mask两个变量�Q�瞬间就明白�?ji��n)�?/p>
<p>具体怎么思考的不多说了(ji��n)�Q�这里写下几个结论：(x��)</p>
<ol>
<li>语言不能有Goto�Q�有Goto�?x��)让代码变得非常复杂�Q�甚至不可解�Q�；</li>
<li>所需要的掩码的数量会(x��)随着循环的嵌套层数的增加而增加；</li>
<li>每个循环最多有三个掩码�Q�Break�Q�Continue和Mask�Q?/li>
<li>�E�序是固定的话，掩码的数量就一定是个常量。（要不然硬件就没法做了(ji��n)�Q?/li>
<li>写掩码的位数只和执行单元的数量有养I��和嵌套深度无兟�?/li></ol>
<h2>坂道のTest</h2>
<p>���管遇到�?ji��n)各�U�难处，但是很多�Ҏ(gu��)���q�是��利的做出来�?ji��n)。方案和�Ҏ(gu��)��之间差异很大�Q�要想顺利移植，必须要有Test�?/p>
<p>之前也说�q�，一开始我的Test是按照Parser�Q�Semantic�Q�Code Gen�Q�JIT分开做的。但是呢�Q�这样一来，不同Stage之间的Test复用性非帔R��。而且因�ؓ(f��)Stage�l�常变化�Q�包括Stage的接口。这时候Test���完蛋了(ji��n)。Test本��n也很枯燥�Q�变量名都不好�v�Q�，所以Test重写��h��难过的要歅R�?/p>
<p>于是我重新审视了(ji��n)一下需求。发现我最�l�只兛_��(j��)JIT�~�译出来的函数的�q�行�l�果�Q�其实�ƈ不关�?j��)中间的�q�程。而且随着我对�~�译�q�程理解的逐步变化�Q�Compiler Stages几乎每隔两个月就要进行比较大的修正。测试的量稍微大一点，���没有办法维护Test Case�?ji��n)。�ƈ且，对于单条语句或者非常短的函数来��_(d��)��从词法到最�l�JIT出来的函数所覆盖的编译器代码非常之少�Q�可�?-4个函敎ͼ�代码���出来了(ji��n)。即便有问题�Q�对比过�ȝ��版本��L�����p��分析出来。再加上大量的Assertion�Q�诊断�v来更加容易�?/p>
<p>因此�Q�在�q�几个月中我完全重写�?ji��n)Test Case�Q�让JIT的测试粒度更低，���试更丰富；取消所有的中间Level的测试。新的测试回归�v来非常容易，��Z��(ji��n)问题?sh��)��很好找到。在Test Case写完后，正好看到Martin Fowler喯���度TDD的问题，真是感同�w�受�?/p>
<p>���试需要吗�Q�当焉���要。但是选择合适的Level�Q�做合适的���试是非帔R��要的。结合之前实�?f��n)的时候的Unit Test�l�验�Q�有以下几点感受�Q?/p>
<ol>
<li>���试一定要选择���可能低的面�Q�这��L(f��ng)��涉的代码���尽可能���；</li>
<li>在纵向上�Q�粒度要�l�。除�?ji��n)单个API的Test�Q�还要有适度的交叉，不过太综合的���试�Q�请让集成测试用例来完成�Q?/li>
<li>要重视代码覆盖率�Q?/li>
<li>���试面向的API要稳定。天天变得API�?x��)让你彻底失��d��Test的信�?j��)。API���稳定，在它上面出现问题的机�?x��)就���多�Q�你写的���试性�h(hu��n)比也���高�?/li></ol>
<h2>坡长路远�Q�小步快�?/h2>
<p>在完成了(ji��n)Test的改造后�Q�终于有�?ji��n)一个合适的发布前评估。所以到�?1�q?1月后�Q�发布的速度���明昑֏�快了(ji��n)许多。快速的发布对于做一个长期项目来说非帔R��要。这也和敏捷的想法不谋而合。不���是从品质控制上、还是进度追�t�上�Q�或者是说对开发者自信心(j��)的增强，都需要有短��^快的开发周期�?1�q�也正好是Autodesk推行敏捷的一�q�。同事里面有很多的�h反应说敏捷会(x��)��D��软�g品质的下降，短期目标�?x��)导致过于追逐眼前利益�?/p>
<p>但是从我的经验来看，对于个�h�Q�敏捯���短��^快。但对于团队�Q�敏捯���从长计议。不是所有的iteration都需要开发新�Ҏ(gu��)��，必须要保留��够的iteration来完成重构、整理、设计方案的反省和讨论。对于以�q��ؓ(f��)单位的长周期产品来说�Q�可以每个季度有3-5天的旉����Q�每个�h都提出对框架的改�q�计划；每年有两周的旉����Q�完成框架的重构和修正。更���的重构�Q�可以安排的更加短小的时间�?/p>
<h2>6. 2012�q?月及(qi��ng)以后�Q�现在与未来</h2>
<h2>新特性，新思�?/h2>
<p>�?1�q?月䆾开始到现在�Q�就一直在做Demo、优化、特性的完善�Q�以�?qi��ng)一些新�Ҏ(gu��)��的思考�?/p>
<p>�ȝ��来说�Q�这一�q�半的时间里面，很多工作已经不像早先几年做的那么吃力�Q�但是仍然在很多的点上有所斩获�?/p>
<ul>
<li>整个�~�译器后端，包括基本的分析和优化都已�l�有所�?ji��n)解�Q�LLVM也熟�(zh��n)�了(ji��n)许多�Q?/li>
<li>对Shader相关的API的了(ji��n)解也不再應|��懂懂�Q?/li>
<li>对于语言机制的研�IӞ��加上陈汉子时不时抛来的一些思维发散题�(sh��)�o(h��)我对语言有了(ji��n)更深入的认识�Q?/li>
<li>认识�?ji��n)RFX�Q�在短短几周���帮助我在阅读V8和LLVM时积累的一些知识�{化成�?ji��n)有用的理解�?/li></ul>
<p>�?012�q�底为SALVIA�q�行�?ji��n)局部的重新设计�Q�也是“学”与“习(f��n)”的��C��轮“习(f��n)”。新的SSA�?qi��ng)Shader优化、JIT化的���线、对性能有要求的新前端、瞄准DX11以上Shader Model Features、JIT的调试符��P���q�些一定会(x��)�l�我带来许多�l�尽脑汁想不明白的问题，但同时我也会(x��)学习(f��n)到、实践到许多新的知识�?/p>
<p>我相信时间会(x��)教给我们一切�?/p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/197224.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2013-01-13 05:00 <a href="http://www.shnenglu.com/lingjingqiu/archive/2013/01/13/197224.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>SASL�~�译器Diagnostic信息的管理、格式化与输�?/title><link>http://www.shnenglu.com/lingjingqiu/archive/2012/03/08/167444.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Thu, 08 Mar 2012 13:25:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2012/03/08/167444.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/167444.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2012/03/08/167444.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/167444.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/167444.html</trackback:ping><description><![CDATA[<p>1. Diagnostic需要提供哪些数�?/p> <p>出错处理和错误提�C�，是编译器开发过�E�中重要而繁琐的部分�?/p> <p>诊断信息的格式因�~�译器和IDE而不同�?/p> <p>SALVIA���采用Visual Studio的格式，�?<u>文�g + 行列 + �c�d���Q�等�U�）(j��) + �~�号 + 出错信息</u>。例如：(x��)</p> <p>d:\programming\salvia\sasl\test\cgllvm_test\function_test_basic.cpp(16): error C2061: syntax error : identifier 'te'</p> <p>因此在出错分析的时候，也需要提供如上的一些信息�?/p> <p><br>2. 诊断信息Diagnostic Item</p> <p>在以上信息中�Q�文件名和行列号可以在词法分析的时候获得，我们���它作�ؓ(f��)属性附加在Token中�?/p> <p>�c�d��和编��P��对于同一个编译器而言是相对固定的�Q�尽���我们可以用ID来表�C�，但是它�ƈ不直观，�~�译器检查也较少。与参数匚w���Ӟ��也比较容易出错�?/p> <p>SASL中的诊断信息���每个错误都使用一个类型来表达�Q?/p><pre class="code"><span style="background: white; color: #8000ff">class</span><span style="background: white"> </span><span style="background: white; color: black">diagnostic_item
</span><span style="background: white"></span><span style="background: white; color: navy">{
</span><span style="background: white"></span><span style="background: white; color: navy">};
</span><span style="background: white">

</span><span style="background: white; color: #8000ff">class</span><span style="background: white"> </span><span style="background: white; color: black">unrecognized_identifier</span><span style="background: white; color: navy">:</span><span style="background: white"> </span><span style="background: white; color: #8000ff">public</span><span style="background: white"> </span><span style="background: white; color: black">diagnostic_item
</span><span style="background: white"></span><span style="background: white; color: navy">{
</span><span style="background: white"></span><span style="background: white; color: #8000ff">public</span><span style="background: white; color: navy">:
</span><span style="background: white">    </span><span style="background: white; color: black">unrecognized_identifier</span><span style="background: white; color: navy">&amp;</span><span style="background: white"> </span><span style="background: white; color: black">token</span><span style="background: white; color: navy">(</span><span style="background: white"> </span><span style="background: white; color: black">token_t</span><span style="background: white"> </span><span style="background: white; color: black">tok</span><span style="background: white"> </span><span style="background: white; color: navy">);
</span><span style="background: white">    
</span><span style="background: white; color: #8000ff">private</span><span style="background: white; color: navy">:
</span><span style="background: white">    </span><span style="background: white; color: #8000ff">static</span><span style="background: white"> </span><span style="background: white; color: #8000ff">int</span><span style="background: white"> </span><span style="background: white; color: black">level</span><span style="background: white; color: navy">;
</span><span style="background: white">    </span><span style="background: white; color: #8000ff">static</span><span style="background: white"> </span><span style="background: white; color: #8000ff">int</span><span style="background: white"> </span><span style="background: white; color: black">id</span><span style="background: white; color: navy">;</span><span style="background: white; color: navy">
</span><span style="background: white">    </span><span style="background: white; color: #8000ff">static</span><span style="background: white"> </span><span style="background: white; color: black">std</span><span style="background: white; color: navy">::</span><span style="background: white; color: black">string</span><span style="background: white"> </span><span style="background: white; color: black">description_template</span><span style="background: white; color: navy">;
</span><span style="background: white">    
</span><span style="background: white; color: #8000ff">private</span><span style="background: white; color: navy">:
</span><span style="background: white">    </span><span style="background: white; color: black">std</span><span style="background: white; color: navy">::</span><span style="background: white; color: black">string</span><span style="background: white"> </span><span style="background: white; color: black">ident</span><span style="background: white; color: navy">;
</span><span style="background: white">    </span><span style="background: white; color: black">size_t</span><span style="background: white">      </span><span style="background: white; color: black">row</span><span style="background: white; color: navy">,</span><span style="background: white"> </span><span style="background: white; color: black">col</span><span style="background: white; color: navy">;
</span><span style="background: white">    </span><span style="background: white; color: green">// Other properties
</span><span style="background: white; color: navy">};</span></pre>
<p>�q�样的好处在于可以用Combinator的风格来撰写错误信息。例如这��P��(x��)</p>
<p>diagnostic_chat.report&lt;unrecognized_identifier&gt;().token( err_tok );
<p>�q�且�׃���~�译器的保证也比较不�Ҏ(gu��)��写错�?
<p>&nbsp; <p>但是�q�种写法也有一个很关键的问题，需要�ؓ(f��)每个错误都定义一个类�Q�工作量很大。SASL对这一问题的处理，自然是传�l�的大杀器：(x��)�q�用脚本�q�行生成�?
<p>Clang使用�?ji��n)它内置的代码生成工具td来完成生成的工作�?
<p>&nbsp; <p>3. 诊断信息���理器Diagnostic Chat
<p>Chat是诊断信息的���理工具。它主要要完成以下需求：(x��)��d��和清理诊断信息，以及(qi��ng)在诊断信息的��d��清理时提供回调操作�?
<p>后者是很有用的�Q�尤其是在调试编译器的时候。你得分清楚�I�竟是真正的�E�序错误呢，�q�是�~�译器出�?ji��n)错�?
<p>Diagnostic Chat的原型如下：(x��)<pre class="code"><span style="background: white; color: #8000ff">class</span><span style="background: white"> </span><span style="background: white; color: black">diagnostic_chat
</span><span style="background: white"></span><span style="background: white; color: navy">{
</span><span style="background: white"></span><span style="background: white; color: #8000ff">public</span><span style="background: white; color: navy">:
</span><span style="background: white">    </span><span style="background: white; color: #8000ff">template</span><span style="background: white"> </span><span style="background: white; color: navy">&lt;</span><span style="background: white; color: #8000ff">typename</span><span style="background: white"> </span><span style="background: white; color: black">T</span><span style="background: white; color: navy">&gt;</span><span style="background: white"> </span><span style="background: white; color: black">T</span><span style="background: white; color: navy">&amp;</span><span style="background: white"> </span><span style="background: white; color: black">report</span><span style="background: white; color: navy">();
</span><span style="background: white">    </span><span style="background: white; color: #8000ff">void</span><span style="background: white"> </span><span style="background: white; color: black">add_report_diagnostic_handler</span><span style="background: white; color: navy">(</span><span style="background: white"> </span><span style="background: white; color: black">DiagnosticHandlerT</span><span style="background: white"> </span><span style="background: white; color: black">handler</span><span style="background: white"> </span><span style="background: white; color: navy">);
</span><span style="background: white"></span><span style="background: white; color: navy">};</span></pre>
<p>同时�Q�我们也���Treat Warning As Error�Q�Error Count�Q�Disable Warning�Q�Stop compiling when error occurs�{�状态和功能所需要的支持��d��到Chat中�?
<p>所以，Chat除了(ji��n)提供���理之外�Q�也要具有相应的诊断信息的统计功能�?
<p>&nbsp; <p>4. �q���o(h��)器Diagnostic Filter
<p>Filter主要配合IDE使用�Q�从Chat中取出符合条件的诊断信息。Error Count和Disable Warnings�{�功能也可以通过它来完成�?
<p>&nbsp; <p>5. Formatter
<p>Formatter用于���DiagnosticItems中的信息转换成�h可读的字�W�串。目前SASL只打���支持Visual Studio的格式，但是�怿�支持GCC的格式以更好的和Eclipse�{�第三方IDE集成�q�不困难�?
<p>在C#里面�Q�我们可以用“We need ‘{0}�?not ‘{1}�?”这��L(f��ng)��方式来分���description template�q��g期的产生格式化的字符丌Ӏ�但是在C++中，�q�种做法�q�不�Ҏ(gu��)��。C的sprintf很难��h��延期、渐增的�l�定模板的特定，对自定义�c�d��的字�W�串化的支持也不���I���c�d��安全也比较差�Q�而stream的话�Q�也�?x��)面临着���好端端的格式化字符串割裂的问题。SASL使用�?ji��n)boost.format�Q�从一定程度上搞定�?ji��n)这两个问题�Q�从而像C#一��P��使用格式化字�W�串的功能�?/p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/167444.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2012-03-08 21:25 <a href="http://www.shnenglu.com/lingjingqiu/archive/2012/03/08/167444.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>SALVIA 0.3 发布�Q�Pixel Shader��d���?ji��n)tex2D的支�?/title><link>http://www.shnenglu.com/lingjingqiu/archive/2012/03/06/167256.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Tue, 06 Mar 2012 09:41:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2012/03/06/167256.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/167256.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2012/03/06/167256.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/167256.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/167256.html</trackback:ping><description><![CDATA[<p>SALVIA 0.3 出炉�?ji��n)�?/p> <p><font color="#ff0000"><strong>�q�是�?010�q?月䆾以来�Q?SALVIA Milestone 1.0之后最重要的发布！</strong></font></p> <p>0.3开始，SALVIA正式支持�?ji��n)Pixel Shader�?/p> <p>�?008�q�中开始的Shader设计与实现工作基本完成�?/p> <p>未来一�q�内�Q�SALVIA的工作将集中以下几点�Q?/p> <ol> <li>在Shader�~�译器的完善上，比如友善的语法和语义错误提示�?/li> <li>提升与管�U�的集成度，�q�而充分提升性能�?/li> <li>�~�译器和�~�译器生成代码的优化�Q�提高Shader的编译速度和运行速度�?/li> <li>新的囑�Ş�Ҏ(gu��)��，如各向异性过滤等�?/li></ol> <p>随着SALVIA整体的逐渐成熟�Q�我们也希望有其他的朋友能来参与和支持这个项目，一同进步�?/p> <p>如果�(zh��n)�希望参与到�q�个��目中，请mail联系我：(x��)wuye9036 __at__ gmail dota com.</p> <p>&nbsp;</p> <p><a href="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/Windows-Live-Writer/SALVIA-0.3-_BB28/tex2D_2.png"><img style="background-image: none; border-bottom: 0px; border-left: 0px; padding-left: 0px; padding-right: 0px; display: inline; border-top: 0px; border-right: 0px; padding-top: 0px" title="tex2D" border="0" alt="tex2D" src="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/Windows-Live-Writer/SALVIA-0.3-_BB28/tex2D_thumb.png" width="680" height="264"></a></p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/167256.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2012-03-06 17:41 <a href="http://www.shnenglu.com/lingjingqiu/archive/2012/03/06/167256.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>开源��Y件光栅化渲染器SALVIA 0.2.5发布�Q��ؓ(f��)Pixel Shader��d���?ji��n)分支与循环的支�?/title><link>http://www.shnenglu.com/lingjingqiu/archive/2012/02/24/166438.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Fri, 24 Feb 2012 08:56:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2012/02/24/166438.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/166438.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2012/02/24/166438.html#Feedback</comments><slash:comments>1</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/166438.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/166438.html</trackback:ping><description><![CDATA[<p>SALVIA 0.2.5 发布�Q?br></p> <p>��目主页�Q?<a >http://code.google.com/p/softart/</a><br></p> <p>更新列表如下�Q?/p> <p><br><strong>0.2.2 - 0.2.5 (Feb 24, 2012)</strong></p> <ul> <li>版本名称发生变化�Q�从原先的Milestone X fix Y的命名方式正式更��Cؓ(f��)与主版本相同的版本号序列�? <li>取消�?ji��n)对DirectX的强制依赖�? <li>��d���?ji��n)对Visual C++ Express的支�? <li>Pixel Shader �q�一步增强：(x��)</li></ul>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 1. 提供�?ji��n)对分支语�?<strong>if</strong> 的支�?nbsp;&nbsp; <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 2. 支持 <strong>for, while, do-while</strong> 循环<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3. ��d���?ji��n)新的内建函敎ͼ?x��)<strong>ddx ddy dot cross sqrt</strong><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4. ��d���?ji��n)纹理取样函�?strong>tex2D</strong>的原�? <ul> <li>对Rasterizer�q�行�?ji��n)进一步的优化  <li>修正�?ji��n)以下问题�?x��)</li></ul>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 1. 在x86上执行vertex shader时可能会(x��)Crash的问�?br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 2. 不能再build配置文�g中指定CMake路径的问�?br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3. 一些表辑ּ�调用时报告函数重载错误的问题<img src ="http://www.shnenglu.com/lingjingqiu/aggbug/166438.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2012-02-24 16:56 <a href="http://www.shnenglu.com/lingjingqiu/archive/2012/02/24/166438.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>SALVIA正式支持一站式�~�译</title><link>http://www.shnenglu.com/lingjingqiu/archive/2011/12/26/162868.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Mon, 26 Dec 2011 13:09:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2011/12/26/162868.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/162868.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2011/12/26/162868.html#Feedback</comments><slash:comments>5</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/162868.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/162868.html</trackback:ping><description><![CDATA[<p>SALVIA在Milestone 1.2 Fix 2中，正式提供�?ji��n)一站式�~�译脚本的支持�?/p> <p>��目主页�Q?a title="http://code.google.com/p/softart/" >http://code.google.com/p/softart/</a></p> <p>新的�~�译步骤如下�Q?/p> <p>1. 下蝲最新的CMake�q�安装�?/p> <p>2. 下蝲Python 2.7�q�安装�?/p> <p>3. 下蝲boost 1.44或更新的版本�Q�解压到某个目录下�?/p> <p>4. Clone或下载SALVIA代码包，执行根目录下的build_all.py文�g。第一�ơ运行的时候会(x��)生成一个project.py�Q�编辑project.py讄���相应属性，包括boost代码目录�Q�编译器�Q�configuration�{��?/p> <p>5. 再次�q�行build_all.py�Q�编译程序�?/p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/162868.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2011-12-26 21:09 <a href="http://www.shnenglu.com/lingjingqiu/archive/2011/12/26/162868.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>LLVM随笔</title><link>http://www.shnenglu.com/lingjingqiu/archive/2011/11/22/160736.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Tue, 22 Nov 2011 13:04:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2011/11/22/160736.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/160736.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2011/11/22/160736.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/160736.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/160736.html</trackback:ping><description><![CDATA[<div>
<strong>1. </strong>LLVM在x86和x64下都和Microsft C++ ABI的吻合程度不够。目前已知在以下情况下会(x��)出错�Q?br /><ul><li>
参数为结构体�?/li><li>
�q�回��gؓ(f��)�l�构�?</li></ul>
以下情况我没有完整测试过�Q?
<br /><ul><li>
�q�回��gؓ(f��)单个���点 </li><li>
�q�回��gؓ(f��)向量�Q�_m128 / &lt;4 x float&gt;�Q?</li><li>
参数为向量（_m128 / &lt;4xfloat&gt;�Q?
</li></ul>
所以徏议大家统一���是�l�构体的�q�回值和参数以引�?指针的�Ş式传递�?br />
对于大小�?个或�?个字节的�l�构体如果希望按��g��递，那么需要在LLVM函数的签名上使用i32/i64作�ؓ(f��)参数�c�d���Q��ƈ使用bit cast在函��C��内强制�{换成�l�构体�?br /><br />
<strong>2. </strong>LLVM提供�?ji��n)很多的Intrinsics�Q�例如SSE指��o(h��)集。它在Module上提供了(ji��n)一个getOrCreateTargetIntrinsic�Q�但实际上这个函数是坑爹的。有两个�Ҏ(gu��)��可以正确的创建�ƈ获取指��o(h��)集：(x��)
<br /><ul><li>
使用Module::getOrInsertFunction( intrinsic_name, intrinsic_function_type )。它�?x��)自动识别intrinsic的名�U��ƈ创徏function或者是intrinsic。指令需要��用全名。例�?llvm.x86.sse.sqrt.ps.</li><li>
或者��用Ilvm::Intrinsic::getDeclaration( id ) 来创建。这个id可以在intrinsics.gen中找到�?/li></ul>
因�ؓ(f��)LLVM生成的Intrinsic是全�q�_��的，所以可以在x86上指定ARM汇编的生成，反之亦然�?br /><br />
<strong>3.</strong> 默认情况下，LLVM的JIT是不�?x��)启用InliningPass的，Optimization Level指定为Aggressive也不�?x��)。这意味着inlinehint和alwaysinline都是失效的。如果需要inlining得自�׃��改JIT的源代码�?br /><br />
<strong>4. </strong>UndefValue是个好东�ѝ��这个常量可以��生成的汇�~�少一条初始化指��o(h��)。比方说�?初始化，可能对应的汇�~�就�?xor reg, reg。如果用�?ji��n)Undef�Q�那�q�条指��o(h��)���没�?ji��n)�?br />
<strong><br />5.</strong> TypeBuilder很好用，只是不能生成struct�{�复杂的�c�d��。不�q�你可以对它做一些修改以让它支持struct和vector。这个时候Boost.MPL���p���z�上用场�?ji��n)。不�q�要当心(j��)MPL带来漫长的编译时间�?
</div><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/160736.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2011-11-22 21:04 <a href="http://www.shnenglu.com/lingjingqiu/archive/2011/11/22/160736.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>LLVM的调用协议与内存寚w��</title><link>http://www.shnenglu.com/lingjingqiu/archive/2011/08/17/153655.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Wed, 17 Aug 2011 05:58:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2011/08/17/153655.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/153655.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2011/08/17/153655.html#Feedback</comments><slash:comments>3</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/153655.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/153655.html</trackback:ping><description><![CDATA[<p>在设计一门语�a�与其他语�a�交互的API与ABI�Q�Application Binary Interface�Q�二�q�制接口�Q�时�Q�调用协议和内存寚w��是两个无从回避的问题�?/p> <p>本文���讨论如何在LLVM上生成正���的内存寚w��和调用协议的代码�?/p> <p>在这里�ؓ(f��)�?ji��n)方便和标准赯����Q�假定应用LLVM的语�a�的Extending和Embedding的对象都是C�?/p> <p><strong><font color="#0000ff">调用协议</font></strong></p> <p>先来讨论调用协议。调用协议用于保证调用方和被调用方在二进�?汇编一�U�上是相容的。合适的调用协议可以帮助构造出以下代码�Q?/p> <table border="1" cellspacing="0" cellpadding="2" width="473"> <tbody> <tr> <td valign="top" width="471"><pre class="code"><span style="color: green">// Callee Signature of LLVM code
</span><span style="color: blue">void __cdecl </span><span style="color: #880000">foo</span>( <span style="color: blue">int </span><span style="color: navy">a</span>, <span style="color: blue">float </span><span style="color: navy">b</span>, <span style="color: blue">float4 </span><span style="color: navy">c</span>);

<span style="color: green">// C caller
</span><span style="color: blue">typedef void </span>(<span style="color: blue">__cdecl</span>* <span style="color: navy">fn_ptr</span>)(<span style="color: blue">int</span>, <span style="color: blue">float</span>, <span style="color: blue">float4</span>)
fn_ptr <span style="color: navy">p </span>= <span style="color: blue">static_cast</span>&lt;fn_ptr&gt;( get_jit_function(<span style="color: #a31515">"foo"</span>) );
<span style="color: navy">p</span>(1, 1.0, <span style="color: #880000">vec</span>);
</pre><a ></a></td></tr></tbody></table>
<p>一般来说调用协议包括参��C��递和�q�回��g��递和堆栈�q����三个部分。在x86�q�_��上的C/C++�~�译器中常见的调用协议有cdecl, fastcall和stdcall。具体的协议内容请参见MSDN�?/p>
<p>在C++中还有一�cȝ���D�的调用协议thiscall�Q�用于调用对象的成员函数。但是这一�c�调用协议不同的�q�_���Q�不同的�~�译器实现皆有不同，既无书面标准�Q�也无事实标准，再加上virtual call�{�复杂的情况存在�Q��ƈ不适合用于做跨语言的调用�?/p>
<p>对于x64�q�_��而言�Q�在windows下和linux下分别有两种调用协议�?/p>
<p>先来看x86。由于x86在cdecl和fastcall上是有着跨��^台的标准的，因此LLVM对它的支持是比较完整的。程序只要在创徏Function的时候指定Call Convention卛_���?/p>
<p>但是对于x64�Q�LLVM的支持便不是那么完善。以windows��Z���Q�windows的x64调用协议要求以rcx�Q�rdx�Q�r8�Q�r9寄存器传递前四个不大�?4bit的参敎ͼ�其余参数攑֜�栈上。如果参数大�?4bit�Q�则要求传递它的指针。��Q点��用xmm0-3来传递。但是对于LLVM而言�Q�一旦参数大�?4bit�Q�它便会(x��)���整个对象而不是指针压到栈上传递。因此在遇到x64�Ӟ��需要小�?j��)处理API部分的调用协议�?/p>
<p>在这里，我们需要将所有超�q?4bit的结构体处理成指针（或者拷贝后处理成指针）(j��)传递�?/p>
<p>同时�Q�LLVM提供�?ji��n)readonly和byval两个参数属性（Attribute�Q�来���保参数的��D��义。前者意味着传入的指针所指向的值是不被修改的，�Q�类��g��T const*�Q�，而后者会(x��)对传入的指针做一份内存拷贝，���保写��g��被传递出函数�Q�类��g��值拷贝）(j��)。这��P��LLVM生成的函��C��可以MSVC生成的x64代码正确调用�?ji��n)�?/p>
<p><strong><font color="#0000ff">内存寚w��</font></strong></p>
<p>与移动��^台的体系�l�构相比�Q�x86对内存对齐的条�g���是相当宽松的了(ji��n)。大部分的指令对内存寚w��基本上是没有�Ҏ(gu��)��要求的。只有一些SIMD的指令会(x��)对内存对齐有所限定�Q�例如movaps�?/p>
<p>��Z��(ji��n)方便后端生成SIMD代码�Q�LLVM提供�?ji��n)vector�c�d���Q�例如vector&lt;float, 1&gt;。在代码生成的时候，vector�?x��)编译成最有可能的SIMD�c�d��。因此在x86�q�_��上，vector&lt;float, 1-4&gt;都被处理成类��g��__m128的类型，更长的vector则被拆分成多个__m128�c�d���?/p>
<p>�q�实际上意味着�Q�所有的vector都应该遵�?6Bytes寚w��的原则�?/p>
<p>考虑到我们的需求，�c�M��于struct{ float[3]; }�q�样的结构，如果能表�C�Zؓ(f��)vector&lt;float, 3&gt;昄���适合一些数学运���，例如shuffle�Q�逐元素的add�Q�sub�Q�mul�Q�同时LLVM指��o(h��)的选择也更加灵�z�R��但是显�?d��ng)����q�个�l�构体有两个条�g是不满��的：(x��)16字节寚w���?6字节的大���（movups和movaps都是一�ơ取16字节�Q�。这�?x��)造成边界下读写的内存���界。因此非常可惜，�q�些数据必须表示为struct{ float ,float, float }。在��d��的时候，也会(x��)生成正确的指令：(x��)movss�?/p>
<p>那么�Q�对于一般的非对齐的vec4应用vector&lt;float,4&gt;行不行呢�Q?/p>
<p>�{�案是，很困难。对于LLVM而言�Q�他们在设计的时候就没有�q�多的考虑vector在非寚w��时候的应用。尽���load和store都能够指定alignment以生成非寚w��的内存操作（例如movups�Q��ƈ且确实会(x��)��h���Q�但是由于代码优化、��(f��)时存取等�Ҏ(gu��)��的存在�Q�导致一些非load和store的内存操作仍然是要求寚w��的（例如生成�?ji��n)addaps xmm, [addr]�Q�。此时仍然有可能为非寚w��的数据生成了(ji��n)内存寚w��的指令�?/p>
<p>因此�l�合权衡�Q�SASL在API界面上��用了(ji��n)struct{float x,y,z,w;} �q�样的ABI来表�C�数据，在代码生成时�Q�会(x��)首先���struct的数据�{换成vector�Q�然后再执行其它的操作，兼顾ABI与SIMD�Q�同时对于Intrinsic�Q�由于�ƈ不暴露给Host�Q�所以它们仍然尽可能使用Vector�Q�便于LLVM�q�行优化�?/p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/153655.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2011-08-17 13:58 <a href="http://www.shnenglu.com/lingjingqiu/archive/2011/08/17/153655.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>SALVIA Milestone 1.1 Fix 1: 新Sponza Demo</title><link>http://www.shnenglu.com/lingjingqiu/archive/2011/07/17/151230.html</link><dc:creator>�I�明����{</dc:creator><author>�I�明����{</author><pubDate>Sun, 17 Jul 2011 09:46:00 GMT</pubDate><guid>http://www.shnenglu.com/lingjingqiu/archive/2011/07/17/151230.html</guid><wfw:comment>http://www.shnenglu.com/lingjingqiu/comments/151230.html</wfw:comment><comments>http://www.shnenglu.com/lingjingqiu/archive/2011/07/17/151230.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.shnenglu.com/lingjingqiu/comments/commentRss/151230.html</wfw:commentRss><trackback:ping>http://www.shnenglu.com/lingjingqiu/services/trackbacks/151230.html</trackback:ping><description><![CDATA[<p><strong><font color="#800080">��目主页�Q?/font><br></strong> <ul> <li><a >http://code.google.com/p/softart</a></li></ul> <p><strong><font color="#800080">源码下蝲地址�Q?/font></strong></p> <ul> <li>Zip格式�Q?a title="https://bitbucket.org/wuye9036/salvia/get/tip.tar.bz2" >https://bitbucket.org/wuye9036/salvia/get/tip.tar.bz2</a></li> <li>Mercurial地址1�Q?a href="https://wuye9036@bitbucket.org/wuye9036/salvia">https://bitbucket.org/wuye9036/salvia</a></li> <li>Mercurial地址2�Q?a >https://code.google.com/p/softart/</a></li></ul><strong><font color="#800080">版本�Q?/font></strong> <ul> <li>Milestone 1.1 Fix 1</li></ul><strong><font color="#800080">更新记录�Q?/font></strong> <ul> <li>��d���?ji��n)�?ji��n)新的Demo�Q�Sponza  <li>Wavefront Obj��d���?2位烦(ch��)引的支持�? <li>修复�?Wavefront Obj 错误的顶点共享的问题�? <li>修复�?Mip-map 计算错误的问题�? <li>修复�?ji��n)对多边形错误剔除的问题�?/li></ul><strong><font color="#800080">Demo下蝲�Q?/font><br></strong> <ul> <li><a ><strong>下蝲地址</strong></a></li></ul> <p><font color="#800080"><strong>Demo截图</strong><strong>�Q?/strong></font></p> <p><a href="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/WindowsLiveWriter/SALVIAMilestone1.1Fix1SponzaDemo_FA31/image_2.png"><img style="border-bottom: 0px; border-left: 0px; display: inline; border-top: 0px; border-right: 0px" title="image" border="0" alt="image" src="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/WindowsLiveWriter/SALVIAMilestone1.1Fix1SponzaDemo_FA31/image_thumb.png" width="534" height="576"></a> </p> <p><a href="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/WindowsLiveWriter/SALVIAMilestone1.1Fix1SponzaDemo_FA31/image_4.png"><img style="border-bottom: 0px; border-left: 0px; display: inline; border-top: 0px; border-right: 0px" title="image" border="0" alt="image" src="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/WindowsLiveWriter/SALVIAMilestone1.1Fix1SponzaDemo_FA31/image_thumb_1.png" width="534" height="576"></a> </p> <p><a href="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/WindowsLiveWriter/SALVIAMilestone1.1Fix1SponzaDemo_FA31/image_6.png"><img style="border-bottom: 0px; border-left: 0px; display: inline; border-top: 0px; border-right: 0px" title="image" border="0" alt="image" src="http://www.shnenglu.com/images/cppblog_com/lingjingqiu/WindowsLiveWriter/SALVIAMilestone1.1Fix1SponzaDemo_FA31/image_thumb_2.png" width="534" height="576"></a></p><img src ="http://www.shnenglu.com/lingjingqiu/aggbug/151230.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.shnenglu.com/lingjingqiu/" target="_blank">�I�明����{</a> 2011-07-17 17:46 <a href="http://www.shnenglu.com/lingjingqiu/archive/2011/07/17/151230.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item></channel></rss>                                                                                                                                                                                                                                                                                                                                                                                    <footer>
<div class="friendship-link">
<p>��л���������ǵ���վ�������ܻ���������Դ����Ȥ��</p>
<a href="http://www.shnenglu.com/" title="&#31934;&#21697;&#35270;&#39057;&#20037;&#20037;&#20037;&#20037;">&#31934;&#21697;&#35270;&#39057;&#20037;&#20037;&#20037;&#20037;</a>

<div class="friend-links">


</div>
</div>

</footer>

<a href="http://www.webidea.com.cn" target="_blank">���������ۺϾþþ�Ʒ����</a>|
<a href="http://www.888google.cn" target="_blank">�þþþþþþþþþ�Ʒ����</a>|
<a href="http://www.lhstrip.cn" target="_blank">��ҹ����888�þ�</a>|
<a href="http://www.tnbzjrzhl.cn" target="_blank">��������ר���þ�����</a>|
<a href="http://www.youk6.cn" target="_blank">�þþþó��˾�Ʒ����������Ļ
</a>|
<a href="http://www.xiaoxyl.cn" target="_blank">��Ʒ����þþþþ�����</a>|
<a href="http://www.hzust.cn" target="_blank">���� ���� ŷ�� ���� �þ�</a>|
<a href="http://www.td16yf8g.cn" target="_blank">�þþ�Ʒ������ѹۿ�</a>|
<a href="http://www.fridc.cn" target="_blank">�������þ��㽶�����߿��ۿ�</a>|
<a href="http://www.fengshi800.cn" target="_blank">���ľ�Ʒ�þþþ����޲���</a>|
<a href="http://www.ixlg.cn" target="_blank">�þ�av�������С�ݲ���</a>|
<a href="http://www.gdzhenya.cn" target="_blank">�þ���ˬ����ˬ����ƬAV
</a>|
<a href="http://www.vnaiman.cn" target="_blank">97��Ʒ���˾þô����߽�app</a>|
<a href="http://www.mail-lists.cn" target="_blank">������Ʒ����þþþû���</a>|
<a href="http://www.139shops.cn" target="_blank">�����˳ɾ�Ʒ�þþþ�</a>|
<a href="http://www.cysq88.cn" target="_blank">�þ�����������Ļ</a>|
<a href="http://www.meng1.cn" target="_blank">ɫ�ۺϾþþþ���</a>|
<a href="http://www.s9375.cn" target="_blank">����Av����þ���������</a>|
<a href="http://www.jn533.cn" target="_blank">�þ���������������Ļ</a>|
<a href="http://www.cz27b1.cn" target="_blank">ŷ���������˾þþ�Ʒ</a>|
<a href="http://www.whoimi.cn" target="_blank">�þ�99�Ⱥݺ�ɫ��Ʒһ��</a>|
<a href="http://www.schooldvd.cn" target="_blank">����AV����1��2���þ�</a>|
<a href="http://www.jsjingkou.cn" target="_blank">��ҹ��Ƶ�þþþ�һ��</a>|
<a href="http://www.iomg.com.cn" target="_blank">��Ʒ�þþþ�������</a>|
<a href="http://www.fwjs.net.cn" target="_blank">���޹�����Ʒ�þ�66</a>|
<a href="http://www.tupw.cn" target="_blank">�þ�99��Ʒ�ۺϹ�����ҳ</a>|
<a href="http://www.lbao.net.cn" target="_blank">ɫ�����ۺϾþþ�������Ļ
</a>|
<a href="http://www.trjyzj.cn" target="_blank">�þþ�Ʒ����99�þ��޶�����</a>|
<a href="http://www.xileshun.cn" target="_blank">�þþ�Ʒ��Ʒʢ��ۿ�</a>|
<a href="http://www.bayercas.cn" target="_blank">ɫ��ʹ�þ��ۺ�������</a>|
<a href="http://www.gzwy9.cn" target="_blank">�þþ�WWW����</a>|
<a href="http://www.5o42i9.cn" target="_blank">�þþþ����뾫Ʒ����app</a>|
<a href="http://www.eehqv.cn" target="_blank">��ѹۿ����˾þ�����ѹۿ�</a>|
<a href="http://www.f938.cn" target="_blank">69���������ۺϾþþ�Ʒ</a>|
<a href="http://www.wucaitianyuan.cn" target="_blank">����va�þþ�������þ���ͬ</a>|
<a href="http://www.blog060422.cn" target="_blank">ŷ�����޹�����Ʒ�þ�</a>|
<a href="http://www.kapatina.cn" target="_blank">99�þ���ѹ�����Ʒ�ػ�</a>|
<a href="http://www.pingpangq.cn" target="_blank">�þø�Ů�߳�����MBA</a>|
<a href="http://www.todaytrends.cn" target="_blank">�����˳ɾ�Ʒ�þþþ�</a>|
<a href="http://www.zhihuzhuanlan.com.cn" target="_blank">����va�þþ�������þúݺ�</a>|
<a href="http://www.lglmhdf.cn" target="_blank">ŷ������ɫ�۾þþ�Ʒ����</a>|
<script>
(function(){
    var bp = document.createElement('script');
    var curProtocol = window.location.protocol.split(':')[0];
    if (curProtocol === 'https') {
        bp.src = 'https://zz.bdstatic.com/linksubmit/push.js';
    }
    else {
        bp.src = 'http://push.zhanzhang.baidu.com/push.js';
    }
    var s = document.getElementsByTagName("script")[0];
    s.parentNode.insertBefore(bp, s);
})();
</script>
</body>