## 6.4.?異步通知
盡管阻塞和非阻塞操作和 select 方法的結合對于查詢設備在大部分時間是足夠的, 一些情況還不能被我們迄今所見到的技術來有效地解決.
讓我們想象一個進程, 在低優先級上執行一個長計算循環, 但是需要盡可能快的處理輸入數據. 如果這個進程在響應新的來自某些數據獲取外設的報告, 它應當立刻知道當新數據可用時. 這個應用程序可能被編寫來調用 poll 有規律地檢查數據, 但是, 對許多情況, 有更好的方法. 通過使能異步通知, 這個應用程序可能接受一個信號無論何時數據可用并且不需要讓自己去查詢.
用戶程序必須執行 2 個步驟來使能來自輸入文件的異步通知. 首先, 它們指定一個進程作為文件的擁有者. 當一個進程使用 fcntl 系統調用發出 F_SETOWN 命令, 這個擁有者進程的 ID 被保存在 filp->f_owner 給以后使用. 這一步對內核知道通知誰是必要的. 為了真正使能異步通知, 用戶程序必須設置 FASYNC 標志在設備中, 通過 F_SETFL fcntl 命令.
在這 2 個調用已被執行后, 輸入文件可請求遞交一個 SIGIO 信號, 無論何時新數據到達. 信號被發送給存儲于 filp->f_owner 中的進程(或者進程組, 如果值為負值).
例如, 下面的用戶程序中的代碼行使能了異步的通知到當前進程, 給 stdin 輸入文件:
~~~
signal(SIGIO, &input_handler); /* dummy sample; sigaction() is better */
fcntl(STDIN_FILENO, F_SETOWN, getpid());
oflags = fcntl(STDIN_FILENO, F_GETFL);
fcntl(STDIN_FILENO, F_SETFL, oflags | FASYNC);
~~~
這個在源碼中名為 asynctest 的程序是一個簡單的程序, 讀取 stdin. 它可用來測試 scullpipe 的異步能力. 這個程序和 cat 類似但是不結束于文件尾; 它只響應輸入, 而不是沒有輸入.
注意, 但是, 不是所有的設備都支持異步通知, 并且你可選擇不提供它. 應用程序常常假定異步能力只對 socket 和 tty 可用.
輸入通知有一個剩下的問題. 當一個進程收到一個 SIGIO, 它不知道哪個輸入文件有新數據提供. 如果多于一個文件被使能異步地通知掛起輸入的進程, 應用程序必須仍然靠 poll 或者 select 來找出發生了什么.
### 6.4.1.?驅動的觀點
對我們來說一個更相關的主題是設備驅動如何實現異步信號. 下面列出了詳細的操作順序, 從內核的觀點:
-
1. 當發出 F_SETOWN, 什么都沒發生, 除了一個值被賦值給 filp->f_owner.
-
2. 當 F_SETFL 被執行來打開 FASYNC, 驅動的 fasync 方法被調用. 這個方法被調用無論何時 FASYNC 的值在 filp->f_flags 中被改變來通知驅動這個變化, 因此它可正確地響應. 這個標志在文件被打開時缺省地被清除. 我們將看這個驅動方法的標準實現, 在本節.
-
3. 當數據到達, 所有的注冊異步通知的進程必須被發出一個 SIGIO 信號.
雖然實現第一步是容易的--在驅動部分沒有什么要做的--其他的步驟包括維護一個動態數據結構來跟蹤不同的異步讀者; 可能有幾個. 這個動態數據結構, 但是, 不依賴特殊的設備, 并且內核提供了一個合適的通用實現這樣你不必重新編寫同樣的代碼給每個驅動.
Linux 提供的通用實現是基于一個數據結構和 2 個函數(它們在前面所說的第 2 步和第 3 步被調用). 聲明相關材料的頭文件是<linux/fs.h>(這里沒新東西), 并且數據結構被稱為 struct fasync_struct. 至于等待隊列, 我們需要插入一個指針在設備特定的數據結構中.
驅動調用的 2 個函數對應下面的原型:
~~~
int fasync_helper(int fd, struct file *filp, int mode, struct fasync_struct **fa);
void kill_fasync(struct fasync_struct **fa, int sig, int band);
~~~
fasync_helper 被調用來從相關的進程列表中添加或去除入口項, 當 FASYNC 標志因一個打開文件而改變. 它的所有參數除了最后一個, 都被提供給 fasync 方法并且被直接傳遞. 當數據到達時 kill_fasync 被用來通知相關的進程. 它的參數是被傳遞的信號(常常是 SIGIO)和 band, 這幾乎都是 POLL_IN[[25](#)](但是這可用來發送"緊急"或者帶外數據, 在網絡代碼里).
這是 scullpipe 如何實現 fasync 方法的:
~~~
static int scull_p_fasync(int fd, struct file *filp, int mode)
{
struct scull_pipe *dev = filp->private_data;
return fasync_helper(fd, filp, mode, &dev->async_queue);
}
~~~
顯然所有的工作都由 fasync_helper 進行. 但是, 不可能實現這個功能在沒有一個方法在驅動里的情況下, 因為這個幫忙函數需要存取正確的指向 struct fasync_struct (這里是 與dev->async_queue)的指針, 并且只有驅動可提供這個信息.
當數據到達, 下面的語句必須被執行來通知異步讀者. 因為對 sucllpipe 讀者的新數據通過一個發出 write 的進程被產生, 這個語句出現在 scullpipe 的 write 方法中.
~~~
if (dev->async_queue)
kill_fasync(&dev->async_queue, SIGIO, POLL_IN);
~~~
注意, 一些設備還實現異步通知來指示當設備可被寫入時; 在這個情況, 當然, kill_fasnyc 必須被使用一個 POLL_OUT 模式來調用.
可能會出現我們已經完成但是仍然有一件事遺漏. 我們必須調用我們的 fasync 方法, 當文件被關閉來從激活異步讀者列表中去除文件. 盡管這個調用僅當 filp->f_flags 被設置為 FASYNC 時需要, 調用這個函數無論如何不會有問題并且是常見的實現. 下面的代碼行, 例如, 是 scullpipe 的 release 方法的一部分:
~~~
/* remove this filp from the asynchronously notified filp's */
scull_p_fasync(-1, filp, 0);
~~~
這個在異步通知之下的數據結構一直和結構 struct wait_queue 是一致的, 因為 2 種情況都涉及等待一個事件. 區別是這個 struct file 被用來替代 struct task_struct. 隊列中的結構 file 接著用來存取 f_owner, 為了通知進程.
[[25](#)] POLL_IN 是一個符號, 用在異步通知代碼中; 它等同于 POLLIN|POLLRDNORM.
- Linux設備驅動第三版
- 第 1 章 設備驅動簡介
- 1.1. 驅動程序的角色
- 1.2. 劃分內核
- 1.3. 設備和模塊的分類
- 1.4. 安全問題
- 1.5. 版本編號
- 1.6. 版權條款
- 1.7. 加入內核開發社團
- 1.8. 本書的內容
- 第 2 章 建立和運行模塊
- 2.1. 設置你的測試系統
- 2.2. Hello World 模塊
- 2.3. 內核模塊相比于應用程序
- 2.4. 編譯和加載
- 2.5. 內核符號表
- 2.6. 預備知識
- 2.7. 初始化和關停
- 2.8. 模塊參數
- 2.9. 在用戶空間做
- 2.10. 快速參考
- 第 3 章 字符驅動
- 3.1. scull 的設計
- 3.2. 主次編號
- 3.3. 一些重要數據結構
- 3.4. 字符設備注冊
- 3.5. open 和 release
- 3.6. scull 的內存使用
- 3.7. 讀和寫
- 3.8. 使用新設備
- 3.9. 快速參考
- 第 4 章 調試技術
- 4.1. 內核中的調試支持
- 4.2. 用打印調試
- 4.3. 用查詢來調試
- 4.4. 使用觀察來調試
- 4.5. 調試系統故障
- 4.6. 調試器和相關工具
- 第 5 章 并發和競爭情況
- 5.1. scull 中的缺陷
- 5.2. 并發和它的管理
- 5.3. 旗標和互斥體
- 5.4. Completions 機制
- 5.5. 自旋鎖
- 5.6. 鎖陷阱
- 5.7. 加鎖的各種選擇
- 5.8. 快速參考
- 第 6 章 高級字符驅動操作
- 6.1. ioctl 接口
- 6.2. 阻塞 I/O
- 6.3. poll 和 select
- 6.4. 異步通知
- 6.5. 移位一個設備
- 6.6. 在一個設備文件上的存取控制
- 6.7. 快速參考
- 第 7 章 時間, 延時, 和延后工作
- 7.1. 測量時間流失
- 7.2. 獲知當前時間
- 7.3. 延后執行
- 7.4. 內核定時器
- 7.5. Tasklets 機制
- 7.6. 工作隊列
- 7.7. 快速參考
- 第 8 章 分配內存
- 8.1. kmalloc 的真實故事
- 8.2. 后備緩存
- 8.3. get_free_page 和其友
- 8.4. 每-CPU 的變量
- 8.5. 獲得大量緩沖
- 8.6. 快速參考
- 第 9 章 與硬件通訊
- 9.1. I/O 端口和 I/O 內存
- 9.2. 使用 I/O 端口
- 9.3. 一個 I/O 端口例子
- 9.4. 使用 I/O 內存
- 9.5. 快速參考
- 第 10 章 中斷處理
- 10.1. 準備并口
- 10.2. 安裝一個中斷處理
- 10.3. 前和后半部
- 10.4. 中斷共享
- 10.5. 中斷驅動 I/O
- 10.6. 快速參考
- 第 11 章 內核中的數據類型
- 11.1. 標準 C 類型的使用
- 11.2. 安排一個明確大小給數據項
- 11.3. 接口特定的類型
- 11.4. 其他移植性問題
- 11.5. 鏈表
- 11.6. 快速參考
- 第 12 章 PCI 驅動
- 12.1. PCI 接口
- 12.2. 回顧: ISA
- 12.3. PC/104 和 PC/104+
- 12.4. 其他的 PC 總線
- 12.5. SBus
- 12.6. NuBus 總線
- 12.7. 外部總線
- 12.8. 快速參考
- 第 13 章 USB 驅動
- 13.1. USB 設備基礎知識
- 13.2. USB 和 sysfs
- 13.3. USB 的 Urbs
- 13.4. 編寫一個 USB 驅動
- 13.5. 無 urb 的 USB 傳送
- 13.6. 快速參考
- 第 14 章 Linux 設備模型
- 14.1. Kobjects, Ksets 和 Subsystems
- 14.2. 低級 sysfs 操作
- 14.3. 熱插拔事件產生
- 14.4. 總線, 設備, 和驅動
- 14.5. 類
- 14.6. 集成起來
- 14.7. 熱插拔
- 14.8. 處理固件
- 14.9. 快速參考
- 第 15 章 內存映射和 DMA
- 15.1. Linux 中的內存管理
- 15.2. mmap 設備操作
- 15.3. 進行直接 I/O
- 15.4. 直接內存存取
- 15.5. 快速參考
- 第 16 章 塊驅動
- 16.1. 注冊
- 16.2. 塊設備操作
- 16.3. 請求處理
- 16.4. 一些其他的細節
- 16.5. 快速參考
- 第 17 章 網絡驅動
- 17.1. snull 是如何設計的
- 17.2. 連接到內核
- 17.3. net_device 結構的詳情
- 17.4. 打開與關閉
- 17.5. 報文傳送
- 17.6. 報文接收
- 17.7. 中斷處理
- 17.8. 接收中斷緩解
- 17.9. 連接狀態的改變
- 17.10. Socket 緩存
- 17.11. MAC 地址解析
- 17.12. 定制 ioctl 命令
- 17.13. 統計信息
- 17.14. 多播
- 17.15. 幾個其他細節
- 17.16. 快速參考
- 第 18 章 TTY 驅動
- 18.1. 一個小 TTY 驅動
- 18.2. tty_driver 函數指針
- 18.3. TTY 線路設置
- 18.4. ioctls 函數
- 18.5. TTY 設備的 proc 和 sysfs 處理
- 18.6. tty_driver 結構的細節
- 18.7. tty_operaions 結構的細節
- 18.8. tty_struct 結構的細節
- 18.9. 快速參考