5 research outputs found

    Modèles et protocoles de cohérence de données, décision et optimisation à la compilation pour des architectures massivement parallèles.

    Get PDF
    Manycores architectures consist of hundreds to thousands of embedded cores, distributed memories and a dedicated network on a single chip. In this context, and because of the scale of the processor, providing a shared memory system has to rely on efficient hardware and software mechanisms and data consistency protocols. Numerous works explored consistency mechanisms designed for highly parallel architectures. They lead to the conclusion that there won't exist one protocol that fits to all applications and hardware contexts. In order to deal with consistency issues for this kind of architectures, we propose in this work a multi-protocol compilation toolchain, in which shared data of the application can be managed by different protocols. Protocols are chosen and configured at compile time, following the application behaviour and the targeted architecture specifications. The application behaviour is characterized with a static analysis process that helps to guide the protocols assignment to each data access. The platform offers a protocol library where each protocol is characterized by one or more parameters. The range of possible values of each parameter depends on some constraints mainly related to the targeted platform. The protocols configuration relies on a genetic-based engine that allows to instantiate each protocol with appropriate parameters values according to multiple performance objectives. In order to evaluate the quality of each proposed solution, we use different evaluation models. We first use a traffic analytical model which gives some NoC communication statistics but no timing information. Therefore, we propose two cycle- based evaluation models that provide more accurate performance metrics while taking into account contention effect due to the consistency protocols communications.We also propose a cooperative cache consistency protocol improving the cache miss rate by sliding data to less stressed neighbours. An extension of this protocol is proposed in order to dynamically define the sliding radius assigned to each data migration. This extension is based on the mass-spring physical model. Experimental validation of different contributions uses the sliding based protocols versus a four-state directory-based protocol.Le développement des systèmes massivement parallèles de type manycores permet d'obtenir une très grande puissance de calcul à bas coût énergétique. Cependant, l'exploitation des performances de ces architectures dépend de l'efficacité de programmation des applications. Parmi les différents paradigmes de programmation existants, celui à mémoire partagée est caractérisé par une approche intuitive dans laquelle tous les acteurs disposent d'un accès à un espace d'adressage global. Ce modèle repose sur l'efficacité du système à gérer les accès aux données partagées. Le système définit les règles de gestion des synchronisations et de stockage de données qui sont prises en charge par les protocoles de cohérence. Dans le cadre de cette thèse nous avons montré qu'il n'y a pas un unique protocole adapté aux différents contextes d'application et d'exécution. Nous considérons que le choix d'un protocole adapté doit prendre en compte les caractéristiques de l'application ainsi que des objectifs donnés pour une exécution. Nous nous intéressons dans ces travaux de thèse au choix des protocoles de cohérence en vue d'améliorer les performances du système. Nous proposons une plate-forme de compilation pour le choix et le paramétrage d'une combinaison de protocoles de cohérence pour une même application. Cette plate- forme est constituée de plusieurs briques. La principale brique développée dans cette thèse offre un moteur d'optimisation pour la configuration des protocoles de cohérence. Le moteur d'optimisation, inspiré d'une approche évolutionniste multi-objectifs (i.e. Fast Pareto Genetic Algorithm), permet d'instancier les protocoles de cohérence affectés à une application. L'avantage de cette technique est un coût de configuration faible permettant d'adopter une granularité très fine de gestion de la cohérence, qui peut aller jusqu'à associer un protocole par accès. La prise de décision sur les protocoles adaptés à une application est orientée par le mode de performance choisi par l'utilisateur (par exemple, l'économie d'énergie). Le modèle de décision proposé est basé sur la caractérisation des accès aux données partagées selon différentes métriques (par exemple: la fréquence d'accès, les motifs d'accès à la mémoire, etc). Les travaux de thèse traitent également des techniques de gestion de données dans la mémoire sur puce. Nous proposons deux protocoles basés sur le principe de coopération entre les caches répartis du système: Un protocole de glissement des données ainsi qu'un protocole inspiré du modèle physique du masse-ressort

    White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles

    Full text link
    Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

    Le théâtre de Sarraute : polyphonie et énonciation

    Get PDF
    The corpus is formed of six plays of Nathalie Sarraute; it hides a duplication of enunciation types in the characters’ dialogue. This duplication is latent due to personal pronouns and verb tenses’ neutralization. The transition from an enunciation layer to another is not marked at all or not traditionally marked. Therefore, deciphering will be more complicated to any reader, listener or spectator. These works of art are also highly polyphonic in terms of enunciation as in semantics, as several voices are intertwined and as the characters resort to authorities of point of view. Thus, readers, listeners and spectators should identify enunciation sources and “other” authorities of point of view to distinguish them from the original voices and to know what their contribution to the plays is. Even some speeches are reported and, predominately repeated as direct speech. Therefore, enunciation layers and enunciators are multiplied. We can also notice other voices in plays, as the author’s through what is called “stage directions” and other parts of the texts, the practitioners’ and the director’s through the performance.Notre corpus, formé des six pièces de théâtre de Nathalie Sarraute, recèle un dédoublement des types énonciatifs dans les répliques des personnages, dédoublement qui est latent et qui est dû essentiellement à la neutralisation des oppositions de personnes et de temps. Le passage d’une couche locutoire à l’autre n’est pas marqué dans la plupart des cas ; sinon, il ne s’agit pas du marquage usuel. Ainsi est complexifiée la tâche de déchiffrage de tout récepteur extratextuel. Ces œuvres sont aussi éminemment polyphoniques tant au niveau énonciatif qu’au niveau sémantique, dans le sens où des voix multiples s’y enchevêtrent et des instances de prises de position y sont mises en scène. Les lecteurs, auditeurs ou spectateurs devraient, par conséquent, identifier les sources énonciatives et les instances « autres » pour les distinguer des voix originelles et pour reconnaître le rôle de cet « ailleurs ». Même des paroles sont rapportées, surtout aux styles direct et direct libre, multipliant ainsi les strates locutoires et les locuteurs. D’autres voix sont aussi perceptibles au théâtre, à savoir l’auctoriale à travers les didascalies et d’autres éléments des textes sarrautiens, et celles des praticiens du théâtre et du metteur en scène à travers la représentatio

    La structure de la réalité sociale abstraite inhérente aux sociétés prescrites : La quiddité des liens et des structures de coopérations intra-organisationnels issus de l’activité réelle, dans le cas du processus de co-construction de sens découlant des décisions stratégiques

    Get PDF
    Based on the idea that the subsidiaries of a company are able to call into question the decisions of senior management (the parent company), the holistic approach developed in this study assumes that an organization can be a “being”, implying thereby that the information in its possession is external to the individuals who compose it. This raises the question of whether it is conceivable to ignore the individual in such a relationship of domination. This thesis proposes a model based on the results which show the difficult exclusion of the individual in a meta-organizational context (in which members would be organizations and not individuals). Along these same lines, the organization’s human dynamics are at the heart of this research: there exists by and through the individual a dynamic resulting from actual activity that allows the organization to live by itself, while also allowing prescribe to evolve. Although the results show that the organization is not a dead and strengthless object, and it has the opportunity to live by itself, it is the individuals who —through their conditional commitments— allow the separate existence of an organizational structure’s intra-consciousness, which imposes rights and obligations. In this perspective, the proposed model aims to draw the structures of abstract social reality (referred as Entity X in this study) by showing the strengths and organizational constraints that weigh on individual members, while raising the human capacity to emerge from the structures prescribed by the sensemaking of links and transversal structures for cooperation that originate from the actual activity.Partant de l’idée que des filiales d’une entreprise sont en mesure de remettre en cause les décisions de la direction générale (maison-mère), l’approche holistique développée dans ce travail part du principe qu’une organisation peut être un « être », laissant entendre ainsi que les informations dont elle dispose seraient extérieures aux individus qui la composent. Ce qui conduit à s'interroger s’il est concevable d’ignorer l’individu dans une telle relation de domination. Cette thèse propose justement un modèle autour de résultats qui montrent la difficile exclusion de l’individu dans un contexte méta-organisationnel (dans lequel les membres seraient des organisations et non des individus). Dans cette veine, ce sont les dynamiques humaines de l’organisation qui sont au cœur de ce travail : il existe par et au travers de l’individu une dynamique issue de l’activité réelle qui permet de faire vivre l’organisation par elle-même, mais également qui permet au prescrit de cette dernière d’évoluer. Bien que les résultats obtenus montrent que l’organisation n’est pas un objet mort et sans force et qu’elle a bien la possibilité de vivre par elle-même, ce sont les individus qui — par leurs engagements conditionnels — permettent cette existence propre de l’organisation comme structure intra-consciente qui impose des droits et des obligations. Dans cette perspective, le modèle proposé vise à dessiner les structures de la réalité sociale abstraite (dénommé dans la recherche menée, l’Entité X) en montrant les forces et les contraintes organisationnelles qui pèsent sur les individus-membres, tout en relevant les capacités humaines à sortir des structures prescrites par la co-construction de liens et de structures transversales de coopérations issus de l’activité réelle
    corecore