Estrategias de enseñanza de la programación concurrente: un estudio de caso sobre el uso de semáforos en un curso de sistemas operativos

• Autores: Miños, Alejandro
• Año de publicación: 2025
• Idioma: español castellano
• Tipo de recurso: artículo
• Materia: Ciencias Informáticas; Computer science teaching; Concurrency; Teaching sequence; Programming; Binary semaphores; Didáctica de la informática; Concurrencia; Secuencia didáctica; Programación; Semáforos binarios
• Institución: Universidad Nacional de La Plata

Aprender el paradigma concurrente resulta complejo, siendo varios los factores que lo condicionan: lenguaje de programación, conocimientos previos, secuencia didáctica y estrategias. Para lograr aprendizajes es necesario identificar aquellas secuencias didácticas adecuadas para el aprendizaje del paradigma, así como los errores comunes en la construcción de programas concurrentes. Se trabajó con una secuencia didáctica orientada al trabajo con semáforos binarios, donde primaron estrategias inductivas, la demostración y existió un especial cuidado en la progresión de contenidos y actividades prácticas. Partiendo del supuesto que la construcción de un programa concurrente evidencia la comprensión del paradigma, se evaluó la construcción de 21 programas en los cuales se trabajó con semáforos binarios. Entre quienes no dominan el paradigma, se ha identificado como error común la pobre identificación de secciones críticas, en particular la inclusión de sentencias que no corresponden estar. La mayoría de los estudiantes ha evidenciado la apropiación del paradigma concurrente, por lo que deduce que la secuencia aplicada ha resultado adecuada.
Learning the concurrent paradigm is complex, and several factors influence it: programming language, prior knowledge, teaching sequence, and strategies. To achieve learning, it is necessary to identify appropriate teaching sequences for learning the paradigm, as well as common errors in building concurrent programs. A teaching sequence focused on working with binary semaphores was used, emphasizing inductive strategies and demonstrations, with special attention paid to the progression of content and practical activities. Based on the assumption that building a concurrent program demonstrates an understanding of the paradigm, the construction of 21 programs that worked with binary semaphores was evaluated. Among those not familiar with the paradigm, poor identification of critical sections was identified as a common error, particularly the inclusion of statements that should not be included. Most students demonstrated mastery of the concurrent paradigm, leading to the conclusion that the applied sequence was adequate.
Facultad de Informática