PR# 18424 SCOOP deadlocks on simple program.
Problem Report Summary
Submitter: saynte
Category: Runtime
Priority: Medium
Date: 2012/11/27
Class: Bug
Severity: Serious
Number: 18424
Release: 7.1
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.11 (KHTML, like Gecko) Chrome/23.0.1271.91 Safari/537.11
Synopsis: SCOOP deadlocks on simple program.
Description
Two groups of separate objects, A and B, wait on a shared variable. When the variable is even, one of the A group can increment the variable. When the variable is odd, one of the B group can increment the variable. Thus, they proceed in step, one from group A goes and makes it so one of group B can proceed. There are equal numbers in each group and each object repeats this action the same number of times. There should be no deadlock here (versions in other languages do not deadlock), but the SCOOP version does.
To Reproduce
Run the attached program in finalized mode. It takes about 16 seconds on my machine for the program to complete, although often it just deadlocks.
Problem Report Interactions