并发计算
并发计算(英语:Concurrent computing,或译为并发处理、共时计算),是一种程序计算的形式,在系统中,至少有两个以上的计算在同时运作,计算结果可能同时发生。用来实现并发系统(Concurrent system)的编程语言与各种算法,统称为并发计算。
并发程序通常被设计为交互式的运算过程,因为它的运算过程是不确定的,在设计上的难度较高。设计并发程序最大的挑战,在于确保不同运算执行步骤间的交互或是通讯,能以正确的顺序进行,同时,也要确保在不同执行步骤间共享的资源,能够正确被存取。在这个领域的先驱人物有艾兹赫尔·戴克斯特拉、东尼·霍尔与泊·派克·汉森等人。
概论
并发计算,简单来说,就是将一个计算任务,分割成几个小的部分,让它们同时被计算,之后再汇整计算结果,以完成任务。它跟并行计算(Parallel computing)与分布式计算,有重叠之处,在概念上不同,但常会让人混淆。
并发计算是一种程序运算的特性,可以被视为是并行运算的进一步抽象,它包涵了时间片这种可以被用来实现虚拟并行运算(pseudoparallelism)的技术,因此在实际的物理运作中,计算过程可能是并行,或非并行的。
并行计算是指,当并发计算的程序,在机器平台上同时被执行的状况,因此,并行计算是一种机器运算的形式之一。分布式计算(Distributed computing)则是并行计算的一个特例,它采用电脑网络来进行同步。
实现并发程序有许多方式,依编程语言与操作系统的支持,可以用行程,或是线程来实现。它可以执行在单一处理器上,将不同的执行步骤分散在不同时间片中执行,以非并行方式循序运算;它也可以用并行计算来实现,将每个行程指定给处理器组中的某个处理器,以单片机多处理器平台,或是透过网络链接的分散平台来实做。
依照硬件与操作系统的支持,并发计算可以在同一个行程中完成,在同一个行程中以多线程来完成,以多个行程来达成,甚至可以分成数个程序来执行。可以用单处理器的循序计算来实现,也可以采并行计算或分布式计算方式实做。
但以并行方式来运作并发程序,并不必然会增进执行效率。因为执行结果可能会因为平台特性而改变,也增加它在设计上的难度。
技术优点
- 并发计算可以增加产出 - 让并发程序以并行方式执行,在某个特定时间内,可以让数个行程同时完成计算任务,增加了产出。
- 输入/输出的反应时间加快 - 密集进行输入/输出(I/O)操作的应用程式,多数的时间,都在等待输入或输出操作完成。在等待的时间中,并发计算编程可以让另外的行程来运作。
- 更适当的程序架构 - 某些计算问题或问题的领域,特别适合以并发计算来解决。
并发交互与通讯
并发计算中,不同计算单元之间,需要进行通讯以保持同步。这些通讯方式,在某些并发编程语言中,是被隐藏起来的(例如,利用future方式)。以外显方式来进行通讯,可分成两种主要方式:
- 共享存储器通讯
- 经由改变共享存储器地址内的资料内容,让不同的并发单元间进行通讯,如Java与C#都支持这个方式。使用这种通讯类型的并发程序,通常需要应用某种锁定的方式来达成线程间的同步,这些锁定技术包括mutex,semaphore,或monitor等。
- 消息传递通讯
并发计算模型
并发性编程语言
并发性编程语言使用编程语言结构特性进行并发。这些结构涉及到多线程,分布式计算,消息传递,资源共享(包括内存共享)。有时候我们也称这些语言是面向并发的编程语言(COPL)。 如今很多常用的语言都拥有并发的特性,例如:Java和C#。这两种语言底层都是通过内存共享以及锁监听机制的并发模型来实现(尽管消息传递模型如今也是基于内存共享模型实现的)。在消息传递的并发模型世界中,Erlang最具代表性并被广泛使用至今。
很多并发性编程语言更多的是被用作研究(例如:Pict)而非生产用途。尽管如此,在最近20年,还是有很多语言例如 Erlang,Limbo和Occam被用于生产工业。类似这些并发性编程语言还包括:
- Ada
- Alef
- Alice
- Ateji PX
- Axum
- Chapel
- Charm++
- Cilk
- Cω
- C#
- Clojure
- Clean
- Concurrent Collections
- Concurrent Haskell
- Concurrent ML
- Concurrent Pascal
- Curry
- D
- E
- ECMAScript
- Eiffel
- Elixir
- Erlang
- Faust
- Fortran
- Go
- Hume
- Io
- Janus
- JoCaml
- Join Java
- Joule
- Joyce
- LabVIEW
- Limbo
- MultiLisp
- Modula-2
- Modula-3
- Newsqueak
- occam
- Orc
- Oz
- ParaSail
- Pict
- Perl中的AnyEvent[1]和Coro[2]
- Python中的Twisted[3], greenlet[4]和gevent[5].
- Reia
- Rust
- SALSA
- Scala
- SequenceL
- SR
- Stackless Python
- StratifiedJS
- SuperPascal
- Unicon
- Termite Scheme
- TNSDL
- VHDL
- XC