Informatica teorica dc.distributed-comp

4

Perché non siamo stati in grado di sviluppare una teoria della complessità unificata del calcolo distribuito?

Il campo dell'informatica distribuita non è andato molto bene nello sviluppo di un'unica teoria matematica per descrivere algoritmi distribuiti. Esistono diversi "modelli" e framework di calcolo distribuito che semplicemente non sono compatibili tra loro. La pura esplosione di diverse proprietà temporali (asincronia, sincronia, sincronia parziale), varie primitive di comunicazione (trasmissione …

41 big-picture dc.distributed-comp

10

Modelli paralleli attuali per il calcolo

Gli anni '80 hanno dato origine sia al modello PRAM che al modello BSP di calcolo parallelo. Sembra che il periodo di massimo splendore di entrambi i modelli fosse tra la fine degli anni '80 e l'inizio degli anni '90. Queste aree sono ancora attive in termini di ricerca per …

30 ds.algorithms dc.parallel-comp dc.distributed-comp

4

Principali problemi irrisolti nei sistemi distribuiti?

Ispirati da questa domanda , quali sono i principali problemi e le soluzioni esistenti che richiedono miglioramenti nel dominio dei sistemi distribuiti (teorici). Qualcosa come i protocolli di appartenenza, la coerenza dei dati?

23 big-list dc.distributed-comp

1

Stima di un percentile tra nodi distribuiti senza rivelare valori

Questa domanda è stata migrata da Convalida incrociata perché è possibile rispondere a Scambio di stack teorico di informatica. Migrato 8 anni fa . Ho un problema abbastanza singolare da risolvere e spero che qualcuno qui possa darmi un'idea di come affrontarlo al meglio. Problema: supponiamo che un elenco di …

23 cr.crypto-security dc.distributed-comp st.statistics privacy

4

Perché il problema del consenso è così importante nel calcolo distribuito?

Nel calcolo distribuito, il problema del consenso sembra essere uno degli argomenti centrali che ha attratto un'intensa ricerca. In particolare, l'articolo "Impossibilità di un consenso distribuito con un processo difettoso" ha ricevuto il PODC Influential Paper Award 2001 . Quindi perché il problema del consenso è così importante? Cosa possiamo …

19 reference-request big-picture dc.distributed-comp

4

Problemi di calcolo infinitamente grandi ma localmente limitati

Questa domanda è ispirata da un commento fatto da Jukka Suomela su un'altra domanda . Quali sono esempi di problemi (e algoritmi) di calcolo infinitamente grandi ma localmente limitati? In altre parole, quali sono esempi di calcoli che si fermano a tempo finito, in cui ogni Macchina di Turing legge …

14 dc.distributed-comp

1

Prove di correttezza dei classici Paxos e Fast Paxos

Sto leggendo il documento "Fast Paxos" di Leslie Lamport e rimango bloccato con le prove di correttezza di entrambi i classici Paxos e Fast Paxos. Per coerenza, il valore scelto dal coordinatore in fase al turno dovrebbe soddisfarevvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): per ogni round , nessun valore diverso da è stato o …

13 ds.algorithms dc.distributed-comp proofs

1

Esiste un elenco di problemi canonici nei sistemi distribuiti?

La scorsa settimana, stavo leggendo di nuovo il trascritto del 1982 di Leslie Lamport di una conferenza che ha tenuto su Problemi risolti, Problemi irrisolti e Non problemi in concorrenza . Il documento è facilmente leggibile, ma una delle cose che mi ha fatto pensare è la seguente affermazione: Qualsiasi …

13 reductions dc.distributed-comp concurrency

2

Algoritmo decentralizzato per la determinazione di nodi influenti nei social network

In questo articolo di Kempe-Kleinberg-Tardos, gli autori propongono un avido algoritmo basato su funzioni sottomodulari per determinare i nodi più influenti in un grafico, con applicazioni ai social network.kkk Fondamentalmente l'algoritmo procede come segue: S=empty setS=empty setS = {\rm empty~set} scegli il nodo con la massima influenza individuale, chiamalo ; …

13 ds.algorithms graph-theory dc.distributed-comp social-sciences heuristics

5

Errori del processore nel calcolo distribuito che non sono crash o bizantini

Esistono due tipi principali di errori del processore nei modelli di calcolo distribuito: (1) Errori di arresto anomalo: un processore si arresta e non si riavvia mai più. (2) Fallimenti bizantini: i processori si comportano in modo avverso, malizioso. La mia domanda è: Quali sono alcuni altri tipi di guasti …

13 reference-request dc.distributed-comp

2

complessità del gossiping randomizzato

Il problema del gossip nei sistemi distribuiti è il seguente. Abbiamo un grafico con n vertici. Ogni vertice v ha un messaggio m v che deve essere inviato a tutti i nodi.GGGnnnvvvmvmvm_v Ora, la mia domanda è nel contesto del modello di rete ad hoc (supponiamo che un nodo non …

13 reference-request dc.distributed-comp

3

Confronto DAG efficiente su una rete

Nei sistemi di controllo di versione distribuito (come Mercurial e Git ) è necessario confrontare in modo efficiente i grafici aciclici diretti (DAG). Sono uno sviluppatore Mercurial e saremmo molto interessati a conoscere il lavoro teorico che discute della complessità temporale e di rete del confronto tra due DAG. I …

11 cc.complexity-theory dc.distributed-comp directed-acyclic-graph

1

Quali sono i principali problemi di ricerca nelle transazioni distribuite?

Contesto: l' elaborazione delle transazioni è stata un argomento di ricerca tradizionale nella teoria dei database. Al giorno d'oggi le transazioni distribuite sono rese popolari dai sistemi di archiviazione distribuita su larga scala che in genere coinvolgono la partizione dei dati (chiamata anche sharding) e la replica dei dati . …

10 reference-request big-list dc.distributed-comp db.databases

1

Qual è il vantaggio di progettare algoritmi distribuiti deterministici?

Gli algoritmi distribuiti resistenti agli errori possono essere deterministici o probabilistici. Prendi ad esempio il problema del consenso. Paxos è deterministico nel senso che, dato il presupposto che fa, funziona sempre . In constrast, il consenso randomizzato funziona con una data probabilità. Qual è il vantaggio di progettare e utilizzare …

10 randomized-algorithms dc.distributed-comp fault-tolerance

2

Perché la linearizzabilità è una proprietà di sicurezza e perché gli insiemi di proprietà di sicurezza sono chiusi?

Nel capitolo 13 "Oggetti atomici" del libro "Algoritmi distribuiti" di Nancy Lynch, la linearizzabilità (nota anche come atomicità) si è dimostrata una proprietà di sicurezza. Vale a dire, la proprietà di traccia corrispondente è non vuota, prefisso-chiuso e limite-chiuso , come definito nella Sezione 8.5.3. Informalmente, una proprietà di sicurezza …

10 reference-request fl.formal-languages dc.distributed-comp concurrency

Domande taggate «dc.distributed-comp»