深入探究Linux线程函数编程技术 (linux 线程函数编程)

Linux操作系统是开源的,具有高度的自由度和可定制性。其中一项非常重要的功能是线程。线程是操作系统中的基本执行单元,它是程序内部的一条独立执行的路径。Linux线程函数编程技术是Linux中用户空间的多线程编程技术,本文将会深入探究它的原理和应用。

一、Linux线程函数编程技术的原理

Linux线程函数编程技术可以让程序员创建多个并发执行的线程。在Linux中,可以使用POSIX线程库来编写多线程程序。POSIX线程库是一个通用的线程库,被广泛地用于多种操作系统中。在Linux系统中,POSIX线程库是glibc的一部分,因此它是所有Linux发行版中的标准库。POSIX线程库中提供了一组API函数,用于线程的创建、销毁、同步等操作,同时也有一些与线程相关的数据类型和常量定义。POSIX线程库的API函数主要有以下几个:

pthread_create:用于创建一个新的线程。

pthread_join:等待一个线程结束并释放该线程的资源。

pthread_exit:用于线程的退出。

pthread_mutex_init、pthread_mutex_lock、pthread_mutex_unlock:用于实现互斥。

pthread_cond_init、pthread_cond_wt、pthread_cond_signal、pthread_cond_broadcast:条件变量。

在使用Linux线程函数编程技术时,需要注意以下一些要点:

1. 线程是共享进程内的数据空间的,因此需要使用同步机制来保证线程间的正确互斥和同步。

2. 线程的创建、销毁和同步操作会在不同的线程中执行。因此,应该避免创建“竞态条件”。

3. 程序员必须了解在多线程程序中可能出现的“死锁”和“饥饿”等错误。

二、Linux线程函数编程技术的应用

Linux线程函数编程技术可以用于实现多任务并发执行。在一些需要同时执行多个任务的场景下,例如网络服务器、数据库、GUI程序等,都可以使用Linux线程函数编程技术来提高程序的处理性能和用户体验。

1. 网络服务器

互联网上的众多服务器,例如Web服务器、邮件服务器、FTP服务器等,都需要实现异步并发处理,即能够同时为多个客户端提供服务。在Linux中,可以使用多线程技术来实现异步并发处理,提高服务器的并发性能。

2. 数据库

在一些需要同时处理多个数据库请求的场景下,例如企业级应用程序、大型网站等,可以使用多线程技术来实现负载平衡和实时响应。在Linux中,使用线程池或线程队列技术可以有效地提高数据库的吞吐量和响应速度。

3. GUI程序

图形用户界面程序通常需要同时处理多个用户界面事件,例如鼠标点击、键盘输入、窗口拖动等。在Linux中,使用多线程技术可以实现异步事件处理,提高程序的响应速度和用户体验。

Linux线程函数编程技术是Linux中用户空间的多线程编程技术。通过使用POSIX线程库提供的API函数,程序员可以实现多任务并发执行,提高程序的处理性能和用户体验。在实际应用中,需要注意同步机制、竞态条件、死锁等问题,避免出现错误。

相关问题拓展阅读:

Linux 的多线程编程中,如何给线程发信号

不管是在进程还是线程,很多时候我们都会使用一些定时器之类的功能,这里就定时器在多线程的使用说一下。首先在linux编程中定时器函数有alarm()和setitimer(),alarm()可以提供一个基于秒的定时功能,而setitimer可以提供一个基于微妙的定时功能。

alarm()原型:

#include

unsigned int alarm(unsigned int seconds);

这个函数在使用上很简单,之一次调用这个函数的时候是设置定时器的初值,下一次调用是重新设置这个值,并会返回上一次定时的剩余时间。

setitimer()原型:

#include

int setitimer(int which, const struct itimerval *value,struct itimerval *ovalue);

这个函数使用起来稍微有点说法,首先是之一个参数which的值,这个参数设置timer的计时策略,which有三种状态分别是:

ITIMER_REAL:使用系统时间来计数,时间为0时发出SIGALRM信号,这种定时能够得到一个精准的定时,当然这个定时是相对的,因为到了微秒级别我们的处理器本身就不够精确。

ITIMER_VIRTUAL:使用进程时间也就是进程分配到的时间片的时间来计数,时间为0是发出SIGVTALRM信号,这种定时显然不够准确耐亏慎,因为系统给进程分配时间片不由我们控制。

ITIMER_PROF:昌敬上面两种情况都能够触发

第二个参数参数value涉及到两个结构体:

struct itimerval {

struct timeval it_interval;/* next value */

struct timeval it_value;/* current value */

};

struct timeval {

long tv_sec;/* seconds */

long tv_usec;/* microseconds */

};

在结构体itimerval中it_value是定时器当前的值,it_interval是当it_value的为0后重新填充的值。而timeval结构体中的两个变量就简单了一个是秒一个是微秒。

上面是这两个定时函数的说明,这个函数使用本不是很难,可以说是很简单,但是碰到具体的应用的时候可能就遇到问题了,在多进程编程中使用一般不会碰到什么问题,这里说的这些问题主要体现在多线程编程中。比如下面这个程序:

#include

#include

#include

#include

#include

#include

void sig_handler(int signo)

{

alarm(2);

printf(“alarm signal\n”);

}

void *pthread_func()

{

alarm(2);

while(1)

{

pause();

}

}

int main(int argc, char **argv)

{

pthread_t tid;

int retval;

signal(SIGALRM, sig_handler);

if((retval = pthread_create(&tid, NULL, pthread_func, NULL))

{

perror(“pthread_create”);

exit(-1);

}

while(1)

{

printf(“main thread\n”);

sleep(10);

}

return 0;

}

这个程序的理想结果是:

main thread

alarm signal

alarm signal

alarm signal

alarm signal

alarm signal

main thread

可事实上并不是这样的,它的结果是:

main pthread

alarm signal

main pthread

alarm signal

main pthread

浅谈linux 多线程编程和 windows 多线程编程的异同

首先我们讲讲为什么要采用多线程编程,其实并不是所有的程序都必须采用多线程,有些时候采用多线程,性能还没有单线程好。所以我们要搞清楚,什么时候采用多线程。采用多线程的好处如下:

  (1)因为多线程彼此之间采用相同的地址空间,共享大部分的数据,这样和多进程相比,代价比较节俭,因为多进程的话,启动新的进程必须分配给它独立的地址空间,这样需要数据表来维护代码段,数据段和堆栈段等等。

  (2)多线程和多进程相比,一个明显的优点就是线程之间的通信了,对不同进程来说,它们具有独立的数据空间,要进行数据的传递只能通过通信的方式进行,这种方式不仅费时,而且很不方便。但是对于多线程就不一样了。他们之间可以直接共享数据,比如最简单的方式就是共享全局变量。但是共享全部变量也要注意哦,呵呵,必须注意同步,不然后果你知道的。呵呵。

  (3)在多cpu的情况下,不同的线程可以运行不同的cpu下,这样就完全并行了。

  反正我觉得在这种情况下,采用多线程比较理想。比如说你要做一个任务分2个步骤,你为提高工作效率,你可以多线程技术,开辟2个线程,之一个线程就做之一步的工作,第2个线程就做第2步的工作。但是你这个时候要注意同步了。因为只有之一步做完才能做第2步的工作。这时,我们可以采用同步技术进行线程之间的通信。

  针对这种情况,我们首先讲讲多线程之间的通信,在windows平台下,多线程之间通信采用的方法主要有:

  (1)共享全局变量,这种方法是最容易想到的,呵呵,那就首先讲讲吧,比如说吧,上面的问题,之一步要向第2步传递收据,我们可以之间共享全局变量,让两手岁个线程之间传递数据,这时主要考虑的就是同步了,因为你后面的线程在对数据进行操作的时候,你之一个线程又改变了数据的内容,你不同步保护,后果很严重的。你也知道,这种情况就是读脏数据了。在这种情况下,我们最容易想到的同步方法就是设置一个bool flag了,比如说在第2个线程还没有用完数据前,之一个线程不能写入。有时在2个线程所需的时间不相同的时候,怎样达到更大效率的同步,就比较麻烦了。咱们可以多开几个缓冲区进行操作。就像生产者消费者一样了。如果是2个线程一直在跑的,由于时间不一致,缓冲区迟早会溢出的。在这种情况下就要考虑了,是不让数据写入还是让数据覆盖掉老的数据,这时候就要具体问题具体分析了。就此打住,呵呵。就是用bool变量控制同步,linux 和windows是一样的。

  既然讲道了这里,就再讲讲其它同步的方法。同样 针对上面的这个问题,共享全局变量同步问题。除了采用bool变量外,最容易想到的方法就是互斥量了。呵呵,也就是传说中的加锁了。windows下加锁和linux下加锁是类似的。采用互斥量进行同步,要想进入那段代码,就先必须获得互斥量。

  linux上互斥量毕握睁的函数是:

  windows下互斥量的函数有:createmutex 创建一个互斥量,然皮戚后就是获得互斥量waitforsingleobject函数,用完了就释放互斥量ReleaseMutex(hMutex),当减到0的时候 内核会才会释放其对象。下面是windows下与互斥的几个函数原型。

  HANDLE WINAPI CreateMutex(

__in LPSECURITY_ATTRIBUTES lpMutexAttributes,

__in BOOL bInitialOwner,

__in LPCTSTR lpName

);

可以可用来创建一个有名或无名的互斥量对象

之一参数 可以指向一个结构体SECURITY_ATTRIBUTES 一般可以设为null;

第二参数 指当时的函数是不是感应感应状态 FALSE为当前拥有者不会创建互斥

第三参数 指明是否是有名的互斥对象 如果是无名 用null就好。

  DWORD WINAPI WaitForSingleObject(

  __in HANDLE hHandle,

  __in DWORD dwMilliseconds

  );

  之一个是 创建的互斥对象的句柄。第二个是 表示将在多少时间之后返回 如果设为宏INFINITE 则不会返回 直到用户自己定义返回。

  对于linux操作系统,互斥也是类似的,只是函数不同罢了。在linux下,和互斥相关的几个函数也要闪亮登场了。

  pthread_mutex_init函数:初始化一个互斥锁;

  pthread_mutex_destroy函数:注销一个互斥锁;

  pthread_mutex_lock函数:加锁,如果不成功,阻塞等待;

  pthread_mutex_unlock函数:解锁;

  pthread_mutex_trylock函数:测试加锁,如果不成功就立即返回,错误码为EBUSY;

  至于这些函数的用法,google上一搜,就出来了,呵呵,在这里不多讲了。windows下还有一个可以用来保护数据的方法,也是线程同步的方式

  就是临界区了。临界区和互斥类似。它们之间的区别是,临界区速度快,但是它只能用来同步同一个进程内的多个线程。临界区的获取和释放函数如下:

  EnterCriticalSection() 进入临界区; LeaveCriticalSection()离开临界区。 对于多线程共享内存的东东就讲到这里了。

  (2)采用消息机制进行多线程通信和同步,windows下面的的消息机制的函数用的多的就是postmessage了。Linux下的消息机制,我用的较少,就不在这里说了,如果谁熟悉的,也告诉我,呵呵。

  (3)windows下的另外一种线程通信方法就是事件和信号量了。同样针对我开始举得例子,2个线程同步,他们之间传递信息,可以采用事件(Event)或信号量(Semaphore),比如之一个线程完成生产的数据后,就必须告诉第2个线程,他已经把数据准备好了,你可以来取走了。第2个线程就把数据取走。呵呵,这里可以采用消息机制,当之一个线程准备好数据后,就直接postmessage给第2个线程,按理说采用postmessage一个线程就可以搞定这个问题了。呵呵,不是重点,省略不讲了。

  对于linux,也有类似的方法,就是条件变量了,呵呵,这里windows和linux就有不同了。要特别讲讲才行。

  对于windows,采用事件和信号量同步时候,都会使用waitforsingleobject进行等待的,这个函数的之一个参数是一个句柄,在这里可以是Event句柄,或Semaphore句柄,第2个参数就是等待的延迟,最终等多久,单位是ms,如果这个参数为INFINITE,那么就是无限等待了。释放信号量的函数为ReleaseSemaphore();释放事件的函数为SetEvent。当然使用这些东西都要初始化的。这里就不讲了。Msdn一搜,神马都出来了,呵呵。神马都是浮云!

  对于linux操作系统,是采用条件变量来实现类似的功能的。Linux的条件变量一般都是和互斥锁一起使用的,主要的函数有:

  pthread_mutex_lock ,

  pthread_mutex_unlock,

  pthread_cond_init

  pthread_cond_signal

  pthread_cond_wait

  pthread_cond_timewait

  为了和windows操作系统进行对比,我用以下表格进行比较:

  对照以上表格,总结如下:

  (1) Pthread_cleanup_push,Pthread_cleanup_pop:

  这一对函数push和pop的作用是当出现异常退出时,做一些清除操作,即当在push和pop函数之间异常退出,包括调用pthread_exit退出,都会执行push里面的清除函数,如果有多个push,注意是是栈,先执行后面的那个函数,在执行前面的函数,但是注意当在这2个函数之间通过return 退出的话,执不执行push后的函数就看pop函数中的参数是不是为0了。还有当没有异常退出时,等同于在这里面return退出的情况,即:当pop函数参数不为0时,执行清除操作,当pop函数参数为0时,不执行push函数中的清除函数。

  (2)linux的pthread_cond_signal和SetEvent的不同点

  Pthread_cond_singal释放信号后,当没有Pthread_cond_wait,信号马上复位了,这点和SetEvent不同,SetEvent是不会复位的。详解如下:

  条件变量的置位和复位有2种常用模型:之一种模型是当条件变量置位时(signaled)以后,如果当前没有线程在等待,其状态会保持为置位(signaled),直到有等待的线程进入被触发,其状态才会变为unsignaled,这种模型以采用Windows平台上的Auto-set Event 为代表。

  第2种模型则是Linux平台的pthread所采用的模型,当条件变量置位(signaled)以后,即使当前没有任何线程在等待,其状态也会恢复为复位(unsignaled)状态。

  条件变量在Linux平台上的这种模型很难说好坏,在实际应用中,我们可以对

  代码稍加改进就可以避免这种差异的发生。由于这种差异只会发生在触发没有被线程等待在条件变量的时刻,因此我们只需要掌握好触发的时机即可。最简单的做法是增加一个计数器记录等待线程的个数,在决定触发条件变量前检查该变量即可。

  示例 使用 pthread_cond_wait() 和 pthread_cond_signal()

  pthread_mutex_t count_lock;

  pthread_cond_t count_nonzero;

  unsigned count;

  decrement_count()

  {

  pthread_mutex_lock(&count_lock);

  while (count == 0)

  pthread_cond_wait(&count_nonzero, &count_lock);

  count = count – 1;

  pthread_mutex_unlock(&count_lock);

  }

  increment_count()

  {

  pthread_mutex_lock(&count_lock);

  if (count == 0)

  pthread_cond_signal(&count_nonzero);

  count = count + 1;

  pthread_mutex_unlock(&count_lock);

  }

  (3) 注意Pthread_cond_wait条件返回时互斥锁的解锁问题

  extern int pthread_cond_wait __P ((pthread_cond_t *__cond,pthread_mutex_t *__mutex));

  调用这个函数时,线程解开mutex指向的锁并被条件变量cond阻塞。线程可以被函数pthread_cond_signal和函数 pthread_cond_broadcast唤醒线程被唤醒后,它将重新检查判断条件是否满足,如果还不满足,一般说来线程应该仍阻塞在这里,被等待被下一次唤醒。如果在多线程中采用pthread_cond_wait来等待时,会首先释放互斥锁,当等待的信号到来时,再次获得互斥锁,因此在之后要注意手动解锁。举例如下:

  #include

  #include

  #include

  pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER; /*初始化互斥锁*/

  pthread_cond_t cond = PTHREAD_COND_INITIALIZER; //初始化条件变量

  void *thread1(void *);

  void *thread2(void *);

  int i=1;

  int main(void)

  {

  pthread_t t_a;

  pthread_t t_b;

  pthread_create(&t_a,NULL,thread1,(void *)NULL);/*创建进程t_a*/

  pthread_create(&t_b,NULL,thread2,(void *)NULL); /*创建进程t_b*/

  pthread_join(t_b, NULL);/*等待进程t_b结束*/

  pthread_mutex_destroy(&mutex);

  pthread_cond_destroy(&cond);

  exit(0);

  }

  void *thread1(void *junk)

  {

  for(i=1;i

  {

  printf(“IN one\n”);

  pthread_mutex_lock(&mutex);//

  if(i%3==0)

  pthread_cond_signal(&cond);/*,发送信号,通知t_b进程*/

  else

  printf(“thead1:%d\n”,i);

  pthread_mutex_unlock(&mutex);//*解锁互斥量*/

  printf(“Up Mutex\n”);

  sleep(3);

  }

  }

  void *thread2(void *junk)

  {

  while(i

  {

  printf(“IN two \n”);

  pthread_mutex_lock(&mutex);

  if(i%3!=0)

  pthread_cond_wait(&cond,&mutex);/*等待*/

  printf(“thread2:%d\n”,i);

  pthread_mutex_unlock(&mutex);

  printf(“Down Mutex\n”);

  sleep(3);

  }

  }

  输出如下:

  IN one

  thead1:1

  Up Mutex

  IN two

  IN one

  thead1:2

  Up Mutex

  IN one

  thread2:3

  Down Mutex

  Up Mutex

  IN one

  thead1:4

  Up Mutex

  IN two

  IN one

  thead1:5

  Up Mutex

  IN one

  Up Mutex

  thread2:6

  Down Mutex

  IN two

  thread2:6

  Down Mutex

  IN one

  thead1:7

  Up Mutex

  IN one

  thead1:8

  Up Mutex

  IN two

  IN one

  Up Mutex

  thread2:9

  Down Mutex

  注意蓝色的地方,有2个thread2:6,其实当这个程序多执行几次,i=3和i=6时有可能多打印几个,这里就是竞争锁造成的了。

  (4)另外要注意的Pthread_cond_timedwait等待的是绝对时间,这个和WaitForSingleObject是不同的,Pthread_cond_timedwait在网上也有讨论。如下:这个问题比较经典,我把它搬过来。

  thread_a :

pthread_mutex_lock(&mutex);

//do something

pthread_mutex_unlock(&mutex)

  thread_b:

  pthread_mutex_lock(&mutex);

//do something

pthread_cond_timedwait(&cond, &mutex, &tm);

pthread_mutex_unlock(&mutex)

  有如上两个线程thread_a, thread_b,现在如果a已经进入了临界区,而b同时超时了,那么b会从pthread_cond_timedwait返回吗?如果能返回,那岂不是a,b都在临界区?如果不能返回,那pthread_cond_timedwait的定时岂不是就不准了?

  大家讨论有价值的2点如下:

  (1) pthread_cond_timedwait (pthread_cond_t *cv, pthread_mutex_t *external_mutex, const struct timespec *abstime) — This function is a time-based variant of pthread_cond_wait. It waits up to abstime amount of time for cv to be notified. If abstime elapses before cv is notified, the function returns back to the caller with an ETIME result, signifying that a timeout has occurred. Even in the case of timeouts, the external_mutex will be locked when pthread_cond_timedwait returns.

  (2) 2.1 pthread_cond_timedwait行为和pthread_cond_wait一样,在返回的时候都要再次lock mutex.

2 .2pthread_cond_timedwait所谓的如果没有等到条件变量,超时就返回,并不确切。

如果pthread_cond_timedwait超时到了,但是这个时候不能lock临界区,pthread_cond_timedwait并不会立即返回,但是在pthread_cond_timedwait返回的时候,它仍在临界区中,且此时返回值为ETIMEDOUT。

  关于pthread_cond_timedwait超时返回的问题,我也认同观点2。

  附录:

  int pthread_create(pthread_t *restrict tidp,const pthread_attr_t *restrict_attr,void*(*start_rtn)(void*),void *restrict arg);

  返回值:若成功则返回0,否则返回出错编号

  返回成功时,由tidp指向的内存单元被设置为新创建线程的线程ID。attr参数用于制定各种不同的线程属性。新创建的线程从start_rtn函数的地址开始运行,该函数只有一个无指针参数arg,如果需要向start_rtn函数传递的参数不止一个,那么需要把这些参数放到一个结构中,然后把这个结构的地址作为arg的参数传入。

  linux下用C开发多线程程序,Linux系统下的多线程遵循POSIX线程接口,称为pthread。

  由 restrict 修饰的指针是最初唯一对指针所指向的对象进行存取的方法,仅当第二个指针基于之一个时,才能对对象进行存取。对对象的存取都限定于基于由 restrict 修饰的指针表达式中。 由 restrict 修饰的指针主要用于函数形参,或指向由 malloc() 分配的内存空间。restrict 数据类型不改变程序的语义。 编译器能通过作出 restrict 修饰的指针是存取对象的唯一方法的假设,更好地优化某些类型的例程。

  之一个参数为指向线程标识符的指针。

  第二个参数用来设置线程属性。

  第三个参数是线程运行函数的起始地址。

  第四个参数是运行函数的参数。

  因为pthread不是linux系统的库,所以在编译时注意加上-lpthread参数,以调用静态链接库。

  终止线程:

  如果在进程中任何一个线程中调用exit或_exit,那么整个进行会终止,线程正常的退出方式有:

  (1) 线程从启动例程中返回(return)

  (2) 线程可以被另一个进程终止(kill);

  (3) 线程自己调用pthread_exit函数

  #include

  pthread_exit

  线程等待:

  int pthread_join(pthread_t tid,void **rval_ptr)

  函数pthread_join用来等待一个线程的结束。函数原型为:

  extern int pthread_join __P (pthread_t __th, void **__thread_return);

  之一个参数为被等待的线程标识符,第二个参数为一个用户定义的指针,它可以用来存储被等待线程的返回值。这个函数是一个线程阻塞的函数,调用它的函数将一直等待到被等待的线程结束为止,当函数返回时,被等待线程的资源被收回。

  对于windows线程的创建东西,就不列举了,msdn上 一搜就出来了。呵呵。今天就讲到这里吧,希望是抛砖引玉,大家一起探讨,呵呵。部分内容我也是参考internet的,特此对原作者表示感谢!

关于linux 线程函数编程的介绍到此就结束了,不知道你从中找到你需要的信息了吗 ?如果你还想了解更多这方面的信息,记得收藏关注本站。


数据运维技术 » 深入探究Linux线程函数编程技术 (linux 线程函数编程)