Знатокам C и mutex?

Question

[sebastian]

Имеем код

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

int var = 0;
pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER;
pthread_cond_t cond;

void * increment() 
{
    while(1)
    {   
        pthread_mutex_lock(&lock);
        ++var;
        pthread_mutex_unlock(&lock);
        pthread_cond_signal(&cond);
//        sleep(1);
    }
}

void * _print()
{
    while(1)
    {
        pthread_mutex_lock(&lock);
        pthread_cond_wait(&cond,&lock);
        printf("%d\n", var);
        pthread_mutex_unlock(&lock);
    }



}

int main()
{
    pthread_t th1, th2, th3;
    pthread_create(&th1,NULL,increment, NULL);
    pthread_create(&th2,NULL,_print,NULL);

    pthread_join(th2,NULL);
    pthread_join(th1,NULL);
    return 0;

}

Какого поведения ожидать от программы в зависимости от процессора (архитектура, количество ядер)?

Примеры кусков вывода на разных процессорах:

Раз (intel pentium 4 2 ядра):

498770

498771

498772

498773

498774

498775

498776

498777

498778

498779

498780

498781


! Важно, что числа идут по порядку.


Два(intel core 2 duo):

8413753

8413817

8413880

8413943

8414006

8414067

8414129

8414192

8414259

8414322

8414384


Очень большие провалы.

Answer 1

[TheHorse]

Ну провалы должны быть. ++ порядком легче чем принт, и за одну еденицу времени он выполняется намного чаще… Cond можно убрать, он вроде как лишний тут.

На древнем проце все идет синхронно, вероятно потому, что операции блокировки, порядком сложнее ++ и принт, от того оно и переключает контексты после каждой операции над мьютексом…

Answer 2

[sebastian]

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

Comments

[sebastian]

Или получатся, что на новых процах мутексы не актуальны? =)

[gaelpa]

Нет, не чтобы по-порядку, а чтобы атомарно. Порядок вам никто не гарантировал.

[TheHorse]

Нет, не чтобы атомарно, а чтобы безопасно. Разные вещи. Атомарно — и без мьютексов все отлично. Мьютексы нужны для того, чтобы одновременно не трогать разными способами одни ресурсы, иначе просто эти ресурсы поломаются.

Answer 3

[mark_ablov]

мьютексы в примере лишь гарантируют то, что var++ и print(var) не будут выполнятся параллельно, порядок они никоим образом не обеспечивают в этом примере.

Comments

[sebastian]

А как же тогда сделать, чтобы инкремент происходил один (и лишь толь один раз перед выводом)? Без костылей, красиво и используя мьютексы?

[TheHorse]

Для этого нужны events и wait functions из API OS (win api?)

[sebastian]

Нет, именно pure c

[TheHorse]

Ну, что значит pure c… Имхо, это когда нет сторонних include. Mutex, Event… WaitForSingleObject, WaitForMultiplyObject, select… функции не языка С, а ОС. В общем, если учите системное программирование (я так понимаю, именно это вы и делаете) — закопайте pThread откуда выкопали, и используйте Api OC. Иначе выше понимание того что происходит не будет отличаться от знаний рядового php-ника, верстальщика, других нижних каст программирования.

[mark_ablov]

достаточно в increment() добавить pthread_cond_wait(), а в _print() соответственно pthread_cond_signal().
можно на одном и том же cond'e.

[sebastian]

Нет, я не изучаю, просто люблю каверзные и неочевидные вопросы. Не знаю как вам, но мне не очевидно, почему происходит по-разному на разных камнях.

[TheHorse]

мне тоже не очевидно), но разумное предположение построить осилил)

Answer 4

[tangro]

Событие Вам и вправду поможет лучше