割り込み

					2011年02月08日
情報科学類 オペレーティングシステム II

                                       筑波大学 システム情報工学研究科 
                                       コンピュータサイエンス専攻, 電子・情報工学系
                                       新城 靖
                                       <yas@is.tsukuba.ac.jp>

このページは、次の URL にあります。
http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2010/2011-02-08
あるいは、次のページから手繰っていくこともできます。
http://www.coins.tsukuba.ac.jp/~yas/
http://www.cs.tsukuba.ac.jp/~yas/

■割り込み

◆割り込みの必要性

デバイス(ディスク、ネットワーク、キーボード、マウス、)は、CPU と比較すると遅い。
デバイスに要求を出して、応答を待っていると、CPU の無駄になるので、デバイスが要求に対する処理を完了した後で、CPU (OS、ソフトウェア)が処理をする。
CPUを無駄にしない方法
- ポーリング(polling): 定期的にカーネルがデバイスの状態をチェックする。チェックする間隔が短いと、無駄が多くなる。間隔が長いと、応答が遅くなる。
- 割り込み(interrupt): デバイスがカーネルに処理が必要なことを通知する仕組みを作る。

◆割り込みとは

入出力デバイスから「何かが起きた」というイベントを通知してもらう仕組み。
通信の一種とも考えられるが、それだけでは「タイミング」しかわからないので、 1ビットのデータも送受信されない。
割り込みは、次のような時に使われる。
- 入力データが到着した（利用者がキーボードやマウスを操作した、ネットワークからパケットが到着した、ディスクらかの入力が完了した）。
- 出力が完了した＝＝出力バッファが空になった＝＝次の出力が可能になった
CPUは、割り込み信号を受けとると現在実行中のプログラムを一時中断して、「割り込みハンドラ」や「割り込みサービスルーチン」と呼ばれるプログラムに制御を移す。
割り込みハンドラでは、入力処理や次の出力処理を行う。
割り込みハンドラの処理が終了すると、一時中断していたプログラムの実行を再開する。
システム・コールやページフォールトは、デバイスではなく CPU 内部からの割り込みとして扱われることが多い。

◆x86の割り込みコントローラ

Intel 8259 Programmable Interrupt Controller(PIC)
Intel Advanced Programmable Interrupt Controller (APIC)

◆Intel 8259 PIC

図? x86 の Intel 8259

15 個の割り込み要求線 (Interrupt Request (IRQ) Lines) がある。
割り込みが生じると、INT 線を上げる。
CPU が割り込みを受け付けると、INTA (Interrupt Acknowledge) を上げる。
8259 は、CPU に割り込みベクタと呼ばれる番号を出力する。 IRQ の番号(0から15)と割り込みベクタの対応関係は、変えられる。 x86 Linux では、IRQ0 ならば、0x30, IRQ1 は、0x31, ...., IRQ15 なら 0x3F を使う。
CPU は、割り込みベクタに対応した割り込みハンドラを実行する。
x86 では、8259 を 2 個カスケードしている。
2段目の 8259 の INT 線は、1段目の 2 番に入っている。

◆APIC

図? x86 の APIC

APIC は、次のような割り込み信号を受け取る。

プロセッサのピン(LINT0, LINT1)
内部のタイマ
内部のパフォーマンス・モニタ
内部の温度センサ
内部のAPICエラー
他のプロセッサ(プロセッサ間割り込み)
外部の I/O APIC。普通、24個の割り込みを受付可能。

◆/proc/interrupts

/proc/interrupts は、割り込みの回数を保持している。

$ cat /proc/interrupts  
           CPU0       CPU1       
  0:    4208761      38584    IO-APIC-edge  timer
  1:          0          3    IO-APIC-edge  i8042
  7:          0          0    IO-APIC-edge  parport0
  8:          1          2    IO-APIC-edge  rtc
  9:          0          0   IO-APIC-level  acpi
 12:          3          1    IO-APIC-edge  i8042
 50:       5380      86508         PCI-MSI  ahci
 74:        346          0         PCI-MSI  HDA Intel
 98:        294      28232         PCI-MSI  eth1
169:        130      57006   IO-APIC-level  uhci_hcd:usb3
177:          0          0   IO-APIC-level  uhci_hcd:usb4, uhci_hcd:usb7
217:        358     149530   IO-APIC-level  ehci_hcd:usb1, uhci_hcd:usb5
225:          0          0   IO-APIC-level  ehci_hcd:usb2, uhci_hcd:usb6
233:          0          0   IO-APIC-level  uhci_hcd:usb8
NMI:          0          0 
LOC:    4246864    4246863 
ERR:          0
MIS:          0
$

CPU が 2 個ある。
CPU ごとに割り込みの回数が異なる。
IRQ 0 にシステム・タイマ timer が見える。
IRQ 8 に x86 CMOS RTC が見える。

◆例外

例外(exceptions) とは、ハードウェア・デバイスとは無関係に、 CPU の命令実行の途中で生じる。例

0 による割り算
ページ・フォールト
例外を生じるCPU命令の実行(x86 int 命令)

多くの CPU アーキテクチャでは、例外を割り込みと同じように扱う。 x86 では、システム・コールの処理も、割り込みと同じように扱う。

◆割り込みハンドラ

割り込みハンドラ(interrupt handlers)とは、割り込みが生じた時にそれに応答するために実行される関数。割り込みサービスルー単(interrupt service routine, ISR)とも呼ばれる。

例:

キーボード用
タイマ用
ハードディスク用

Linux では、割り込みハンドラは、C言語の関数。普通の関数との違い。

割り込みに関する情報が渡される
「割り込みコンテキスト」や「アトミック・コンテキスト」という、制約がきつい状態で呼ばれる。
割り込みは、いつ生じるか予測不能なので、割り込みハンドラは、いつ呼ばれるか予測不能。

◆割り込みの前半部分と後半部分

次の２つを両立させたい

割り込みハンドラは、できるだけ速く実行して、元の処理に制御を返す必要がある。割り込み禁止の時間を短くしたい。デバイスからしても、処理が速やかに行われることを期待している。
割り込みハンドラの処理は、時に時間がかかってしまうことがある。例：ネットワークからのパケットの受信。TCP/IPのプロトコルを処理しなければならない。

Linux では、これを両立するために、割り込みの処理を2つに分ける。

前半(top half)。割り込み後、即座に実行する。時間制約のあるものだけを実行する。例：ハードウェアに対する通知。
後半(bottom half)。割り込みの後、都合のよい時期にやる。その後の割り込みを許可した状態で行う。

例: ネットワークカードによるメッセージの受信

前半で、ハードウェアへの通知と、データのメモリへのコピー。（ハードウェアのバッファを開放する）
後半で、TCP/IP の処理。

◆割り込み番号の共有

1つの割り込み番号を、複数のデバイスで共有することがある。

割り込みが生じた時には、どのデバイスのものかすぐには分からない。
割り込みが生じると、可能性がある全てのデバイスの割り込みハンドラを次々と呼び出す。

◆request_irq()

Linux で、割り込みの前半部を登録するには、request_irq() を使う。 CPUアーキテクチャに独立した形で割り込みハンドラを登録するには、 request_irq() を用いる。

include/linux/interrupt.h

typedef irqreturn_t (*irq_handler_t)(int, void *);

request_irq(unsigned int irq, irq_handler_t handler, unsigned long flags,
            const char *name, void *dev)

irq: 割り込み番号。
handler: 割り込みハンドラ。
flags: フラグ。後述。
name: 名前。/proc/interrupts や /proc/irq に現れる。
dev: デバイス。割り込みが複数のデバイスで共有される時に、どのデバイスかを区別するために使われる。普通は、構造体へのポインタ。割り込みハンドラ irq_handler_t handler が呼ばれた時にも、この値が引数で渡される。 free_irq() で割り込みハンドラを削除する時には、この値が cookie として働く。
結果: 成功すると 0を返し、失敗すると 0 以外を返す。たとえば、-EBUSY だと割り込み線が使われている。

主なフラグ

IRQF_DISABLED: 割り込みハンドラの実行中、「全ての」割り込みを禁止する。このフラグがセットされていなければ、自分自身だけ禁止され、他の割り込みは許可された状態で動作する。
IRQF_SAMPLE_RANDOM: 乱数生成器のために割り込みを利用してもよい。
IRQF_TIMER: システム・タイマのために利用する。
IRQF_SHARED: 複数のデバイスで同じ割り込み線を共有できる。

◆free_irq()

割り込みハンドラが不要になった時には、free_irq() で取り除く。

void free_irq(unsigned int, void *dev)

irq: 割り込み番号。
dev: request_irq() で指定したデバイス。

◆irq_handler_t handler

割り込みハンドラは、次のような関数である。

irqreturn_t irq_handler_t(int irq, void *dev)

irq: 割り込み番号。
dev: request_irq() で指定したデバイス。
結果: 結果は、irqreturn_t 。

IRQ_NONE: 割り込みは、自分自身のものではなかった。
IRQ_HANDLED: 割り込みをきちんと処理した。

全割り込みハンドラが IRQ_NONE を返せば、なんらかのトラブルを意味する。複数の割り込みハンドラが IRQ_HANDLED を返すことは正常。

◆x86 CMOS Real-Time Clock rtc_interrupt()

x86 CMOS Real-Time Clock での割り込みハンドラの例。

drivers/char/rtc.c

  96:	static unsigned long rtc_port;
  97:	static int rtc_irq;
...
 191:	static unsigned long rtc_status;        /* bitmapped status byte.       */
 192:	static unsigned long rtc_freq;          /* Current periodic IRQ rate    */
 193:	static unsigned long rtc_irq_data;      /* our output to the world      */
...

 953:	static int __init rtc_init(void)
 954:	{
...
1000:	        if (request_irq(rtc_irq, rtc_interrupt, IRQF_SHARED, "rtc",
1001:	                        (void *)&rtc_port)) {
1002:	                rtc_has_irq = 0;
1003:	                printk(KERN_ERR "rtc: cannot register IRQ %d\n", rtc_irq);
1004:	                return -EIO;
1005:	        }
...
 790:	}

 239:	static irqreturn_t rtc_interrupt(int irq, void *dev_id)
 240:	{
...
 248:	        spin_lock(&rtc_lock);
 249:	        rtc_irq_data += 0x100;
 250:	        rtc_irq_data &= ~0xff;
...
 259:	                rtc_irq_data |= (CMOS_READ(RTC_INTR_FLAGS) & 0xF0);
...

 262:	        if (rtc_status & RTC_TIMER_ON)
 263:	                mod_timer(&rtc_irq_timer, jiffies + HZ/rtc_freq + 2*HZ/100);
 264:	
 265:	        spin_unlock(&rtc_lock);
 266:	
 267:	        /* Now do the rest of the actions */
 268:	        spin_lock(&rtc_task_lock);
 269:	        if (rtc_callback)
 270:	                rtc_callback->func(rtc_callback->private_data);
 271:	        spin_unlock(&rtc_task_lock);
 272:	        wake_up_interruptible(&rtc_wait);
 273:	
 274:	        kill_fasync(&rtc_async_queue, SIGIO, POLL_IN);
 275:	
 276:	        return IRQ_HANDLED;
 277:	}

x86 CMOS Real-Time Clock では、3種類の割り込み( alarmの時刻になった、更新が完了した、定期的な割り込み) がある。どの割り込みでも、rtc_init() で設定した同じ割り込みハンドラ rtc_interrupt() が呼ばれる。
spin_lock_irq() と spin_unlock_irq() は、カーネル内の相互排除の仕組み。たとえこの関数 rtc_open() 自身が複数同時に実行されたとしても、一度に１つのプロセス（スレッド）だけが実行されるようにする。
rtc_irq_data は、unsigned long で、その回の割り込みのフラグを CMOS_READ() でデバイスから読み出しして保存する。
rtc_status の RTC_TIMER_ON ビットがセットされていれば、 mod_timer() を読んで、時刻を設定する。(普通はこの機能は使われない。)
特別な callback 関数が登録されていれば、それを呼び出す。

◆割り込みコンテキスト

割り込みハンドラが実行されるのは、「割り込みコンテキスト」。普通のシステム・コールの処理が実行される「プロセス・コンテキスト」とは異なる。

プロセス・コンテキストでできること。

current により、現在実行中のプロセスの task 構造体がアクセスできる。
sleep できる。
スケジューラを呼んで、他のプロセスへ切替えることができる。

割り込みコンテキストでは、このうようなことはできない。速やかに終了すべきである。busy loop はできるが、あまりやらない方がよい。他の割り込みは、実行される可能性もある。

◆x86 Interrupt Descriptor Table (IDT)

x86 IDT は、ハードウェア・レベルの割り込みハンドラの一覧表を保持する。その先頭番地は、IDTR レジスタに保存される。

arch/x86/include/asm/irq_vectors.h
 131:	#define NR_VECTORS                       256


arch/x86/kernel/traps.c
  78:	gate_desc idt_table[NR_VECTORS] __page_aligned_data = { { { { 0, 0 } } }, };
...
 837:	void __init trap_init(void)
 838:	{
...
 849:	        set_intr_gate(0, &divide_error);
 850:	        set_intr_gate_ist(2, &nmi, NMI_STACK);
...
 896:	        set_system_trap_gate(SYSCALL_VECTOR, &system_call);
 897:	        set_bit(SYSCALL_VECTOR, used_vectors);

arch/x86/include/asm/irq_vectors.h:
  50:	# define SYSCALL_VECTOR                 0x80

trap_init() は、IDT を初期化する。
ITD のインデックスは、割り込みベクタ。
割り込みベクタは、0 から 0xff まである。0 から 0x1f は、Intel により使い方が決められている。
割り込みベクタ 0x80 で、system_call() という関数が登録されている。

x86 Linux では、Interrupt Descriptor Table に従い、do_IRQ() が呼ばれる。引数には、x86 のレジスタを表現した構造体へのポインタが渡される。これにより、割り込みが発生した時のレジスタの値がわかる。割り込みハンドラが有効で、割り込み線に登録されていれば、最終的には、handle_IRQ_event()　という、CPU とは独立の割り込みハンドラが呼ばれる。

◆handle_IRQ_event()

kernel/irq/handle.c

 368:	irqreturn_t handle_IRQ_event(unsigned int irq, struct irqaction *action)
 369:	{
 370:	        irqreturn_t ret, retval = IRQ_NONE;
 371:	        unsigned int status = 0;
 372:	
 373:	        do {
...
 375:	                ret = action->handler(irq, action->dev_id);
...
 378:	                switch (ret) {
...
 410:	                case IRQ_HANDLED:
 411:	                        status |= action->flags;
 412:	                        break;
 413:	
 414:	                default:
 415:	                        break;
 416:	                }
 417:	
 418:	                retval |= ret;
 419:	                action = action->next;
 420:	        } while (action);
 421:	
 422:	        if (status & IRQF_SAMPLE_RANDOM)
 423:	                add_interrupt_randomness(irq);
 424:	        local_irq_disable();
 425:	
 426:	        return retval;
 427:	}

struct irqaction *action は、action->next でリスト構造を作っている。
各構造体に含まれている action->handler() を順に呼び出す。
IRQF_SAMPLE_RANDOM なら、add_interrupt_randomness() を呼び、乱数をかき混ぜる。
local_irq_disable() で割り込みを禁止する。

◆割り込みの許可・禁止

マクロをつかって保存したり回復したりする。


unsigned long flags;

local_irq_save(flags); /* 割り込み禁止 */
...
local_irq_restore(flags); /* 割り込み許可 (save の時の状態にもどる) */

単一CPUの x86 では、cli() と sti() で割り込みの禁止と許可を設定する方法があった。それそれ同名の CPU の命令を実行して、全ての割り込みを禁止/許可する。マルチプロセッサ(マルチコア含む)では、1つのCPU で割り込みを禁止しても、他の CPU では許可されていることがあるので、cli()/sti() の方法は使えない。

特定の割り込み番号の割り込みを禁止する方法もある。

void disable_irq(unsigned ing irq);
    // 全CPUの割り込みを禁止する

void disable_irq_nosync(unsigned ing irq);
    // 同上。ただし、割り込みハンドラの終了を待たない。

void enable_irq(unsigned ing irq);
    // 割り込みを許可する。

void synchronize_irq(unsigned ing irq);
    // 割り込みハンドラの終了を待つ。

Yasushi Shinjo / <yas@is.tsukuba.ac.jp>