如何解决现在发出信号通知调用pthread_wait的地方在哪里执行?
nlog.override.config
让我们说 thread_2 调用pthread_cond_wait。
线程_1 出现,然后出现pthread_cond_signal。
我了解到 thread_2 将在调用pthread_cond_wait时被阻止,并解锁其互斥量。 但是,我感到困惑的是,在 thread_1 调用信号后,将在 thread_2 中的哪一行代码上运行。
在 thread_2 中被唤醒时,它是否从线程_2现在可以访问该互斥锁的开头开始,然后将其锁定,然后再次检查while条件,然后发现它现在是正确的,并且打印测试?
或者thread_2是否可以访问其互斥锁,然后将其锁定,然后再执行 print(“ test”)(忽略while条件)?
解决方法
但是,我对在thread_1调用信号后在thread_2中的哪一行代码上感到困惑。
实际上,在线程_1调用pthread_cond_signal
之后,什么也不会发生,因为线程_1仍然具有互斥锁。关于线程_1的下一条指令是pthread_mutex_unlock
。然后,thread_2将停止在pthread_cond_wait
中锁定,并自动acquire
锁定。然后,while条件将检查条件,中断并打印“测试”。
当一个人调用pthread_cond_signal
时,在另一线程中没有运行特定的代码行。如果希望特定的行以特定的顺序运行,则必须将所有这些行放入一个线程的路径中。
调用pthread_cond_signal
时,另一个线程几乎可以执行任何操作。我们知道的一件事是,
因为信号调用在互斥锁内部,所以另一个线程不在互斥锁中。我们可以标记另一个可以存在的地方:
void thread_2() {
// (A) Either here,or earlier.
pthread_mutex_lock(&mutex);
while (!some_cond)
pthread_cond_wait(&cv,&mutex); // (B) Or here.
printf("test"); // After signaling from thread_1,does this get ran after?
pthread_mutex_unlock(&mutex);
// (C) Or else here,or farther
}
仅当C
为真时,另一个线程才能位于some_cond
。如果假设some_cond
为假,我们就可以忘记C
。
如果是A
,则线程要么在pthread_mutex_lock
之前执行代码(我们可以将其称为A1
),否则它已经达到锁定状态并正在等待互斥(A2
)。
调用pthread_cond_signal
的线程拥有互斥体,并在进行此调用后继续这样做。因此,另一个线程可能位于A1
中,并前进到A2
(等待互斥锁)。
如果线程位于B
中:等待条件变量,则信号可能将其唤醒。在从pthread_cond_wait
返回之前,它必须重新获取该互斥锁,因此它可能会卡在那里等待。无论如何,在B
状态下,只有第一个线程执行pthread_cond_wait
时,另一个线程才能从pthread_mutex_unlock
调用返回。
另一个线程可能处于A1
状态(尚未到达互斥体),而信号器可能完成所有操作:设置变量,发出信号并释放互斥体。然后另一个线程将立即获取互斥对象,而无需等待,条件成立,然后离开互斥对象。由于从未调用pthread_cond_wait
,因此该信令无关紧要。
如果您正在使用共享变量和显式同步原语(例如互斥锁和条件)进行编程,则必须对所有可能发生的情况进行推理:其他线程可能处于的所有相关状态。
,其他几个例子都很好,但是它们似乎也掩盖了我认为是OP混乱的关键点的原因。
在线程_1发出信号后,我对线程_2中的哪一行代码会感到困惑。
这里没有魔术。 pthread_cond_wait()
是一个函数,其行为类似于一个函数。等待结束后,并重新获取了互斥锁,它会返回给其调用方。控制通常从那里开始,就像在其他任何函数调用返回之后一样。
在这种特殊情况下,函数调用是while
循环主体中的唯一语句,因此在调用返回之后发生的下一件事将是重新评估while
条件。 / p>
请注意,pthread_cond_wait
的调用方可以并且应该检查返回值以捕获并处理指示已发生错误的情况,就像其他函数通过其返回值指示错误情况一样
关于:
void thread_1() {
和
void thread_2() {
这些不是线程函数的有效签名!也许你是说:
void * thread_1( void *arg )
和
void * thread_2( void *arg )
此外,在线程函数末尾运行也是无效的。建议每个线程中的最后一条语句为:
pthread_exit( void );
不能保证首先运行哪个线程。如果thread_2()
首先运行,则互斥锁将被锁定,并且thread_2()将永远等待pthread_condition(),但是由于thread_1()
将立即被阻止,试图获取互斥锁。没有(更多)将在那些线程中执行。
通常,函数pthread_wait()
与可执行文件pthread_create()
在可执行文件的同一部分中被调用。这会终止调用代码,直到某些线程退出(在上述情况下,没有线程会退出
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。