Linux Seminit：管理和同步信号量的关键 (linux seminit)
Linux操作系统中，信号量是一种用于进程间同步和互斥的重要机制。它可以保证多个进程在同一个资源上互斥的访问，从而避免了数据竞争和死锁的问题。而信号量的管理和同步则是由Seminit系统调用来实现的。
Seminit的介绍
Seminit系统调用是Linux内核中用于创建和初始化信号量的系统调用。它的定义和作用与其他类型的同步原语如mutexes、condvars和rwlocks等非常类似，但是它更为灵活，可以用于实现更为复杂的同步操作。
Seminit系统调用的定义如下：
“`c
#include
int seminit (key_t key, int nsems, int sem);
“`
其中，key是一个32位的键值，用于在系统中唯一标识一个信号量集；nsems指定需要创建的信号量集中的信号量数量，sem指定创建时的额外选项，比如是否允许多个进程共享同一个信号量集。
Seminit系统调用的主要作用是创建一个新的信号量集，或者打开已经存在的信号量集。在创建信号量集时，Seminit将分配一个新的信号量数组，并对它进行初始化。在打开已经存在的信号量集时，Seminit将直接返回一个指向该信号量集的标识符，不需要做太多的初始化工作。
创建信号量
创建信号量集的过程非常简单，只需要调用Seminit系统调用，并传递需要创建的信号量数量即可。如下面的示例所示：
“`c
key_t key = ftok(“/tmp/semfile”, ‘S’);
int nsems = 5;
int semid = seminit(key, nsems, IPC_CREAT | IPC_EXCL | 0666);
if (semid == -1) {
perror(“semget”);
exit(EXIT_FLURE);
}
for (int i = 0; i
struct sembuf op = { .sem_num = i, .sem_op = 1, .sem_ = 0 };
semop(semid, &op, 1);
}
“`
在这个示例中，我们首先使用ftok函数生成一个键值，然后调用Seminit系统调用创建一个新的包含nsems个信号量的信号量集。如果创建成功，Seminit将返回一个标识符semid，我们可以用于后续的信号量操作。
初始化信号量
创建好信号量集之后，我们还需要对信号量进行初始化。这通常是通过调用Semctl系统调用实现的，它可以修改或查询一个指定的信号量集中的某个或所有信号量。
下面是一个初始化信号量的示例代码：
“`c
key_t key = ftok(“/tmp/semfile”, ‘S’);
int nsems = 5;
int semid = seminit(key, nsems, IPC_CREAT | IPC_EXCL | 0666);
if (semid == -1) {
perror(“semget”);
exit(EXIT_FLURE);
}
union semun arg;
arg.val = 0;
for (int i = 0; i
if (semctl(semid, i, SETVAL, arg) == -1) {
perror(“semctl”);
exit(EXIT_FLURE);
}
}
“`
在这个示例中，我们首先使用Seminit系统调用创建一个包含nsems个信号量的新信号量集。之后，我们定义了一个semun联合体，并赋值为0，用于告诉Semctl系统调用我们希望将所有信号量的值都设定为0。我们通过循环调用Semctl系统调用来初始化所有信号量的值。
操作信号量
创建和初始化信号量之后，我们就可以开始使用它来实现同步互斥操作了。信号量的操作主要是通过Semop系统调用来实现的，它可以对指定的信号量执行加锁、解锁等操作。
下面是一个操作信号量的示例代码：
“`c
key_t key = ftok(“/tmp/semfile”, ‘S’);
int nsems = 5;
int semid = seminit(key, nsems, 0);
if (semid == -1) {
perror(“semget”);
exit(EXIT_FLURE);
}
struct sembuf op[] = {
{ .sem_num = 0, .sem_op = -1, .sem_ = SEM_UNDO },
{ .sem_num = 1, .sem_op = 1, .sem_ = SEM_UNDO }
};
if (semop(semid, op, 2) == -1) {
perror(“semop”);
exit(EXIT_FLURE);
}
“`
在这个示例中，我们使用Seminit系统调用打开已经存在的信号量集，并使用结构体数组指定了需要加锁（之一个操作）和解锁（第二个操作）的信号量。如果操作成功，Semop将返回0，否则将返回-1并设置errno来指示错误的原因。
相关问题拓展阅读：
linux 信号灯中线程切换问题
（1）Posix标准中有有名信号灯和无名信号灯之分，对于有名信号灯，可以用sem_open来创建，其prototype是:
sem_t *sem_open(const char *name, int oflag);//打开已有的信号灯
sem_t *sem_open(const char *name, int oflag, mode_t mode, unsigned value);//一般是创建信号灯。
期中name是信号灯的名字， oflag是0, O_CREAT 或者 O_CREAT | O_EXCL, 如果指定O_CREAT， 那么mode和value对应创建该信号的模式和初始值。 如果指定了O_EXCL, 而且该信号灯已经在系统中存在，那调用会出错返回SEM_FAILED常量。 对于Linux内核来说，有名信号灯是很晚才加入内核中的，创建或是打开有名信号时候，应该指定”/semname“名字，对应的信号灯创建在/dev/shm目录下，名字是/dev/shm/sem.semname. W, 用gcc/g++编译实用信号灯功能的程序时候，应该引用librt库，（e.g., g++ -lrt sem.cpp). 关闭已打开的信号灯，用sem_close(sem_t *sem). 关闭信号灯并不意味着系统会删除它，要删除一个信号灯，需要调用sem_unlink(sem_t *sem)。 有名信号灯一般是为了进程之间同步实用的。 无名信号唤清灯，一般是为一个进程内的不同线程之间同步使用的。 创建无名信号灯的方法如下：
sem_t sem;
sem_init(&sem, int shared, unsigned int value);//初始化信号灯。
……
sem_destroy(&sem);//清除信号灯。
（2）信号灯的使用和状态。
信号灯一般用来描述不同线程所共享的公共资源的数量，每一个信号灯都有一个叫做信号量的非负整数与之相连；信号量一般代表公共资源的数目，比如空闲列表中的缓冲区数目，视频中读入帧的数目，等等。对于一个线程可以用sem_wait, sem_post函数来改如缺变一个信号灯的信号量。
sem_wait(sem_t &sem);
sem_wait的语义如下：
{
while(信号量==0)
等待； //此处线程被挂起，等待其他线程调用sem_post唤醒之。
信号量减1；
}
注意：测试信号量是否为零，和减一的操作是原子的，也就是说期间不会发生线程切换。
与sem_wait对应的调用是sem_post,语义如下：
{
信号量加1；
唤醒等待该信号量的线程；//调用sem_wait并等待的线程。
}
该操作也是原子的。
信号灯的状态可以用sem_getvalue来查看。一般来说sem_wait和sem_post的调用不必在同一个线程内成对出现（象mutex那样，lock/unlock要配对出现）。 一般的情形是这样的，一个线程等待资源可用，调用sem_wait, 另外一个线程生成资源，然后调用sem_post，唤醒等待该资源的线程。因为信号灯和橡前所描述的是线程间公共资源，使用的时候一般和mutex一起使用，mutex保证访问公共资源的线程排他性，信号灯表示资源的可用性。
如何对读写锁进行处理
信号量强调的是线程（或进程）间的同步：“信号量用在多线程多任务同步的，一个线程完成了某一个动作就通过信号量告诉别的线程，别的线程再进行某些动作（大家都 在sem_wait的时候，就枯亏御阻塞在那里）。当信号量为单值信号量是，也可以完成一个资源的互斥访问。
有名信号量：可以用于不同进程间或多线程间的互斥与同步
创建打开空信有名信号量
sem_t *sem_open(const char *name, int oflag);
sem_t *sem_open(const char *name, int oflag, mode_t mode, unsigned int value);
成功返回信号量指针；失败返回SEM_FAILED，设置errnoname是文件路径名,但不能写成/tmp/a.sem这样的形式,因为在linux下,sem都是在/dev/shm目录下,可写成”/mysem”或”mysem”,创建出来的文件都 是”/dev/shm/sem.mysem”,mode设置为0666，value设置为信号量的初始值.所需信号灯等已存在条件下指定O_CREAT|O_EXCL却是个错误。
关闭信号量，进程终止时，会自动调用它
int sem_close(sem_t *sem);
成功返回0；失败返回-1，设置errno
删除信号量，立即删除信号量名字，当其他进程都关闭它时，销毁它
int sem_unlink(const char *name);
等待信号量，测试信号量的值，如果其值小于或等于0，那么就等待（阻塞）；一旦其值变为大于0就将它减1，并返回
int sem_wait(sem_t *sem);
int sem_trywait(sem_t *sem);
成功返回0；失败返回-1，设置errno
当信号量的值为0时，sem_trywait立即返回，设置errno为EAGAIN。如果被某个信号中断，sem_wait会过早地返回，设置errno为EINTR
发出信号量，给它的值加1，然后唤醒正在等待该信号量的进程或线程
int sem_post(sem_t *sem);
成功返回0；失败返回-1，不会改变它的值，设置errno，该函数是异步信号安全的，可以在信号处理程序里调用它无名信号量，用于进程体内各线程间的互斥和同步,使用如下API(无名信号量,基于内存的信号量)
（1）、sem_init
功能：用于创建一个信号量，并初始化信号量的值。
头文件：
函数原型： int sem_init (sem_t* sem, int pshared, unsigned int value);
函数传入值： sem:信号量。pshared:决定信号量能否在几个进程间共享。由于目前LINUX还没有实现进程间共享信息量，所以这个值只能取0。
（2）其他函数。
int sem_wait (sem_t* sem);
int sem_trywait (sem_t* sem);
int sem_post (sem_t* sem);
int sem_getvalue (sem_t* sem);
int sem_destroy (sem_t* sem);
功能：sem_wait和sem_trywait相当于P操作，它们都能将信号量的值减一，两者的区别在于若信号量的值小于零时，sem_wait将会阻塞进程，而sem_trywait则会立即返回。sem_post相当于V操作，它将信号量的值加一，同时发出唤醒的信号给等待的进程（或线程）。
sem_getvalue 得到信号量的值。
sem_destroy 摧毁信号量。
如果某个基于内存的信号灯是在不同进程间同步的，该信号灯必须存放在共享内存区中，这要只要该共享内存区存在，该信号灯就存在。
互斥锁(又名互斥量）强调的是资源的访问互斥：互斥锁是用在多线程多任务互斥的，一个线程占用了某一个资源，那么别的线程就无法访问，直到这个线程unlock，其他的线程才开始可以利用这个资源。比如对全局变量的访问，有时要加锁，操作完了，在解锁。有的时候锁和信号量会同时使用的”
也就是说，信号量不一定是锁定某一个资源，而是流程上的概念，比如：有A,B两个线程，B线程要等A线程完成某一任务以后再进行自己下面的步骤，这个任务并不一定是锁定某一资源，还可以是进行一些计算或者数据处理之类。而线程互斥量则是“没岩锁住某一资源”的概念，在锁定期间内，其他线程无法对被保护的数据进行操作。在有些情况下两者可以互换。
在linux下, 线程的互斥量数据类型是pthread_mutex_t. 在使用前, 要对它进行初始化:
对于静态分配的互斥量, 可以把它设置为PTHREAD_MUTEX_INITIALIZER, 或者调用pthread_mutex_init.
对于动态分配的互斥量, 在申请内存(malloc)之后, 通过pthread_mutex_init进行初始化, 并且在释放内存(free)前需要调用pthread_mutex_destroy.
原型:
int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restric attr);
int pthread_mutex_destroy(pthread_mutex_t *mutex);
头文件:
返回值: 成功则返回0, 出错则返回错误编号.
说明: 如果使用默认的属性初始化互斥量, 只需把attr设为NULL. 其他值在以后讲解.
首先说一下加锁函数:
头文件:
int pthread_mutex_lock(pthread_mutex_t *mutex);
int pthread_mutex_trylock(pthread_mutex_t *mutex);
返回值: 成功则返回0, 出错则返回错误编号.
说 明: 具体说一下trylock函数, 这个函数是非阻塞调用模式, 也就是说, 如果互斥量没被锁住, trylock函数将把互斥量加锁, 并获得对共享资源的访问权限; 如果互斥量 被锁住了, trylock函数将不会阻塞等待而直接返回EBUSY, 表示共享资源处于忙状态.
再说一下解所函数:
头文件:
原型: int pthread_mutex_unlock(pthread_mutex_t *mutex);
返回值: 成功则返回0, 出错则返回错误编号.
条件变量常与互斥锁同时使用，达到线程同步的目的：条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足。在发 送信号时，如果没有线程 等待在该条件变量上，那么信号将丢失；而信号量有计数值，每次信号量post操作都会被记录
互斥锁必须是谁上锁就由谁来解锁，而信号量的wait和post操作不必由同一个线程执行。
2. 互斥锁要么被锁住，要么被解开，和二值信号量类似
3. sem_post是各种同步技巧中，唯一一个能在信号处理程序中安全调用的函数
4. 互斥锁是为上锁而优化的；条件变量是为等待而优化的； 信号量既可用于上锁，也可用于等待，因此会有更多的开销和更高的复杂性
5. 互斥锁，条件变量都只用于同一个进程的各线程间，而信号量（有名信号量）可用于不同进程间的同步。当信号量用于进程间同步时，要求信号量建立在共享内存区。
6. 信号量有计数值，每次信号量post操作都会被记录，而条件变量在发送信号时，如果没有线程在等待该条件变量，那么信号将丢失。
读写锁
读写锁与互斥量类似，不过读写锁允许更高的并行性。互斥量要么是锁住状态要么是不加锁状态，而且一次只有一个线程可以对其加锁。
读写锁可以由三种状态：读模式下加锁状态、写模式下加锁状态、不加锁状态。一次只有一个线程可以占有写模式的读写锁，但是多个线程可以同时占有读模式的读写
锁。
在读写锁是写加锁状态时，在这个锁被解锁之前，所有试图对这个锁加锁的线程都会被阻塞。当读写锁在读加锁状态时，所有试图以读模式对它进行加锁的线程都可以得到访问权，但是如果线程希望以写模式对此锁进行加锁，它必须阻塞直到所有的线程释放读锁。虽然读写锁的实现各不相同，但当读写锁处于读模式锁住状态时，如果有另外的线程试图以写模式加锁，读写锁通常会阻塞随后的读模式锁请求。这样可以避免读模式锁长期占用，而等待的写模式锁请求一直得不到满足。
读写锁非常适合于对数据结构读的次数远大于写的情况。当读写锁在写模式下时，它所保护的数据结构就可以被安全地修改，因为当前只有一个线程可以在写模式下拥 有这个锁。当读写锁在读状态下时，只要线程获取了读模式下的读写锁，该锁所保护的数据结构可以被多个获得读模式锁的线程读取。
读写锁也叫做共享-独占锁，当读写锁以读模式锁住时，它是以共享模式锁住的；当他以写模式锁住时，它是以独占模式锁住的。
初始化和销毁:
#include
int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr);
int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);
成功则返回0, 出错则返回错误编号.
同互斥量以上, 在释放读写锁占用的内存之前, 需要先通过thread_rwlock_destroy对读写锁进行清理工作, 释放由init分配的资源.
读和写:
#include
int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_unlock(pthread_rwlock_t *rwlock);
成功则返回0, 出错则返回错误编号.
这3个函数分别实现获取读锁, 获取写锁和释放锁的操作. 获取锁的两个函数是阻塞操作, 同样, 非阻塞的函数为:
#include
int pthread_rwlock_tryrdlock(pthread_rwlock_t *rwlock);
int pthread_rwlock_trywrlock(pthread_rwlock_t *rwlock);
成功则返回0, 出错则返回错误编号.
非阻塞的获取锁操作, 如果可以获取则返回0, 否则返回错误的EBUSY.
虽然读写锁提高了并行性，但是就速度而言并不比互斥量快.
可能这也是即使有读写锁存在还会使用互斥量的原因，因为他在速度方面略胜一筹。这就需要我们在写程序的时候综合考虑速度和并行性并找到一个折中。
比如： 假设使用互斥量需要0.5秒，使用读写锁需要0.8秒。在类似学生管理系统这类中，可能百分之九十的时间都是查询操作，那么假如现在突然来个个20个请求，如果使用的是互斥量，那么最后的那个查询请求被满足需要10后。这样，估计没人能受得了。而使用读写锁，应为 读锁能够多次获得。所以所有的20个请求，每个请求都能在1秒左右得到满足。
也就是说，在一些写操作比较多或是本身需要同步的地方并不多的程序中我们应该使用互斥量，而在读操作远大于写操作的一些程序中我们应该使用读写锁来进行同步
条件变量(condition)
条件变量与互斥量一起使用时，允许线程以无竞争的方式等待特定的条件发生。
条件本身是由互斥量保护的。线程在改变条件状态前必须首先锁住互斥量，其它线程在获得互斥量之前不会察觉到这种改变，因此必须锁定互斥量以后才能计算条件。
条件的检测是在互斥锁的保护下进行的。如果一个条件为假，一个线程自动阻塞，并释放等待状态改变的互斥锁。如果另一个线程改变了条件，它发信号给关联的条件
变量，唤醒一个或多个等待它的线程，重新获得互斥锁，重新评价条件。如果两进程共享可读写的内存，条件变量可以被用来实现这两进程间的线程同步。
1. 初始化:
条件变量采用的数据类型是pthread_cond_t, 在使用之前必须要进行初始化, 这包括两种方式:
静态: 可以把常量PTHREAD_COND_INITIALIZER给静态分配的条件变量.
动态: pthread_cond_init函数, 是释放动态条件变量的内存空间之前, 要用pthread_cond_destroy对其进行清理.
#include
int pthread_cond_init(pthread_cond_t *restrict cond, pthread_condattr_t *restrict attr);
int pthread_cond_destroy(pthread_cond_t *cond);
成功则返回0, 出错则返回错误编号.
注意：条件变量占用的空间并未被释放。
当pthread_cond_init的attr参数为NULL时, 会创建一个默认属性的条件变量; 非默认情况以后讨论.
2. 等待条件:
#include
int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restric mutex);
int pthread_cond_timedwait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, const struct timespec *restrict timeout);
成功则返回0, 出错则返回错误编号.
这两个函数分别是阻塞等待和超时等待.
等待条件函数等待条件变为真, 传递给pthread_cond_wait的互斥量对条件进行保护, 调用者把锁住的互斥量传递给函数. 函数把调用线程放到等待条件的线程列表上, 然后对互斥量解锁, 这两个操作是原子的. 这样 便关闭了条件检查和线程进入休眠状态等待条件改变这两个操作之间的时间通道, 这样线程就不会错过条件的任何变化.
当pthread_cond_wait返回时, 互斥量再次被锁住.
pthread_cond_wait函数的返回并不意味着条件的值一定发生了变化，必须重新检查条件的值。
pthread_cond_wait函数返回时，相应的互斥锁将被当前线程锁定，即使是函数出错返回。
阻塞在条件变量上的线程被唤醒以后，直到pthread_cond_wait()函数返回之前条件的值都有可能发生变化。所以函数返回以后，在锁定相应的互斥锁之前，必须重新测试条 件值。更好的测试方法是循环调用pthread_cond_wait函数，并把满足条件的表达式置为循环的终止条件。如：
pthread_mutex_lock();
while (condition_is_false)
pthread_cond_wait();
pthread_mutex_unlock();
阻塞在同一个条件变量上的不同线程被释放的次序是不一定的。
注意：pthread_cond_wait()函数是退出点，如果在调用这个函数时，已有一个挂起的退出请求，且线程允许退出，这个线程将被终止并开始执行善后处理函数，而这时和条 件变量相关的互斥锁仍将处在锁定状态。
pthread_cond_timedwait函数到了一定的时间，即使条件未发生也会解除阻塞。这个时间由参数abstime指定。函数返回时，相应的互斥锁往往是锁定的，即使是函数出错返回。
注意：pthread_cond_timedwait函数也是退出点。
超时时间参数是指一天中的某个时刻。使用举例：
pthread_timestruc_t to;
to.tv_sec = time(NULL) + TIMEOUT;
to.tv_nsec = 0;
超时返回的错误码是ETIMEDOUT。
3. 通知条件:
#include
int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);
成功则返回0, 出错则返回错误编号.
这两个函数用于通知线程条件已经满足. 调用这两个函数, 也称向线程或条件发送信号. 必须注意, 一定要在改变条件状态以后再给线程发送信号.
linux seminit的介绍就聊到这里吧，感谢你花时间阅读本站内容，更多关于linux seminit,Linux Seminit：管理和同步信号量的关键,linux 信号灯中线程切换问题,如何对读写锁进行处理的信息别忘了在本站进行查找喔。
