操作系统学习笔记：并发：多处理器编程模型2：Mosaic状态机

Mosaic 状态机

Mosaic 状态机 是一种状态机模型，用于管理多线程或多进程系统的行为。

“heap” 是共享内存

堆（heap） 是一种动态分配内存的区域。在多线程或多进程系统中，堆可以被多个线程或进程共享，以便在它们之间交换数据。

示例

• C语言示例：

  #include <stdio.h>
  #include <stdlib.h>
  #include <pthread.h>
  
  int *shared_data;
  
  void *thread_function(void *arg) {
      *shared_data += 1;
      return NULL;
  }
  
  int main() {
      pthread_t thread1, thread2;
      shared_data = (int *)malloc(sizeof(int));
      *shared_data = 0;
  
      pthread_create(&thread1, NULL, thread_function, NULL);
      pthread_create(&thread2, NULL, thread_function, NULL);
  
      pthread_join(thread1, NULL);
      pthread_join(thread2, NULL);
  
      printf("Shared data:d\n", *shared_data);
      free(shared_data);
      return 0;
  }
  

通俗解释：堆是一块大空间，可以让不同的任务（如多个线程）都能把数据放在里面并共享使用，就像一个大家都能放东西和取东西的大仓库。

sys_sched 主动随机切换线程

sys_sched 是一个模拟调度系统，负责在不同线程之间切换，使得多个线程可以在单处理器或多处理器系统中运行。

单处理器系统：中断会引起切换

在单处理器系统中，线程的切换是由中断引起的，中断是一种硬件信号，通知处理器需要暂停当前任务，去处理另一任务。

• 示例：
  在一个单处理器系统中，如果一个程序进入死循环，操作系统会利用中断强制切换到另一个程序，从而防止整个系统挂起。

通俗解释：想象你只有一个手在工作，当有紧急任务时（比如电话响了），你会暂时停下手头的工作去接电话，这个过程就类似于中断引起的切换。

多处理器系统：真正同时执行

在多处理器系统中，多个线程可以真正同时执行，因为有多个处理器可以同时工作。

• 示例：
  在一个多处理器系统中，一个处理器可以负责计算，另一个处理器可以负责数据传输，两者可以同时进行。

通俗解释：就像你有多个手，可以同时做不同的任务，比如一只手写字，另一只手打电话，两者互不干扰。

通过共享内存，多个线程可以共享数据，实现数据的同步和通信

示例

• C语言示例：

  #include <stdio.h>
  #include <stdlib.h>
  #include <pthread.h>
  
  pthread_mutex_t lock;
  int shared_counter = 0;
  
  void *thread_function(void *arg) {
      pthread_mutex_lock(&lock);
      shared_counter++;
      pthread_mutex_unlock(&lock);
      return NULL;
  }
  
  int main() {
      pthread_t threads[10];
      pthread_mutex_init(&lock, NULL);
  
      for (int i = 0; i < 10; i++) {
          pthread_create(&threads[i], NULL, thread_function, NULL);
      }
  
      for (int i = 0; i < 10; i++) {
          pthread_join(threads[i], NULL);
      }
  
      printf("Shared counter: %d\n", shared_counter);
      pthread_mutex_destroy(&lock);
      return 0;
  }
  

通俗解释：共享内存就像是一个大家都能访问的笔记本，不同的人（线程）可以在上面写东西和读东西，通过一定的规则（如互斥锁）保证数据的正确性。