История двух нитей

Спасибо, третий вариант очень красиво иллюстрирует, как может получиться 2.

В русскоязычной литературе threads всё же принято называть потоками. Нити — это fibers.

Отвечать нужно по варианту №1 и не тратить собственное время и время интервьюера.

ответ зависит еще и от языка и платформы, ++ — может быть атомарным

При 1280*1024 не виден правый край таблицы. Поправьте, пожалуйста (например, картинкой с превьюшкой).

Результатом такого кода должно быть увольнение написавшего.

Уже малёхо поднадоели тут на хабре эти задачи на параллельные потоки без объектов синхронизации. Уж топик пятый на моей памяти об этом. И комменты все по стандартному кругу: «так писать неверно...», «уволить программера...», «а я вот знаю как работает процессор и и на выходе может быть число N, а может и не быть» и т.д.

IMHO, область решения: 1..20.
Атрибут volatile внес бы определенность.

42

Попробуйте для полноты картины написать код и скомпилить его в VS, Intel C++ и например gcc и потом объясните разницу :)

нужно объяснить тому, кто принимает интервью, что в данном коде ошибка и результат, в общем случае, не предсказуем. думаю любому более/менее опытному системному программисту данный код режет глаз.

Уже распечатал. Теперь куда идти на собеседование?

> Какое значение будет содержать переменная counter по завершении работы обоих нитей и почему?

Правильно будет не «обоих нитей», а ОБЕИХ нитей…

Я бы наверно про себя подумал «что за фигня?» Но ответил бы скорее всего 20 :)

Чтобы не отпугнуть возможного «умного» собеседуемого от Вашей логики и подстегнуть к рассуждениям, я бы не стал так категорично формулировать задание:

> Какое значение будет содержать переменная counter по завершении работы обеих нитей и почему?

Вместо «будет» я бы использовал более нейтральное «может». Этим Вы задание не упростите (те, кто понимает проблему, грамотно ее ответят), но открываете дорогу к рассуждениями, а не к однозначному ответу на Ваш вопрос.
К сожалению, большинство известных мне тестов на разные квалификации — это закрытые тесты с определенным (одним) правильным вариантом ответа, и встречая такую задачу в резюме трудно отделить — где нужно проявить мышление, а где попытаться просто дать один ответ.

#include <stdio.h>
#include <pthread.h>

static int counter;

void worker()
{
        int i;
        for (i = 1; i <= 10; i++)
                counter++;
}

void* f(void *p)
{
        worker();
}

int main()
{
        int i, r[22] = {};

        for(i = 0; i < 1000000 && counter != 2; ++i)
        {
                pthread_t t1, t2;
                counter = 0;
                pthread_create(&t1, NULL, f, NULL);
                pthread_create(&t2, NULL, f, NULL);
                pthread_join(t1, NULL);
                pthread_join(t2, NULL);
                ++r[counter];
        }
        for(i = 0; i < 22; ++i)
                printf("%d:\t%d\n", i, r[i]);
}

Цикл превратился в это:

worker:
.LFB0:
        .cfi_startproc
        pushq   %rbp
        .cfi_def_cfa_offset 16
        movq    %rsp, %rbp
        .cfi_offset 6, -16
        .cfi_def_cfa_register 6
        movl    $1, -4(%rbp)
        jmp     .L2
.L3:
        movl    counter(%rip), %eax
        addl    $1, %eax
        movl    %eax, counter(%rip)
        addl    $1, -4(%rbp)
.L2:
        cmpl    $10, -4(%rbp)
        jle     .L3
        leave
        ret
        .cfi_endproc

Выводит:
0: 0
1: 0
2: 0
3: 0
4: 0
5: 0
6: 0
7: 0
8: 0
9: 0
10: 39
11: 3
12: 2
13: 2
14: 2
15: 3
16: 4
17: 3
18: 4
19: 9
20: 999929
21: 0

Думаю, в итоге в русском языке закрепится термин «тред».

Условия задачи слишком неопределённы, чтобы дать обоснованный ответ. Надеюсь, интервьюером был не представитель отдела кадров, с которым на данную тему не поспоришь.