作者：南乡清水 

1 Innodb MVCC组成

1. 1 为何使用MVCC实现快照读

innodb存储引擎的快照读是基于多版本并发控制 MVCC 和 undolog 实现，通过 MVCC 机制提高系统读写并发性能，快照读只发生于 select 操作，但不包括 select … lock in share mode, select … for update　　　　

• 提高并发的思路

并发数据一致性通常实现: 锁 + 多数据版本
提高并发读的思路: 通过共享锁保证读读并发，独占锁实现读写互斥
提高并发读写的思路: 一致性折衷，通过数据多版本控制，读使用快照版本，读写不互斥，提高读写并发能力

大卫说：“服务的调用最终是通过函数实现的”。“但函数要绑定数据以确定并行的粒度”：皮特争辩道。早上大卫和皮特在花园里争论着，我们所开发的软件的结构究竟是面向对象还是面向函数？这个问题猛然听来好像非常矛盾。软件的结构似乎只能在面向对象和面向函数之间进行选择。但其实不然，面向对象和面向函数不过是我们在开发过程中的一种思考方式。当你从用户的角度来看开发的过程，就是面向对象的。因为用户最终操作的是一个很小的数据集合。这个集合可以抽象的叫做对象。当你换个角度从服务器这边去看时。服务器的数据被各种用户函数所操作。所有函数所拥有的数据的子集的合，构成了服务器的全部数据。并且每个函数的范围都不固定。可能操作很小的数据，也可能操作很大的数据。小到用户状态的更改。大到对几年的数据进行统计分析。哪么从服务器的角度来看就叫面向函数的编程。

JVM中有这样一段注释：

[code lang=”java”]
// The base-class, PlatformEvent, is platform-specific while the ParkEvent is
// platform-independent. PlatformEvent provides park(), unpark(), etc., and
// is abstract — that is, a PlatformEvent should never be instantiated except
// as part of a ParkEvent.
// Equivalently we could have defined a platform-independent base-class that
// exported Allocate(), Release(), etc. The platform-specific class would extend
// that base-class, adding park(), unpark(), etc.
//
// A word of caution: The JVM uses 2 very similar constructs:
// 1. ParkEvent are used for Java-level "monitor" synchronization.
// 2. Parkers are used by JSR166-JUC park-unpark.
//
// We’ll want to eventually merge these redundant facilities and use ParkEvent.
[/code]

阅读全文

译文连接   译文地址  译者：衣着时   校对：丁一    （有兴趣参与试译或校对的同学，请加入并发网试译者QQ群：369468545）

JAVA特性

JAVA线程通常是一个带有run()方法的java.lang.Thread的子类，然后调用这个子类对象的start()方法。我们之前定义过，数据竞争是因为两个线程同时访问内存单元，在JAVA中，内存单元是一个对象字段或数组元素。

由于JAVA旨在支持运行不受信任代码作为受信任的应用程序的一部分，必须限制不受信任代码的数据争用造成的破坏。因此不允许数据争用的任意行为，所以，JAVA语言规范包含了一个复杂的规则集，用来定义线程间的共享对象的行为，包括数据争用的行为，这些规则的影响甚至专家都觉得惊讶。然而这些规则保证了免除数据争用的程序的连续一致，对于程序来讲是个更加容易的模型。

如上所述JAVA的数据争用定义的可替换的定义是，并发冲突操作必须被阻止同时出现通过执行相同的线程，或者引入强制实施线程间的顺序的同步变量。如果采用了这些机制，就可以说一个内存操作发生在另一个内存操作之前。因此不会发生交叉存储。这基本相当于我们的定义。 阅读全文

感谢网友【nanxiao】的投稿

最近team引入gcov来做代码分析。编译好的程序在Solaris上运行的好好的，结果在Linux上一运行就会产生core dump文件。这篇文章就介绍整个分析过程。

首先用gdb分析core文件,显示是strlen调用出了问题：

(gdb) 
#0  0x00000034e433386f in __strlen_sse42 () from /lib64/libc.so.6
#1  0x000000000053c57a in __gcov_init ()
#2  0x000000000053c4b9 in _GLOBAL__I_65535_0_g_cmd_param () at source/rerun/aicent_ara_rerun.c:963
#3  0x000000000053dc26 in __do_global_ctors_aux ()
#4  0x0000000000403743 in _init ()
#5  0x00007fff6d6b3ce8 in ?? ()
#6  0x000000000053db55 in __libc_csu_init ()
#7  0x00000034e421ecb0 in __libc_start_main () from /lib64/libc.so.6
#8  0x0000000000404449 in _start ()

由于我们使用的gcc是用安装包形式安装的，没有源码。所以就从github上找了相应版本的gcc源代码，希望能有所帮助。以下是__gcov_init函数的代码（https://github.com/gcc-mirror/gcc/blob/gcc-4_4_7-release/gcc/libgcov.c）：

阅读全文

原文地址 作者：Pedro Ramalhete，译者：叶磊，校对：周可人

在学术论文中Harris Linked List是使用最广泛的并发数据结构之一。

Harris Linked List是一个基于linked-list的并发有序set（或者是map），可进行无锁性质的插入，删除和查找操作。

http://research.microsoft.com/pubs/67089/2001-disc.pdf

这篇文章最早在2001年的DISC会议上发表，作者是Tim Harris，目前在Oracle就职。

https://labs.oracle.com/pls/apex/f?p=labs:bio:0:296

阅读全文

原文地址 作者：Pedro Ramalhete，译者：周可人，校对：梁海舰

Tick lock是mutual lock的一种简单实现：

http://web.mit.edu/6.173/www/currentsemester/readings/R06-scalable-synchronization-1991.pdf

它是由John Mellor-Crummey和Michael Scott在1991年提出的（pdf中2.2节），感谢C++11和C11中新的内存模型，我们可以对单个变量进行具有屏障或者不具有屏障的原子操作。当屏障没有使用，只有原子性保证时，我们称之为“relaxed atomic”：

http://en.cppreference.com/w/cpp/atomic/memory_order

注意在C11/C++11内存模型中，一个原子变量并不具有内在的“顺序一致性”或者“relaxed”性质，然而我们可以在每次访问的时选择它的行为。

原子修饰符只能保证原子性，即这个变量会被单步读或写。其他语言，如Java和Scala则不同，它们可以保证几乎所有的原生类型提供原子性保证，从而表现为“relaxed atomic”。并且，所有被声明为顺序一致性的变量可以在整个程序中保持性质（除非在Java中使用sun.misc.unsafe）。尽管这个细微的差异可能看起来并不重要，但是当我们的目标是从同步或是并发算法中挖掘最大性能时，就需要关注这个差异了。

阅读全文

感谢同事【付哲】发布此文。

无锁

并发环境下最常用的同步手段是互斥锁和读写锁，例如pthread_mutex和pthread_readwrite_lock，常用的范式为：

void ConcurrencyOperation() {
	mutex.lock();
	// do something
	mutex.unlock();
}

这种方法的优点是：

1. 编程模型简单，如果小心控制上锁顺序，一般来说不会有死锁的问题；
2. 可以通过调节锁的粒度来调节性能。 阅读全文

本文是《C++ 并发编程》的第一章，感谢人民邮电出版社授权并发编程网发表此文，版权所有，请勿转载。该书将于近期上市。

本章主要内容

• 何谓并发和多线程
•  为什么要在应用程序中使用并发和多线程
•  C++并发支持的发展历程
•  一个简单的C++多线程程序是什么样的

这是C++用户的振奋时刻。距1998年初始的C++标准发布13年后，C++标准委员会给予程序语言和它的支持库一次重大的变革。新的C++标准（也被称为C++11或C++0x）于2011年发布并带来了很多的改变，使得C++的应用更加容易并富有成效。

阅读全文

2014年马上就到了，借此文感谢各位同学一直以来对并发编程网的支持和厚爱，祝大家新年快乐，并在新的一年里事事马到成功！在新的一年里如果您对并发编程网有什么要求，请只管在本文的回复里告诉我们。

至此新春之际，并发网和人民邮电出版社将在2014年向大家推送《C++ Concurrency in Action》中文版的样章，该书即将登场，而并发编程网让大家先睹为快！本文是第一篇，主要是包含本书的内容介绍，目录和译者介绍。喜欢的话请猛点赞。
阅读全文

开场白：前一段时间（大概在8月初）开始写 《C++11 并发编程指南》（最早更新于：http://www.cnblogs.com/haippy），但是由于个人能力有限，加上 9 月初到现在一直在忙着找工作（革命尚未成功），精力有限，难免出现错误，希望读者不吝指正。

另外，这是我在并发编程网上写的第一篇文章，终于迈开了第一步。受@腾飞同学的鼓励，后续我会在本站持续更新与 C++ 并发编程（尤其是C++11并发编程）相关的文章，但由于个人水平有限，希望读者指出我的错误，并多多包涵 😉

最后，个人一直在 Github上 更新 《C++11 并发编程指南》，目前已经完成了 C++11 新标准中与原子操作和多线程相关的内容，如果你对此感兴趣，也欢迎你加入进来，传播知识，方便他人。 阅读全文

感谢网友浅水清流投递本稿。

并发算法是多核时代开始流行的技术趋势，比如tbb，ppl都提供了大量有用的并发算法。

经典算法中，排序是一个很适合采用分治法并发的场合，比如快速排序。

常规的快速排序，先在数组中选取一个基准点，将数组分区为小于基准点和大于基准点（相同的数可以到任一边），对分区的子数组递归的执行分区的操作，当子数组长度为1时退出递归。此时数组就完成了排序过程。 阅读全文