Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/52881

Full metadata record
DC FieldValueLanguage
dc.contributor.authorJorge, Tiagopor
dc.contributor.authorMaia, Franciscopor
dc.contributor.authorMatos, Miguel Ângelo Marquespor
dc.contributor.authorPereira, Josépor
dc.contributor.authorOliveira, Rui Carlos Mendes depor
dc.date.accessioned2018-03-19T21:38:12Z-
dc.date.issued2015-
dc.identifier.isbn9783319191287por
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/1822/52881-
dc.description.abstractDesigning and implementing distributed systems is a hard endeavor, both at an abstract level when designing the system, and at a concrete level when implementing, debugging and evaluating it. This stems not only from the inherent complexity of writing and reasoning about distributed software, but also from the lack of tools for testing and evaluating it under realistic conditions. Moreover, the gap between the protocols’ specifications found on research papers and their implementations on real code is huge, leading to inconsistencies that often result in the implementation no longer following the specification. As an example, the specification of the popular Chord DHT comprises a few dozens of lines, while its Java implementation, OpenChord, is close to twenty thousand lines, excluding libraries. This makes it hard and error prone to change the implementation to reflect changes in the specification, regardless of programmers’ skill. Besides, critical behavior due to the unpredictable interleaving of operations and network uncertainty, can only be observed on a realistic setting, limiting the usefulness of simulation tools. We believe that being able to write an algorithm implementation very close to its specification, and evaluating it in a real environment is a big step in the direction of building better distributed systems. Our approach leverages the MINHA platform to offer a set of built in primitives that allows one to program very close to pseudo-code. This high level implementation can interact with off-the-shelf existing middleware and can be gradually replaced by a production-ready Java implementation. In this paper, we present the system design and showcase it using a well-known algorithm from the literature.por
dc.description.sponsorship(undefined)por
dc.language.isoengpor
dc.publisherSpringer Verlagpor
dc.rightsrestrictedAccesspor
dc.subjectDistributed systemspor
dc.subjectSimulation and emulationpor
dc.subjectTesting and evaluationpor
dc.titlePractical evaluation of large scale applicationspor
dc.typeconferencePaperpor
dc.peerreviewedyespor
oaire.citationStartPage124por
oaire.citationEndPage137por
oaire.citationVolume9038por
dc.date.updated2018-03-16T13:47:17Z-
dc.identifier.doi10.1007/978-3-319-19129-4_10por
dc.description.publicationversioninfo:eu-repo/semantics/publishedVersionpor
sdum.export.identifier4564-
sdum.journalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)por
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File Description SizeFormat 
dais15minhajsr.pdf
  Restricted access
268,66 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID