Thinking In SE

各种编程范式的区别

并发模型

　　并行架构：

　　　　位级（bit-level）并行

　　　　指令级（instruction-level）并行

　　　　数据级（data）并行 数据级并行

　　　　任务级（task-level）并行 -- 多处理器，按内存模型分类：共享内存模型，分布式内存模型

 

　　并发模型：

　　　　线程与锁

　　　　函数式编程消除了可变状态，所以从根本上是线程安全的，而且易于并行执行

　　　　Clojure之道——分离标识与状态：编程语言Clojure是一种指令式编程和函数式编程的混搭方案

　　　　actor：适用于共享内存模型和分布式内存模型，也适合解决地理分布型问题，能提供强大的容错性。

　　　　通信顺序进程（Communicating Sequential Processes，CSP）：表面上看，CSP模型与actor模型很相似，两者都基于消息传递。不过CSP模型侧重于传递信息的通道，而actor模型侧重于通道两端的实体，使用CSP模型的代码会带有明显不同的风格。

　　　　数据级并行：——GPU

　　　　Lambda架构：Lambda架构综合了MapReduce和流式处理的特点

　　

　　Java并发：Thread、Executor、ForkJoin和Actor

　　多线程设计模式有：Future、Master-Worker、生产者-消费者 模式

 

进程通信

　　无名管道( pipe )：管道是一种半双工的通信方式，数据只能单向流动，而且只能在具有亲缘关系的进程间使用。进程的亲缘关系通常是指父子进程关系。

　　高级管道(popen)：将另一个程序当做一个新的进程在当前程序进程中启动，则它算是当前程序的子进程，这种方式我们成为高级管道方式。

　　有名管道 (named pipe) ： 有名管道也是半双工的通信方式，但是它允许无亲缘关系进程间的通信。

　　消息队列( message queue ) ： 消息队列是由消息的链表，存放在内核中并由消息队列标识符标识。消息队列克服了信号传递信息少、管道只能承载无格式字节流以及缓冲区大小受限等缺点。

　　信号量( semophore ) ： 信号量是一个计数器，可以用来控制多个进程对共享资源的访问。它常作为一种锁机制，防止某进程正在访问共享资源时，其他进程也访问该资源。因此，主要作为进程间以及同一进程内不同线程之间的同步手段。

　　信号 ( sinal ) ： 信号是一种比较复杂的通信方式，用于通知接收进程某个事件已经发生。

　　共享内存( shared memory ) ：共享内存就是映射一段能被其他进程所访问的内存，这段共享内存由一个进程创建，但多个进程都可以访问。共享内存是最快的 IPC 方式，它是针对其他进程间通信方式运行效率低而专门设计的。它往往与其他通信机制，如信号两，配合使用，来实现进程间的同步和通信。

　　套接字( socket ) ： 套解口也是一种进程间通信机制，与其他通信机制不同的是，它可用于不同机器间的进程通信。

 

内存模型

　　共享内存

　　分布式内存

异构系统之间的交互

接口的设计

底层的网络通信

各种协议的设计初衷以及区别

分布式服务架构的设计考虑的容错，资源隔离，监控，服务之间通信的异常处理，服务的优雅降级等等问题。

服务发现：

　　zookeeper如何解决网络分割问题？什么是网络分割？