164 research outputs found
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 queÌbeÌcoises de recherche ayant utiliseÌ une meÌthode dite dâenqueÌte citoyenne
Ce rapport de recherche preÌsente, dans un premier temps, un cadre de reÌflexion propice aÌ la reÌalisation dâactiviteÌs de recherche qui reposent sur une mobilisation de connaissances deÌtenues par la population dâun territoire local. Dans un deuxieÌme temps, cinq expeÌriences de collecte de donneÌes impliquant une participation citoyenne sont preÌsenteÌes. Deux de ces expeÌriences illustrent des deÌmarches ayant pour objectif de mobiliser des citoyennes. Les trois autres sont des exemples ouÌ la collecte dâinformations deÌtenues par la population locale est vue comme un plus pour deÌfinir des projets qui soient mieux ancreÌs dans leur communauteÌ
- âŠ