Simple and Effective Type Check Removal through Lazy Basic Block Versioning

Dynamically typed programming languages such as JavaScript and Python defer type checking to run time. In order to maximize performance, dynamic language VM implementations must attempt to eliminate redundant dynamic type checks. However, type inference analyses are often costly and involve tradeoffs between compilation time and resulting precision. This has lead to the creation of increasingly complex multi-tiered VM architectures. This paper introduces lazy basic block versioning, a simple JIT compilation technique which effectively removes redundant type checks from critical code paths. This novel approach lazily generates type-specialized versions of basic blocks on-the-fly while propagating context-dependent type information. This does not require the use of costly program analyses, is not restricted by the precision limitations of traditional type analyses and avoids the implementation complexity of speculative optimization techniques. We have implemented intraprocedural lazy basic block versioning in a JavaScript JIT compiler. This approach is compared with a classical flow-based type analysis. Lazy basic block versioning performs as well or better on all benchmarks. On average, 71% of type tests are eliminated, yielding speedups of up to 50%. We also show that our implementation generates more efficient machine code than TraceMonkey, a tracing JIT compiler for JavaScript, on several benchmarks. The combination of implementation simplicity, low algorithmic complexity and good run time performance makes basic block versioning attractive for baseline JIT compilers

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Dynamically typed programming languages such as Python and JavaScript defer type checking to run time. VM implementations can improve performance by eliminating redundant dynamic type checks. However, type inference analyses are often costly and involve tradeoffs between compilation time and resulting precision. This has lead to the creation of increasingly complex multi-tiered VM architectures. Lazy basic block versioning is a simple JIT compilation technique which effectively removes redundant type checks from critical code paths. This novel approach lazily generates type-specialized versions of basic blocks on-the-fly while propagating context-dependent type information. This approach does not require the use of costly program analyses, is not restricted by the precision limitations of traditional type analyses. This paper extends lazy basic block versioning to propagate type information interprocedurally, across function call boundaries. Our implementation in a JavaScript JIT compiler shows that across 26 benchmarks, interprocedural basic block versioning eliminates more type tag tests on average than what is achievable with static type analysis without resorting to code transformations. On average, 94.3% of type tag tests are eliminated, yielding speedups of up to 56%. We also show that our implementation is able to outperform Truffle/JS on several benchmarks, both in terms of execution time and compilation time.Comment: 10 pages, 10 figures, submitted to CGO 201

The Malian Armed Forces and its discontents: civil-military relations, cohesion and the resilience of a postcolonial military institution in the aftermath of the 2012 crisis.

This dissertation studies the dynamics of mobilisation and demobilisation of Malian soldiers and subaltern officers, the militariat, during the 2012 mutiny-turned-coup. It investigates how a postcolonial military institution, portrayed as incomplete and dysfunctional, shapes cohesion among its members, and how it outlives a crisis. This study draws on civil-military relation theory, military sociology and postcolonial theory to understand the relationship between the soldier and the military institution. It uses mixed qualitative methods (detailed qualitative case-study and ethnographic participant observation) to address critical aspects of the sociological processes behind a subaltern coup. It demonstrates key aspects of the postcolonial military institution: the inward-looking institutional strategies and the adaptation of neo-patrimonialist practices. It also validates the persistence and evolution of an institution’s social processes at a time where the military institution faces external pressure for change. It shows the role of rumours and leadership in the mobilisation among soldiers, as well as how peer cohesion is being built on the military base to the detriment of unit cohesion. It concludes that long-lasting coup-proofing strategies have been detrimental to the building of institutional cohesion. It argues that social processes have fostered resistance to institutionalised cohesion, allowing the persistence of a core/periphery dichotomy and neo-patrimonialism. It also discusses the institutional adaptation and resistance to new security imperatives. Keywords: civil-military relations theory, military sociology, Mali, armed forces, militariat, coup theory, postcolonial theory, neo-patrimonialism, state institutions

Développer et protéger l'agriculture par l'agrotourisme sous l'autorité de la CPTAQ

Affiche de projet terminal, baccalauréat en Urbanisme. Institut d'urbanisme, Université de Montréal

Conception et évaluation d'une activité de formation continue sur la gestion de la douleur par et pour les infirmières oeuvrant à Info-Santé 8-1-1

Introduction : La pratique infirmière au Service Info-Santé est complexe du fait qu’elle a lieu en contexte téléphonique. La douleur est impliquée dans de nombreux appels. Peu d’activités de formation continue (FC) adaptées à leur réalité sont offertes aux infirmières du service Info-Santé 8-1-1. De façon générale, les FC typiques sont coûteuses, pratiquement inaccessibles et elles ne reposent pas sur l’évaluation des besoins de FC des infirmières. Objectifs : Cette étude avait pour but de concevoir et d’évaluer une activité de FC par et pour les infirmières du service Info-Santé 8-1-1 en : 1) évaluant leurs besoins de FC en gestion de la douleur (GD), 2) concevant une activité de FC en GD, 3) évaluant leurs connaissances et perceptions de leurs activités infirmières en GD avant, après et trois mois suivant une activité de FC et 4) évaluant leur satisfaction par rapport à l’activité de FC et à l’égard de la réponse aux besoins de FC ainsi que l’impact dans leur pratique infirmière. Méthode : Cette recherche s’appuie sur le modèle conceptuel de Le Boterf (2011) et utilise un dispositif mixte simultané transformatif (Creswell, 2011), par l’importance accordée à la participation des infirmières et gestionnaires au cours du processus de recherche. Diverses méthodes de collecte de données ont été utilisées, soit la technique du groupe nominal (TGN) (besoins de FC), la discussion de groupe focalisée (application des connaissances, satisfaction), ainsi que des questionnaires (satisfaction face à la Journée de FC, connaissances et perception de la pratique infirmière en GD). Une activité de FC, fondée sur les lignes directives en GD, a été conçue en réponse aux attentes et besoins de FC des infirmières. Elle comportait un premier volet d’une durée d’une journée et un deuxième volet sous forme de soutien clinique en milieu de travail, ainsi que des outils pour l’évaluation de la douleur et l’intervention utiles en contexte d’intervention téléphonique. Résultats : Les résultats démontrent les bénéfices d’une activité de FC en GD sur les connaissances des infirmières du service Info-Santé 8-1-1. Les connaissances en GD se sont améliorées et se sont maintenues dans le temps. Également, le sentiment de compétence en GD s’est amélioré avec cette activité de FC. Conclusion : L’approche participative ainsi que le soutien clinique post formation utilisés dans cette étude démontrent l’importance de l’implication des infirmières – participantes dans la conception de l’activité de FC, dans l’amélioration des connaissances et de l’impact qu’une telle activité a sur la perception de leur pratique infirmière en GD

Recommandation de placement de l’enfant dans le contexte de la protection de la jeunesse : facteurs associés = Recommendation of placement into foster care : associated factors

La décision de retirer un enfant de son milieu familial représente l’une des décisions les plus difficiles pour les intervenants sociaux. Cette étude vise à explorer les caractéristiques des enfants, des parents, des familles et des problématiques du signalement qui sont associées à la recommandation du placement de l’enfant lors de la prise en charge de ce dernier par la protection de la jeunesse. L’étude a été réalisée à partir d’un échantillon représentatif de 2230 enfants pris en charge par les services de protection de la jeunesse au Québec, tiré de l’Étude d’Incidence Québécoise (ÉIQ). Les analyses de régression logistique montrent que treize caractéristiques sont associées à la recommandation du placement de l’enfant. Ces variables associées sont liées : 1) aux caractéristiques des figures parentales (une coopération parentale inadéquate, un nombre de problèmes connus du parent plus élevé et la présence d’un adulte significatif dans la vie de l’enfant autre que les figures parentales), 2) aux caractéristiques des familles (une structure familiale non traditionnelle : recomposée ou monoparentale, un seul enfant de la famille a été signalé et un logement jugé non sécuritaire), 3) aux caractéristiques des enfants (enfant de moins de 2 ans ou de plus de 14 ans et un nombre élevé de besoins pour l’enfant), et 4) aux caractéristiques des problématiques (plus d’une problématique signalée, un signalement pour abandon, un signalement qui ne concerne pas une situation « autre » de mauvais traitements, un nombre élevé d’atteintes à la santé mentale et un signalement provenant d’une membre de la famille). La discussion porte sur la pertinence de ces caractéristiques dans les discussions cliniques impliquant une décision de placer un enfant. Recommending placement into foster care is one of the most difficult decisions for a child welfare worker to make. The aim of this study is to explore child, parent, family and maltreatment characteristics associated with placement recommendation in the representative sample of the Quebec youth protection agency clientele (N = 2230 children) from the Quebec Incidence Study (QIS). Logistic regression reveals 13 characteristics associated with recommending placement: three parent characteristics (inadequate parental cooperation, higher number of parental problems, presence of significant adult in child’s life other than parental figures); three family characteristics (reconstituted/single-parent family, only one child in family reported to youth protection agency and non-secure home); two child characteristics (under 2 or over 14 years of age and high number of child needs); and five maltreatment characteristics (more than one problem reported to youth protection agency, child reported abandoned, report does not involve “other” maltreatment type, high number of mental health sequelae and report by family member). The discussion focuses on the pertinence of these characteristics in clinical discussions involving the decision to place a child

Élaboration d’une démarche visant la réduction des émissions de ges provenant des transports routiers au Québec

Les changements climatiques sont produits en partie par la prolifération des émissions de gaz à effet de serre causée par les combustibles fossiles utilisés dans le transport routier. L’objectif de cet essai est de présenter une démarche de réduction des émissions de gaz provenant des transports de passagers au Québec qui se base d’abord sur les lois, règlements, programmes, stratégies et plans d’action internationaux et nationaux qui ont orienté la lutte aux gaz à effet de serre. Au Québec, cette lutte se traduit par l’application du Plan d’action sur les changements climatiques 2006-2012, de la Stratégie énergétique du Québec 2006-2015, de la Politique québécoise du transport collectif 2006 et de la Stratégie de développement de l’industrie québécoise de l’environnement et des technologies vertes. Afin d’observer l’évolution des émissions de gaz à effet de serre, les inventaires de plusieurs municipalités ont été consultés dans le but de répertorier les méthodes de quantification utilisées pour calculer les émissions. L’analyse révèle que quatre méthodes de quantification des gaz à effet de serre provenant du secteur des passagers sont utilisées. Les méthodes du prorata et de la vente des carburants sont des méthodes reconnues par le programme Climat-municipalité et permettent d’avoir une information assez précise des émissions produites dans un territoire, mais ne permettent pas d’évaluer l’impact direct des mesures mises en place. De plus, la méthode qui semble être la plus efficace à évaluer les mesures mises en place est la méthode de modélisation. Toutefois, elle est la plus coûteuse et la plus élaborée. La méthode des véhicules-kilomètres parcourus (VKP) est une méthode qui permet d’avoir une certaine précision, mais tout comme les méthodes du prorata et de la vente de carburant elle ne permet pas d’évaluer la réduction des émissions produites par une mesure spécifique. La stratégie de lutte de ces gaz s’articule autour des outils de sensibilisation mis à la disposition de la population jumelée à l’amélioration de la performance des véhicules provenant de technologies moins émettrices de gaz et la réduction de la dépendance à l’automobile se traduisant par l’aménagement de quartier ou plusieurs types de déplacements alternatifs à la voiture sont favorisés

Portrait d’initiatives québécoises de recherche ayant utilisé une méthode dite d’enquête citoyenne

Ce rapport de recherche présente, dans un premier temps, un cadre de réflexion propice à la réalisation d’activités de recherche qui reposent sur une mobilisation de connaissances détenues par la population d’un territoire local. Dans un deuxième temps, cinq expériences de collecte de données impliquant une participation citoyenne sont présentées. Deux de ces expériences illustrent des démarches ayant pour objectif de mobiliser des citoyennes. Les trois autres sont des exemples où la collecte d’informations détenues par la population locale est vue comme un plus pour définir des projets qui soient mieux ancrés dans leur communauté