The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency.

Saved in:
Bibliographic Details
Title: The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency.
Authors: STRÖMBÄCK, Filip1 filip.stromback@liu.se, MANNILA, Linda1 linda.mannila@liu.se, KAMKAR, Mariam1 mariam.kamkar@liu.se
Source: Informatics in Education. Dec2021, Vol. 20 Issue 4, p683-715. 33p.
Subject Terms: *Students
Abstract: Concurrency is often perceived as difficult by students. One reason for this may be due to the fact that abstractions used in concurrent programs leave more situations undefined compared to sequential programs (e.g., in what order statements are executed), which makes it harder to create a proper mental model of the execution environment. Students who aim to explore the abstractions through testing are further hindered by the non-determinism of concurrent programs since even incorrect programs may seem to work properly most of the time. In this paper we aim to explore how students' understanding these abstractions by examining 137 solutions to two concurrency questions given on the final exam in two years of an introductory concurrency course. To highlight problematic areas of these abstractions, we present alternative abstractions under which each incorrect solution would be correct. [ABSTRACT FROM AUTHOR]
Copyright of Informatics in Education is the property of Informatics in Education and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Education Research Complete
Be the first to leave a comment!
You must be logged in first