Questions sur les défis de la résolution de problèmes avec plusieurs agents coopérants mais séparés.
Il y a quelques années, MapReduce a été salué comme une révolution de la programmation distribuée. Il y a eu aussi des critiques, mais dans l'ensemble, il y a eu un battage médiatique enthousiaste. Il a même été breveté! [1] Le nom rappelle mapet reducedans la programmation fonctionnelle, mais...
J'entends souvent des gens parler d' informatique parallèle et d'informatique distribuée , mais j'ai l'impression qu'il n'y a pas de frontière claire entre les 2, et les gens ont tendance à confondre cela assez facilement, alors que je pense que c'est très différent: L' informatique parallèle est...
Supposons qu'un ordinateur possède une horloge précise qui n'est pas initialisée. C'est-à-dire que l'heure sur l'horloge de l'ordinateur est le temps réel plus un décalage constant. L'ordinateur est équipé d' une connexion réseau et nous voulons utiliser cette connexion pour déterminer le décalage...
FRP consiste à diffuser des événements et des comportements via des fonctions pures. Le modèle Actor - du moins, tel qu'il est implémenté dans Akka - consiste à diffuser des messages immuables (qui peuvent être considérés comme des événements discrets) à travers des objets potentiellement impurs,...
Quelle est la meilleure façon que quiconque peut faire pour avoir une bonne introduction à la théorie du système distribué, tous les livres ou références, et les sujets doivent être couverts en premier et les exigences pour commencer à apprendre dans ce
Cette question a été migrée à partir de Software Engineering Stack Exchange car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 7 ans . J'essaie d'implémenter la table de hachage distribuée de pâtisserie, mais certaines choses échappent à ma compréhension. J'espérais...
Il s'agit d'un puzzle sur la mesure de la latence du réseau que j'ai créé. Je crois que la solution est que c'est impossible, mais les amis ne sont pas d'accord. Je cherche des explications convaincantes de toute façon. (Bien qu'il soit posé comme un puzzle, je pense qu'il convient à ce site Web en...
Je recherche un algorithme efficace qui me permette de traiter l'arbre de recherche minimax pour les échecs avec un élagage alpha-bêta sur une architecture distribuée. Les algorithmes que j'ai trouvés (PVS, YBWC, DTS voir ci-dessous) sont tous assez anciens (1990 étant le dernier). Je suppose qu'il...
Quand j'étais étudiant, j'ai vu un problème dans un manuel de conception de systèmes / logique numérique, à propos de N soldats debout dans une rangée, et je voulais tirer en même temps. Une version plus difficile du problème était que les soldats se tenaient dans un réseau général au lieu d'une...
Dans le document sur les systèmes distribués séminaux The Part Time Parliament (le protocole de Paxos), Leslie Lamport nomme des législateurs fictifs qui sont impliqués dans le protocole du Parlement de Paxon. Selon cet écrit , il note que: J'ai donné aux législateurs grecs les noms des...
Je me demandais si quelqu'un connaissait l'origine du modèle client-serveur. D'où vient le terme (papier, application logicielle,
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Mes antécédents provenaient de langages impératifs, principalement C, C ++ et Python. J'ai repris Scala, Erlang et un peu de Haskell quelques années plus tard et depuis, je me suis beaucoup intéressé à la programmation fonctionnelle et aux formalismes qui la sous-tendent. Je m'intéresse également à...
À la fin des années 1990, lorsque j'étais à l’université, le journal JH Saltzer; DP Reed; DD Clark: arguments de bout en bout dans la conception du système . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 était à peu près une lecture obligatoire dans chaque classe de...
Dans Spanner, TrueTime & The CAP Theorem , Eric Brewer écrit: Une chose subtile à propos de Spanner est qu'il obtient la sérialisation des verrous, mais il obtient la cohérence externe (similaire à la linéarisation ) de TrueTime [non souligné dans l'original ]. Quelle est la définition de la...
J'ai des difficultés à comprendre l'algorithme distribué pour l'arbre 6 - coloriage O (Journal∗n )O(log∗n)O(\log^*n) temps. La description complète peut être trouvée dans le document suivant: Symétrie symétrique dans les graphes clairsemés. Goldberg, Plotkin, Shannon . Bref, l'idée est ... En...
Sur un graphique G(V,E)G(V,E)G(V,E), nous effectuons le processus suivant: Initialement, tous les nœuds VVV sont incolores. Bien qu'il existe des nœuds non colorés dans VVV, chaque nœud non coloré effectue les opérations suivantes: Sélectionne un nombre réel aléatoire et l'envoie à tous ses...
Je suis un étudiant de premier cycle et j'ai hâte de devenir universitaire; faire tout le doctorat et commencer à faire des recherches. Je m'intéresse à une variété de sujets liés à l'informatique, mais dernièrement, les technologies P2P ont vraiment attiré mon intérêt. J'ai l'impression que je...