이전 2.6 커널기준 이며, 최신커널에서는 해당내용들에 해당하지 않습니다.
원본출처 : https://www.ibm.com/developerworks/kr/library/l-timers-list/
위의 게시물을 보기 편하게 편집함...
커널 API, Part 3: 2.6 커널의 타이머와 목록
- 작업 지연 API를 이용한 효율적인 처리
이 기사는 "커널 API, Part 2: 지연 가능 함수, 커널 태스크릿 및 작업 큐"(developerWorks, 2010년 3월)에서 시작한 작업 지연이라는 주제를 계속 다룬다. 이번에는 타이머 API(Application Programming Interface)와 모든 작업 지연 스키마의 핵심 요소인 커널 목록 구문에 대해 설명한다. 또한 타이머 및 기타 작업 지연 메커니즘(예: 작업 큐)에서 사용하는 커널 목록 API에 대해서도 살펴본다.
타이머는 모든 운영 체제의 필수 부분이며 여러 타이머 메커니즘이 사용되고 있다. 먼저 Linux 타이머 스키마의 개요를 간단히 살펴본 후 작동 방법을 자세히 살펴보자.
Linux 시간의 원천
Linux 커널에서는 jiffies라는 글로벌 변수를 이용해서 측정하며, 이 변수는 시스템 시동 이후의 틱수를 식별한다. 틱의 수를 계산하는 방법은 최저 레벨인 실행 중인 특정 하드웨어 플랫폼에 따라 달라지지만 일반적으로 틱은 인터럽트를 통해 증가된다. 틱 속도(jiffies의 최하위 비트)는 구성 가능하지만 최근 x86용 2.6 커널의 경우에는 1틱이 4ms이다(250Hz). jiffies글로벌 변수는 커널 내에서 다양한 용도로 널리 사용되고 있으며, 대표적으로 타이머의 제한시간 값을 계산하기 위한 현재 절대 시간에 사용된다. (나중에 이에 대한 예제를 설명한다.)
커널 타이머
최근 2.6 커널의 타이머에는 몇 가지 다양한 스키마가 있다. 타이머 API가 대부분의 경우에 적합하기는 하지만 모든 타이머 중에서 가장 단순하고 정확성이 낮다. 이 API를 사용하면jiffies 도메인(최소 4ms 제한시간)에서 작동하는 타이머를 생성할 수 있다. 또한 시간이 나노초 단위로 정의되는 타이머를 생성할 수 있는 고분해능 타이머(high-resolution timer) API도 있다. 프로세서 및 그 작동 속도에 따라 성능의 차이가 있을 수 있지만 이 API를 사용하면 제한시간을 jiffies 틱 간격 이하로 스케줄할 수 있다.
표준 타이머
표준 타이머 API는 Linux 커널의 초기 버전부터 오랫동안 Linux 커널에 포함되어 있었다. 고분해능 타이머(high-resolution timer)에 비해 정확도가 떨어지기는 하지만 실제 장치를 처리할 때 발생하는 오류 케이스를 처리하는 데 사용되는 일반적인 드라이버 제한시간에 이상적이다. 이러한 제한시간은 실제로 초과되는 경우가 많지 않으며 대부부분의 경우에는 시작되었다가 제거되는 행태를 보인다.
단순 커널 타이머는 타이머 휠을 사용하여 구현된다. 이 아이디어는 1997년 Finn Arne Gangstad에 의해 처음 소개되었다. 이 타이머는 많은 수의 타이머를 관리하는 데 문제점이 있지만 이를 무시하고 전형적인 경우인 합리적인 수의 타이머를 관리할 경우 좋은 성능을 제공한다. (원래 타이머 구현에서는 단순히 만기 순서에 양방향으로 연결된 상태로 타이머를 유지한다. 개념적으로 단순하지만 이 방법은 확장할 수 없다.) 타이머 휠은 버켓의 콜렉션이며, 각 버켓은 타이머 만기를 위한 미래의 시간을 나타낸다. 버켓은 5개의 버켓을 기반으로 하는 로그 시간(logarithmic time)을 사용하여 정의된다. jiffies를 시간 단위로 사용하여 미래의 만기 기간을 나타내는 많은 그룹이 정의된다. (각 그룹은 타이머 목록으로 표시된다). 타이머는 복잡도가 O(1)이고 O(N) 시간 이내에 만기가 발생하는 목록 작업을 사용하여 삽입되며, 타이머 만기는 계단식으로 발생한다. 즉, 타이머의 만기 시간이 줄어들면 타이머가 정밀도가 높은 버켓에서 제거된 다음 정밀도가 낮은 버컷에 삽입된다. 이제 이 타이머 구현을 위한 API를 살펴보자.
타이머 API
Linux에는 타이머의 생성과 관리를 위한 간단한 API가 있다. 이 API는 타이머 작성, 취소 및 관리를 위한 함수(및 헬퍼 함수)로 구성되어 있다.
타이머는 timer_list 구조체로 정의되며, 이 구조체에는 타이머 구현에 필요한 모든 데이터(컴파일 시 구성되는 선택적 타이머 통계 및 목록 포인터 포함). 사용자의 관점에서 볼 경우,timer_list에는 만기 시간, 콜백 함수(타이머의 만기 시간/여부) 및 사용자 제공 컨텍스트가 있다. 그런 다음 사용자는 타이머를 초기화해야 한다. 초기화는 몇 가지 방법으로 수행할 수 있다. 가장 간단한 방법은 setup_timer를 호출하는 것이다. 이 함수는 타이머를 초기화하고 사용자 제공 콜백 함수 및 컨텍스트를 설정한다. 이 함수를 사용하지 않을 경우에는 사용자가 타이머에서 이러한 값(함수 및 데이터)을 설정하고 init_timer를 호출할 수 있다. init_timer는 setup_timer에서 내부적으로 호출된다.
void init_timer( struct timer_list *timer );
void setup_timer( struct timer_list *timer,
void (*function)(unsigned long), unsigned long data );
타이머를 초기화한 후에는 사용자가 mod_timer를 호출하여 만기 시간을 설정해야 한다. 일반적으로 만기 시간은 미래이므로 여기에서는 jiffies를 추가하여 현재 시간을 기준으로 하는 오프셋을 설정한다. 사용자는 del_timer를 호출하여 타이머를 삭제할 수도 있다(만기되지 않은 경우).
int mod_timer( struct timer_list *timer, unsigned long expires );
void del_timer( struct timer_list *timer ); |
마지막으로 사용자는 timer_pending을 호출하여 타이머가 아직 만기되지 않고 보류 중인지 여부를 확인할 수 있다(타이머가 보류 중이면 1이 리턴됨).
int timer_pending( const struct timer_list *timer );
타이머 예제
이러한 API 함수 중 일부를 실제로 살펴보자. Listing 1에서는 단순 타이머 API의 핵심 부분을 보여 주는 단순 커널 모듈을 제공한다. init_module에서 setup_timer를 사용하여 타이머를 초기화한 다음 mod_timer를 호출하여 타이머를 시작한다. 타이머가 만료되면 콜백 함수(my_timer_callback)가 호출된다. 마지막으로 모듈을 제거하면 del_timer를 통해 타이머가 삭제된다. (del_timer의 리턴값을 검사하여 타이머가 사용 중인지 여부를 식별한다.)
Listing 1. 단순 타이머 API 탐색하기
#include
#include
#include
MODULE_LICENSE( "GPL" );
static struct timer_list my_timer;
void my_timer_callback( unsigned long data )
{
printk( "my_timer_callback called (%ld).\n", jiffies );
}
int init_module( void )
{
int ret;
printk("Timer module installing\n");
// my_timer.function, my_timer.data
setup_timer( &my_timer, my_timer_callback, 0 );
printk( "Starting timer to fire in 200ms (%ld)\n", jiffies );
ret = mod_timer( &my_timer, jiffies + msecs_to_jiffies(200) );
if (ret) printk("Error in mod_timer\n");
return 0;
}
void cleanup_module( void )
{
int ret;
ret = del_timer( &my_timer );
if (ret) printk("The timer is still in use...\n");
printk("Timer module uninstalling\n");
return;
}
./include/linux/timer.h 에서 타이머 API에 대한 자세한 정보를 볼 수 있다.
단순 타이머 API는 쉽고 효율적이지만 실시간 애플리케이션에 필요한 정확도를 제공하지 않는다. 따라서 최근에 Linux에 추가되어 더 높은 분해능 타이머를 지원하는 기능을 살펴보자.
고분해능 타이머(High-resolution timers)
고분해능 타이머(또는 hrtimer)는 앞에서 설명한 타이머 프레임워크와는 독립된 고정밀 타이머 관리 프레임워크를 제공한다. 이는 두 프레임워크를 병합하기가 복잡하기 때문이다. 타이머는 jiffies 단위로 작동하는 반면 hrtimer는 나노초 단위로 작동한다.
hrtimer 프레임워크는 일반적인 타이머 API와 다르게 구현된다. 버켓 및 타이머 캐스케이딩 대신 hrtimer는 타이머로 구성된 시간순 데이터 구조를 관리한다. (활성 시간에 처리 시간을 최소화하기 위해 타이머가 시간순으로 삽입된다.) 이 프레임워크에 사용되는 데이터 구조는 레드-블랙 트리이다. 이 트리는 성능에 중점을 둔 애플리케이션에 이상적이며 일반적으로 커널 내의 라이브러리로 사용할 수 있다.
hrtimer 프레임워크는 커널 내에서 API로 사용할 수 있으며 nanosleep, itimers 및 POSIX(Portable Operating System Interface) 타이머 인터페이스를 통해 사용자 공간 애플리케이션에서도 사용된다. 이 프레임워크는 2.6.21 커널에 포함되었다.
고분해능 타이머 API
hrtimer API에는 기존 API와 유사한 점도 있지만 추가적인 시간 제어를 위한 몇 가지 근본적인 차이점도 있다. 첫 번째 차이점은 시간이 jiffies가 아닌 ktime이라는 특수 데이터 유형으로 표시된다는 것이다. 이 표시는 이 단위에서의 효율적인 시간 관리와 관련된 일부 세부 사항을 숨긴다. 이 API는 절대 시간과 상대 시간을 구별하므로 호출자가 유형을 지정해야 한다.
기존 타이머 API와 마찬가지로 hrtimer도 구조체로 표현된다. 이 구조체는 사용자 관점(콜백 함수, 만기 시간 등)에서 타이머를 정의하고 관리 정보를 통합한다. (이 경우에는 타이머가 레드-블랙 트리, 선택적 통계 등에 존재한다.)
먼저 hrtimer_init을 통해 타이머가 초기화된다. 이 호출은 타이머, 클록 정의 및 타이머 모드(일회성 또는 다시 시작)를 포함한다. 사용할 클록은 ./include/linux/time.h에 정의되어 있으며 시스템에서 지원하는 다양한 클록을 나타낸다(예: 실시간 클록 또는 시스템 시동과 같은 시작 시점의 시간을 나타내는 모노 클록). 초기화된 타이머는 hrtimer_start를 사용하여 시작할 수 있다. 이 호출은 만기 시간(ktime_t) 및 시간 모드 값(절대값 또는 상대값)을 포함한다.
void hrtimer_init( struct hrtimer *time, clockid_t which_clock, enum hrtimer_mode mode );
int hrtimer_start(struct hrtimer *timer, ktime_t time, const enum hrtimer_mode mode);
hrtimer를 시작한 후에는 hrtimer_cancel 또는 hrtimer_try_to_cancel을 호출하여 취소할 수 있다. 각 함수에는 중지할 타이머에 대한 hrtimer 참조가 들어 있다. 두 함수의 차이점은 다음과 같다. hrtimer_cancel 함수는 타이머를 취소하려고 시도한다. 하지만 타이머가 이미 시작되었으면 콜백 함수가 종료될 때까지 기다린다. 이에 반해 hrtimer_try_to_cancel 함수는 타이머를 취소하려고 시도할 때 타이머가 이미 시작되었으면 오류를 리턴한다.
int hrtimer_cancel(struct hrtimer *timer);
int hrtimer_try_to_cancel(struct hrtimer *timer);
hrtimer_callback_running을 호출하여 hrtimer가 해당 콜백을 활성화했는지 여부를 확인할 수 있다. 이 함수는 타이머의 콜백 함수가 호출되었을 때 오류를 리턴하기 위해hrtimer_try_to_cancel에 의해 내부적으로 호출된다.
int hrtimer_callback_running(struct hrtimer *timer);
ktime API
이 기사에서는 ktime API를 설명하지 않았다. 이 API는 고분해능에서 시간을 관리할 수 있는 다양한 함수를 제공한다. ./linux/include/ktime.h 에서 ktime API를 볼 수 있다.
hrtimer 예제
hrtimer API의 사용법은 Listing 2에서 보듯이 매우 간단하다. init_module 내에서 상대적인 제한시간(이 경우에는 200ms)을 정의하여 시작할 수 있다. hrtimer_init 호출을 사용하여 hrtimer를 초기화한(모노 클록 사용) 다음 콜백 함수를 설정한다. 마지막으로 앞에서 작성한 ktime 값을 사용하여 타이머를 시작한다. 타이머가 시작되면 my_hrtimer_callback 함수가 호출되면서 HRTIMER_NORESTART를 리턴한다. 따라서 타이머가 자동으로 다시 시작되지 않는다. cleanup_module 함수에서 hrtimer_cancel을 사용하여 타이머를 취소하면서 정리한다.
Listing 2. hrtimer API 탐색하기]()
#include
#include
#include
#include
MODULE_LICENSE( "GPL" );
#define MS_TO_NS(x) (x * 1E6L)
static struct hrtimer hr_timer;
enum hrtimer_restart my_hrtimer_callback( struct hrtimer *timer )
{
printk( "my_hrtimer_callback called (%ld).\n", jiffies );
return HRTIMER_NORESTART;
}
int init_module( void )
{
ktime_t ktime;
unsigned long delay_in_ms = 200L;
printk("HR Timer module installing\n");
ktime = ktime_set( 0, MS_TO_NS(delay_in_ms) );
hrtimer_init( &hr_timer, CLOCK_MONOTONIC, HRTIMER_MODE_REL );
hr_timer.function = &my_hrtimer_callback;
printk( "Starting timer to fire in %ldms (%ld)\n", delay_in_ms, jiffies );
hrtimer_start( &hr_timer, ktime, HRTIMER_MODE_REL );
return 0;
}
void cleanup_module( void )
{
int ret;
ret = hrtimer_cancel( &hr_timer );
if (ret) printk("The timer was still in use...\n");
printk("HR Timer module uninstalling\n");
return;
}
hrtimer API에는 지금까지 살펴본 것보다 훨씬 더 많은 특성이 있다. 한 가지 흥미로운 특성은 콜백 함수의 실행 컨텍스트(예: softirq 또는 hardiirq 컨텍스트)를 정의할 수 있다는 것이다. ./include/linux/hrtimer.h의 포함 파일에서 hrtimer API에 대한 자세한 정보를 볼 수 있다.
추가 주제
이 기사에서는 필요에 따라 기능을 분리하는 기능(타이머 및 고정밀 hrtimer API) 뿐만 아니라 코드 재사용을 위해 코드를 일반화하는 기능(목록 API)을 보여 주는 몇 가지 API를 살펴보았다. 일반 타이머는 일반 드라이버 제한시간에 효율적인 메커니즘을 제공하는 반면 hrtimer는 정밀도 높은 타이머 기능을 위한 높은 서비스 품질을 제공한다. 목록 API는 매우 일반적이만 효율적이고 다양한 기능을 갖춘 인터페이스를 제공한다. 커널 코드를 작성하게 되면 이러한 세 API 중 하나 이상을 실행할 것이므로 분명히 살펴볼 만한 가치가 있다.