计算机编程基础_（提升）操作系统

[TOC]

同步

线程同步

互斥量（互斥锁）

临界资源是不可并发修改的共享资源。需要通过互斥量来保证线程安全。

如果两个线程操作指令交叉执行所得结果可能会不符合预期。使用互斥量可以保证先后执行。在下图左边是没有使用互斥量的情况下两个线程对10分别进行+1和-1操作，预期结果应该是10但实际结果是11，不符合预期。通过添加互斥量来保证线程操作是原子的，从而避免指令间交叉执行。

互斥量是最简单的线程同步方法，处于两态之一的变量：加锁和解锁。

操作系统直接提供了互斥锁的API，开发者可以直接使用API完成资源的加锁、解锁操作。

package main

import (
    "fmt"
    "sync"
)

func main() {
    //num:  -413523
    //num:  0
    noMutex()
    fmt.Println("num: ", num1)

    withMutex()
    fmt.Println("num: ", num2)
}

var (
    num1 int
    num2 int
    cnt  = 1024 * 1024 * 8
    wg   sync.WaitGroup
    lock sync.Mutex
)

func noMutex() {
    wg.Add(1)
    go add()

    wg.Add(1)
    go sub()

    wg.Wait()
}

func add() {
    for i := 0; i < cnt; i++ {
        num1++
    }
    wg.Done()
}
func sub() {
    for i := 0; i < cnt; i++ {
        num1--
    }
    wg.Done()
}

func withMutex() {
    wg.Add(1)
    go add2()

    wg.Add(1)
    go sub2()

    wg.Wait()
}

func add2() {
    lock.Lock()
    defer func() {
        lock.Unlock()
        wg.Done()
    }()

    for i := 0; i < cnt; i++ {
        num2++
    }
}
func sub2() {
    lock.Lock()
    defer func() {
        lock.Unlock()
        wg.Done()
    }()

    for i := 0; i < cnt; i++ {
        num2--
    }
}

原子性

原子性是指一系列操作不可被中断的特性

这一系列操作要么全部执行完成，要么全部没有执行，不存在部分执行部分未执行的情况。

自旋锁

自旋锁也是一种多线程同步的变量。使用自旋锁的线程会反复检查锁变量是否可以，自旋锁不会让出CPU，是一种忙等待状态。会死循环等待锁被释放。

自旋锁避免了进程和线程上下文切换的开销。操作系统内部很多地方使用的都是自旋锁。自旋锁不适合在单核CPU使用。

无论是互斥锁，还是自旋锁，在任何时刻，最多只能有一个保持者，也就说，在任何时刻最多只能有一个执行单元获得锁。但是两者在调度机制上略有不同。对于互斥锁，如果资源已经被占用，资源申请者只能进入睡眠状态。但是自旋锁不会引起调用者睡眠，如果自旋锁已经被别的执行单元保持，调用者就一直循环在那里看是否该自旋锁的保持者已经释放了锁，"自旋"一词就是因此而得名