ASPLOS 11
作者 coder | 2011-03-17 20:28 | 类型 学术园地, 行业动感 | 16条用户评论 »
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 狠感兴趣 并且说 希望有机会合作。 *首席名头很响。一报名字,全场肃静!! | |
雁过留声
“ASPLOS 11”有16个回复
>*首席名头很响。一报名字,全场肃静!!
这个不错。。。。。。希望学术界的同学们早日弃暗投明,加入到实战的队伍中来。也希望工业界的同学们抛弃SB胶片文化,加入到务实的工作中去。。。
Replay的背景是提高多核上的易编程性(programmability),还是很有意义的。Luis还创办了个startup,主要产品就是concurrency debugger: http://www.corensic.com/
因为多核把硬件更多的暴露给了程序员,以后的趋势应该是系统软件比Micro Arch更重要,因为自迈向多核的第一步起,搞Arch的人就已经输了。
replay 真的能提高吗? 我持怀疑态度…
Transaction memory要是work了,程序员很爽
Yale哪个学生去了?
coder: 哥们我上周好像在UT学校里的JP Java见过你?。。
看他谈得内容,似乎去的是Jose?
大牛
很棒的文章,呵呵。
关于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
@Queeten Jose 去了,和你在一起的 indian guy 去了,还有另外两个学生.
谁说的Transactional memory 不work?
多核还是有很多问题的
debug只是其中一个
我说的 it does not make sense.
why not? It makes sense for short transactions to replace spin lock. Long running transactions are another story.
我也时常在想这个问题:bug detection vs debugging tool 哪个更重要些呢?其实,我编并行程序的时候,觉得解BUG本身应该是容易激起DEVELOPER兴奋的工作,而且解BUG还应该是由真正了解代码的人来做。但我很可能是错的。
在那个ASPLOS会上,好像有个UCI的教授问了个你们一个很CREEPY的问题,一直在问用的哪款INTEL
怎么说呢,工业上跟灌水差别还是很大的,replay、transactional memory确实只能灌灌水,实际应用中不靠谱。不过灌灌水就差不多了,ASPLOS一年那么多文章,有哪个能够很快在工业界用到。还有那么多搞formal,complexity theory的人,几乎不可能到实践中的,大家兴趣不同,关注的对象也不同。
Mark Hill是wisc做CA很牛的教授~