Registro:
| Documento: | Tesis de Grado |
| Título: | Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go |
| Título alternativo: | Meaningful error messages in static deadlock detection tool for go programs |
| Autor: | Furman, Damián Ariel |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2019 |
| Fecha en portada: | 2019 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Melgratti, Hernán Claudio |
| Jurado: | López Pombo, Carlos Gustavo; Tuosto, Emilio |
| Idioma: | Español |
| Palabras clave: | GO; COMUNICACION POR INTERCAMBIO DE MENSAJES; TIPO SESION; LIVENESS; SAFETY; DEADLOCK; TRAZA; HISTORIA DE EJECUCIONGO; COMUNICATION THROUGH MESSAGE PASSING; SESSION TYPES; LIVENESS; SAFETY; DEADLOCK; TRACE |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000614_Furman |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000614_Furman.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000614_Furman |
| Ubicación: | Dep.COM 000614 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Furman, Damián Ariel. (2019). Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000614_Furman |
Resumen:
Go es un lenguaje de programación que incorpora la comunicación a través del intercambio de mensajes dentro de su set básico de instrucciones. Lange, Ng, Toninho y Yoshida proponen un sistema de tipos sesión para analizar propiedades sobre aspectos de comunicación en programas Go, como por ejemplo ausencia de deadlocks parciales y errores de comunicación. Esta técnica ha sido implementada en dos herramientas, Dingo-Hunter y Gong, que toman un programa Go e indican si cumple o no con estas propiedades. Sin embargo, su implementación no aporta más información que pueda servir al usuario para mejorar su código si existe algún problema. El objetivo del siguiente trabajo es mejorar la usabilidad de la herramienta incorporando feedback que pueda ser usado para resolver el problema encontrado. Para esto, se desarrolla una modificación de la implementación del tipo sesión que genera trazas de las posibles ejecuciones de los programas a analizar. Luego, cuando un programa no satisface alguna de las propiedades mencionadas, se indica qué instrucción genera el problema, en que número de línea y cuál es la traza de la ejecución que la generó, indicando invocaciones a funciones y sincronizaciones (envío y recepción correctos de un mensaje) previas.
Abstract:
Go is a programming language that incorporates communication through message passing as part of its basic set of instructions. Lange, Ng, Toninho and Yoshida propose a session type’s system for analyzing properties over Go programs like absence of partial dreadlocks or communication errors. However, their implementation doesn’t provide more information that could be used by the user of the tool to improve her code if there is any problem. The objective of the following work is to improve the usability of the tool incorporating feedback that may be used to solve problems found. With this purpose, a modification of the session types implementation is developed to generate traces of all possible executions of programs being analyzed. Then, when a program doesn’t satisfy any of the properties mentioned above, the instruction that generates the problem is given, along with its line number and the trace of the execution that generated it, indicating previous function invocations and synchronization operations (sending and receiving messages).
Citación:
---------- APA ----------
Furman, Damián Ariel. (2019). Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000614_Furman
---------- CHICAGO ----------
Furman, Damián Ariel. "Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2019.https://hdl.handle.net/20.500.12110/seminario_nCOM000614_Furman
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000614_Furman.pdf
Distrubución geográfica
