我们知道Linux中的以下内核方法允许我们对共享数据应用各种锁定机制 . 但是,Linux是否保证了方法本身的原子性?除了与普通和读写器旋转锁相关的方法之外,如果执行线程在部分执行下面提到的任何其他方法时被抢占,那么这不会是灾难性的吗?
Spin Lock Methods
spin_lock();
spin_lock_irq();
spin_lock_irqsave();
spin_unlock();
spin_unlock_irq();
spin_unlock_irqrestore();
spin_lock_init();
spin_trylock();
spin_is_locked();
Reader-Writer Spin Lock Methods
read_lock();
read_lock_irq();
read_lock_irqsave();
read_unlock();
read_unlock_irq();
read_unlock_ irqrestore();
write_lock();
write_lock_irq();
write_lock_irqsave();
write_unlock();
write_unlock_irq();
write_unlock_irqrestore();
write_trylock();
rwlock_init();
Semaphore Methods
sema_init();
init_MUTEX();
init_MUTEX_LOCKED();
down_interruptible();
down();
down_trylock();
up();
Reader-Writer Semaphore Methods
init_rwsem();
down_read();
up_read();
down_write();
up_write();
down_read_trylock();
down_write_trylock();
downgrade_write();
Mutex Methods
mutex_lock();
mutex_unlock();
mutex_trylock();
mutex_is_locked();
Completion Variable Methods
init_completion();
wait_for_completion();
complete();
2 回答
如果这些函数在锁本身方面不是原子的,那么根本就不起作用 . 我上次看,我的Linux确实有效 .
大多数这些功能确实会在执行其操作时禁用抢占功能 .
Semaphore,Reader-writer semeaphores会自动禁用SMP系统中的内核抢占 .