MK
摩柯社区 - 一个极简的技术知识社区
AI 面试

阻塞进程的常见解除方法

2024-10-311.7k 阅读

进程阻塞的概念及原理

在操作系统中,进程是程序的一次执行过程,是系统进行资源分配和调度的基本单位。进程在其生命周期内,会经历多种状态,如就绪、运行、阻塞等。其中,阻塞状态是进程运行过程中较为关键的一种状态,它涉及到进程能否继续推进执行以及系统资源的有效利用。

进程阻塞指的是进程因为等待某种事件的发生(如等待 I/O 操作完成、等待获取共享资源等)而暂时无法继续执行,从而将自身状态转换为阻塞状态,让出 CPU 资源,进入等待队列。从操作系统内核角度来看,这是一种合理的资源管理策略。当进程请求的资源暂时不可用时,若不让其阻塞,它将持续占用 CPU 资源进行无效的等待,这会严重降低系统整体的运行效率。

以等待 I/O 操作为例,当进程发起一个磁盘读取操作时,由于磁盘 I/O 速度相对 CPU 速度极为缓慢,如果进程一直等待在那里,CPU 就会被白白浪费。此时,操作系统会将该进程的状态设置为阻塞,并将 CPU 分配给其他就绪状态的进程,从而提高系统的并发处理能力。

常见的进程阻塞原因

I/O 操作相关阻塞

  1. 磁盘 I/O 阻塞:磁盘作为计算机系统的主要存储设备,进程对磁盘数据的读写操作频繁。由于磁盘机械结构的限制,其读写速度远远低于 CPU 和内存的速度。例如,当进程执行一个文件读取操作时,它需要等待磁盘寻道、旋转到指定扇区,然后才能开始传输数据。在这个过程中,进程会被阻塞,直到 I/O 操作完成。
    #include <stdio.h>
    int main() {
        FILE *file = fopen("large_file.txt", "r");
        if (file == NULL) {
            perror("fopen");
            return 1;
        }
        // 这里在等待磁盘读取文件内容时,进程会处于阻塞状态
        char buffer[1024];
        size_t bytes_read = fread(buffer, 1, sizeof(buffer), file);
        fclose(file);
        return 0;
    }
    
  2. 网络 I/O 阻塞:在网络编程中,进程进行网络数据的发送和接收也可能导致阻塞。比如,当进程使用套接字(socket)进行网络连接并等待接收数据时,如果网络延迟较高或者对端尚未发送数据,进程就会一直处于阻塞状态。
    #include <sys/socket.h>
    #include <arpa/inet.h>
    #include <unistd.h>
    #include <stdio.h>
    int main() {
        int sockfd = socket(AF_INET, SOCK_STREAM, 0);
        if (sockfd < 0) {
            perror("socket");
            return 1;
        }
        struct sockaddr_in servaddr;
        servaddr.sin_family = AF_INET;
        servaddr.sin_port = htons(8080);
        servaddr.sin_addr.s_addr = inet_addr("127.0.0.1");
        if (connect(sockfd, (struct sockaddr *)&servaddr, sizeof(servaddr)) < 0) {
            perror("connect");
            close(sockfd);
            return 1;
        }
        char buffer[1024];
        // 这里在等待接收网络数据时,进程会处于阻塞状态
        ssize_t bytes_read = recv(sockfd, buffer, sizeof(buffer), 0);
        close(sockfd);
        return 0;
    }
    

资源竞争导致的阻塞

  1. 共享资源竞争:多个进程可能需要访问共享资源,如共享内存、临界区等。为了保证数据的一致性和完整性,操作系统通常会采用同步机制,如互斥锁(mutex)、信号量(semaphore)等。当一个进程获取了共享资源的锁,而其他进程也试图获取该锁时,这些进程就会因为无法获取锁而被阻塞。
    #include <pthread.h>
    #include <stdio.h>
    pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
    void *thread_function(void *arg) {
        // 尝试获取互斥锁,如果锁已被占用,进程会被阻塞
        pthread_mutex_lock(&mutex);
        printf("Thread entered critical section\n");
        // 模拟一些操作
        sleep(1);
        pthread_mutex_unlock(&mutex);
        return NULL;
    }
    int main() {
        pthread_t thread;
        if (pthread_create(&thread, NULL, thread_function, NULL) != 0) {
            perror("pthread_create");
            return 1;
        }
        // 主线程也尝试获取互斥锁,若子线程未释放,主线程会阻塞
        pthread_mutex_lock(&mutex);
        printf("Main thread entered critical section\n");
        pthread_mutex_unlock(&mutex);
        pthread_join(thread, NULL);
        pthread_mutex_destroy(&mutex);
        return 0;
    }
    
  2. CPU 资源竞争:虽然现代操作系统采用分时复用等调度算法来分配 CPU 资源,但在高负载情况下,进程可能因为无法及时获取足够的 CPU 时间片而被阻塞。当系统中运行的进程过多,而 CPU 核心数量有限时,每个进程分配到的 CPU 时间就会相对减少,一些对 CPU 资源需求较大的进程可能会处于等待 CPU 资源的阻塞状态。

等待事件触发的阻塞

  1. 信号等待:进程可以通过信号机制来接收系统或其他进程发送的异步通知。例如,当进程接收到 SIGTERM 信号时,它可能需要执行一些清理操作后再退出。在等待信号到来的过程中,进程可能处于阻塞状态,特别是当进程设置了信号处理函数,并且在处理函数执行完成之前,进程会等待信号的触发。
    #include <signal.h>
    #include <stdio.h>
    #include <unistd.h>
    void signal_handler(int signum) {
        printf("Received signal %d\n", signum);
    }
    int main() {
        signal(SIGINT, signal_handler);
        printf("Waiting for signal...\n");
        // 这里进程在等待 SIGINT 信号,处于一种等待事件触发的阻塞状态
        while (1) {
            sleep(1);
        }
        return 0;
    }
    
  2. 条件变量等待:条件变量是一种线程同步机制,用于线程间的条件通知。在多线程编程中,一个线程可能需要等待某个条件满足后才能继续执行。例如,生产者 - 消费者模型中,消费者线程可能需要等待生产者线程将数据放入缓冲区后才能继续消费。此时,消费者线程会在条件变量上等待,处于阻塞状态。
    #include <pthread.h>
    #include <stdio.h>
    pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
    pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
    int buffer = 0;
    void *producer(void *arg) {
        pthread_mutex_lock(&mutex);
        buffer = 1;
        printf("Producer produced data\n");
        pthread_cond_signal(&cond);
        pthread_mutex_unlock(&mutex);
        return NULL;
    }
    void *consumer(void *arg) {
        pthread_mutex_lock(&mutex);
        while (buffer == 0) {
            // 消费者线程在条件变量上等待,处于阻塞状态
            pthread_cond_wait(&cond, &mutex);
        }
        printf("Consumer consumed data\n");
        pthread_mutex_unlock(&mutex);
        return NULL;
    }
    int main() {
        pthread_t producer_thread, consumer_thread;
        if (pthread_create(&producer_thread, NULL, producer, NULL) != 0) {
            perror("pthread_create producer");
            return 1;
        }
        if (pthread_create(&consumer_thread, NULL, consumer, NULL) != 0) {
            perror("pthread_create consumer");
            return 1;
        }
        pthread_join(producer_thread, NULL);
        pthread_join(consumer_thread, NULL);
        pthread_mutex_destroy(&mutex);
        pthread_cond_destroy(&cond);
        return 0;
    }
    

阻塞进程的常见解除方法

基于 I/O 操作的解除方法

  1. 优化 I/O 操作
    • 使用异步 I/O:异步 I/O 允许进程在发起 I/O 操作后继续执行其他任务,而不需要等待 I/O 完成。在 Linux 系统中,可以使用 aio 系列函数实现异步 I/O。例如,使用 aio_read 函数进行异步文件读取。
      #include <stdio.h>
      #include <aio.h>
      #include <fcntl.h>
      #include <unistd.h>
      int main() {
          int fd = open("example.txt", O_RDONLY);
          if (fd < 0) {
              perror("open");
              return 1;
          }
          struct aiocb aiocbp;
          char buffer[1024];
          aiocbp.aio_fildes = fd;
          aiocbp.aio_buf = buffer;
          aiocbp.aio_nbytes = sizeof(buffer);
          aiocbp.aio_offset = 0;
          if (aio_read(&aiocbp) != 0) {
              perror("aio_read");
              close(fd);
              return 1;
          }
          // 这里进程可以继续执行其他任务,而不需要等待 I/O 完成
          while (aio_error(&aiocbp) == EINPROGRESS) {
              // 可以执行其他操作
          }
          ssize_t bytes_read = aio_return(&aiocbp);
          if (bytes_read < 0) {
              perror("aio_return");
          }
          close(fd);
          return 0;
      }
      
    • 缓冲技术:通过使用缓冲区,可以减少 I/O 操作的次数。例如,在文件读写中,可以使用标准库的缓冲函数,如 setvbuf 来设置缓冲区的大小和类型。对于磁盘 I/O,操作系统也通常会使用页缓存(page cache)来提高 I/O 性能。当进程进行文件读取时,首先会在页缓存中查找,如果数据存在则直接返回,避免了磁盘 I/O 操作,从而减少进程阻塞时间。
  2. 处理网络 I/O 阻塞
    • 非阻塞套接字:在网络编程中,将套接字设置为非阻塞模式可以避免进程在 I/O 操作上长时间阻塞。在 Linux 系统中,可以使用 fcntl 函数将套接字设置为非阻塞。
      #include <sys/socket.h>
      #include <arpa/inet.h>
      #include <unistd.h>
      #include <fcntl.h>
      #include <stdio.h>
      int main() {
          int sockfd = socket(AF_INET, SOCK_STREAM, 0);
          if (sockfd < 0) {
              perror("socket");
              return 1;
          }
          int flags = fcntl(sockfd, F_GETFL, 0);
          if (flags < 0) {
              perror("fcntl F_GETFL");
              close(sockfd);
              return 1;
          }
          if (fcntl(sockfd, F_SETFL, flags | O_NONBLOCK) < 0) {
              perror("fcntl F_SETFL");
              close(sockfd);
              return 1;
          }
          struct sockaddr_in servaddr;
          servaddr.sin_family = AF_INET;
          servaddr.sin_port = htons(8080);
          servaddr.sin_addr.s_addr = inet_addr("127.0.0.1");
          if (connect(sockfd, (struct sockaddr *)&servaddr, sizeof(servaddr)) < 0) {
              if (errno != EINPROGRESS) {
                  perror("connect");
                  close(sockfd);
                  return 1;
              }
          }
          // 这里进程不会阻塞在 connect 操作上,可以继续执行其他任务
          char buffer[1024];
          ssize_t bytes_read = recv(sockfd, buffer, sizeof(buffer), 0);
          if (bytes_read < 0 && errno == EAGAIN) {
              // 表示当前没有数据可读,进程可以继续执行其他操作
          }
          close(sockfd);
          return 0;
      }
      
    • 多路复用技术:多路复用技术可以让一个进程同时监听多个套接字的 I/O 事件,如 select、poll 和 epoll(在 Linux 系统中)。以 epoll 为例,它具有较高的效率,适用于处理大量并发连接。
      #include <sys/socket.h>
      #include <arpa/inet.h>
      #include <unistd.h>
      #include <sys/epoll.h>
      #include <stdio.h>
      #define MAX_EVENTS 10
      int main() {
          int sockfd = socket(AF_INET, SOCK_STREAM, 0);
          if (sockfd < 0) {
              perror("socket");
              return 1;
          }
          struct sockaddr_in servaddr;
          servaddr.sin_family = AF_INET;
          servaddr.sin_port = htons(8080);
          servaddr.sin_addr.s_addr = inet_addr("127.0.0.1");
          if (bind(sockfd, (struct sockaddr *)&servaddr, sizeof(servaddr)) < 0) {
              perror("bind");
              close(sockfd);
              return 1;
          }
          if (listen(sockfd, 5) < 0) {
              perror("listen");
              close(sockfd);
              return 1;
          }
          int epollfd = epoll_create1(0);
          if (epollfd < 0) {
              perror("epoll_create1");
              close(sockfd);
              return 1;
          }
          struct epoll_event event;
          event.data.fd = sockfd;
          event.events = EPOLLIN;
          if (epoll_ctl(epollfd, EPOLL_CTL_ADD, sockfd, &event) < 0) {
              perror("epoll_ctl ADD");
              close(sockfd);
              close(epollfd);
              return 1;
          }
          struct epoll_event events[MAX_EVENTS];
          int nfds = epoll_wait(epollfd, events, MAX_EVENTS, -1);
          if (nfds < 0) {
              perror("epoll_wait");
              close(sockfd);
              close(epollfd);
              return 1;
          }
          for (int i = 0; i < nfds; ++i) {
              if (events[i].data.fd == sockfd) {
                  int clientfd = accept(sockfd, NULL, NULL);
                  if (clientfd < 0) {
                      perror("accept");
                      continue;
                  }
                  event.data.fd = clientfd;
                  event.events = EPOLLIN;
                  if (epoll_ctl(epollfd, EPOLL_CTL_ADD, clientfd, &event) < 0) {
                      perror("epoll_ctl ADD clientfd");
                      close(clientfd);
                  }
              } else {
                  int clientfd = events[i].data.fd;
                  char buffer[1024];
                  ssize_t bytes_read = recv(clientfd, buffer, sizeof(buffer), 0);
                  if (bytes_read < 0) {
                      if (errno == ECONNRESET) {
                          epoll_ctl(epollfd, EPOLL_CTL_DEL, clientfd, NULL);
                          close(clientfd);
                      } else {
                          perror("recv");
                      }
                  } else if (bytes_read == 0) {
                      epoll_ctl(epollfd, EPOLL_CTL_DEL, clientfd, NULL);
                      close(clientfd);
                  } else {
                      // 处理接收到的数据
                  }
              }
          }
          close(sockfd);
          close(epollfd);
          return 0;
      }
      

针对资源竞争阻塞的解决办法

  1. 合理使用同步机制
    • 优化互斥锁使用:在使用互斥锁时,尽量缩短持有锁的时间,避免长时间占用共享资源。例如,在临界区内只执行必要的操作,将其他无关操作放在临界区之外。
      #include <pthread.h>
      #include <stdio.h>
      pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
      int shared_variable = 0;
      void *thread_function(void *arg) {
          // 尽量缩短持有锁的时间
          pthread_mutex_lock(&mutex);
          shared_variable++;
          pthread_mutex_unlock(&mutex);
          // 这里可以执行其他非共享资源相关的操作
          return NULL;
      }
      int main() {
          pthread_t thread;
          if (pthread_create(&thread, NULL, thread_function, NULL) != 0) {
              perror("pthread_create");
              return 1;
          }
          pthread_join(thread, NULL);
          pthread_mutex_destroy(&mutex);
          return 0;
      }
      
    • 读写锁的应用:对于读多写少的场景,可以使用读写锁(pthread_rwlock)。读写锁允许多个线程同时进行读操作,只有在写操作时才需要独占资源。这样可以提高并发性能,减少进程阻塞的时间。
      #include <pthread.h>
      #include <stdio.h>
      pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;
      int shared_data = 0;
      void *reader(void *arg) {
          pthread_rwlock_rdlock(&rwlock);
          printf("Reader read data: %d\n", shared_data);
          pthread_rwlock_unlock(&rwlock);
          return NULL;
      }
      void *writer(void *arg) {
          pthread_rwlock_wrlock(&rwlock);
          shared_data++;
          printf("Writer updated data\n");
          pthread_rwlock_unlock(&rwlock);
          return NULL;
      }
      int main() {
          pthread_t reader_thread1, reader_thread2, writer_thread;
          if (pthread_create(&reader_thread1, NULL, reader, NULL) != 0) {
              perror("pthread_create reader1");
              return 1;
          }
          if (pthread_create(&reader_thread2, NULL, reader, NULL) != 0) {
              perror("pthread_create reader2");
              return 1;
          }
          if (pthread_create(&writer_thread, NULL, writer, NULL) != 0) {
              perror("pthread_create writer");
              return 1;
          }
          pthread_join(reader_thread1, NULL);
          pthread_join(reader_thread2, NULL);
          pthread_join(writer_thread, NULL);
          pthread_rwlock_destroy(&rwlock);
          return 0;
      }
      
  2. 资源分配策略优化
    • 动态资源分配:操作系统可以采用动态资源分配策略,根据进程的实际需求和系统资源的使用情况,灵活地分配资源。例如,在内存管理中,当进程需要更多内存时,系统可以从空闲内存池中分配内存给该进程,而不是让进程一直阻塞等待固定大小的内存块。
    • 公平调度算法:在 CPU 资源分配方面,采用公平调度算法,如公平队列调度(FQ)、完全公平调度(CFS)等。CFS 算法会根据进程的权重来分配 CPU 时间,使得每个进程都能在一定程度上公平地获取 CPU 资源,减少进程因为 CPU 资源竞争而长时间阻塞的情况。

解除等待事件触发阻塞的途径

  1. 信号处理优化
    • 合理设置信号处理函数:在设置信号处理函数时,要确保函数执行时间尽可能短,避免在信号处理函数中执行复杂的操作。因为在信号处理函数执行期间,进程可能处于一种特殊的执行状态,长时间执行可能会影响其他信号的处理以及进程的正常运行。
      #include <signal.h>
      #include <stdio.h>
      #include <unistd.h>
      void signal_handler(int signum) {
          // 尽量在信号处理函数中执行简单的操作
          printf("Received signal %d\n", signum);
      }
      int main() {
          signal(SIGINT, signal_handler);
          printf("Waiting for signal...\n");
          while (1) {
              sleep(1);
          }
          return 0;
      }
      
    • 使用信号集进行信号屏蔽与解除:进程可以通过信号集来屏蔽某些信号,避免在特定时刻被信号打断。当进程处理完一些关键操作后,再解除对相应信号的屏蔽。例如,在进行文件写入操作时,可以先屏蔽 SIGTERM 信号,防止在写入过程中收到该信号导致文件损坏,写入完成后再解除屏蔽。
      #include <signal.h>
      #include <stdio.h>
      #include <unistd.h>
      int main() {
          sigset_t set;
          sigemptyset(&set);
          sigaddset(&set, SIGTERM);
          if (sigprocmask(SIG_BLOCK, &set, NULL) < 0) {
              perror("sigprocmask");
              return 1;
          }
          // 这里进行文件写入等关键操作
          FILE *file = fopen("example.txt", "w");
          if (file == NULL) {
              perror("fopen");
              return 1;
          }
          fprintf(file, "Some data\n");
          fclose(file);
          if (sigprocmask(SIG_UNBLOCK, &set, NULL) < 0) {
              perror("sigprocmask");
              return 1;
          }
          return 0;
      }
      
  2. 条件变量的有效使用
    • 正确通知条件变量:在使用条件变量时,要确保在条件满足时及时通知等待在条件变量上的线程。在生产者 - 消费者模型中,生产者线程在向缓冲区放入数据后,要及时调用 pthread_cond_signalpthread_cond_broadcast 函数通知消费者线程。
      #include <pthread.h>
      #include <stdio.h>
      pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
      pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
      int buffer = 0;
      void *producer(void *arg) {
          pthread_mutex_lock(&mutex);
          buffer = 1;
          printf("Producer produced data\n");
          // 及时通知等待在条件变量上的消费者线程
          pthread_cond_signal(&cond);
          pthread_mutex_unlock(&mutex);
          return NULL;
      }
      void *consumer(void *arg) {
          pthread_mutex_lock(&mutex);
          while (buffer == 0) {
              pthread_cond_wait(&cond, &mutex);
          }
          printf("Consumer consumed data\n");
          pthread_mutex_unlock(&mutex);
          return NULL;
      }
      int main() {
          pthread_t producer_thread, consumer_thread;
          if (pthread_create(&producer_thread, NULL, producer, NULL) != 0) {
              perror("pthread_create producer");
              return 1;
          }
          if (pthread_create(&consumer_thread, NULL, consumer, NULL) != 0) {
              perror("pthread_create consumer");
              return 1;
          }
          pthread_join(producer_thread, NULL);
          pthread_join(consumer_thread, NULL);
          pthread_mutex_destroy(&mutex);
          pthread_cond_destroy(&cond);
          return 0;
      }
      
    • 避免虚假唤醒:在使用 pthread_cond_wait 时,要使用循环检查条件,以避免虚假唤醒的情况。虚假唤醒是指在没有调用 pthread_cond_signalpthread_cond_broadcast 的情况下,pthread_cond_wait 函数返回。通过循环检查条件,可以确保线程真正是因为条件满足而被唤醒。
      #include <pthread.h>
      #include <stdio.h>
      pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
      pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
      int buffer = 0;
      void *producer(void *arg) {
          pthread_mutex_lock(&mutex);
          buffer = 1;
          printf("Producer produced data\n");
          pthread_cond_signal(&cond);
          pthread_mutex_unlock(&mutex);
          return NULL;
      }
      void *consumer(void *arg) {
          pthread_mutex_lock(&mutex);
          while (buffer == 0) {
              // 使用循环检查条件,避免虚假唤醒
              pthread_cond_wait(&cond, &mutex);
          }
          printf("Consumer consumed data\n");
          pthread_mutex_unlock(&mutex);
          return NULL;
      }
      int main() {
          pthread_t producer_thread, consumer_thread;
          if (pthread_create(&producer_thread, NULL, producer, NULL) != 0) {
              perror("pthread_create producer");
              return 1;
          }
          if (pthread_create(&consumer_thread, NULL, consumer, NULL) != 0) {
              perror("pthread_create consumer");
              return 1;
          }
          pthread_join(producer_thread, NULL);
          pthread_join(consumer_thread, NULL);
          pthread_mutex_destroy(&mutex);
          pthread_cond_destroy(&cond);
          return 0;
      }
      

通过对以上常见阻塞原因及解除方法的深入理解和应用,开发人员能够更好地优化进程管理,提高系统的性能和稳定性,确保进程在复杂的运行环境中能够高效地运行,减少因阻塞带来的各种问题。