Memory optimization strategies for linear mappings and indexation-based shared documents - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2011

Memory optimization strategies for linear mappings and indexation-based shared documents

Stratégies d'optimisation de la mémoire pour le calcul d'applications linéaires et l'indexation de document partagés

Résumé

This thesis aims at developing strategies to enhance the power of sequential computation and distributed systems, particularly, it deals with sequential break down of operations and decentralized collaborative editing systems. The rapid growth in the use of modern computer technology increases the demand for higher performance in all areas of computing. This demand for ever greater performance led to growth in hardware performance and architecture evolution that results a stress on compiler technology and research community. Since a high-performance microprocessor is at the heart of every general-purpose computer, from servers, to desktop and laptop PCs, to cell-phone platforms such as the iPhone. Therefore increasing the performance is considered to be a permanent challenge in computer science. Similarly, rapid development of computer network inspired the advancement of real-time collaborative editing. Real-time Collaborative Editors (RCE) enable group of users to edit simultaneously shared document from physically dispersed sites that are interconnected by computer network. In such distributed systems, one of the challenges is to avoid from communication conflicts. For this purpose indexed communication acts as an essential requirement. In this thesis, a precision control indexing method is introduced that enables to generate unique identifiers which are used for indexed communication in distributed systems, particularly, in decentralized collaborative editing systems. These identifiers are still real numbers with a specific controlled pattern of precision. Set of identifiers is kept finite that makes it possible to compute local as well as global cardinality. This property plays important role in dealing with indexed communication. Besides this, some other properties including order preservation are observed. The indexing method is tested and verified by experimentation successfully and it leads to design decentralized collaborative editing system. Dealing with sequential break down of operations, we explore limitations of the existing strategies, extended the idea by introducing new strategies. These strategies lead towards optimization (processor, compiler, memory, code). This style of decomposition attracts research communities for further investigation and practical implementation that could lead towards designing an arithmetic unit.
Cette thèse vise à développer des stratégies permettant d'augmenter la puissance du calcul séquentiel et des systèmes distribués, elle traite en particulier, la décomposition séquentielle des opérations ainsi que des systèmes d'édition collaboratifs décentralisés. La croissance rapide de l'utilisation des nouvelles technologies informatiques résulte de la nécessité d'avoir des performances élevées, dans tout domaine lié au calcul informatique. Une telle quête de performances a abouti à une plus grande complexité dans les architectures informatiques, conduisant à un stress non négligeable dans la technologie des compilateurs. De puissants microprocesseurs se trouvent au cœur de toute machine informatique, allant des serveurs et ordinateurs personnels, aux ordinateurs portables, jusqu'aux téléphones cellulaires " iPhone ". En effet, l'augmentation incessante des performances constitue un défi permanent dans les sciences informatiques. Par ailleurs, le développement rapide des réseaux informatiques a conduit à un progrès vers une édition collaborative en temps réel (RCE). Cette dernière permet à des groupes d'utilisateurs l'édition simultanée de documents partagés résidant dans des sites physiques dispersés, mais interconnectés par un réseau informatique. Dans de tels systèmes distribués, les conflits liés aux communications sont un défi à relever. De ce fait, la communication indexée devient une nécessité absolue. Nous introduisons, une méthode d'indexage avec précision contrôlée. Celle-ci permet la génération d'identifiants uniques utilisés dans l'indexage des communications dans les systèmes distribués, plus particulièrement dans les systèmes d'édition collaboratifs décentralisés. Ces identifiants sont des nombres réels avec un motif de précision contrôlé. Un ensemble fini d'identifiants est conservé pour permettre le calcul de cardinalités locales et globales. Cette propriété joue un rôle prépondérant dans la gestion des communications indexées. De plus, d'autres propriétés incluant la préservation de l'ordre sont observées. La méthode d'indexage a été testée et vérifiée avec succès. Ceci a permis la conception d'un système d'édition collaboratif décentralisé. Aussi, nous explorons les stratégies existantes, relatives a la décomposition séquentielle d'opérations, que nous étendons à de nouvelles stratégies. Ces stratégies mènent à une optimisation (processeur, compilateur, mémoire, code). Ces styles de décomposition portent un intérêt majeur à la communauté scientifique. Des recherches et des implémentations de plus en plus rapides résultent de la conception d'unité arithmétique.
Fichier principal
Vignette du fichier
thesis.pdf (5.07 Mo) Télécharger le fichier
Extensive_Abstract_French.pdf (1.34 Mo) Télécharger le fichier
slides.pdf (1.38 Mo) Télécharger le fichier
Format : Autre
Format : Autre

Dates et versions

tel-01746222 , version 2 (19-11-2011)
tel-01746222 , version 3 (24-04-2012)
tel-01746222 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01746222 , version 3

Citer

Mumtaz Ahmad. Memory optimization strategies for linear mappings and indexation-based shared documents. Discrete Mathematics [cs.DM]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : ⟩. ⟨tel-01746222v3⟩
573 Consultations
2343 Téléchargements

Partager

Gmail Facebook X LinkedIn More