Many current language specifications, such as for C and C++, areinadequate for m
ID: 3562886 • Letter: M
Question
Many current language specifications, such as for C and C++, areinadequate for multithreaded
programs.This can have an impact on compilers and the correctnessof code,
as this problem illustrates. Consider the following declarationsand function
definition:
int global_positives = 0;
typedef struct list {
struct list *next;
double val;
} * list;
void count_positives(list l)
{
list p;
for (p = l; p; p = p -> next)
if (p -> val > 0.0)
++global_positives;
}
Now consider the case in which thread A performs
count_positives();
while thread B performs
++global_positives;
a. What does the function do?
b. The C language only addresses single-threaded execution. Doesthe use of two the
parallel threads, create any problems or potential problems?