Generación automática de puertos en Erlang

Son varios los mecanismos de interoperabilidad ofrecidos por el lenguaje Erlang para realizar conexiones con código C. En este trabajo se han estudiado varios de estos mecanismos con el fin de encontrar el más adecuado para la generación de bindings que permitan el uso de librerías de C en programas...

Descripción completa

Detalles Bibliográficos
Autor: Suárez Jiménez, Fernando
Tipo de recurso: tesis de maestría
Fecha de publicación:2018
País:España
Repositorio:Docta Complutense
Idioma:español
OAI Identifier:oai:docta.ucm.es:20.500.14352/19973
Acceso en línea:https://hdl.handle.net/20.500.14352/19973
Access Level:acceso abierto
Palabra clave:004.438C(043.3.)
004.438Erlang(043.3)
Binding
C
Comunicación Erlang-C
Erlang
Generación automática de código
Interoperabilidad
Librería
NIF
Puerto
SDL
Automatic code generation
Erlang-C communication
Interoperability
Library
Port
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
Descripción
Sumario:Son varios los mecanismos de interoperabilidad ofrecidos por el lenguaje Erlang para realizar conexiones con código C. En este trabajo se han estudiado varios de estos mecanismos con el fin de encontrar el más adecuado para la generación de bindings que permitan el uso de librerías de C en programas Erlang. La primera parte de este trabajo se ha centrado en la realización de varias pruebas de concepto con la librería SDL de C evaluando el uso de varios de estos mecanismos, como las NIFs o los puertos. Una vez realizadas estas pruebas y determinado el método más adecuado, se ha desarrollado en Erlang una herramienta automática de generación de bindings que se encarga de producir el código C y el código Erlang necesario para poder utilizar estas librerías de C en programas Erlang de una manera sencilla y completamente funcional. Esta herramienta requiere de un fichero de especificación que establece la correspondencia entre los elementos de ambos lenguajes y ha de ser escrito manualmente por el programador. Entre las características del código generado por esta herramienta podemos destacar: manejo de tipos básicos de C, funciones, punteros, arrays, estructuras, uniones y enumerados, tratamiento de macros, soporte para funciones de orden superior y gestión automatizada de memoria dinámica para punteros de C. Todas estas características permiten la creación de programas Erlang plenamente funcionales que hacen uso de librerías de C, como es el caso del programa de prueba realizado para la librería SDL.