Pytania oznaczone «distributed-systems»

Pytania o wyzwania związane z rozwiązywaniem problemów z wieloma współpracującymi, ale oddzielnymi agentami.

19
rozproszone przycinanie alfa beta

Szukam wydajnego algorytmu, który pozwala mi przetwarzać drzewo wyszukiwania minimax dla szachów z przycinaniem alfa-beta w architekturze rozproszonej. Algorytmy, które znalazłem (PVS, YBWC, DTS, patrz poniżej) są dość stare (najpóźniej 1990). Zakładam, że od tego czasu nastąpiło wiele istotnych...

15
Kim są ustawodawcy w Paxos?

W przełomowym dokumencie dotyczącym systemów rozproszonych The Part Time Parliament (protokół Paxos) Leslie Lamport wymienia fikcyjnych prawodawców, którzy są zaangażowani w protokół Parlamentu Paxon. Zgodnie z tym pismem zauważa, że: Nadałem greckim prawodawcom nazwiska informatyków...

11
Wnioskowanie o rodzajach uściślenia

W pracy miałem za zadanie wnioskować o pewnych typach informacji o dynamicznym języku. Przepisuję sekwencje instrukcji na letwyrażenia zagnieżdżone , tak jak poniżej: 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 { T;...

9
Spójność zewnętrzna a linearyzowalność

W Spanner, TrueTime & WPR Twierdzenie , Eric Brewer pisze: Jedną subtelną rzeczą w Spanner jest to, że uzyskuje możliwość serializacji z blokad, ale uzyskuje spójność zewnętrzną (podobną do linearyzowalności ) z TrueTime [ podkreślenie dodane ]. Jaka jest definicja spójności zewnętrznej i...