同步 (计算机科学)




计算机科学中, 同步（synchronization）是指两个不同但有联系的概念：进程同步与数据同步。进程同步指多个进程在特定点会合（join up）或者握手使得达成协议或者使得操作序列有序。数据同步指一个数据集的多份拷贝一致以维护完整性。常用进程同步原语实现数据同步。




目录






  • 1 线程或进程同步


    • 1.1 经典同步问题




  • 2 参见


  • 3 参考文献


  • 4 外部链接





线程或进程同步





Figure 1: 3个进程同时访问共享资源(临界区)


多个线程（或进程）要执行同一个特定的不可重入的程序代码块（称为临界区），这就需要适当的并发控制同步技术[1]。否则，可能会发生竞态条件。







Figure 2: 一个进程访问共享资源基于某种同步技术。[2]


另一种同步要求产生于特定的操作顺序，如应该先买机票然后登机。[3]


同步还需处理:



  • 死锁

  • 资源饿死（英语：Resource starvation）

  • 优先级翻转

  • 忙等待



经典同步问题




  • 生产者消费者问题 (有限缓存区问题);


  • 读写问题（英语：Readers–writers problem）;


  • 哲学家就餐问题.





参见



  • Futures and promises（英语：Futures and promises）, 纯函数式编程中的同步机制


参考文献





  1. ^
    Gramoli, V. More than you ever wanted to know about synchronization: Synchrobench, measuring the impact of the synchronization on concurrent algorithms (PDF). Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM: 1–10. 2015. 


  2. ^ Janssen, Cory. Thread Synchronization. Techopedia. [23 November 2014]. 


  3. ^ Fatheisian, Halleh; Rosenberger, Eric. Synchronization. Department of Computer Science, George Mason University. [23 November 2014]. 




  • Schneider, Fred B. On concurrent programming. Springer-Verlag New York, Inc. 1997. ISBN 0-387-94942-9. 


外部链接




  • Anatomy of Linux synchronization methods at IBM developerWorks


  • The Little Book of Semaphores, by Allen B. Downey


























































  • 查

  • 论

  • 编


并行计算

概论


  • 分布式计算

  • 并行计算

  • 大规模并行处理机

  • 雲端運算

  • 高性能计算

  • 多元處理

  • 大規模多核心處理器（英语：Manycore processor）

  • GPGPU

  • 计算机网络

  • Systolic array（英语：Systolic array）
层级


  • 位元

  • 指令

  • 线程

  • 任务

  • 数据

  • 内存

  • 循环（英语：Loop-level parallelism）

  • 流水线
多线程


  • 时间（英语：Temporal multithreading）


  • 同时多线程（SMT）


  • 投机（英语：Speculative multithreading）（SpMT）

  • 抢占式

  • 协作


  • 集群多线程（CMT）

  • 硬件侦测
理论


  • PRAM模型

  • 并行算法分析（英语：Analysis of parallel algorithms）

  • 阿姆达尔定律

  • Gustafson's law（英语：Gustafson's law）

  • Cost efficiency（英语：Cost efficiency）

  • Karp–Flatt metric（英语：Karp–Flatt metric）

  • 减速（英语：Parallel slowdown）

  • 加速比
元素


  • 行程

  • 线程

  • 纖程

  • 指令窗口（英语：Instruction window）
协调


  • 多元處理

  • 内存一致性（英语：Memory coherence）

  • 快取一致性

  • 高速缓存失效（英语：Cache invalidation）

  • 屏障

  • 同步

  • 应用程序检查点（英语：Application checkpointing）
编程


  • 串流處理

  • 数据流处理（英语：Dataflow programming）


  • 模型（英语：Parallel programming model）

    • 隐式并行（英语：Implicit parallelism）

    • 显式并行（英语：Explicit parallelism）

    • 并发性



  • 非阻塞算法（英语：Non-blocking algorithm）
硬件



  • 費林分類法

    • 單指令流單數據流

    • 单指令流多数据流


    • 单指令多线程（英语：Single instruction, multiple threads）（SIMT）

    • 多指令流單數據流

    • 多指令流多数据流



  • 数据流架构（英语：Dataflow architecture）

  • 指令管線化

  • 超純量

  • 并行向量处理机


  • 多处理器

    • 对称

    • 非对称




  • 内存（英语：Semiconductor memory）

    • 共享

    • 分布式内存（英语：Distributed memory）

    • 分布式共享

    • UMA

    • NUMA

    • COMA（英语：Cache-only memory architecture）



  • 大规模并行处理机

  • 计算机集群

  • 网格计算
API


  • Ateji PX（英语：Ateji PX）

  • Boost.Thread

  • Charm++（英语：Charm%2B%2B）

  • Cilk

  • Coarray Fortran（英语：Coarray Fortran）

  • CUDA

  • Dryad（英语：Dryad (programming)）

  • C++ AMP

  • Global Arrays（英语：Global Arrays）

  • MPI

  • OpenMP

  • OpenCL

  • HMPP开放标准

  • OpenACC

  • TPL（英语：Parallel Extensions#Task Parallel Library）

  • PLINQ（英语：Parallel Extensions#PLINQ）


  • 并行虚拟机（英语：Parallel Virtual Machine）（PVM）

  • POSIX线程

  • RaftLib（英语：RaftLib）

  • UPC

  • TBB（英语：Threading Building Blocks）
问题


  • 软件闭锁（英语：Software lockout）

  • 可扩展性

  • 競爭危害

  • 死锁

  • 活锁

  • 饥饿（英语：Starvation (computer science)）

  • 确定性算法

  • 并行变慢（英语：Parallel slowdown）



  • 分类 分類：并行计算


  • 維基共享資源中与同步 (计算机科学)相關的分類





-

Popular posts from this blog

Y

Image
This article is about the letter of the alphabet. For other uses, see Y (disambiguation). See also: Wye (disambiguation) Y Y y (See below) Usage Writing system Latin script Type Alphabetic and Logographic Language of origin Latin language Phonetic usage [ y ] [ ɨ ] [ j ] [ iː ] [ ɪ ] [ ɘ ] [ ə ] [ ɯ ] [ ɛː ] [ j ] [ ɥ ] [ ɣ̟ ] / w aɪ / / aɪ / Unicode value U+0059, U+0079 Alphabetical position 25 History Development Υ υ 𐌖 Y y Time period 54 to present Descendants  • U  • V  • W  • Ỿ  • ¥  • Ꮙ  • Ꮍ  • Ꭹ Sisters F Ѵ У Ў Ұ Ү ו و ܘ וּ וֹ ࠅ 𐎆 𐡅 ወ વ ૂ ુ उ Variations (See below) Other Other letters commonly used with y(x), ly, ny This article contains IPA phonetic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of Unicode characters. For an introductory guide on IPA symbols, see Help:IPA. ISO basic Latin alphabet Aa Bb Cc D...
Read more

Mount Tamalpais

Image
Mount Tamalpais Mount Tamalpais, viewed from the south Highest point Elevation 2,571 ft (784 m)   NAVD 88 [1] Prominence 2,456 ft (749 m)  [1] Listing California county high points 55th Coordinates 37°55′45″N 122°34′40″W  /  37.929088°N 122.577829°W  / 37.929088; -122.577829 Coordinates: 37°55′45″N 122°34′40″W  /  37.929088°N 122.577829°W  / 37.929088; -122.577829   [1] Geography Mount Tamalpais Marin County, California, U.S. Show map of California Mount Tamalpais Mount Tamalpais (the US) Show map of the US Parent range California Coast Ranges Topo map USGS San Rafael Geology Mountain type Sedimentary Climbing First ascent 1830s by Jacob P. Leese (first recorded ascent) [2] Easiest route Railroad Grade fire trail Mount Tamalpais ( / t æ m əl ˈ p aɪ . ɪ s / ; TAM -əl- PY -iss ; Coast Miwok: /t̪ɑmɑlˈpɑis̺/ , known locally as Mount Tam ) is a peak in Marin County, California, United State...
Read more

Indian Forest Service

Image
Indian Forest Service Service Overview Preceding service Imperial Forest Service (1864 to 1935) Year of Constitution 1966 Country India Staff College Indira Gandhi National Forest Academy (IGNFA), Dehradun, Uttarakhand Cadre Controlling Authority Ministry of Environment, Forests and Climate Change Legal personality Governmental: Government service General nature Administration of Forest and Wildlife resources Cadre strength 3131 (2182 Direct Recruits and 949 Promotion Posts) Website ifs.nic.in Service Chief Director General of Forests Siddhanth Das, IFS (1982 Batch, Odisha Cadre) [1] Head of the All India Civil Services Cabinet Secretary Pradeep Kumar Sinha, IAS Indian Forest Service (भारतीय वन सेवा) [2] is one of the three All India Services of the Government of India. The other two All India Services being the Indian Administrative Service (IAS) and the Indian Police Service (IPS). [3] [4] [5] It was constituted in...
Read more