目录
乐观并发控制
在关系数据库管理系统里,乐观并发控制(又名“乐观锁”,Optimistic Concurrency Control,缩写“OCC”)是一种并发控制的方法。它假设多用户并发的事务在处理时不会彼此互相影响,各事务能够在不产生锁的情况下处理各自影响的那部分数据。在提交数据更新之前,每个事务会先检查在该事务读取数据后,有没有其他事务又修改了该数据。如果其他事务有更新的话,正在提交的事务会进行回滚。乐观事务控制最早是由孔祥重(H.T.Kung)教授提出。 乐观并发控制多数用于数据争用不大、冲突较少的环境中,这种环境中,偶尔回滚事务的成本会低于读取数据时锁定数据的成本,因此可以获得比其他并发控制方法更高的吞吐量。.
并发控制
在计算机科学,特别是程序设计、操作系统、多处理机和数据库等领域,并发控制(Concurrency control)是确保及时纠正由并发操作导致的错误的一种机制。.
查看 软件事务内存和并发控制
并行计算
并行计算(parallel computing)一般是指许多指令得以同时进行的计算模式。在同時進行的前提下,可以將計算的過程分解成小部份,之後以並行方式來加以解決。 電腦軟體可以被分成數個運算步驟來執行。為了解決某個特定問題,軟體採用某個演算法,以一連串指令執行來完成。傳統上,這些指令都被送至單一的中央处理器,以循序方式執行完成。在這種處理方式下,單一時間中,只有單一指令被執行(processor level: 比较微处理器,CISC, 和RISC,即流水线Pipeline的概念,以及后来在Pipeline基础上以提高指令处理效率为目的的硬件及软件发展,比如branch-prediction, 比如forwarding,比如在每个运算单元前的指令堆栈,汇编程序员对programm code的顺序改写)。平行運算採用了多個運算單元,同時執行,以解決問題。.
查看 软件事务内存和并行计算
共享内存
共享内存,分为两种:.
查看 软件事务内存和共享内存
计算机科学
计算机科学用于解决信息与计算的理论基础,以及实现和应用它们的实用技术。 计算机科学(computer science,有时缩写为CS)是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域;有些强调特定结果的计算,比如计算机图形学;而有些是探討计算问题的性质,比如计算复杂性理论;还有一些领域專注于怎样实现计算,比如程式語言理論是研究描述计算的方法,而程式设计是应用特定的程式語言解决特定的计算问题,人机交互则是專注于怎样使计算机和计算变得有用、好用,以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业(比如信息技术),或者只是与使用计算机的经验有关,如玩游戏、上网或者文字处理。其实计算机科学所关注的,不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质,更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学(computer science)的名字里包含计算机这几个字,但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此,一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学(computing science),以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy",以反映这一事实,即科学学科是围绕着数据和数据处理,而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院,该学院成立于1969年,Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时,在计算技术发展初期,《ACM通讯》建议了一些针对计算领域从业人员的术语:turingineer,turologist,flow-charts-man,applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上,comptologist被提出,第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆,起源于信息(information)和数学或者自动(automatic)的名字比起源于计算机或者计算(computation)更常见,如informatique(法语),Informatik(德语),informatika(斯拉夫语族)。 著名计算机科学家Edsger Dijkstra曾经指出:“计算机科学并不只是关于计算机,就像天文学并不只是关于望远镜一样。”("Computer science is no more about computers than astronomy is about telescopes.")设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如,研究计算机硬件被看作是计算机工程的一部分,而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而,现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉,比如心理学,认知科学,语言学,数学,物理学,统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切,一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大,如Kurt Gödel和Alan Turing,这两个领域在某些学科,例如数理逻辑、范畴论、域理论和代数,也不断有有益的思想交流。.
查看 软件事务内存和计算机科学
锁
锁是一种保安設施,是人類为了保护自己的财产而发明的一种用钥匙才能开启的装置。就现代而言,是一种以钥匙、密码、电路或者其他用具来开启的封缄装置,用以防止物品被打开、移走兼具防护、管理甚至是装饰的作用。《辞海》对锁的解释为:“必须用钥匙才能开启的封缄器。”《辞源》的解释为:“所以扃门户箱箧之具,使人不得开者,古人谓之键,今人谓之锁。”《说文解字》解释为:“锁,铁锁,门键也。” 锁在制作材质上主要有两种:木质锁、金属锁。.
查看 软件事务内存和锁
数据库事务
数据库事务(简称:事务)是数据库管理系统执行过程中的一个逻辑单位,由一个有限的数据库操作序列构成。.
查看 软件事务内存和数据库事务
另见
事务处理
- ACID
- CICS
- Java事务API
- Quorum (分布式系统)
- Txseries
- X/Open XA
- 三阶段提交
- 乐观并发控制
- 事务内存
- 事务处理
- 事務隔離
- 二阶段提交
- 交易處理系統
- 内存一致性模型
- 内核事务管理器
- 分布式事务协调器
- 劍橋分析公司
- 多模型数据库
- 大數據
- 并发控制
- 排程
- 数据完整性
- 数据库事务
- 时间数据库
- 線上交易處理
- 线性一致性
- 软件事务内存
并发控制
- ACID
- Fetch-and-add
- Futex
- Load-link/store-conditional
- Read-modify-write
- Volatile变量
- 乐观并发控制
- 事件 (同步原语)
- 事务内存
- 互斥锁
- 优先级继承
- 优先转置
- 信号量
- 全局解释器锁
- 原子语义
- 双重检查锁定模式
- 同步屏障
- 多粒度鎖
- 并发控制
- 忙碌等待
- 惊群问题
- 排程
- 检查并设置
- 比较并交换
- 監視器 (程序同步化)
- 线性一致性
- 臨界區段
- 读写锁
- 软件事务内存
- 重叠I/O
- 锁 (计算机科学)
程式語言翻譯
- BSS段
- C3线性化
- P-code机
- 保護模式
- 内联缓存
- 執行檔
- 尾调用
- 未定义行为
- 汇编语言
- 直譯器
- 真實模式
- 編譯器
- 翻译程序
- 自循環直譯器
- 虚拟8086模式
- 虛擬加工
- 虛擬機器
- 词法分析
- 软件事务内存
- 链接器
- 链接性
- 长模式
- 预处理器