Publication:
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum

Simple item page
dc.contributor.advisorAlbert Albiol, Elvira
dc.contributor.advisorGenaim, Samir
dc.contributor.authorGordillo Alguacil, Pablo
dc.date.accessioned2023-06-17T11:16:45Z
dc.date.available2023-06-17T11:16:45Z
dc.date.defense2020-01-23
dc.date.issued2020-10-28
dc.descriptionTesis de la Universidad Complutense de Madrid, Facultad de Informática, leída el 23-01-2020
dc.description.abstractHoy en día la concurrencia y la distribución se han convertido en una parte fundamental del proceso de desarrollo de software. Indiscutiblemente, Internet y el uso cada vez más extendido de los procesadores multicore ha influido en el tipo de aplicaciones que se desarrollan. Esto ha dado lugar a la creación de distintos modelos de concurrencia .En particular, uno de los modelos de concurrencia que está ganando importancia es el modelo de objetos concurrentes basado en actores. En este modelo, los objetos (denominados actores) son las unidades de concurrencia. Cada objeto tiene su propio procesador y un estado local. La comunicación entre los mismos se lleva a cabo mediante el paso de mensajes. Cuando un objeto recibe un mensaje puede: actualizar su estado, mandar mensajes o crear nuevos objetos. Es bien sabido que la creación de programas concurrentes correctos es más compleja que la de programas secuenciales ya que es necesario tener en cuenta distintos aspectos inherentes a la concurrencia como los errores asociados a las carreras de datos o a los interbloqueos. Con el n de asegurar el correcto comportamiento de estos programas concurrentes se han desarrollado distintas técnicas de análisis estático y verificación para los diversos modelos de concurrencia existentes...
dc.description.abstractNowadays concurrency and distribution have become a fundamental part in the softwaredevelopment process. The Internet and the more extended use of multicore processorshave in uenced the type of the applications which are being developed. This has lead tothe creation of several concurrency models. In particular, a concurrency model that isgaining popularity is the actor model, the basis for concurrent objects. In this model,the objects (actors) are the concurrent units. Each object has its own processor and alocal state, and the communication between them is carried out using message passing.In response to receiving a message, an actor can update its local state, send messages orcreate new objects.Developing correct concurrent programs is known to be harder than writing sequentialones because of inherent aspects of concurrency such as data races or deadlocks. To ensurethe correct behavior of concurrent programs, static analyses and verication techniqueshave been developed for the diverse existent concurrency models...
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/62843
dc.identifier.urihttps://hdl.handle.net/20.500.14352/11222
dc.language.isospa
dc.page.total170
dc.publication.placeMadrid
dc.publisherUniversidad Complutense de Madrid
dc.rights.accessRightsopen access
dc.subject.cdu004.75:004.451
dc.subject.cdu336.747.5:007
dc.subject.keywordSistemas distributivos
dc.subject.keywordsistemas concurrentes
dc.subject.keywordcriptomoneda
dc.subject.keywordbitcoin
dc.subject.keywordDistributed operating systems (Computers)
dc.subject.keywordconcurrent systems (Computers)
dc.subject.keywordcryptocurrencies
dc.subject.ucmInformática (Informática)
dc.subject.unesco1203.17 Informática
dc.titleAnálisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum
dc.title.alternativeStatic analysis of concurrrent and distributed systems: concurrent objects and Ethereum Bytecode
dc.typedoctoral thesis
dspace.entity.typePublication
relation.isAdvisorOfPublication9d982c6c-9e4f-4459-bd6e-1866104f03f6
relation.isAdvisorOfPublication.latestForDiscovery9d982c6c-9e4f-4459-bd6e-1866104f03f6
relation.isAuthorOfPublication5c47e6f8-de26-4311-b340-ac4b1b1e5594
relation.isAuthorOfPublication.latestForDiscovery5c47e6f8-de26-4311-b340-ac4b1b1e5594
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
T41996.pdf
Size:
6.93 MB
Format:
Adobe Portable Document Format
Download
Collections
Tesis Doctorales