Novis juga boleh bersaing dengan penemuduga BAT: CAS

Lepaskan: 2023-08-24 15:09:21
ke hadapan
1386 orang telah melayarinya

Kata Pengantar

Bahagian tambahan siri pengaturcaraan serentak JavaC A S (Banding dan tukar), gaya artikel masih penuh dengan gambar dan teks, mudah difahami, membolehkan pembaca berdialog gila dengan penemuduga.C A S(Compare and swap),文章风格依然是图文并茂,通俗易懂,让读者们也能与面试官疯狂对线。

C A S作为并发编程必不可少的基础知识,面试时C A S也是个高频考点,所以说C A S是必知必会,本文将带读者们深入理解C A S

C A S code>Sebagai pengetahuan asas penting tentang pengaturcaraan serentak, semasa temu dugaC A Sjuga merupakan tapak ujian frekuensi tinggi, jadi C A Smesti diketahui, artikel ini akan memberi pembaca pemahaman yang mendalam C A S.

Outline

Novis juga boleh bersaing dengan penemuduga BAT: CAS

Konsep asas C A S

C A S(compareAndSwap)也叫比较交换,是一种无锁原子算法,映射到操作系统就是一条cmpxchg硬件汇编指令(保证原子性),其作用是让C P U将内存值更新为新值,但是有个条件,内存值必须与期望值相同,并且C A SOperasi tidak memerlukan pertukaran antara mod pengguna dan mod kernel, dan memori dibaca dan ditulis terus dalam mod pengguna (nomeanthreads) penukaran konteks).

它包含3个参数 C A S(V,E,N)V表示待更新的内存值,E表示预期值,N表示新值,当V值等于E值时,才会将V值更新成N值,如果V值和E值不等,不做更新,这就是一次C A S的操作。3个参数C A S(V,E,N)V表示待更新的内存值,E表示预期值,N表示新值,当V值等于E值时,才会将V值更新成N值,如果V值和E值不等,不做更新,这就是一次C A S的操作。

Novis juga boleh bersaing dengan penemuduga BAT: CAS

简单说,C A S

Novis juga boleh bersaing dengan penemuduga BAT: CAS

简单诜, C A S›象的那样,说明它已经被别人修改过了,你只需要重新读取,设置新期望值,再次尝试修改就好了。

Bagaimana C A S memastikan atomicity

Atomicity bermakna satu atau lebih operasi berada dalamC P Uciri yang tidak boleh diganggu semasa pelaksanaan. Ia sama ada dilaksanakan atau tidak dilaksanakan dan tidak boleh dilaksanakan di tengah (satu yang tidak boleh diganggu atau urutan operasi).C P U执行的过程中不被中断的特性,要么执行,要不执行,不能执行到一半(不可被中断的一个或一系列操作)。

为了保证C A S的原子性,C P U提供了下面两种方式

  • 总线锁定
  • 缓存锁定

总线锁定

总线(B U S)是计算机组件间的传输数据方式,也就是说C P U与其他组件连接传输数据,就是靠总线完成的,比如C P U

Untuk memastikan rgba(27, 31, 35, 0.05);font-family: "Operator Mono", Consolas, Monaco, Menlo, monospace;word-break: break-all;color: rgb(255, 100, 65);">Atomicity C A S, C P Umenyediakan dua kaedah berikut
  • Kunci bas
  • Kunci cache
  • ul>

    Kunci bas

    Bas ( B U S) ialah kaedah penghantaran data antara komponen komputer, iaitu C P Umenyambung dengan komponen lain untuk menghantar data, yang dilakukan dengan bas, seperti C P Umembaca dan menulis memori.
    Novis juga boleh bersaing dengan penemuduga BAT: CAS

    总线锁定是指C P U使用了总线锁,所谓总线锁就是使用C P U提供的LOCK#信号,当C P U在总线上输出LOCK#信号时,其他C P U的总线请求将被阻塞。C P U使用了总线锁,所谓总线锁就是使用C P U提供的LOCK#信号,当C P U在总线上输出LOCK#信号时,其他C P U的总线请求将被阻塞。

    Novis juga boleh bersaing dengan penemuduga BAT: CAS

    缓存锁定

    总线锁定方式虽然保证了原子性,但是在锁定期间,会导致大量阻塞,增加系统的性能开销,所以现代C P U为了提升性能,通过锁定范围缩小的思想设计出了缓存行锁定(缓存行是C P UNovis juga boleh bersaing dengan penemuduga BAT: CAS

    缓存锁定

    总线锁定方式虽然保证了原子性,但是在锁定期间,会导致大量阻塞,增加的是系现代 C P U为了提升性能,通过锁定范围缩小的思想设了玡凓缓存行是 C P U高速缓存存储的最小单位)。

    Apa yang dipanggilkunci cachemerujuk kepadaC P UmengunciC P U缓存行进行锁定,当缓存行中的共享变量回写到内存时,其他C P U会通过总线嗅探机制感知该共享变量是否发生变化,如果发生变化,让自己对应的共享变量缓存行失效,重新从内存读取最新的数据,缓存锁定是基于缓存一致性机制来实现的,因为缓存一致性机制会阻止两个以上C P U同时修改同一个共享变量(现代C P U基本都支持和使用缓存锁定机制)。

    C A S的问题

    C A S和锁都解决了原子性问题,和锁相比没有阻塞、线程上下文你切换、死锁,所以C A S要比锁拥有更优越的性能,但是C A S同样存在缺点。

    C A Sgaris cache

    , dan apabila pembolehubah yang dikongsi dalam baris cache ditulis kembali ke ingatan, C P Uakan mengesan sama ada pembolehubah kongsi telah berubah melalui mekanisme menghidu bas. Jika ia perubahan, biarkan dirinya Baris cache pembolehubah kongsi yang sepadan adalah tidak sah dan data terkini dibaca dari memori sekali lagi Penguncian cache dilaksanakan berdasarkan mekanisme ketekalan cache, kerana mekanisme ketekalan cache akan menghalang lebih daripada dua C P UUbah suai pembolehubah kongsi yang sama secara serentak (Moden C P UPada asasnya semua Menyokong dan menggunakan mekanisme penguncian cache ).

    Masalah C A S

    C A Sdan kunci kedua-duanya menyelesaikan masalah atomicity. Berbanding dengan kunci, tiada penyekatan, penukaran konteks benang dan kebuntuan, jadi C A Smempunyai prestasi yang lebih baik daripada kunci, tetapiC A SSama Terdapat kekurangan. C A S Masalah dengan kod> adalah seperti berikut. ;padding: 2px 4px;border-radius: 4px;margin-right: 2px;margin-left: 2px;background-color: rgba(27, 31, 35, 0.05);font-family: "Operator Mono", Consolas, Monaco, Menlo, monospace;word-break: break-all;color: rgb(255, 100, 65);">ABASoalan

    Hanya satu pembolehubah kongsi boleh dijamin operasi Atom

    C A Shanya boleh digunakan untuk satu pembolehubah kongsi. Jika terdapat berbilang pembolehubah dikongsi, anda hanya boleh menggunakan kunci. Sudah tentu, jika anda Terdapat cara untuk menyepadukan berbilang pembolehubah ke dalam satu pembolehubah, menggunakanC A Sjuga bagus, contohnya dalam kunci baca-tulisBit keadaan tinggi dan rendah.

    Masa putaran terlalu lama

    Apabila benang gagal memperoleh kunci, ia tidak menyekat dan menggantung, tetapi cuba memperoleh semula selepas tempoh masa ini sehingga ia berjaya jenis pemerolehan gelung Mekanisme ini dipanggil kunci putaran (kunci putaran).spinlock

    )。

    自旋锁好处是,持有锁的线程在短时间内释放锁,那些等待竞争锁的线程就不需进入阻塞状态(无需线程上下文切换/无需用户态与内核态切换),它们只需要等一等(自旋),等到持有锁的线程释放锁之后即可获取,这样就避免了用户态和内核态的切换消耗。

    自旋锁坏处显而易见,线程在长时间内持有锁,等待竞争锁的线程一直自旋,即CPU一直空转,资源浪费在毫无意义的地方,所以一般会限制自旋次数。

    最后来说自旋锁的实现,实现自旋锁可以基于C A S实现,先定义lockValue对象默认值11代表锁资源空闲,0

    Kelebihan kunci putaran ialah benang yang memegang kunci melepaskan kunci dalam masa yang singkat, dan benang yang menunggu kunci bersaing tidak perlu memasuki keadaan menyekat (Tidak perlu penukaran konteks benang/Tidak perlu mod pengguna dan penukaran mod kernel ), mereka hanya perlu menunggu (spin) sehingga benang yang menahan kunci melepaskan kunci sebelum mereka boleh memperolehnya, sekali gus mengelakkan penggunaan bertukar antara mod pengguna dan mod kernel. Kelemahan kunci putaran adalah jelas. terhad. Akhir sekali, mari kita bincangkan tentang pelaksanaan kunci putaran Pelaksanaan kunci putaran boleh berdasarkan C A Spelaksanaan, mula-mula takrifkan lockValueNilai lalai objek 1, 1bermaksud sumber kunci adalah percuma, 0bermaksud sumber kunci telah diduduki, kodnya adalah seperti berikut
    public class SpinLock { //lockValue 默认值1 private AtomicInteger lockValue = new AtomicInteger(1); //自旋获取锁 public void lock(){ // 循环检测尝试获取锁 while (!tryLock()){ // 空转 } } //获取锁 public boolean tryLock(){ // 期望值1,更新值0,更新成功返回true,更新失败返回false return lockValue.compareAndSet(1,0); } //释放锁 public void unLock(){ if(!lockValue.compareAndSet(1,0)){ throw new RuntimeException("释放锁失败"); } } }
    Salin selepas log masuk

    FungsiAtomicInteger类型的lockValue变量,AtomicIntegerJava基于C A S实现的Integer原子操作类,还定义了3个函数lock、tryLock、unLock

    tryLock ditakrifkan di atas - dapatkan kunci

    . 2px;warna latar belakang: rgba(27, 31, 35, 0.05); keluarga fon: "Operator Mono", Consolas, Monaco, Menlo, monospace;patah perkataan: break-all;warna: rgb(255, 100, 65);">C A S更新
    • 如果期望值与LockValue值相等,则lockValue值更新为0,返回benar,否则执行下面逻辑
    • C A S更新
    • 如果期望值与lockValue值相等,则lockValue值更新为0,返回true,否则执行下面逻辑
    • 如果期望值与lockValue值不相等,不做任何更新,返回false如果期望值与 LockValue值不相等,不做任何更新,返回 salah

    unLock函数-释放锁
    • 期望值0,更新值10,更新值1
    • C A S更新
    • 如果期望值与lockValue值相等,则lockValue值更新为1,返回true,否则执行下面逻辑
    • 如果期望值与lockValue值不相等,不做任何更新,返回false

    C A S更新

    如果期望值与 lockValue值相等,则 lockValue值更新为 1,返回
Novis juga boleh bersaing dengan penemuduga BAT: CAS

从上图可以看出,只有tryLock成功的线程(lockValue更新为0),才会执行代码块,其他线程个tryLock自旋等待lockValue被更新成1tryLock成功的线程执行unLocklockValue更新为1),自旋的线程才会tryLockberjaya.

ABA masalah

C A S需要检查待更新的内存值有没有被修改,如果没有则更新,但是存在这样一种情况,如果一个值原来是A,变成了B,然后又变成了A,在C A SApabila anda menyemak, anda akan mendapati ia tidak diubah suai.

Andaikan ada dua utas, benang 1读取到内存值A,线程1时间片用完,切换到线程2,线程2也读取到了内存值A,并把它修改为B值,然后再把B值还原到A值,简单说,修改次序是A->B->A,接着线程1恢复运行,它发现内存值还是A,然后执行C A S操作,这就是著名的ABA ada masalah, tetapi nampaknya tiada masalah.

Ia hanya struktur data yang mudah, jadi tidak akan ada sebarang masalah Jika struktur data yang kompleks, mungkin ada masalah (Gunakan AtomicReference可以把C A S使用在对象上),以链表数据结构为例,两个线程通过C A S去删除头节点,假设现在链表有A->BNod

.
Novis juga boleh bersaing dengan penemuduga BAT: CAS
  • 线程1删除A节点,B节点成为头节点,正要执行C A S(A,A,B)时,时间片用完,切换到线程 21删除A节点,B节点成为头节点,正要执行C A S(A,A,B)时,时间片用完,切换到线程2
  • 线程2删除A、B节点
  • 线程2加入C、A节点,链表节点变成A->C
  • 线程1重新获取时间片,执行C A S(A,A,B)
  • 丢失C
  • 🎜线程2 删除A、B节点🎜🎜🎜🎜线程2加入C、A节点,链表节点变成A->C kod>🎜🎜🎜🎜线程1重新获取时间片,执行C A S(A, A,B)🎜🎜🎜🎜丢失C节点🎜🎜

Untuk menyelesaikanA B A问题也非常简单,只要追加版本号即可,每次改变时加1,即A —> B —> A,变成1A —> 2B —> 3A,在Java中提供了AtomicStampedRdference可以实现这个方案(面试只要问了C A S,就一定会问ABA, ini mesti difahami).

Atas ialah kandungan terperinci Novis juga boleh bersaing dengan penemuduga BAT: CAS. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Label berkaitan:
sumber:Java后端技术全栈
Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan
Tentang kita Penafian Sitemap
Laman web PHP Cina:Latihan PHP dalam talian kebajikan awam,Bantu pelajar PHP berkembang dengan cepat!