Skip to main content

2016 | OriginalPaper | Buchkapitel

Distributed Computing in Monotone Topological Spaces

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In recent times, an alternate approach to model and analyze distributed computing systems has gained research attention. The alternate approach considers higher-dimensional topological spaces and homotopy as well as homology while modeling and analyzing asynchronous distributed computing. This paper proposes that the monotone spaces having ending property can be effectively employed to model and analyze consistency and convergence of distributed computing. A set of definitions and analytical properties are constructed considering monotone spaces. The inter-space relationship between simplexes and monotone in topological spaces is formulated.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
2.
Zurück zum Zitat Borowsky, E., Gafni, E.: Generalized FLP impossibility result for t-resilient asynchronous computations. In: The 25th Annual ACM Symposium on Theory of Computing. ACM (1993) Borowsky, E., Gafni, E.: Generalized FLP impossibility result for t-resilient asynchronous computations. In: The 25th Annual ACM Symposium on Theory of Computing. ACM (1993)
3.
Zurück zum Zitat Borowsky, E., Gafni, E.: A simple algorithmically reasoned characterization of wait-free computation. In: The Sixteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 189–198 (1997) Borowsky, E., Gafni, E.: A simple algorithmically reasoned characterization of wait-free computation. In: The Sixteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 189–198 (1997)
4.
Zurück zum Zitat Carson, S.D., Reynolds, J.P.F.: The geometry of semaphore programs. ACM Trans. Program. Lang. Syst. 9(1), 25–53 (1987)CrossRefMATH Carson, S.D., Reynolds, J.P.F.: The geometry of semaphore programs. ACM Trans. Program. Lang. Syst. 9(1), 25–53 (1987)CrossRefMATH
5.
Zurück zum Zitat Conde, R., Rajsbaum, S.: An introduction to topological theory of distributed computing with safe-consensus. Electron. Notes Theoret. Comput. Sci. 283, 29–51 (2012)MathSciNetCrossRefMATH Conde, R., Rajsbaum, S.: An introduction to topological theory of distributed computing with safe-consensus. Electron. Notes Theoret. Comput. Sci. 283, 29–51 (2012)MathSciNetCrossRefMATH
6.
7.
Zurück zum Zitat Ghosh, S.R., Dasgupta, H.: Connectedness in monotone spaces. Bull. Malays. Math. Sci. Soc. 27(2), 129–148 (2004)MathSciNetMATH Ghosh, S.R., Dasgupta, H.: Connectedness in monotone spaces. Bull. Malays. Math. Sci. Soc. 27(2), 129–148 (2004)MathSciNetMATH
9.
Zurück zum Zitat Goubault, E., Jensen, T.P.: Homology of higher dimensional automata. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 254–268. Springer, Heidelberg (1992)CrossRef Goubault, E., Jensen, T.P.: Homology of higher dimensional automata. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 254–268. Springer, Heidelberg (1992)CrossRef
10.
Zurück zum Zitat Gunawardena, J.: Homotopy and concurrency. Bull. EATCS 54, 184–193 (1994)MATH Gunawardena, J.: Homotopy and concurrency. Bull. EATCS 54, 184–193 (1994)MATH
11.
Zurück zum Zitat Herlihy, M., Rajsbaum, S.: New perspectives in distributed computing. In: Kutyłowski, M., Wierzbicki, T.M., Pacholski, L. (eds.) MFCS 1999. LNCS, vol. 1672, pp. 170–186. Springer, Heidelberg (1999)CrossRef Herlihy, M., Rajsbaum, S.: New perspectives in distributed computing. In: Kutyłowski, M., Wierzbicki, T.M., Pacholski, L. (eds.) MFCS 1999. LNCS, vol. 1672, pp. 170–186. Springer, Heidelberg (1999)CrossRef
13.
Zurück zum Zitat Hoest, G., Shavit, N.: Toward a topological characterization of asynchronous complexity. SIAM J. Comput. 36(2), 457–497 (2006)MathSciNetCrossRefMATH Hoest, G., Shavit, N.: Toward a topological characterization of asynchronous complexity. SIAM J. Comput. 36(2), 457–497 (2006)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Saks, M., Zaharoglou, F.: Wait-free k-set agreement is impossible: the topology of public knowledge. SIAM J. Comput. 29(5), 1449–1483 (2000)MathSciNetCrossRefMATH Saks, M., Zaharoglou, F.: Wait-free k-set agreement is impossible: the topology of public knowledge. SIAM J. Comput. 29(5), 1449–1483 (2000)MathSciNetCrossRefMATH
Metadaten
Titel
Distributed Computing in Monotone Topological Spaces
verfasst von
Susmit Bagchi
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-34099-9_23

Premium Partner