十、同步與鎖定
前一章的計時器有「錯過」的問題,但被這個問題困擾的不只計時器,本章要繼續介紹「同步與鎖定」。



10-1、同步與鎖定的必要性
驅動程式要能夠強固的執行,則必須考慮到「同步(synchronization)」與「鎖定(exclusion)」的相關知識,另一種說法為「競爭狀態(race condition; racing)」,指的是相同的東西。

驅動程式分成 user context 與 interrupt context ,而這兩種 context 十分可能同時並列執行,因此在開發驅動程式時,必須隨時記得「現在寫的程式碼,必須能毫無問題地同時並列執行」。



10-2、read-modify-write
要理解為何需要鎖定,常見的描述是「ead-modify-write」,這指的是三個連續動作:
  • 讀取資料
  • 變更資料
  • 寫入資料
如果這段動作有兩個 thread 同時執行的話,則難保執行結果會是正確的。



10-3、Atomic 操作
要讓遞增、遞減變動的動作「atomic」時,可以使用 kernel 提供的機制:
將變數定義為 atomic_t 型別,並使用 ATOMIC_INIT 巨集為 atomic 變數設定初始值,如:
atomic_t counter = ATOMIC_INIT(0);
操作 atomic 變數的函式,在 IA-32 版本是定義在「include/asm-x86/atomic_32.h」檔案內。

Atomic 操作的範例:
#include
#include

MODULE_LICENSE("Dual BSD/GPL");

atomic_t counter = ATOMIC_INIT(0);

static int sample_init(void) {
int n;

atomic_inc(&counter);
n = atomic_read(&counter);
printk("n %d\n", n);

if (atomic_dec_and_test(&counter))
printk("atomic_dec_and_test() TRUE\n");
else
printk("atomic_dec_and_test() FALSE\n");

return 0;
}

static void sample_exit(void) {
printk("sample driver removed.\n");
}

module_init(sample_init);
module_exit(sample_exit);




10-4、旗標
程式處理的過程中,有一些不適合同時並行執行的地方稱為「critical section」,要保護 critical section 的話,必須:
  • 一次只讓一個 thread 執行 critical section
也因為這個作法,可能導致系統的效能降低,所以有另一個鐵則:
  • critical section 的程式碼極力縮短

linux kernel 提供了「semaphore(旗標)」作為 user context 進行同步與鎖定的機制,用法只要在 critical section 前、後,執行「P操作」、「V操作」即可。
執行「P操作」,就是取得進入 critical section 的許可,並拿到 semaphore,此時若有其它 context 要求「P操作」,就會進入等待狀態。
離開 critical section 時,作做「V操作」,釋放 semaphore,此時如果有其它 context 正在等待,就會喚醒其中一個,讓它獲得 semaphore。
也因為 semaphore 會「sleep」的緣故,所以:
  • 不能在 interrupt context 使用 semaphore

驅動程式要使用 semaphore 時,必須先定義 semaphore 結構變數:
struct semaphore sem;
要初始化 semaphore 變數,要呼叫 init_MUTEX():
void init_MUTEX(struct semaphore *sem);
取得 semaphore 的動作(P操作)可透過 down() 或 down_interruptible() 完成:
void down(struct semaphore *sem);
int down_interruptible(struct semaphore *sem);

釋放 semaphore 的動作(V操作)則是 up():
void up(struct semaphore *sem);

取得 semaphore 的函式有兩種,差異在於 user context(process) 進入 sleep 後:
  • 能不能被 signal 解除 sleep

關於 down() 與 down_interruptible() 的選用方式,大多數情況下可直接使用 down(),力求讓驅動程式簡化。
而使用 down_interruptible() 的情況包括 socket interface 收封包資料等情況,在收到封包前都無法處理系統呼叫的話很麻煩,所以會希望能透過 signal 中斷等待。

使用 semaphore 的範例:
#include
#include
#include
#include
#include
#include

MODULE_LICENSE("Dual BSD/GPL");

static int devone_devs = 1; /* device count */
static int devone_major = 0; /* MAJOR: dynamic allocation */
static int devone_minor = 0; /* MINOR: static allocation */
static struct cdev devone_cdev;
static struct class *devone_class = NULL;
static dev_t devone_dev;

struct devone_data {
struct semaphore sem;
};

#define DATA_MAX 64
static unsigned char data[DATA_MAX];

int devone_write(struct file *filp, const char __user *buf, size_t count, loff_t *f_pos) {
struct devone_data *dev = filp->private_data;
int len;
int retval;

if (down_interruptible(&dev->sem))
return -ERESTARTSYS;
if (count > DATA_MAX)
len = DATA_MAX;
else
len = count;

if (copy_from_user(data, buf, len)) {
retval = -EFAULT;
goto out;
}
retval = len;
out:
up(&dev->sem);
return (retval);

}

int devone_read(struct file *filp, const char __user *buf, size_t count, loff_t *f_pos) {
struct devone_data *dev = filp->private_data;
int len;
int retval;

if (down_interruptible(&dev->sem))
return -ERESTARTSYS;
if (count > DATA_MAX)
len = DATA_MAX;
else
len = count;
if (copy_to_user(data, buf, len)) {
retval = -EFAULT;
goto out;
}
retval = len;
out:
up(&dev->sem);
return (retval);
}

int devone_close(struct inode *inode, struct file *filp) {
struct devone_data *dev = filp->private_data;
if (dev)
kfree(dev);
return 0; /* success */
}

int devone_open(struct inode *inode, struct file *filp) {
struct devone_data *dev;

dev = kmalloc(sizeof(struct devone_data), GFP_KERNEL);
if (dev == NULL)
return -ENOMEM;
/* initialize members */
init_MUTEX(&dev->sem);
filp->private_data = dev;
return 0;
}

struct file_operations devone_fops = {
.owner = THIS_MODULE,
.open = devone_open,
.release = devone_close,
.read = devone_read,
.write = devone_write,
};

static int devone_init(void) {
dev_t dev = MKDEV(devone_major, 0);
int alloc_ret = 0;
int major;
int cdev_err = 0;
struct class_device *class_dev = NULL;

alloc_ret = alloc_chrdev_region(&dev, 0, devone_devs, "devone");
if (alloc_ret)
goto error;
devone_major = major = MAJOR(dev);

cdev_init(&devone_cdev, &devone_fops);
devone_cdev.owner = THIS_MODULE;
devone_cdev.ops = &devone_fops;
cdev_err = cdev_add(&devone_cdev, MKDEV(devone_major, devone_minor), 1);

if (cdev_err)
goto error;

/* register class */
devone_class = class_create(THIS_MODULE, "devone");
if (IS_ERR(devone_class))
goto error;
devone_dev = MKDEV(devone_major, devone_minor);
class_dev = class_device_create(devone_class, NULL, devone_dev, NULL, "devone%d", devone_minor);

printk(KERN_ALERT "devone driver(major %d) installed.\n", major);
return 0;

error:
if (cdev_err == 0)
cdev_del(&devone_cdev);
if (alloc_ret == 0)
unregister_chrdev_region(dev, devone_devs);
return -1;
}

static void devone_exit(void) {
dev_t dev = MKDEV(devone_major, 0);
class_device_destroy(devone_class, devone_dev);
class_destroy(devone_class);

cdev_del(&devone_cdev);
unregister_chrdev_region(dev, devone_devs);
printk("KERN_ALERT devone driver removed.\n");
}

module_init(devone_init);
module_exit(devone_exit);


對 linux kernel 來說,locked 的 semaphore 有些問題,所以通常使用「等待完成(completion)」機制。



10-5、等待完成
要等待某件處理中的工作完成,可以使用「等待完成(completion)」機制,只要先準備好 completion 變數,再呼叫要等待的函式,之前此函式處理結束後,會自動呼叫通報完成的函式,並返回等待的函式,也由於過程中會 sleep,所以無法在 interrupt context 中使用。
相關函式定義在 linux/completion.h 檔案內。

init_completion() 負責初始化「completion變數」:
void init_completion(struct completion *x);
呼叫 wait_for_completion() 之後,會讓 user context(process) 進入 sleep,在等待對象完成前都不會醒來:
void fastcall __wait_for_completion(struct completion *x);
其它的變化還包括可以用 signal 喚醒的 wait_for_completion_interruptible() 及可指定等待時限的 wait_for_completion_timeout() 等等:
int fastcall __wait_for_completion_interruptible(struct completion *x);
unsigned long fastcall __wait_for_completion_interruptible(struct completion *x, unsigned long timeout);


用來喚醒等待者的是 complete(),就算錯過時機,在 wait_for_completion() 進入 sleep 之前呼叫了 complete() 也不會造成鎖死,因為內部有用 spin lock 保護 sleep 動作:
void fastcall complete(struct completion *x);
另外也有通報完同,同時終止 kernel thread 的 complete_and exit() 函式:
void fastcall complete_and_exit(struct completion *x, long code);

Completion 的範例程式,它會在載入驅動程式時,建立 kernel thread,並在卸除驅動程式時,會先結束 thread 的執行:
#include
#include
#include
#include

MODULE_LICENSE("Dual BSD/GPL");

static wait_queue_head_t wait;
static struct completion comp;
static pid_t thr_pid;

static int sample_thread(void *num) {
printk("%s called\n", __func__);

daemonize("sample_thread");
allow_signal(SIGTERM);

for (;;) {
sleep_on_timeout(&wait, 3 * HZ);
if (signal_pending(current))
break;
}
printk("%s leaved\n", __func__);
complete_and_exit(&comp, 0);
return 0;
}

static int sample_init(void) {
printk(KERN_ALERT "sample driver installed.\n");

init_completion(&comp);
init_waitqueue_head(&wait);

thr_pid = kernel_thread(sample_thread, NULL, CLONE_FS | CLONE_FILES);
if (thr_pid < 0)
return -EINVAL;
printk("kernel_thread %d PID\n", thr_pid);
return 0;
}

static void sample_exit(void) {
printk(KERN_ALERT "sample driver removed\n");

kill_proc(thr_pid, SIGTERM, 1);
wait_for_completion(&comp);
}

module_init(sample_init);
module_exit(sample_exit);


載入此驅動程式後,可下 ps 來看 sample_thread 已被執行:
ps aux | grep sample_thread
在卸除驅動程式時,會先向 kernel thread 送出 SIGTERM,並以 wait_for_completion() 等待 thread 結束,而 kernel thread 會在脫離無窮迴圈後,會以 complete_and_exit() 通知完成。



10-6、Kernel Thread
上述範例使用 kernel_thread() 函式來建立 kernel thread,但現在的 Linux kernel 推薦的是使用 kthread_create() 函式,需 include linux/kthread.h:
struct task_struct *kthread_create(int (*threadfn) (void *data), void *data, const char namefmt[], ...);
與 kernel_thread() 不同的地方是 kthread_create() 在呼叫之後,只是建立 thread,並不會開始執行。
namefmt[] 引數是 kernel daemon 的名稱字串(最多16 bytes),之後可透過 wake_up_process() 來啟動 kernel thread:
int fastcall wake_up_process(struct task_struct *p);

結束 kernel thread 時,是呼叫 kthread_stop() 函式:
int kthread_stop(struct task_struct *k)
在呼叫 kthread_stop() 之後,kernel thread 如果再呼叫 kthread_should_stop() 函式,就會得到「true」值,此時即可讓 kernel thread 結束:
int kthread_should_stop(void)
而 kthread_stop() 內部會自動透過 completion 等待 thread 結束。

kthread_create() 範例:
#include
#include
#include
#include

MODULE_LICENSE("Dual BSD/GPL");

static struct task_struct *kmain_task = NULL;
static wait_queue_head_t wait;

static int sample_thread(void *num) {
printk("%s called\n", __func__);

for (;;) {
sleep_on_timeout(&wait, 3 * HZ);
if (kthread_should_stop())
break;
}
printk("%s leaved\n", __func__);
return 0;
}

static int sample_init(void) {
printk(KERN_ALERT "sample driver installed.\n");

init_waitqueue_head(&wait);

kmain_task = kthread_create(sample_thread, NULL, "sample_kthread");
if (IS_ERR(kmain_task))
return PTR_ERR(kmain_task);
wake_up_process(kmain_task);
return 0;
}

static void sample_exit(void) {
printk(KERN_ALERT "sample driver removed\n");
kthread_stop(kmain_task);
}

module_init(sample_init);
module_exit(sample_exit);




10-7、禁止中斷
如果在 user context 進入 critical section 時,有 interrupt 進來的話,就會切到驅動程式的處理函式,而如果 interrupt 處理函式會進入到相同的 critical section 時,就必須作好鎖定的工作,否則將會造成 deadlock,因為此時 critical section 已被 user context 佔住,所以 interrupt 處理函式無法進去,又因為 interrupt 為最優先,所以 user context 也無法退出 critical section。

解決的方法之一是在 user context 進入 critical section 之前暫時「禁止中斷」,直到脫離 critical section。
但是這是假定只有一顆 CPU 的情形下,禁止、許可中斷的函式如下:
void local_irq_save(unsigned long flags);
void local_irq_restore(unsigned long flags);

如果系統是多 CPU 的話,則單單禁止中斷是不夠的,因為 critical section 還是有可能被 interrupt context 優先使用。



10-8、自旋鎖
要保護 interrupt context 之內的 critical section 時,不能用 semaphore,而是要使用「spinlock(自旋鎖)」,semaphore 在等待的時候會 sleep,而 spinlock 則是對在原地 busy-loop,也就是會佔住一顆 CPU,直到等到為止,因此 spinlock 在使用時有個鐵則:
  • 極力縮短 critical section 的處理時間

使用 spinlock 時,如果有 critical section 同時出現在 interrupt context 與 user context 的話,則兩邊都必須使用 spinlock,若是只有在 user context 出現的 critical section 則應該用 semaphore 來鎖定。

10-8.1、限制
在使用 spinlock 時,擁有鎖定時可以做的事是有限制的:
  • 極力縮短 critical section 的處理時間
  • 擁有鎖定時不能 sleep
因為在使用 spinlock 時,鎖定只能自己解除,所以如果 sleep 的話,會造成死結。

在獲得鎖定時能不能呼叫某些 kernel 函式,需看 kernel 函式原始碼的註解判斷,如:
  • printk() 的註解:This is printk(). It can be called from any context. ...
  • copy_to_user() 的註解: User context only. This function may sleep. ...

10-8.2、spinlock 相關函式
使用 spinlock 時,要在全域空間配置 spinlock 變數,變數型別是 spinlock_t:
spinlock_t lock;
初始化 spinlock 變數時是使用 spin_lock_init() 巨集:
spin_lock_init(spinlock_t *lock);
要取得 spinlock 多半只要呼叫 spin_lock_irqsave() :
spin_lock_irqsave(spinlock_t *lock, unsigned long flags);
spin_lock_irqsave() 會將呼叫的程式碼所在的處理器中斷設定存到 flags 變數中,禁止處理中斷並取得鎖定。
解鎖時,則是呼叫 spin_unlock_irqrestore():
spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags);
spin_unlock_irqrestore() 會解除鎖定,並復原本地處理器的中斷設定。

儘管 spin_lock_irqsave() 與 spin_unlock_irqrestore() 只要成對出現即可,但如果需要放在不同函式的話,則可能代表著驅動程式的設計有問題。



10-8.3、死結問題
如果使用 spin_lock() 取代 spin_lock_irqsave() 的話,可能發生什麼樣的問題?

下例是使用 spinlock 的範例,在 user context 的 read 處理函式與 interrupt context 的 timer 處理函式讀寫 sample_data[] 時,會呼叫 spin_lock() 來鎖定:
#include
#include
#include
#include
#include
#include

MODULE_LICENSE("Dual BSD/GPL");

static int devone_devs = 1; /* device count */
static int devone_major = 0; /* MAJOR: dynamic allocation */
static int devone_minor = 0; /* MINOR: static allocation */
static struct cdev devone_cdev;
static struct class *devone_class = NULL;
static dev_t devone_dev;

struct devone_data {
spinlock_t lock;
struct timer_list tickfn;
};

#define TIMEOUT_VALUE (5*HZ)
#define DATA_MAX 64
static unsigned char sample_data[DATA_MAX];

static void sample_timeout(unsigned long arg) {
struct devone_data *dev = (struct devone_data *)arg;
int i;
printk("%s entered\n", __func__);

spin_lock(&dev->lock);
for (i = 0; i < DATA_MAX; i++)
sample_data[i]++;
spin_unlock(&dev->lock);
mod_timer(&dev->tickfn, jiffies + TIMEOUT_VALUE);
}

int devone_write(struct file *filp, const char __user *buf, size_t count, loff_t *f_pos) {
return 0;

}

int devone_read(struct file *filp, char __user *buf, size_t count, loff_t *f_pos) {
struct devone_data *dev = filp->private_data;
int i, len;
int retval;
unsigned char tmpbuf[DATA_MAX];

/* Copying the global data to the temporary buffer while holding a spinlock. */
spin_lock(&dev->lock);
for (i = 0; i < DATA_MAX; i++)
tmpbuf[i] = sample_data[i];
mdelay(3000);
spin_unlock(&dev->lock);

if (count > DATA_MAX)
len = DATA_MAX;
else
len = count;
if (copy_to_user(buf, tmpbuf, len)) {
retval = -EFAULT;
goto out;
}
retval = len;
out:
return (retval);
}

int devone_close(struct inode *inode, struct file *filp) {
struct devone_data *dev = filp->private_data;
if (dev) {
del_timer_sync(&dev->tickfn);
kfree(dev);
}
return 0; /* success */
}

int devone_open(struct inode *inode, struct file *filp) {
struct devone_data *dev;

dev = kmalloc(sizeof(struct devone_data), GFP_KERNEL);
if (dev == NULL)
return -ENOMEM;
/* initialize members */
spin_lock_init(&dev->lock);

init_timer(&dev->tickfn);
dev->tickfn.function = sample_timeout;
dev->tickfn.data = (unsigned long)dev;
dev->tickfn.expires = jiffies + TIMEOUT_VALUE;
add_timer(&dev->tickfn);

filp->private_data = dev;
return 0;
}

struct file_operations devone_fops = {
.owner = THIS_MODULE,
.open = devone_open,
.release = devone_close,
.read = devone_read,
.write = devone_write,
};

static int devone_init(void) {
dev_t dev = MKDEV(devone_major, 0);
int alloc_ret = 0;
int major;
int cdev_err = 0;
struct class_device *class_dev = NULL;

alloc_ret = alloc_chrdev_region(&dev, 0, devone_devs, "devone");
if (alloc_ret)
goto error;
devone_major = major = MAJOR(dev);

cdev_init(&devone_cdev, &devone_fops);
devone_cdev.owner = THIS_MODULE;
devone_cdev.ops = &devone_fops;
cdev_err = cdev_add(&devone_cdev, MKDEV(devone_major, devone_minor), 1);

if (cdev_err)
goto error;

/* register class */
devone_class = class_create(THIS_MODULE, "devone");
if (IS_ERR(devone_class))
goto error;
devone_dev = MKDEV(devone_major, devone_minor);
class_dev = class_device_create(devone_class, NULL, devone_dev, NULL, "devone%d", devone_minor);

printk(KERN_ALERT "devone driver(major %d) installed.\n", major);
return 0;

error:
if (cdev_err == 0)
cdev_del(&devone_cdev);
if (alloc_ret == 0)
unregister_chrdev_region(dev, devone_devs);
return -1;
}

static void devone_exit(void) {
dev_t dev = MKDEV(devone_major, 0);

/* unregister class */
class_device_destroy(devone_class, devone_dev);
class_destroy(devone_class);

cdev_del(&devone_cdev);
unregister_chrdev_region(dev, devone_devs);
printk("KERN_ALERT devone driver removed.\n");
}

module_init(devone_init);
module_exit(devone_exit);


spinlock 的測試程式:
#include
#include
#include
#include
#include
#include
#include

#define DEVFILE "/dev/devone0"

int main(void) {
int fd;
int i;
ssize_t size;
char buf[32];

fd = open(DEVFILE, O_RDWR);
if (fd == -1) {
perror("open");
exit(1);
}

for ( ;; ) {
size = read(fd, buf, sizeof(buf));
for (i = 0; i < size; i++)
printf("%02x ", buf[i] & 0xff);
printf("\n");
sleep(3);
}

close(fd);
return 0;
}


實際執行這個程式後,會發現 kernel 沒過多久就當了,原因是驅動程式陷入死結,持續佔用 100% CPU 等待解鎖的後果就是 OS 失去反應,要復原只要重開機。
當掉的原因是 user context 取得 spinlock 時沒有禁止本地處理器處理 interrupt,鎖定期間收到 interrupt 的話,在 timer 處理函式又會嘗試取得鎖定,但解除鎖定需要離開 busy-loop,切換到 user process 繼續執行才行,於是產生了死結。
要修正上述的範例,可以把 spin_lock() 換成 spin_lock_irqsave(),spin_unlock() 換成 spin_unlock_irqrestore()

10-8.4、套疊 spinlock
linux kernel 的 spinlock 允許套疊使用,也就是拿到某個鎖定之後,可以再拿其它的鎖定,減少鎖定的範圍可以提昇程式的效率,但也可能造成死結。
同時並列執行的死結問題,有個很有名的例子是「dining philosophers」套疊取得 spinlock 也可能造成類似的情形。



10-9、其它
linux kernel 內部提供各式各樣的同步機制,舉例如下:

10-9.1、核心搶佔執行(Kernel preemption)
說 linux 是 preemptive 系統,其實只對了一半,因為可以被 preempt 的只有應用程式而已,而 linux kernel 並不是 preemptive,驅機程式也包含在內。
但新版的 linux kernel 支援先進的 kernel preemption 功能(需啟動對應的 kernel 配置選項),這個想法基於取得 spinlock 時可以釋出執行資源,如果在等待鎖定的過程中不執行 busy-loop,而是讓其它程式使用 CPU 的話,就可以提高效率。

10-9.2、大核心鎖(Big Kernel Lock)
「Big Kernel Lock」是鎖定整個 linux kernel 的機制,可透過 lock_kernel() 與 unlock_kernel() 函式使用,這是先前為了讓 linux kernel 支援多處理器時,暫時引進的鎖定機制,將來會希望把 BKL 徹底清除。

10-9.3、讀寫鎖定(Reader-Writer Lock)
某些 critical section 希望讀取時不必鎖定,而是在寫入時才鎖定,所以準備了「Reader-Writer Lock」機制,可以透過 read_lock() 與 write_lock() 函式取用。

10-9.4、計數讀寫鎖定(Seqlock)
這是一種 spinlock,透過 write_seqlock() 與 read_seqbegin() 等函式提供服務,linux kernel 主要是用此機制來維護系統計時器。

10-9.5、RCU
「RCU (Read Copy Update)」是種較特殊的鎖定方式,透過 rcu_read_lock() 與 rcu_dereference() 等函式提供服務。

10-10、結語
在單 CPU 的年,通常不必煩惱「同步與鎖定」的問題,但目前是多核處理器當道的年代,在設計驅動程式時,一定要把「同步與鎖定」納入考量。
arrow
arrow
    全站熱搜

    silverfoxkkk 發表在 痞客邦 留言(0) 人氣()