Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Concurrent computing
open-in-new
<h2 id="introduction">Introduction</h2> <p class="note">See also: <a href="/facts/Parallel_computing/nQzcpzQt">Parallel computing</a></p> <p>The concept of concurrent computing is frequently confused with the related but distinct concept of <a href="/facts/Parallel_computing/nQzcpzQt">parallel computing</a>,<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> although both can be described as "multiple processes executing <i>during the same period of time</i>". In parallel computing, execution occurs at the same physical instant: for example, on separate <a href="/facts/Central_processing_unit/Jxp1bqMV">processors</a> of a <a href="/facts/Multi-processor/aDCfehDQ">multi-processor</a> machine, with the goal of speeding up computations—parallel computing is impossible on a (<a href="/facts/Multi-core_processor/ABNb65hQ">one-core</a>) single processor, as only one computation can occur at any instant (during any single clock cycle).<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> By contrast, concurrent computing consists of process <i>lifetimes</i> overlapping, but execution does not happen at the same instant. The goal here is to model processes that happen concurrently, like multiple clients accessing a server at the same time. Structuring software systems as composed of multiple concurrent, communicating parts can be useful for tackling complexity, regardless of whether the parts can be executed in parallel.<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a>: 1 </p><p>For example, concurrent processes can be executed on one core by interleaving the execution steps of each process via <a href="/facts/Time-sharing/LE5XT9Go">time-sharing</a> slices: only one process runs at a time, and if it does not complete during its time slice, it is <i>paused</i>, another process begins or resumes, and then later the original process is resumed. In this way, multiple processes are part-way through execution at a single instant, but only one process is being executed at that instant. </p><p>Concurrent computations <i>may</i> be executed in parallel,<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a><a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> for example, by assigning each process to a separate processor or processor core, or <a href="/facts/Distributed_computing/o5nyhqTF">distributing</a> a computation across a network. </p><p>The exact timing of when tasks in a concurrent system are executed depends on the <a href="/facts/Scheduling_(computing)/XptmcM1a">scheduling</a>, and tasks need not always be executed concurrently. For example, given two tasks, T1 and T2: </p> <ul><li>T1 may be executed and finished before T2 or <i>vice versa</i> (serial <i>and</i> sequential)</li> <li>T1 and T2 may be executed alternately (serial <i>and</i> concurrent)</li> <li>T1 and T2 may be executed simultaneously at the same instant of time (parallel <i>and</i> concurrent)</li></ul> <p>The word "sequential" is used as an antonym for both "concurrent" and "parallel"; when these are explicitly distinguished, <i>concurrent/sequential</i> and <i>parallel/serial</i> are used as opposing pairs.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a> A schedule in which tasks execute one at a time (serially, no parallelism), without interleaving (sequentially, no concurrency: no task begins until the prior task ends) is called a <i>serial schedule</i>. A set of tasks that can be scheduled serially is <i><a href="/facts/Serializability/j6LY0fqE">serializable</a></i>, which simplifies <a href="/facts/Concurrency_control/JWnmhVd5">concurrency control</a>. </p> <h3>Coordinating access to shared resources</h3> <p>The main challenge in designing concurrent programs is <a href="/facts/Concurrency_control/JWnmhVd5">concurrency control</a>: ensuring the correct sequencing of the interactions or communications between different computational executions, and coordinating access to resources that are shared among executions.<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> Potential problems include <a href="/facts/Race_condition/bvNpgy4F">race conditions</a>, <a href="/facts/Deadlock_(computer_science)/YDpdfnPP">deadlocks</a>, and <a href="/facts/Resource_starvation/E9UjtIWS">resource starvation</a>. For example, consider the following algorithm to make withdrawals from a checking account represented by the shared resource balance: </p> bool withdraw(int withdrawal) { if (balance >= withdrawal) { balance -= withdrawal; return true; } return false; } <p>Suppose balance = 500, and two concurrent <i>threads</i> make the calls withdraw(300) and withdraw(350). If line 3 in both operations executes before line 5 both operations will find that balance >= withdrawal evaluates to true, and execution will proceed to subtracting the withdrawal amount. However, since both processes perform their withdrawals, the total amount withdrawn will end up being more than the original balance. These sorts of problems with shared resources benefit from the use of concurrency control, or <a href="/facts/Non-blocking_algorithm/KhLDma0v">non-blocking algorithms</a>. </p> <h3>Advantages</h3> <p>The advantages of concurrent computing include: </p> <ul><li>Increased program throughput—parallel execution of a concurrent algorithm allows the number of tasks completed in a given time to increase proportionally to the number of processors according to <a href="/facts/Gustafson%27s_law/7z2S6dXb">Gustafson's law</a></li> <li>High responsiveness for input/output—input/output-intensive programs mostly wait for input or output operations to complete. Concurrent programming allows the time that would be spent waiting to be used for another task.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a></li> <li>More appropriate program structure—some problems and problem domains are well-suited to representation as concurrent tasks or processes. For example <a href="/facts/Multiversion_concurrency_control/bktUeU82">MVCC</a>.</li></ul> <h2 id="models">Models</h2> <p>Introduced in 1962, <a href="/facts/Petri_net/BK7eTHNm">Petri nets</a> were an early attempt to codify the rules of concurrent execution. Dataflow theory later built upon these, and <a href="/facts/Dataflow_architecture/lKJhE7ke">Dataflow architectures</a> were created to physically implement the ideas of dataflow theory. Beginning in the late 1970s, <a href="/facts/Process_calculi/RmAEJ2tN">process calculi</a> such as <a href="/facts/Calculus_of_Communicating_Systems/0FNkQbug">Calculus of Communicating Systems</a> (CCS) and <a href="/facts/Communicating_Sequential_Processes/bzKGnJ50">Communicating Sequential Processes</a> (CSP) were developed to permit algebraic reasoning about systems composed of interacting components. The <a href="/facts/Pi_calculus/rAHByKdf">π-calculus</a> added the capability for reasoning about dynamic topologies. </p><p><a href="/facts/Input/output_automaton/fpxeHj0P">Input/output automata</a> were introduced in 1987. </p><p>Logics such as Lamport's <a href="/facts/Temporal_logic_of_actions/AMKECrvK">TLA+</a>, and mathematical models such as <a href="/facts/Trace_theory/bSpU6q8M">traces</a> and <a href="/facts/Actor_model_theory/d2BsQJsF">Actor event diagrams</a>, have also been developed to describe the behavior of concurrent systems. </p><p><a href="/facts/Software_transactional_memory/24EYchev">Software transactional memory</a> borrows from <a href="/facts/Database_management_system/VYcpkevb">database theory</a> the concept of <a href="/facts/Atomic_commit/hnapELwd">atomic transactions</a> and applies them to memory accesses. </p> <h3>Consistency models</h3> <p class="note">Main article: <a href="/facts/Consistency_model/a8Xphrs7">Consistency model</a></p> <p>Concurrent programming languages and multiprocessor programs must have a <a href="/facts/Consistency_model/a8Xphrs7">consistency model</a> (also known as a memory model). The consistency model defines rules for how operations on <a href="/facts/Computer_data_storage/wPHKFpdx">computer memory</a> occur and how results are produced. </p><p>One of the first consistency models was <a href="/facts/Leslie_Lamport/jGCarz9C">Leslie Lamport</a>'s <a href="/facts/Sequential_consistency/LlMBzcTH">sequential consistency</a> model. Sequential consistency is the property of a program that its execution produces the same results as a sequential program. Specifically, a program is sequentially consistent if "the results of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program".<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a> </p> <p class="note">See also: <a href="/facts/Relaxed_sequential/7sjgEnkL">Relaxed sequential</a></p> <h2 id="implementation">Implementation</h2> <p>A number of different methods can be used to implement concurrent programs, such as implementing each computational execution as an <a href="/facts/Process_(computer_science)/Vcq7EnUV">operating system process</a>, or implementing the computational processes as a set of <a href="/facts/Thread_(computer_science)/hh8WHyPd">threads</a> within a single operating system process. </p> <h3>Interaction and communication</h3> <p>In some concurrent computing systems, communication between the concurrent components is hidden from the programmer (e.g., by using <a href="/facts/Future_(programming)/5Mpgxv4m">futures</a>), while in others it must be handled explicitly. Explicit communication can be divided into two classes: </p> Shared memory communication Concurrent components communicate by altering the contents of <a href="/facts/Shared_memory_(interprocess_communication)/zmpH7WuV">shared memory</a> locations (exemplified by <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a> and <a href="/facts/C_Sharp_(programming_language)/UC2gxeyb">C#</a>). This style of concurrent programming usually needs the use of some form of locking (e.g., <a href="/facts/Mutual_exclusion/1dwvCxDW">mutexes</a>, <a href="/facts/Semaphore_(programming)/BrE1W4Je">semaphores</a>, or <a href="/facts/Monitor_(synchronization)/g2zfRatV">monitors</a>) to coordinate between threads. A program that properly implements any of these is said to be <a href="/facts/Thread_safety/fx3ULqUw">thread-safe</a>. Message passing communication Concurrent components communicate by <a href="/facts/Message_passing/RYf3hD3J">exchanging messages</a> (exemplified by <a href="/facts/Open_MPI/3eJUp5JQ">MPI</a>, <a href="/facts/Go_(programming_language)/oWlsmAFJ">Go</a>, <a href="/facts/Scala_(programming_language)/ebL8o6AK">Scala</a>, <a href="/facts/Erlang_(programming_language)/2PuxmzT3">Erlang</a> and <a href="/facts/Occam_(programming_language)/5EWXeIKY">occam</a>). The exchange of messages may be carried out asynchronously, or may use a synchronous "rendezvous" style in which the sender blocks until the message is received. Asynchronous message passing may be reliable or unreliable (sometimes referred to as "send and pray"). Message-passing concurrency tends to be far easier to reason about than shared-memory concurrency, and is typically considered a more robust form of concurrent programming. A wide variety of mathematical theories to understand and analyze message-passing systems are available, including the <a href="/facts/Actor_model/MJ49opnU">actor model</a>, and various <a href="/facts/Process_calculi/RmAEJ2tN">process calculi</a>. Message passing can be efficiently implemented via <a href="/facts/Symmetric_multiprocessing/T9CahUsN">symmetric multiprocessing</a>, with or without shared memory <a href="/facts/Cache_coherence/MhUD576q">cache coherence</a>. <p>Shared memory and message passing concurrency have different performance characteristics. Typically (although not always), the per-process memory overhead and task switching overhead is lower in a message passing system, but the overhead of message passing is greater than for a procedure call. These differences are often overwhelmed by other performance factors. </p> <h2 id="history">History</h2> <p>Concurrent computing developed out of earlier work on railroads and <a href="/facts/Telegraphy/JhRYDSDu">telegraphy</a>, from the 19th and early 20th century, and some terms date to this period, such as semaphores. These arose to address the question of how to handle multiple trains on the same railroad system (avoiding collisions and maximizing efficiency) and how to handle multiple transmissions over a given set of wires (improving efficiency), such as via <a href="/facts/Time-division_multiplexing/tv7bMh1v">time-division multiplexing</a> (1870s). </p><p>The academic study of concurrent algorithms started in the 1960s, with Dijkstra (1965) credited with being the first paper in this field, identifying and solving <a href="/facts/Mutual_exclusion/1dwvCxDW">mutual exclusion</a>.<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a> </p> <h2 id="prevalence">Prevalence</h2> <p>Concurrency is pervasive in computing, occurring from low-level hardware on a single chip to worldwide networks. Examples follow. </p><p>At the programming language level: </p> <ul><li><a href="/facts/Channel_(programming)/CCzdotLE">Channel</a></li> <li><a href="/facts/Coroutine/hGCtXsAQ">Coroutine</a></li> <li><a href="/facts/Futures_and_promises/5Mpgxv4m">Futures and promises</a></li></ul> <p>At the operating system level: </p> <ul><li><a href="/facts/Computer_multitasking/Q4acPNMv">Computer multitasking</a>, including both <a href="/facts/Cooperative_multitasking/svrQ2DMM">cooperative multitasking</a> and <a href="/facts/Preemptive_multitasking/wjgIbWel">preemptive multitasking</a> <ul><li><a href="/facts/Time-sharing/LE5XT9Go">Time-sharing</a>, which replaced sequential <a href="/facts/Batch_processing/hKY2rX3N">batch processing</a> of jobs with concurrent use of a system</li></ul></li> <li><a href="/facts/Process_(computing)/Vcq7EnUV">Process</a></li> <li><a href="/facts/Thread_(computing)/hh8WHyPd">Thread</a></li></ul> <p>At the network level, networked systems are generally concurrent by their nature, as they consist of separate devices. </p> <h2 id="languages-supporting-concurrent-programming">Languages supporting concurrent programming</h2> <ul><li></li></ul> <p><a href="/facts/List_of_concurrent_programming_languages/XuWNoawk">Concurrent programming languages</a> are programming languages that use language constructs for <a href="/facts/Concurrency_(computer_science)/Ctnrrq4A">concurrency</a>. These constructs may involve <a href="/facts/Thread_(computer_science)/hh8WHyPd">multi-threading</a>, support for <a href="/facts/Distributed_computing/o5nyhqTF">distributed computing</a>, <a href="/facts/Message_passing_programming/RYf3hD3J">message passing</a>, <a href="/facts/Sharing/96jXuurG">shared resources</a> (including <a href="/facts/Parallel_Random_Access_Machine/G1pCFgWP">shared memory</a>) or <a href="/facts/Futures_and_promises/5Mpgxv4m">futures and promises</a>. Such languages are sometimes described as <i>concurrency-oriented languages</i> or <i>concurrency-oriented programming languages</i> (COPL).<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a> </p><p>Today, the most commonly used programming languages that have specific constructs for concurrency are <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a> and <a href="/facts/C_Sharp_(programming_language)/UC2gxeyb">C#</a>. Both of these languages fundamentally use a shared-memory concurrency model, with locking provided by <a href="/facts/Monitor_(synchronization)/g2zfRatV">monitors</a> (although message-passing models can and have been implemented on top of the underlying shared-memory model). Of the languages that use a message-passing concurrency model, <a href="/facts/Erlang_(programming_language)/2PuxmzT3">Erlang</a> is probably the most widely used in industry at present. </p><p>Many concurrent programming languages have been developed more as research languages (e.g. <a href="/facts/Pict_(programming_language)/YAJLMoR2">Pict</a>) rather than as languages for production use. However, languages such as <a href="/facts/Erlang_(programming_language)/2PuxmzT3">Erlang</a>, <a href="/facts/Limbo_(programming_language)/b6cv0H2n">Limbo</a>, and <a href="/facts/Occam_(programming_language)/5EWXeIKY">occam</a> have seen industrial use at various times in the last 20 years. A non-exhaustive list of languages which use or provide concurrent programming facilities: </p> <ul><li><a href="/facts/Ada_(programming_language)/Y2yHel4l">Ada</a>—general purpose, with native support for message passing and monitor based concurrency</li> <li><a href="/facts/Alef_(programming_language)/NgzC2SA2">Alef</a>—concurrent, with threads and message passing, for system programming in early versions of <a href="/facts/Plan_9_from_Bell_Labs/pQjPlS7w">Plan 9 from Bell Labs</a></li> <li><a href="/facts/Alice_(programming_language)/w4YHoLxS">Alice</a>—extension to <a href="/facts/Standard_ML/4LaEq9tA">Standard ML</a>, adds support for concurrency via futures</li> <li><a href="/facts/Ateji_PX/CXxcrn9H">Ateji PX</a>—extension to <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a> with parallel primitives inspired from <a href="/facts/%CE%A0-calculus/rAHByKdf">π-calculus</a></li> <li><a href="/facts/Axum_(programming_language)/4BMLcpvw">Axum</a>—domain specific, concurrent, based on actor model and .NET Common Language Runtime using a C-like syntax</li> <li><a href="/facts/BMDFM/wLwA0hfn">BMDFM</a>—Binary Modular DataFlow Machine</li> <li><a href="/facts/C%2B%2B/Et0F2qn9">C++</a>—thread and coroutine support libraries<a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a><a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a></li> <li><a href="/facts/C%CF%89/FdKs161Q">Cω</a> (C omega)—for research, extends C#, uses asynchronous communication</li> <li><a href="/facts/C_Sharp_(programming_language)/UC2gxeyb">C#</a>—supports concurrent computing using lock, yield, also since version 5.0 async and await keywords introduced</li> <li><a href="/facts/Clojure/3JRNxKXx">Clojure</a>—modern, <a href="/facts/Functional_programming/cdxqPEIM">functional</a> dialect of <a href="/facts/Lisp_(programming_language)/xJHA3CrX">Lisp</a> on the <a href="/facts/Java_(software_platform)/fpn6x8WL">Java</a> platform</li> <li><a href="/facts/Concurrent_Clean/vvxRMVyz">Concurrent Clean</a>—functional programming, similar to <a href="/facts/Haskell_(programming_language)/4Htv9WLu">Haskell</a></li> <li><a href="/facts/Concurrent_Collections/M5d0v5VY">Concurrent Collections</a> (CnC)—Achieves implicit parallelism independent of memory model by explicitly defining flow of data and control</li> <li><a href="/facts/Concurrent_Haskell/9VHhLgvD">Concurrent Haskell</a>—lazy, pure functional language operating concurrent processes on shared memory</li> <li><a href="/facts/Concurrent_ML/tdxgGzBb">Concurrent ML</a>—concurrent extension of <a href="/facts/Standard_ML/4LaEq9tA">Standard ML</a></li> <li><a href="/facts/Concurrent_Pascal/CGuRkBEL">Concurrent Pascal</a>—by <a href="/facts/Per_Brinch_Hansen/ofL1Pd9M">Per Brinch Hansen</a></li> <li><a href="/facts/Curry_(programming_language)/hDqY8NIf">Curry</a></li> <li><a href="/facts/D_(programming_language)/4qIzRjkF">D</a>—<a href="/facts/Multi-paradigm_programming_language/7LwgRpB3">multi-paradigm</a> <a href="/facts/System_programming_language/KogoSQVR">system programming language</a> with explicit support for concurrent programming (<a href="/facts/Actor_model/MJ49opnU">actor model</a>)</li> <li><a href="/facts/E_(programming_language)/XCLbIxm0">E</a>—uses promises to preclude deadlocks</li> <li><a href="/facts/ECMAScript/M7nDHsB5">ECMAScript</a>—uses promises for asynchronous operations</li> <li><a href="/facts/Eiffel_(programming_language)/gEzPjzmn">Eiffel</a>—through its <a href="/facts/SCOOP_(software)/PkDwBUmX">SCOOP</a> mechanism based on the concepts of Design by Contract</li> <li><a href="/facts/Elixir_(programming_language)/vX1J3cgf">Elixir</a>—dynamic and functional meta-programming aware language running on the Erlang VM.</li> <li><a href="/facts/Erlang_(programming_language)/2PuxmzT3">Erlang</a>—uses synchronous or asynchronous message passing with no shared memory</li> <li><a href="/facts/FAUST_(programming_language)/xAsms2ck">FAUST</a>—real-time functional, for signal processing, compiler provides automatic parallelization via <a href="/facts/OpenMP/69IpI80o">OpenMP</a> or a specific <a href="/facts/Cilk/nIftzSWW">work-stealing</a> scheduler</li> <li><a href="/facts/Fortran/m1KqjcMU">Fortran</a>—<a href="/facts/Coarray_Fortran/NKLxPaHN">coarrays</a> and <i>do concurrent</i> are part of Fortran 2008 standard</li> <li><a href="/facts/Go_(programming_language)/oWlsmAFJ">Go</a>—for system programming, with a concurrent programming model based on <a href="/facts/Communicating_sequential_processes/bzKGnJ50">CSP</a></li> <li><a href="/facts/Haskell_programming_language/4Htv9WLu">Haskell</a>—concurrent, and parallel functional programming language<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a></li> <li><a href="/facts/Hume_(programming_language)/gavhKXF3">Hume</a>—functional, concurrent, for bounded space and time environments where automata processes are described by synchronous channels patterns and message passing</li> <li><a href="/facts/Io_(programming_language)/06xtsq15">Io</a>—actor-based concurrency</li> <li><a href="/facts/Janus_(concurrent_constraint_programming_language)/lC7ShydC">Janus</a>—features distinct <i>askers</i> and <i>tellers</i> to logical variables, bag channels; is purely declarative</li> <li><a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a>—thread class or Runnable interface</li> <li><a href="/facts/Julia_(programming_language)/AoB0PJ9C">Julia</a>—"concurrent programming primitives: Tasks, async-wait, Channels."<a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a></li> <li><a href="/facts/JavaScript/XhhIIEsl">JavaScript</a>—via <a href="/facts/Web_worker/eLyAH4Gf">web workers</a>, in a browser environment, <a href="/facts/Futures_and_promises/5Mpgxv4m">promises</a>, and <a href="/facts/Callback_(computer_programming)/vPlrCJXG">callbacks</a>.</li> <li><a href="/facts/JoCaml/VIcDmIbr">JoCaml</a>—concurrent and distributed channel based, extension of <a href="/facts/OCaml/ThBGLND8">OCaml</a>, implements the <a href="/facts/Join-calculus/xtQthDLg">join-calculus</a> of processes</li> <li><a href="/facts/Join_Java/mPBRcAJ3">Join Java</a>—concurrent, based on <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a> language</li> <li><a href="/facts/Joule_(programming_language)/ffS4eTAd">Joule</a>—dataflow-based, communicates by message passing</li> <li><a href="/facts/Joyce_(programming_language)/6mPBrRwv">Joyce</a>—concurrent, teaching, built on <a href="/facts/Concurrent_Pascal/CGuRkBEL">Concurrent Pascal</a> with features from <a href="/facts/Communicating_sequential_processes/bzKGnJ50">CSP</a> by <a href="/facts/Per_Brinch_Hansen/ofL1Pd9M">Per Brinch Hansen</a></li> <li><a href="/facts/LabVIEW/ue0vyha4">LabVIEW</a>—graphical, dataflow, functions are nodes in a graph, data is wires between the nodes; includes object-oriented language</li> <li><a href="/facts/Limbo_(programming_language)/b6cv0H2n">Limbo</a>—relative of <a href="/facts/Alef_(programming_language)/NgzC2SA2">Alef</a>, for system programming in <a href="/facts/Inferno_(operating_system)/baKPoWRU">Inferno (operating system)</a></li> <li><a href="/facts/Locomotive_BASIC/1evXH00D">Locomotive BASIC</a>—Amstrad variant of BASIC contains EVERY and AFTER commands for concurrent subroutines</li> <li><a href="/facts/MultiLisp/P197ShCg">MultiLisp</a>—<a href="/facts/Scheme_(programming_language)/0aGdf3SC">Scheme</a> variant extended to support parallelism</li> <li><a href="/facts/Modula-2/DFyUTdAq">Modula-2</a>—for system programming, by N. Wirth as a successor to Pascal with native support for coroutines</li> <li><a href="/facts/Modula-3/RbblULyn">Modula-3</a>—modern member of Algol family with extensive support for threads, mutexes, condition variables</li> <li><a href="/facts/Newsqueak/23L0hhUE">Newsqueak</a>—for research, with channels as first-class values; predecessor of <a href="/facts/Alef_(programming_language)/NgzC2SA2">Alef</a></li> <li><a href="/facts/Occam_(programming_language)/5EWXeIKY">occam</a>—influenced heavily by <a href="/facts/Communicating_sequential_processes/bzKGnJ50">communicating sequential processes</a> (CSP) <ul><li><a href="/facts/Occam-%CF%80/zEJ6vWa1">occam-π</a>—a modern variant of <a href="/facts/Occam_(programming_language)/5EWXeIKY">occam</a>, which incorporates ideas from Milner's <a href="/facts/%CE%A0-calculus/rAHByKdf">π-calculus</a></li></ul></li> <li><a href="/facts/Object_REXX/E7CoEr7D">ooRexx</a>—object-based, message exchange for communication and synchronization</li> <li><a href="/facts/Orc_(programming_language)/7wBC5Wza">Orc</a>—heavily concurrent, nondeterministic, based on <a href="/facts/Kleene_algebra/L0dPBmdh">Kleene algebra</a></li> <li><a href="/facts/Oz_(programming_language)/Fsb7wHsv">Oz-Mozart</a>—multiparadigm, supports shared-state and message-passing concurrency, and futures</li> <li><a href="/facts/ParaSail_(programming_language)/DS5mhJ8d">ParaSail</a>—object-oriented, parallel, free of pointers, race conditions</li> <li><a href="/facts/PHP/vU6YRJX0">PHP</a>—multithreading support with parallel extension implementing message passing inspired from <a href="/facts/Go_(programming_language)/oWlsmAFJ">Go</a><a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a></li> <li><a href="/facts/Pict_(programming_language)/YAJLMoR2">Pict</a>—essentially an executable implementation of Milner's <a href="/facts/%CE%A0-calculus/rAHByKdf">π-calculus</a></li> <li><a href="/facts/Python_(programming_language)/YbuGqofa">Python</a> — uses thread-based parallelism and process-based parallelism <a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a></li> <li><a href="/facts/Raku_(programming_language)/9eYW7vRJ">Raku</a> includes classes for threads, promises and channels by default<a class="footnote-ref" id="fnref:21" href="#fn:21"><sup>21</sup></a></li> <li><a href="/facts/Reia_(programming_language)/vX1J3cgf">Reia</a>—uses asynchronous message passing between shared-nothing objects</li> <li><a href="/facts/Red_(programming_language)/wIjLEeSI">Red/System</a>—for system programming, based on <a href="/facts/Rebol/9ooWy78f">Rebol</a></li> <li><a href="/facts/Rust_(programming_language)/8JNMV19F">Rust</a>—for system programming, using message-passing with move semantics, shared immutable memory, and shared mutable memory.<a class="footnote-ref" id="fnref:22" href="#fn:22"><sup>22</sup></a></li> <li><a href="/facts/Scala_(programming_language)/ebL8o6AK">Scala</a>—general purpose, designed to express common programming patterns in a concise, elegant, and type-safe way</li> <li><a href="/facts/SequenceL/TQWzwxGP">SequenceL</a>—general purpose functional, main design objectives are ease of programming, code clarity-readability, and automatic parallelization for performance on multicore hardware, and provably free of <a href="/facts/Race_condition/bvNpgy4F">race conditions</a></li> <li><a href="/facts/SR_language/8BFcqHr8">SR</a>—for research</li> <li><a href="/facts/SuperPascal/HpGGrHu7">SuperPascal</a>—concurrent, for teaching, built on <a href="/facts/Concurrent_Pascal/CGuRkBEL">Concurrent Pascal</a> and <a href="/facts/Joyce_(programming_language)/6mPBrRwv">Joyce</a> by <a href="/facts/Per_Brinch_Hansen/ofL1Pd9M">Per Brinch Hansen</a></li> <li><a href="/facts/Swift_(programming_language)/A7qHQC32">Swift</a>—built-in support for writing asynchronous and parallel code in a structured way<a class="footnote-ref" id="fnref:23" href="#fn:23"><sup>23</sup></a></li> <li><a href="/facts/Unicon_(programming_language)/nl8cyb0v">Unicon</a>—for research</li> <li><a href="/facts/TNSDL/hl7v8Azj">TNSDL</a>—for developing telecommunication exchanges, uses asynchronous message passing</li> <li>VHSIC Hardware Description Language (<a href="/facts/VHDL/H6Exdjfs">VHDL</a>)—IEEE STD-1076</li> <li><a href="/facts/XC_(programming_language)/QluHmnd6">XC</a>—concurrency-extended subset of C language developed by <a href="/facts/XMOS/QluHmnd6">XMOS</a>, based on <a href="/facts/Communicating_sequential_processes/bzKGnJ50">communicating sequential processes</a>, built-in constructs for programmable I/O</li></ul> <p>Many other languages provide support for concurrency in the form of libraries, at levels roughly comparable with the above list. </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Asynchronous_I/O/6A7V3P89">Asynchronous I/O</a></li> <li><a href="/facts/Chu_space/0YGn7z44">Chu space</a></li> <li><a href="/facts/Flow-based_programming/J4SELXwF">Flow-based programming</a></li> <li><a href="/facts/Java_ConcurrentMap/Tcqz2Qyu">Java ConcurrentMap</a></li> <li><a href="/facts/Ptolemy_Project/jmwrFBP3">Ptolemy Project</a></li> <li><a href="/facts/Race_condition/bvNpgy4F">Race condition § Computing</a></li> <li><a href="/facts/Structured_concurrency/oSFvfuq8">Structured concurrency</a></li> <li><a href="/facts/Transaction_processing/Q0WHeD9R">Transaction processing</a></li></ul> <h2 id="notes">Notes</h2> <h2 id="sources">Sources</h2> <ul><li>Patterson, David A.; Hennessy, John L. (2013). <i>Computer Organization and Design: The Hardware/Software Interface</i>. The Morgan Kaufmann Series in Computer Architecture and Design (5 ed.). Morgan Kaufmann. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-12407886-4.</li></ul> <h2 id="further-reading">Further reading</h2> <ul><li><a href="/facts/Edsger_W._Dijkstra/910x0MjT">Dijkstra, E. W.</a> (1965). <a href="https://doi.org/10.1145%2F365559.365617">"Solution of a problem in concurrent programming control"</a>. <i><a href="/facts/Communications_of_the_ACM/Ix1DvEAk">Communications of the ACM</a></i>. 8 (9): 569. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F365559.365617">10.1145/365559.365617</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:19357737">19357737</a>.</li> <li>Herlihy, Maurice (2008) [2008]. <i>The Art of Multiprocessor Programming</i>. Morgan Kaufmann. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0123705914.</li> <li>Downey, Allen B. (2005) [2005]. <a href="https://web.archive.org/web/20160304031330/http://www.greenteapress.com/semaphores/downey08semaphores.pdf"><i>The Little Book of Semaphores</i></a> (PDF). Green Tea Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4414-1868-5. Archived from <a href="http://www.greenteapress.com/semaphores/downey08semaphores.pdf">the original</a> (PDF) on 2016-03-04. Retrieved 2009-11-21.</li> <li>Filman, Robert E.; Daniel P. Friedman (1984). <a href="https://archive.org/details/coordinatedcompu0000film/page/370"><i>Coordinated Computing: Tools and Techniques for Distributed Software</i></a>. New York: McGraw-Hill. p. <a href="https://archive.org/details/coordinatedcompu0000film/page/370">370</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-07-022439-1.</li> <li>Leppäjärvi, Jouni (2008). <a href="https://web.archive.org/web/20170830062719/http://www.enseignement.polytechnique.fr/informatique/INF431/X09-2010-2011/AmphiTHC/SynchronizationPrimitives.pdf"><i>A pragmatic, historically oriented survey on the universality of synchronization primitives</i></a> (PDF). University of Oulu. Archived from <a href="http://www.enseignement.polytechnique.fr/informatique/INF431/X09-2010-2011/AmphiTHC/SynchronizationPrimitives.pdf">the original</a> (PDF) on 2017-08-30. Retrieved 2012-09-13.</li> <li>Taubenfeld, Gadi (2006). <a href="http://www.faculty.idc.ac.il/gadi/book.htm"><i>Synchronization Algorithms and Concurrent Programming</i></a>. Pearson / Prentice Hall. p. 433. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-13-197259-9.</li></ul> <h2 id="external-links">External links</h2> <ul><li> Media related to Concurrent programming at Wikimedia Commons</li> <li><a href="https://web.archive.org/web/20060128114620/http://vl.fmnet.info/concurrent/">Concurrent Systems Virtual Library</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Operating System Concepts 9th edition, Abraham Silberschatz. "Chapter 4: Threads" <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Hansen, Per Brinch, ed. (2002). The Origin of Concurrent Programming. doi:10.1007/978-1-4757-3472-0. ISBN 978-1-4419-2986-0. S2CID 44909506. <a href="978-1-4419-2986-0" target="_blank">978-1-4419-2986-0</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Pike, Rob (2012-01-11). "Concurrency is not Parallelism". Waza conference, 11 January 2012. Retrieved from http://talks.golang.org/2012/waza.slide (slides) and http://vimeo.com/49718712 (video). <a href="/wiki/Rob_Pike" target="_blank">/wiki/Rob_Pike</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>"Parallelism vs. Concurrency". Haskell Wiki. <a href="https://wiki.haskell.org/Parallelism_vs._Concurrency" target="_blank">https://wiki.haskell.org/Parallelism_vs._Concurrency</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>This is discounting parallelism internal to a processor core, such as pipelining or vectorized instructions. A one-core, one-processor machine may be capable of some parallelism, such as with a coprocessor, but the processor alone is not. <a href="/wiki/Coprocessor" target="_blank">/wiki/Coprocessor</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Schneider, Fred B. (1997-05-06). On Concurrent Programming. Springer. ISBN 9780387949420. <a href="9780387949420" target="_blank">9780387949420</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Pike, Rob (2012-01-11). "Concurrency is not Parallelism". Waza conference, 11 January 2012. Retrieved from http://talks.golang.org/2012/waza.slide (slides) and http://vimeo.com/49718712 (video). <a href="/wiki/Rob_Pike" target="_blank">/wiki/Rob_Pike</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Ben-Ari, Mordechai (2006). Principles of Concurrent and Distributed Programming (2nd ed.). Addison-Wesley. ISBN 978-0-321-31283-9. <a href="978-0-321-31283-9" target="_blank">978-0-321-31283-9</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Patterson & Hennessy 2013, p. 503. - Patterson, David A.; Hennessy, John L. (2013). Computer Organization and Design: The Hardware/Software Interface. The Morgan Kaufmann Series in Computer Architecture and Design (5 ed.). Morgan Kaufmann. ISBN 978-0-12407886-4. <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Ben-Ari, Mordechai (2006). Principles of Concurrent and Distributed Programming (2nd ed.). Addison-Wesley. ISBN 978-0-321-31283-9. <a href="978-0-321-31283-9" target="_blank">978-0-321-31283-9</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>"Asynchronous I/O", Wikipedia, 2024-12-20, retrieved 2024-12-27 <a href="https://en.wikipedia.org/wiki/Asynchronous_I/O" target="_blank">https://en.wikipedia.org/wiki/Asynchronous_I/O</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Lamport, Leslie (1 September 1979). "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs". IEEE Transactions on Computers. C-28 (9): 690–691. doi:10.1109/TC.1979.1675439. S2CID 5679366. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>"PODC Influential Paper Award: 2002", ACM Symposium on Principles of Distributed Computing, retrieved 2009-08-24 <a href="http://www.podc.org/influential/2002.html" target="_blank">http://www.podc.org/influential/2002.html</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>Armstrong, Joe (2003). "Making reliable distributed systems in the presence of software errors" (PDF). Archived from the original (PDF) on 2016-04-15. <a href="https://web.archive.org/web/20160415213739/http://www.diva-portal.org/smash/get/diva2:9492/FULLTEXT01.pdf" target="_blank">https://web.archive.org/web/20160415213739/http://www.diva-portal.org/smash/get/diva2:9492/FULLTEXT01.pdf</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>"Standard library header <thread> (C++11)". en.cppreference.com. Retrieved 2024-10-03. <a href="https://en.cppreference.com/w/cpp/header/thread" target="_blank">https://en.cppreference.com/w/cpp/header/thread</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>"Standard library header <coroutine> (C++20)". en.cppreference.com. Retrieved 2024-10-03. <a href="https://en.cppreference.com/w/cpp/header/coroutine" target="_blank">https://en.cppreference.com/w/cpp/header/coroutine</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>Marlow, Simon (2013) Parallel and Concurrent Programming in Haskell : Techniques for Multicore and Multithreaded Programming ISBN 9781449335946 <a href="/wiki/ISBN_(identifier)" target="_blank">/wiki/ISBN_(identifier)</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> <li id="fn:18"><p>"Concurrent and Parallel programming in Julia — JuliaCon India 2015 — HasGeek Talkfunnel". juliacon.talkfunnel.com. Archived from the original on 2016-10-18. <a href="https://web.archive.org/web/20161018061906/https://juliacon.talkfunnel.com/2015/21-concurrent-and-parallel-programming-in-julia" target="_blank">https://web.archive.org/web/20161018061906/https://juliacon.talkfunnel.com/2015/21-concurrent-and-parallel-programming-in-julia</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li> <li id="fn:19"><p>"PHP: parallel - Manual". www.php.net. Retrieved 2024-10-03. <a href="https://www.php.net/manual/en/book.parallel.php" target="_blank">https://www.php.net/manual/en/book.parallel.php</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li> <li id="fn:20"><p>Documentation » The Python Standard Library » Concurrent Execution <a href="https://docs.python.org/3/library/concurrency.html" target="_blank">https://docs.python.org/3/library/concurrency.html</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li> <li id="fn:21"><p>"Concurrency". docs.perl6.org. Retrieved 2017-12-24. <a href="https://docs.perl6.org/language/concurrency" target="_blank">https://docs.perl6.org/language/concurrency</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></p></li> <li id="fn:22"><p>Blum, Ben (2012). "Typesafe Shared Mutable State". Retrieved 2012-11-14. <a href="http://winningraceconditions.blogspot.com/2012/09/rust-4-typesafe-shared-mutable-state.html" target="_blank">http://winningraceconditions.blogspot.com/2012/09/rust-4-typesafe-shared-mutable-state.html</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></p></li> <li id="fn:23"><p>"Concurrency". 2022. Retrieved 2022-12-15. <a href="https://docs.swift.org/swift-book/LanguageGuide/Concurrency.html" target="_blank">https://docs.swift.org/swift-book/LanguageGuide/Concurrency.html</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></p></li> </ol>