(1)不存在一致性问题的情况
1)每个线程使用的变量都是其他线程不会使用和修改的。
2)变量是只读的。
3)对变量的修改操作时原子操作,则不存在竞争。
4)数据总是顺序一致出现的。(有计算机体系结构决定)
<322>使用互斥量保护数据结构
#include <stdlib.h> #include <pthread.h> struct foo { int f_count; pthread_mutex_t f_lock; int f_id; /* ... more stuff here ... */ }; struct foo * foo_alloc(int id) /* allocate the object */ { struct foo *fp; if ((fp = malloc(sizeof(struct foo))) != NULL) { fp->f_count = 1; fp->f_id = id; if (pthread_mutex_init(&fp->f_lock, NULL) != 0) { free(fp); return(NULL); } /* ... continue initialization ... */ } return(fp); } void foo_hold(struct foo *fp) /* add a reference to the object */ { pthread_mutex_lock(&fp->f_lock); fp->f_count++; pthread_mutex_unlock(&fp->f_lock); } void foo_rele(struct foo *fp) /* release a reference to the object */ { pthread_mutex_lock(&fp->f_lock); if (--fp->f_count == 0) { /* last reference */ pthread_mutex_unlock(&fp->f_lock); pthread_mutex_destroy(&fp->f_lock); free(fp); } else { pthread_mutex_unlock(&fp->f_lock); } }
(1)
int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr);
mutexattr:NULL表示用默认的属性初始化互斥量。
int pthread_mutex_lock(pthread_mutex_t *mutex);
对互斥量进行加锁,若互斥量已经上锁,则调用线程将阻塞直到互斥量被解锁。
int pthread_mutex_trylock(pthread_mutex_t *mutex);
尝试对互斥量进行加锁,有2种结果:
锁住互斥量,直接返回0。
失败,返回EBUSY。
int pthread_mutex_unlock(pthread_mutex_t *mutex);
对互斥量解锁。
int pthread_mutex_destroy(pthread_mutex_t *mutex);
动态分配的互斥量,(通过调用malloc函数)在释放内存前需调用此函数。
<337>在一个任务上合作的多个线程之间如何用屏障进行同步
这个例子中,使用8个线程分解了800万个数的排序工作。每个线程用堆排序算法对100万个数进行排序。最后主线程调用一个函数对这些结果进行合并。
#include "apue.h" #include <pthread.h> #include <limits.h> #include <sys/time.h> #define NTHR 8 /* number of threads */ #define NUMNUM 8000000L /* number of numbers to sort */ #define TNUM (NUMNUM/NTHR) /* number to sort per thread */ long nums[NUMNUM]; long snums[NUMNUM]; pthread_barrier_t b; #ifdef SOLARIS #define heapsort qsort #else extern int heapsort(void *, size_t, size_t, int (*)(const void *, const void *)); #endif /* * Compare two long integers (helper function for heapsort) */ int complong(const void *arg1, const void *arg2) { long l1 = *(long *)arg1; long l2 = *(long *)arg2; if (l1 == l2) return 0; else if (l1 < l2) return -1; else return 1; } /* * Worker thread to sort a portion of the set of numbers. */ void * thr_fn(void *arg) { long idx = (long)arg; heapsort(&nums[idx], TNUM, sizeof(long), complong); pthread_barrier_wait(&b); /* * Go off and perform more work ... */ return((void *)0); } /* * Merge the results of the individual sorted ranges. */ void merge() { long idx[NTHR]; long i, minidx, sidx, num; for (i = 0; i < NTHR; i++) idx[i] = i * TNUM; for (sidx = 0; sidx < NUMNUM; sidx++) { num = LONG_MAX; for (i = 0; i < NTHR; i++) { if ((idx[i] < (i+1)*TNUM) && (nums[idx[i]] < num)) { num = nums[idx[i]]; minidx = i; } } snums[sidx] = nums[idx[minidx]]; idx[minidx]++; } } int main() { unsigned long i; struct timeval start, end; long long startusec, endusec; double elapsed; int err; pthread_t tid; /* * Create the initial set of numbers to sort. */ srandom(1); for (i = 0; i < NUMNUM; i++) nums[i] = random(); /* * Create 8 threads to sort the numbers. */ gettimeofday(&start, NULL); pthread_barrier_init(&b, NULL, NTHR+1); for (i = 0; i < NTHR; i++) { err = pthread_create(&tid, NULL, thr_fn, (void *)(i * TNUM)); if (err != 0) err_exit(err, "can't create thread"); } pthread_barrier_wait(&b); merge(); gettimeofday(&end, NULL); /* * Print the sorted list. */ startusec = start.tv_sec * 1000000 + start.tv_usec; endusec = end.tv_sec * 1000000 + end.tv_usec; elapsed = (double)(endusec - startusec) / 1000000.0; printf("sort took %.4f seconds\n", elapsed); for (i = 0; i < NUMNUM; i++) printf("%ld\n", snums[i]); exit(0); }
(1)
屏障用于协调多个线程并行工作。
它们允许任意数量的线程等待,直到所有的线程完成处理工作,而不需要退出。所有线程到达屏障后可以接着工作。
(2)
srandom函数:设定随机数种子。
random函数:产生随机数。
(3)
int pthread_barrier_init(pthread_barrier_t *restrict barrier,
const pthread_barrierattr_t *restrict attr, unsigned count);
初始化屏障。
count参数:在允许所有线程继续运行之前,必须到达屏障的线程数目。
attr参数:指定屏障对象的属性。NULL表示用默认属性初始化屏障。
int pthread_barrier_wait(pthread_barrier_t *barrier);
调用此函数的线程在屏障未满足条件时,会进入休眠状态。若该线程是最后一个调用此函数的线程,满足屏障计数,则所有的线程都被唤醒。