Le domaine de l'informatique distribuée a été terriblement mis de côté pour développer une seule théorie mathématique décrivant les algorithmes distribués. Il existe plusieurs «modèles» et cadres de calcul distribué qui ne sont tout simplement pas compatibles les uns avec les autres. L’explosion des propriétés temporelles variables (asynchronisme, synchronie, synchronie …
Les années 80 ont donné naissance aux modèles PRAM et BSP de calcul parallèle. Il semble que l'apogée des deux modèles remonte à la fin des années 80 et au début des années 90. Ces domaines sont-ils toujours actifs en termes de recherche d'algorithmes parallèles? Existe-t-il des modèles plus récents …
Inspiré par cette question , quels sont les problèmes majeurs et les solutions existantes qui nécessitent une amélioration dans le domaine des systèmes distribués (théoriques). Quelque chose comme les protocoles d'adhésion, la cohérence des données?
Cette question a été migrée à partir de la validation croisée car elle peut être répondue sur l'échange théorique de pile informatique. Migré il y a 8 ans . J'ai un problème assez unique à résoudre et j'espère que quelqu'un ici pourra me donner un aperçu de la meilleure façon …
En informatique distribuée, le problème du consensus semble être l'un des sujets centraux qui a attiré des recherches intensives. En particulier, le document "Impossibilité d'un consensus distribué avec un processus défectueux" a reçu le PODC Influential Paper Award 2001 . Alors pourquoi le problème du consensus est-il si important? Que …
Cette question est inspirée d'un commentaire de Jukka Suomela sur une autre question . Quels sont les exemples de problèmes de calcul infiniment grands mais localement finis (et algorithmes)? En d'autres termes, quels sont les exemples de calculs qui s'arrêtent dans un temps fini, dans lesquels chaque machine Turing lit …
Je lis le document "Fast Paxos" de Leslie Lamport et je suis coincé avec les preuves d'exactitude des deux Paxos classiques et Fast Paxos. Par souci de cohérence, la valeur vvv choisie par le coordinateur dans la phase 2a2a2a du tour iii doit satisfaire CP(v,i):CP(v,i):CP(v,i): Pour tout tourj<ij<ij < i …
La semaine dernière, je lisais à nouveau le transcript de Leslie's Lamport en 1982 d'une conférence qu'il a donnée sur les problèmes résolus, les problèmes non résolus et les non-problèmes dans la concurrence . Le document est facilement lisible, mais l'une des choses qui m'a fait réfléchir est l'affirmation suivante: …
Dans cet article de Kempe-Kleinberg-Tardos, les auteurs proposent des algorithmes gourmands basés sur des fonctions sous-modulaires pour déterminer les nœuds les plus influents d'un graphe, avec des applications aux réseaux sociaux.kkk Fondamentalement, l'algorithme se présente comme suit: S= e m p t y s e t S=empty setS = {\rm …
Il existe deux principaux types de pannes de processeur dans les modèles informatiques distribués: (1) Échecs de plantage: un processeur s'arrête et ne redémarre plus. (2) Défaillances byzantines: les processeurs se comportent de manière adversaire, malveillante. Ma question est: Quels sont les autres types de pannes de processeur qui ont …
Le problème des commérages dans les systèmes distribués est le suivant. Nous avons un graphe avec n sommets. Chaque sommet v a un message m v qui doit être envoyé à tous les nœuds.ggGnnnvvvmvmvm_v Maintenant, ma question se situe dans le contexte du modèle de réseau ad hoc (nous supposons …
Dans les systèmes de contrôle de version distribués (tels que Mercurial et Git ), il est nécessaire de comparer efficacement les graphiques acycliques dirigés (DAG). Je suis un développeur Mercurial, et nous serions très intéressés d'entendre des travaux théoriques qui discutent de la complexité temporelle et réseau de la comparaison …
Contexte: Le traitement des transactions est un sujet de recherche traditionnel en théorie des bases de données. De nos jours, les transactions distribuées sont popularisées par les systèmes de stockage distribué à grande échelle qui impliquent généralement la partition de données (également appelée partitionnement) et la réplication de données . …
Les algorithmes distribués qui résistent aux défaillances peuvent être déterministes ou probabilistes. Prenons par exemple le problème du consensus. Paxos est déterministe dans le sens où, étant donné l'hypothèse qu'il fait, il fonctionne toujours . En revanche, le consensus randomisé fonctionne avec une probabilité donnée. Quel est l'avantage de concevoir …
Dans le chapitre 13 «Objets atomiques» du livre «Algorithmes distribués» de Nancy Lynch, la linéarisation (également connue sous le nom d'atomicité) s'est avérée être une propriété de sécurité. C'est-à-dire que sa propriété de trace correspondante est non vide, fermée par préfixe et fermée par limite , comme défini dans la …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.