Herramienta Web Ligera para La Programación en C-Concurrente

Resumen

El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herramientas que permiten detectar si ha habido algún tipo de problema en un programa escrito en C- concurrente. Dichas herramientas ofrecen interfaces que pueden complementar la información dada por un compilador con información adicional sobre diferentes tipos de condiciones de carrera o fugas de memoria que aparecen en el código. El presente trabajo tiene por objetivo ver cómo se ha integrado un núcleo de validación para C ya existente como aplicación web, lo que le permite estar accesible a través de la red. Dicha herramienta ha sido evaluada en un curso de programación ya existente, donde ha mostrado que es capaz aportar información adicional de utilidad para el discente y el docente. También se han realizado una serie de mediciones de rendimiento para establecer los límites operativos de la herramienta diseñada dentro de los límites de una asignatura donde se enseña C concurrente.

Abstract

Tools for computer-aided teaching and learning provide multiple benefits from the point of view of teaching because it allows emphasizing or illustrating certain issues that are sometimes difficult to emphasize without such type of support. This is exactly the case for the tools to detect if there is any type of problem in a concurrent-C program. These tools provide interfaces that can complement the information given by a compiler with additional information about different types of race conditions and memory leaks that appear in the code. This article aims to address how to integrate a core validation tools for concurrent-C as a web application, allowing you to be accessible through the Internet. This tool has been evaluated in an existing programming course, which has shown to be able to provide additional information useful to the learner and the teacher. There have also been a number of performance measures to establish operational limits designed tool within a course that teaches concurrent-C programming.

Referencias no citadas

Alonso et al., 2004, Basanta Val and Garcia-Valls, 2013, Basanta-Val et al., 2012, Bouyssounouse and Sifakis, 2005, Caspi et al., 2005, Committee, 2003, Crenshaw, 2013, Cuevas et al., 2013, Estevez-Avres et al., 2004, Garcia-Valls and Basanta-Val, 2012, Hamblen et al., 2013, Havelund and Pressburger, 2000, Ihantola, 2006, Jannesari et al., 2009, Kim and Jeon, 2009, Lawrence, 2012, Lee et al., 2011, Merino et al., 2012, Monzón et al., 2012, Nethercote and Seward, 2007, Pardo and Kloos, 2011, Pinto et al., 2012, Rodriguez-Andina and Gomes, 2013, Sáez and Crespo, 2013, Salido et al., 2011, Santana et al., 2013, Savage et al., 1997, Serebryany and Iskhodzhanov, 2009, Sierra et al., 2012, Sifakis, 2011, Sun and Microsystems, 2005 and Weber and Rehkopf, 2009.