L'informatique distributed-systems

4

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 quand …

68 algorithms distributed-systems parallel-computing algorithm-design

6

Calcul distribué vs parallèle

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 plus étroitement couplée …

61 terminology distributed-systems parallel-computing

6

Synchronisation d'horloge dans un réseau à retards asymétriques

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 constant .BBB La méthode simple est que …

38 clocks distributed-systems computer-networks

2

Quel est le lien entre la programmation réactive fonctionnelle et le modèle d'acteur?

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, appelés acteurs. Donc, en …

30 distributed-systems functional-programming programming-paradigms

7

Commencez à vous renseigner sur la théorie des systèmes distribués?

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 sujet.

24 reference-request education distributed-systems

1

Comment fonctionne la table de routage de Populating Pastry?

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 que quelqu'un pourrait …

23 algorithms data-structures distributed-systems hash-tables

4

Mesurer la latence du réseau unidirectionnel

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 …

20 computer-networks protocols distributed-systems

1

élagage alpha bêta distribué

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 y a eu depuis …

19 algorithms distributed-systems board-games

1

Qui sont les législateurs de Paxos?

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 informaticiens travaillant dans …

15 distributed-systems history

1

Tous les soldats devraient tirer en même temps

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 …

15 algorithms distributed-systems clocks

3

Quelle est l'origine du modèle client-serveur?

Je me demandais si quelqu'un connaissait l'origine du modèle client-serveur. D'où vient le terme (papier, application logicielle, livre)?

13 terminology reference-request distributed-systems history

1

Déduire les types de raffinement

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 …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Le principe de bout en bout peut-il être formalisé?

À 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 …

10 computer-architecture operating-systems distributed-systems computer-networks

1

Formalismes en programmation simultanée et / ou distribuée?

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 programmation simultanée et …

10 distributed-systems concurrency

2

Cohérence externe vs linéarisation

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 cohérence …

9 distributed-systems

Questions marquées «distributed-systems»