怎么理解“不要通过共享内存来进行通信；相反，通过通信来共享内存“

假设我们有一个变量，被两个线程来写。

 

var a= 0;

线程1和线程2的代码：

while(true)

{

  a=a+1;

}

 

由于线程1和2共享了同一个变量，为了避免冲突，我们加个锁

 

while(true)

{

  加锁

  a=a+1;

  解锁

}

 

由于a是被共享的，所以需要加锁，这就是第一句中的重点"不要共享内存"。通信这里是线程可以读取a的值，其他写入a的值能被其他线程读到。也就是说共享变量a是用来做通信了。

 

CSP模型不允许两个线程共享变量，所以我们不能这样写~ 这不符合CSP的定义，那么怎么才能不共享变量呢？这样也就不用加锁了。

 

根据csp模型，我们应该传递消息，而不是共享消息(共享变量)。

 

主线程：

  将a的值放进管道

 

线程1和线程2：

while(true)

{

  从管道获取数值

  新数据=将获取的数值+1

  放到管道里

}

 

当管道为空时，线程会阻塞，比如线程1拿到数据，管道为空了，线程2就会等待，这样就避免了变量共享。同一时间，只有一个线程可以访问这个被共享的数据。

 

我们把消息传递到管道，从管道获取数据，再将新数据放到管道。

 

这就是csp的核心思想，数据应该被传递到管道，而不是共享。 管道可以避免并发访问，管道里的数据可以被多个线程获取，写入，但只有一个线程能拿到数据(因为拿到后，管道为空，需要等待管道不为空，才能拿到数据)。这就是通过通信来共享内存。管道里的数据被共享(多个线程可以从管道读，写数据到管道)，而不是变量被共享。