Octobre 2012 - Dlteam-list - mailman.iro.umontreal.ca

A talk on Symbolics Lisp Machines
by chevalma＠iro.umontreal.ca 01 Nov '12

01 Nov '12

I stumbled upon this and thought Erick and Marc would probably be very interested! http://bit.ly/Qa8wdz Topics covered include Lisp, live coding, low-level bit tricks, CPU design, VLSI, and more.

1 0

Prochaine rencontre de groupe?
by Erick Lavoie 25 Oct '12

25 Oct '12

Marc, on a une période prévue pour la prochaine rencontre de groupe? Erick

3 3

Rencontre de groupe
by Marc Feeley 17 Oct '12

17 Oct '12

Étant donné les disponibilités, il semblerait que le meilleur moment pour tenir les rencontres de groupes c'est à partir de 11h30 mercredi matin. Il semblerait que le seul conflit est avec Eric. J'ai fait le doodle poll avec des tranches de 1 heure alignées sur des heures tapantes. Je suppose que Eric est disponible à partir de 11h30. Est-ce bien le cas? Si ça convient à tous, Bruno, peux-tu réserver le 3195 à ce moment? Marc

3 3

Prochaine rencontre d'équipe?
by Erick Lavoie 17 Oct '12

17 Oct '12

Quand aura lieu la prochaine rencontre d'équipe? Erick

1 0

Fwd: Max Schaefer talk at McGill this Friday at 2:30 in McConnell 103.
by Marc Feeley 16 Oct '12

16 Oct '12

Début du message réexpédié : > De : Laurie Hendren <hendren(a)cs.mcgill.ca> > Objet : Max Schaefer talk at McGill this Friday at 2:30 in McConnell 103. > Date : 15 October, 2012 12:52:43 PM EDT > À : Bruno Dufour <dufour(a)iro.umontreal.ca>, Marc Feeley <feeley(a)iro.umontreal.ca>, Ettore Merlo <ettore.merlo(a)polymtl.ca>, egagnon(a)j-meg.com > > Hi Bruno, Marc, Ettore and Etienne, > > My friend Max Schaefer is visiting McGill on Thursday and Friday of this week and he will be giving the talk listed below. I worked with Max on my sabbatical in Oxford and he is a really good guy with lots of experience in the intersection of compiler analyses and software engineering. Could you please publicize this talk (and also come if you can). > > Also, Max is available for meetings on Thursday and Friday, so if you (or your students) would like to meet with him, please let me know. If you would like to come for lunch on Friday, we could go and have lunch and then go his talk after lunch. Also let me know if that appeals to you. > > Thanks, Laurie > > > > 2012/10/19 Speaker: Max Schaefer > Affiliation: IBM Research > Host: L. Hendren > Place: MC103 > Start Time: 14:30 > Area: Programming Languages > Title: Efficient Construction of Approximate Call Graphs for JavaScript IDE Services > Abstract: > The rapid rise of JavaScript as one of the most popular programming languages of the present day has led to a demand for sophisticated IDE support similar to what is available for Java or C#. However, advanced tooling is hampered by the dynamic nature of the language, which makes any form of static analysis very difficult. We single out efficient call graph construction as a key problem to be solved in order to improve development tools for JavaScript. To address this problem, we present a scalable field-based flow analysis for constructing call graphs. Our evaluation on large real-world programs shows that the analysis, while in principle unsound, produces highly accurate call graphs in practice. Previous analyses do not scale to these programs, but our analysis handles them in a matter of seconds, thus proving its suitability for use in an interactive setting. > > Biography of Speaker: > Max Schaefer is currently a post-doctoral researcher at the IBM T.J. Watson Research Center, working mostly on program analysis and transformation, particularly for dynamic programming languages. Before coming to IBM, he obtained his DPhil from the University of Oxford, graduating with a thesis on specification, implementation and verification of refactorings. > > -- > +-------------------------------------------------------------- > | Laurie Hendren --- http://www.sable.mcgill.ca/~hendren > | Associate Dean (Academic), Faculty of Science > | Professor, School of Computer Science, McGill University > | New McLAB Research Project: http://www.sable.mcgill.ca/mclab > | Other Proj: www.sable.mcgill.ca/soot www.sable.mcgill.ca/abc > +--------------------------------------------------------------

1 0

Effets non-locaux sur la performance
by Erick Lavoie 13 Oct '12

13 Oct '12

Nouvel item dans la série "Étude de performance de V8". Le prochain exemple montre comment du code qui n'est fonctionnellement pas lié au comportement de la partie chaude d'un micro-benchmark peut en influencer la performance de manière significative. Dans l'exemple suivant, en activant la ligne en commentaire, on peut noter un gain de performance de plus de 7x. Cela ne fonctionne que lorsque la fonction f est une fermeture sur une des variables locales, peu importe laquelle. (function () { var scale = 160000; var t = 0; var x = 1; var y; // Uncomment the next line for a // >7x improvement in performance!!! //var f = (function () { return f; }); for (var i = 0; i < 200*scale; ++i) { y = (function (x) { return x; }); t += y(1); } print(t/scale); })(); Mon hypothèse à ce point-ci c'est que la création de la fonction y à chaque tour de boucle peut réutiliser des éléments de la fonction f, autrement ils sont recréés à chaque tour de boucle. Des idées pour isoler le phénomène et/ou pour l'expliquer? Erick

2 1

Aller plus vite que V8... sur V8!!!
by Erick Lavoie 12 Oct '12

12 Oct '12

En faisant diverses expériences aujourd'hui pour choisir une représentation objet efficace j'ai obtenu un résultat suprenant. En factorisant une opération objet dans une fonction globale (correspondant au mécanisme de cache présenté la semaine dernière), j'arrive à pratiquement doubler la vitesse d'exécution. Voici le code utilisé: var o = { foo:1, ident:function (x) { return x; } }; var o2 = { __proto__:o, bar:2, }; codeCache0 = function ($this, $closure, name, value) { return ($this.foo = 1); } (function () { var t = 0; var scale = 1000000; for (var i = 0; i < 200*scale; ++i) { //t += (o2.foo = 1); // Version 1 baseline t += codeCache0(o2, null, "", 1); // Version 2 ~2x faster!!! } print(t/scale); })(); En utilisant, l'option --trace_inlining, on peut voir que le code de codeCache0 est inliné au site d'appel. J'utilise la révision 7932 de V8 (la dernière révision est 12707). Si quelqu'un peut essayer de répliquer le résultat sur une autre version, ce serait intéressant. L'utilisation d'une fonction anonyme comme environnement lexical est nécessaire. Si le code s'exécute dans l'environnement global la version 1 est 7x plus lente mais est tout de même plus rapide que la version 2 (autrement dit, la version 2 va être ralentie par un facteur plus élevé que la version 1). Erick

1 0

Bonne Fête Marc!
by Erick Lavoie 11 Oct '12

11 Oct '12

Pour ceux qui ne le savait pas, c'est la fête de Marc aujourd'hui. Si je ne m'abuse, Marc peut maintenant officiellement compter un demi-siècle derrière lui. Un seul conseil: attention au démon du midi ou tu pourrais bien te retrouver avec une mazda Miata décapotable et une pitoune de 25 ans avant même de t'en être rendu compte ;-). Bonne Fête Marc! Erick

1 0

Lunch?
by Marc Feeley 10 Oct '12

10 Oct '12

Il n'y a pas de rencontre de groupe cette semaine, mais on peut quand même aller au lunch. Qui est intéressé? Marc

2 1

Absent au meeting demain
by Vincent Foley 10 Oct '12

10 Oct '12

Je sais pas si le meeting aura lieu demain à 13h, mais je voulais juste dire que j'ai un rendez-vous dans une clinique santé à 13h15, donc je serai absent. Vincent.

3 2