线程基础之JAVA和C++0x的特性

栏目: C++ · 发布时间: 7年前

内容简介:线程基础之JAVA和C++0x的特性

JAVA特性

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

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

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

在几乎所有情况下,Java程序应该避免数据竞争,和依赖顺序一致性。事实上附加的保障数据竞争问题只有三种情况:

1.对于编译器,必须保护它们。

2.对于尤其安全的敏感的代码,作者需要限制不受信任的“沙箱”代码引起的破坏。

3.对于极其性能敏感代码的富有经验的作者来讲,使用同步变量的格外代价太高。尽管这样的代码存在于java.util.concurrent类库里,我们还是期望比较少的 程序员 写这样的代码。

JAVA提供了不同寻常方式的锁:每个JAVA对象都可以作为一个锁。即逻辑上有个关联锁,而不是提供一个显式的lock()和unlock()函数。JAVA提供了同步块来获得和释放锁。在指定的代码块被执行期间一直保持住锁。

1 synchronized (object_used_as_lock) {
2    <i>code to be executed with lock held</i>
3   }

尽管最近JAVA版本提供了显式锁操作(java.util.concurent.locks),同步锁有实质性的好处,锁可以沿着代码块的方向释放,其中包括异常被抛出,从而消除错误的常见来源。

正如我们上面提及的,同步变量或者更正确的对象字段,通常用volatile关键字声明。由于不是一个单独的类型,可能有些令人惊讶,结果是:

数组元素不能同步,因为没有办法吧数组元素声明为volatile。

正如我们前面暗示的,volatile仅仅影响个别的内存存储,如果i被声明为volatile int i,那么++i包含两个单独的不可分割的内存访问,即增量作为一个不可分割的整体。

Java.util.concurrent.atomic包提供了一些原子类型规避这两种结果。

Java.util.concurrent提供了许多其他的措施支持多线程,包括丰富的类库用来同步或线程间的交互。

一些C++0x 特征

约定成俗,我们要用术语c++0x指下一个c++标准,尽管我们并不期望它被正式作为一个ISO标准直到2010或2011年。一个委员会起草的标准目前是可用的,并且我们期望许多供应商支持早于2011年的部分,在这我们所有的解释明确地适应2008委员会草案。

和当前(2003)C++标准不同,C++0X明确的支持线程,线程通过std::thread类的实例创建,调用构造函数或者执行可调用的对象。

由于C++没有被设计来提供保护不受信任的代码的,它无法保证数据争用,允许数据争用的任意程序产生”未定义行为”。

数据争用比较少的时候,提供的一些低层次的类库措施不能用来提供连续一致性。正像JAVA,这显而易见不是官方语言描述,在这种情况下,不使用数据争用而用低层次类库措施的语言描述更为复杂。

可以通过构造互斥获得锁,典型的是std::mutex,然后通过它获得构造函数std::lock_quard对象,确保在lock_quard析构函数释放锁,正如JAVA中被释放,即使是抛出异常。因此看起来像典型的代码来获得一个锁。

#include <mutex>

std::mutex mtx; // The lock; shared by multiple threads

{std::lock_guard _(mtx);

++c;

}

在c++0x中,整形同步变量i可能被声明为atomic<int> i;

同步变量与普通变量不同有个不同的类型,因此可以提供成员函数的不同实现,如果i像以上一样被声明,并发访问确保了正如以前一样的连续一致的行为,但是也确保了一个不可分割的操作,++i自动增加。

(C++里也有Volatile,由于历史原因,这意味着别的。)

目前看来,c++0x模型将在其他环境中,目前迹象表明,下一个C标准将遵循一种方法类似c++0x。OpenMP似乎也正走向一个类似解决方案。


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

硅谷增长黑客实战笔记

硅谷增长黑客实战笔记

曲卉 / 机械工业出版社 / 2018-4-10 / 65.00元

增长黑客这个词源于硅谷,简单说,这是一群以数据驱动营销、以迭代验证策略,通过技术手段实现爆发式增长的新型人才。近年来,互联网公司意识到这一角色可以发挥四两拨千斤的作用,因此对该职位的需求也如井喷式增长。 本书作者曾在增长黑客之父肖恩•埃利斯麾下担任增长负责人,用亲身经历为你总结出增长黑客必备的套路、内力和兵法。本书不仅有逻辑清晰的理论体系、干货满满的实践心得,还有Pinterest、SoFi......一起来看看 《硅谷增长黑客实战笔记》 这本书的介绍吧!

HTML 编码/解码
HTML 编码/解码

HTML 编码/解码

Markdown 在线编辑器
Markdown 在线编辑器

Markdown 在线编辑器