ASPLOS 11

作者 | 2011-03-17 20:28 | 类型 学术园地, 行业动感 | 16条用户评论 »

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享




ASPLOS ( Architectural Support for Programming Languages and Operating Systems) 是计算机系统领域一个比较重要的会议。 Architecture, programming language 和 operating system 的人都会来。 俺有幸去 ASPLOS 11 转了一圈，这里总结一下。

*很可惜，我们的论文没能得到 best paper, 不过非常高兴的是看到我们 paper 的 impact. Dave & John 决定把我们的 paper 放到他们下一版的红宝书中，这个对我们的论文是极大的肯定。 学术界和工业界的人都对我们的工作感兴趣。 Power/energy efficiency system 是现在很多人关注的领域。 在我们的论文里边，我们两个主要的 statements 是软件有非常大的空间影响系统的 power/energy。 不同语言的 workload 的行为是不一样的。 Qualcomm 问我们有没有进一步研究软件如何影响 power/energy. 我们的一篇 paper 提到了相同的 java application, 不同的 jvm 的 performance, power, energy 的曲线完全不同。 下一步我们组有的人会继续沿着这个方向往下走。Kathryn 在 HPCA/PPoPP 的 keynote 讲了我们的论文，Mark Hill （不知道是谁的请google) 问了个很好玩的问题 “为什么这个工作是被作 programming language 的人完成的，而不是体系结构的人”.  Intel Austin 也在作类似的研究。

*体系结构的人已经没有什么想法来自动加速系统。 和很多人聊天，都认为异构系统已经并且会更流行。CPU本身会变得越来越不重要。 支撑 Application 的系统是根本，同时这也要求 software hardware co-design.

*Power/Energy 貌似很火，不过需要更好的理解整个系统的 power & energy 行为, 而不是为了 power 而去想一些根本无所谓的点子。

*Transactions memory still does not work。 这个很好….. 哈哈。

*Phase-change memory 未来会如何整合到 memory subsystem 是个值得关注的问题。

*和 UW Luis 组的学生聊天，他们有PLDI 11 有一个paper 提到 放弃一些可靠性来换取 power/energy 的 benefit. 类似的 software 和 hardware co-design 会是以后的方向， free lunch is over。

*和 berkely parlab 的 Krste 聊到了他们作的 kernel. 他们基本的想法是把 kernel 变成一个单纯的 resource service provider, 而不是猜测 application 的行为来分配资源。 他们的系统里边， application 的 run-time system 会向 kernel 发出各种请求， kernel 的任务就是想办法满足  application 的请求。 我向他提到了在 network 领域，类似的系统存在了很长时间。 Parlab 的人真的是在作好玩的工作，而不是发paper。

*ASPLOS太多 correctness 和 find bug 的工作。 Peter Chen  整个 group 都在作 re-play. 我水平有限，不知道这些工作的意义. 程序员是在fix bug 中成长的。 另外软件有bug 是正常的事情，重要的是在 bug 发现后可以很快搞定。

*碰到了 Doug Lea. 跟他聊了聊 memory consistency 的问题。 CPU 完全可以 有一个相对 strict 的 order, 然后在内部 play 一些 speculation。 太 relax 的 model, 写起来程序是有些麻烦。 X86 的 order 我觉得程序员完全可以搞定。跟他提到了我的 master thesis, 他狠感兴趣 并且同意 review 我的 thesis.

*和很多作体系结构的学生聊天，基本上他们都对系统软件完全没有概念，在 co-design 的时候会是非常大的问题。

*和 Yale Patt 的学生聊了很久，可惜 Yale 去了欧洲，没能见到真容。 他的学生狠聪明。 主要是和他们聊 怎么把 application 精确的 semantics 和 体系结构联系起来 来提高 系统资源的 utilization. 在 architecture level 对软件系统透明的优化很难提高 utilization 了，他们对我提出的 idea 狠感兴趣 并且说 希望有机会合作。

*首席名头很响。一报名字，全场肃静！！

(2个打分， 平均：5.00 / 5)

工具箱
本文链接 | | 打印此页 | 16条用户评论 »

雁过留声

“ASPLOS 11”有16个回复

  1. 陈怀临 于 2011-03-17 8:32 下午

    >*首席名头很响。一报名字，全场肃静！！

    这个不错。。。。。。希望学术界的同学们早日弃暗投明，加入到实战的队伍中来。也希望工业界的同学们抛弃SB胶片文化，加入到务实的工作中去。。。

  2. Guancheng 于 2011-03-17 10:31 下午

    Replay的背景是提高多核上的易编程性（programmability），还是很有意义的。Luis还创办了个startup，主要产品就是concurrency debugger： http://www.corensic.com/

    因为多核把硬件更多的暴露给了程序员，以后的趋势应该是系统软件比Micro Arch更重要，因为自迈向多核的第一步起，搞Arch的人就已经输了。

  3. coder 于 2011-03-17 10:36 下午

    replay 真的能提高吗？ 我持怀疑态度…

  4. zedware 于 2011-03-18 6:33 上午

    Transaction memory要是work了，程序员很爽

  5. queeten 于 2011-03-18 10:04 上午

    Yale哪个学生去了？

  6. queeten 于 2011-03-18 10:07 上午

    coder: 哥们我上周好像在UT学校里的JP Java见过你？。。

  7. queeten 于 2011-03-18 10:34 上午

    看他谈得内容，似乎去的是Jose?

  8. Lucifer 于 2011-03-18 1:54 下午

    大牛

  9. 阿凡提 于 2011-03-18 3:27 下午

    很棒的文章，呵呵。

    关于memory consistence，
    用SC加上SPECULATION 得到RC的性能，SC的可编程性

    是一个经典的IDEA，可以参阅下面这篇论文：
    Is SC+ILP=RC?

    Guiady, C.; Falsafi, B.; Vijaykumar, T.N.;
    Dept. of Electr. & Comput. Eng., Purdue Univ., West Lafayette, IN
    This paper appears in: Computer Architecture, 1999. Proceedings of the 26th International Symposium on
    Issue Date: 1999
    On page(s): 162 – 171
    Meeting Date: 02 May 1999 – 04 May 1999
    Location: Atlanta, GA , USA
    Print ISBN: 0-7695-0170-2
    References Cited: 17
    INSPEC Accession Number: 6346060
    Digital Object Identifier: 10.1109/ISCA.1999.765948
    Date of Current Version: 06 August 2002
    ABSTRACT

  10. coder 于 2011-03-18 10:47 下午

    @Queeten Jose 去了，和你在一起的 indian guy 去了，还有另外两个学生.

  11. james 于 2011-03-20 9:44 下午

    谁说的Transactional memory 不work？
    多核还是有很多问题的
    debug只是其中一个

  12. coder 于 2011-03-20 10:24 下午

    我说的 it does not make sense.

  13. james 于 2011-03-20 11:19 下午

    why not? It makes sense for short transactions to replace spin lock. Long running transactions are another story.

  14. Wei 于 2011-04-13 9:56 下午

    我也时常在想这个问题：bug detection vs debugging tool 哪个更重要些呢？其实，我编并行程序的时候，觉得解BUG本身应该是容易激起DEVELOPER兴奋的工作，而且解BUG还应该是由真正了解代码的人来做。但我很可能是错的。
    在那个ASPLOS会上，好像有个UCI的教授问了个你们一个很CREEPY的问题，一直在问用的哪款INTEL :)

  15. xiaodamm 于 2011-04-18 4:21 上午

    怎么说呢，工业上跟灌水差别还是很大的，replay、transactional memory确实只能灌灌水，实际应用中不靠谱。不过灌灌水就差不多了，ASPLOS一年那么多文章，有哪个能够很快在工业界用到。还有那么多搞formal，complexity theory的人，几乎不可能到实践中的，大家兴趣不同，关注的对象也不同。

  16. hitony 于 2012-04-23 7:22 下午

    Mark Hill是wisc做CA很牛的教授～