Concurrency Algorithms and Theories 06 Promosing

Weak Memory Concurrency in C/C++11 and LLVM

编译器会对程序进行某种优化

image-20221025205237408

但两种优化合并同时产生是,会发生严重的错误

所以

  • C11 禁止 load hoisting,允许CSE
  • LLVM 允许 load hoisting,禁止CSE

但WMM仍然有很多问题。。。

The C11 momery model

image-20221025210140196

The OOTA problem

OUT-OF-THIN-AIR,即凭空产生的值,这是我们不想看到的情况

往往是因为产生了数据依赖

image-20221025210416137

A promising solution to OOTA

我们将程序中的write抽象成memory中的message,每条msg都有自己时间戳,对于read,只能读取自己时间戳及后面的值,切读完后需要更新自己所在线程在这个loc的view,write只能write在view之后,且需要更新线程自身的view

在其中,我们允许promise,即可以读取未来必然会写入的值,(其他线程的视角中可以)

image-20221025210920704

image-20221025210944247
8869825596)]

[外链图片转存中…(img-MODhTx9J-1668869825596)]

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
并发控制和数据库系统恢复是数据库管理系统中两个重要的方面。并发控制主要涉及到在多个用户同时访问数据库时如何保证数据的一致性和完整性。 在数据库系统中,多个用户可以同时执行不同的事务,这可能导致读取和写入冲突。并发控制的目标是确保事务并发执行时数据库的一致性不会受到破坏。为了达到这个目标,数据库系统采取了多种技术和机制,比如锁机制、并发调度算法和事务隔离级别。 锁机制是实现并发控制的一种常用方法。当一个事务需要对数据库中的某个数据进行读取或写入时,它必须先获取相应的锁。如果其他事务已经获得了相同的锁,那么当前事务就需要等待,直到其他事务释放锁。通过锁机制,可以确保同一时间只有一个事务能够修改某个数据,从而保证数据的一致性。 另一个重要的方面是数据库系统的恢复机制。当数据库遭受到意外故障导致数据损失或不一致时,恢复机制会负责将数据库恢复到一致的状态。数据库系统通常会使用事务日志来记录每个事务的操作,包括读取和写入操作。如果发生故障,可以使用事务日志来重演事务,并恢复到故障之前的状态。其中一种常见的恢复技术是Aries算法,它使用了WAL(Write-Ahead Logging)和差量恢复的机制,可以有效地恢复数据库系统。 综上所述,并发控制和恢复是数据库系统中非常重要的两个方面。并发控制保证了多个事务同时访问数据库时的数据一致性,恢复机制则确保在故障发生时能够将数据库恢复到一致的状态。这些技术和机制的应用使得数据库系统能够提供高效可靠的数据访问和处理能力。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值