Chun Tian (binghe)

超越自我，洞察宇宙

日志

关于我

冰河

Common Lisp 程序员

文章分类

SBCL 进程的内存结构

2007-02-03 15:17:21| 分类： Lisp | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

最近由于成功地重新安装了 GNU/Hurd，开始考虑将 SBCL (Steel-Bank Common Lisp) 移植到 GNU/Hurd 的可能性。
将 Lisp 平台移植到新操作系统平台的一个关键的问题是进程的内存映射表结构，和那些完全从 C 编译出来的程序不同，Lisp 平台必须明确地知道所在操作系统中进程的内存布局，才能正确地分配动态内存空间以及垃圾收集。下面的代码片段取自 SBCL 源代码(src/compiler/x86/parms.lisp):

#!+linux
(progn
(def!constant read-only-space-start     #x01000000)
(def!constant read-only-space-end       #x037ff000)

(def!constant static-space-start        #x05000000)
(def!constant static-space-end          #x07fff000)

(def!constant dynamic-space-start       #x09000000)
(def!constant dynamic-space-end         #x29000000)

(def!constant linkage-table-space-start #x70000000)
(def!constant linkage-table-space-end   #x7ffff000))

在 Linux 下通过 pmap 工具显示 SBCL 进程的内存空间使用情况也证实了上述代码所描述的内存分配结构：

01000000      4K rwx-- /usr/lib/sbcl/sbcl.core
01001000 40952K rwx--    [ anon ]
05000000      4K rwx-- /usr/lib/sbcl/sbcl.core
05001000 49144K rwx--    [ anon ]
08048000    132K r-x-- /usr/bin/sbcl
08069000      4K rwx-- /usr/bin/sbcl
0806a000    216K rwx--    [ anon ]
09000000     64K r-x-- /usr/lib/sbcl/sbcl.core
09010000      4K rwx-- /usr/lib/sbcl/sbcl.core
...
09546000 12800K r-x-- /usr/lib/sbcl/sbcl.core
0a1c6000      4K rwx-- /usr/lib/sbcl/sbcl.core
0a1c7000    328K r-x-- /usr/lib/sbcl/sbcl.core
0a219000      4K rwx-- /usr/lib/sbcl/sbcl.core
0a21a000   1584K r-x-- /usr/lib/sbcl/sbcl.core
0a3a6000      4K rwx-- /usr/lib/sbcl/sbcl.core
0a3a7000    224K r-x-- /usr/lib/sbcl/sbcl.core
0a3df000      4K rwx-- /usr/lib/sbcl/sbcl.core
0a3e0000   4404K r-x-- /usr/lib/sbcl/sbcl.core
0a82d000 499532K rwx--    [ anon ]
70000000 262140K rwx--    [ anon ]
(7ffff000 以后估计是 Linux 系统中进程的动态库表和其他部分了，应该不在 SBCL 管辖之内了)
b762b000      4K r-x--    [ anon ]
b762c000   4364K rwx--    [ anon ]
b7a6f000   1028K rwx--    [ anon ]
b7b70000    940K r-x-- /usr/lib/locale/locale-archive
b7c5b000   2048K r-x-- /usr/lib/locale/locale-archive
b7e5b000      4K rwx--    [ anon ]
b7e5c000   1192K r-x-- /lib/tls/i686/cmov/libc-2.3.6.so
b7f86000     20K r-x-- /lib/tls/i686/cmov/libc-2.3.6.so
b7f8b000      8K rwx-- /lib/tls/i686/cmov/libc-2.3.6.so
b7f8d000     12K rwx--    [ anon ]
b7f90000    140K r-x-- /lib/tls/i686/cmov/libm-2.3.6.so
b7fb3000      8K rwx-- /lib/tls/i686/cmov/libm-2.3.6.so
b7fb5000      4K rwx--    [ anon ]
b7fb6000     60K r-x-- /lib/tls/i686/cmov/libpthread-2.3.6.so
b7fc5000      8K rwx-- /lib/tls/i686/cmov/libpthread-2.3.6.so
b7fc7000      8K rwx--    [ anon ]
b7fc9000      8K r-x-- /lib/tls/i686/cmov/libdl-2.3.6.so
b7fcb000      8K rwx-- /lib/tls/i686/cmov/libdl-2.3.6.so
b7fdf000     28K rwx--    [ anon ]
b7fe6000      4K rwx--    [ anon ]
b7fe7000      4K -----    [ anon ]
b7fe8000      8K rwx--    [ anon ]
b7fea000      4K r-x--    [ anon ]
b7feb000     84K r-x-- /lib/ld-2.3.6.so
b8000000      8K rwx-- /lib/ld-2.3.6.so
bffeb000     84K rwx--    [ stack ]

既然一个 SBCL 进程的动态内存空间在虚地址范围上是固定的，那么显然有有限的:

(- dynamic-space-end dynamic-space-start) => #x20000000 => 536870912 => 512MB

也就是说 32 位系统下 SBCL 不可能同时分配超过 512MB 的动态内存数据，对于某些情形来说这是个严重的资源限制。这也就是为什么我们要用 64 位操作系统的原因。

评论这张

转发至微博

阅读(1655)| 评论(4)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_084075082083088069093087074068084086080',
              blogTitle:'SBCL 进程的内存结构',
              blogAbstract:'<font size=\"2\"\><span style=\"font-family: Courier;\"\>最近由于成功地重新安装了 GNU/Hurd，开始考虑将 SBCL (Steel-Bank Common Lisp) 移植到 GNU/Hurd 的可能性。</span\><br style=\"font-family: Courier;\"\><span style=\"font-family: Courier;\"\>\r\n将 Lisp 平台移植到新操作系统平台的一个关键的问题是进程的内存映射表结构，和那些完全从 C 编译出来的程序不同，Lisp\r\n平台必须明确地知道所在操作系统中进程的内存布局，才能正确地分配动态内存空间以及垃圾收集。下面的代码片段取自 SBCL\r\n源代码(src/compiler/x86/parms.lisp):</span\></font\>',
              blogTag:'lisp,sbcl',
              blogUrl:'blog/static/700120071331721713',
              isPublished:1,
              istop:false,
              type:1,
              modifyTime:0,
              publishTime:1170487041713,
              permalink:'blog/static/700120071331721713',
              commentCount:4,
              mainCommentCount:4,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'Common Lisp 程序员',
              hmcon:'0',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/700120071331721713">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

Chun Tian (binghe)

导航

日志

SBCL 进程的内存结构

历史上的今天

最近读者

热度

评论

页脚