λHive: Formal Semantics of an Edge Computing Model based on JavaScript
| cic.institucionOrigen | Laboratorio de Investigación y Formación en Informática Avanzada (LIFIA) | |
| cic.isFulltext | SI | |
| cic.isPeerReviewed | true | |
| cic.lugarDesarrollo | Laboratorio de Investigación y Formación en Informática Avanzada (LIFIA) | |
| cic.parentType | Artículo | |
| cic.version | Aceptada | |
| dc.date.accessioned | 2022-11-09T13:13:31Z | |
| dc.date.available | 2022-11-09T13:13:31Z | |
| dc.identifier.uri | https://digital.cic.gba.gob.ar/handle/11746/11698 | |
| dc.title | λHive: Formal Semantics of an Edge Computing Model based on JavaScript | en |
| dc.type | Artículo | |
| dcterms.abstract | Edge computing is a paradigm that applies virtualization technology that makes it easier to deploy and run a wider range of applications on the edge servers and take advantage of largely unused computational resources. This article describes the design and formalization of Hive, a distributed shared memory model that can be transparently integrated with JavaScript using a standard out of the box runtime. To define such model a formal definition of the JavaScript language was used and extended to include modern capabilities and custom semantics. This extended model was used to prove that the distributed shared memory can operate on top of existing and unmodified web browsers. The proposed model guarantees the eventual synchronization of data across all the system and provides the possibility to have a stricter consistency using standard http operations. The technical feasibility of this proposal was empirically validated by a prototype that yields reasonably low propagation time and allows the distribution of preexisting JavaScript code without any major modifications. Additionally, the comprehensive formalization of the Hive execution model allows developers to guarantee certain properties of the synchronization mechanism, such as efficient and no blocking. | en |
| dcterms.creator.author | Teragni, Matias | |
| dcterms.creator.author | Pons, Claudia Fabiana | |
| dcterms.identifier.other | DOI: 10.4018/IJCAC.312564 | |
| dcterms.isPartOf.issue | vol. 12, no. 1 | |
| dcterms.isPartOf.series | International Journal of Cloud Applications and Computing (IJCAC) | |
| dcterms.issued | 2022 | |
| dcterms.language | Inglés | |
| dcterms.license | Attribution-NonCommercial-ShareAlike 4.0 International (BY-NC-SA 4.0) | |
| dcterms.subject | Distributed Shared Memory | en |
| dcterms.subject | Edge Computing | en |
| dcterms.subject | Cloud Computing | en |
| dcterms.subject | JavaScript | en |
| dcterms.subject | Synchronization mechanism | en |
| dcterms.subject | Formal Semantics | es |
| dcterms.subject.materia | Ciencias de la Computación e Información |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- λHive Formal Semantics of an Edge.pdf-PDFA.pdf
- Tamaño:
- 825.85 KB
- Formato:
- Adobe Portable Document Format
Bloque de licencias
1 - 1 de 1
Cargando...
- Nombre:
- license.txt
- Tamaño:
- 3.46 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: