[TIL] - 2023.05.28

📌  공부한 내용

 

Thread 개선

sleep/awake 방식

1️⃣ - struct thread 개선

스레드 구조체 안에 sleep할 시 깨워줘야 하는 시각을 집어넣는다.

include/threads/thread.h/struct thread

struct thread {
	/* Owned by thread.c. */
	tid_t tid;                          /* Thread identifier. */
	enum thread_status status;          /* Thread state. */
	char name[16];                      /* Name (for debugging purposes). */
	int priority;                       /* Priority. */

...

	/* wakeup tick : 깨어나야 할 tick(시각) */
	int64_t wakeup_tick;

...

}

2️⃣ - sleep_list 만들기

threads/thread.c

/* sleep 상태의 스레드들을 저장하는 리스트 */
static struct list sleep_list;
static int64_t global_tick_to_awake; /* ready list에서 맨 처음으로 awake할 스레드의 tick 값 */

threads/thread.c/thread_init()

main() 함수에서 호출된다. 맨 처음 스레드와 관련된 구조체들과 main 스레드를 초기화해준다.

void thread_init (void) {

...
/* Init the global thread context */
	lock_init (&tid_lock);
	list_init (&ready_list);
	list_init (&destruction_req);
	list_init (&sleep_list);     // sleep 스레드들을 연결해놓은 리스트를 초기화한다.
	global_tick_to_awake = INT64_MAX;

}

3️⃣ - global_ticks 관리

thread/thread.c/update_global_tick_to_awake()

인자로 받은 ticks와 global_tick을 비교하면서 더 작은 값으로 변경해준다.

sleep_list를 확인할 때, global_tick을 보고 판단하면 되므로 전부 다 확인 해줄 필요가 없어서 더 효율적이다.

void update_global_tick_to_awake(int64_t ticks){
	global_tick_to_awake = (global_tick_to_awake>ticks) ? ticks : global_tick_to_awake;
}

thread/thread.c/get_global_tick_to_awake()

global_tick_to_awake 값을 반환한다.

4️⃣ - thread_sleep 구현

thread를 sleep_list에 추가하고 sleep(BLOCKED) 시킨다.

thread/thread.c/thread_sleep()

void thread_sleep(int64_t ticks){
	/* 현재 실행되고 있는 스레드에 대한 작업이므로. */
	struct thread* cur = thread_current();

	/* 인터럽트 disable*/
	enum intr_level old_level;
	ASSERT(!intr_context());
	old_level = intr_disable(); // 스레드를 list에 추가해주는 일은 인터럽트가 걸리면 안 된다.	

	ASSERT(cur != idle_thread);  // idle thread라면 종료.

	cur->wakeup_tick = ticks;						// wakeup_tick 업데이트
	update_next_tick_to_awake(cur->wakeup_tick); 	// next_tick_to_awake 업데이트
	list_push_back (&sleep_list, &cur->elem);		// sleep_list에 추가

	/* 스레드를 sleep 시킨다. */
	thread_block();

	/* 인터럽트 원복 */
	intr_set_level(old_level);
}

5️⃣ - thread_awake 구현

Thread를 head부터 tail까지 순회하면서 ticks보다 작은 값들을 가진 스레드들을 깨워서 ready_list에 추가하고 아직 깨울 시간이 되지 않은 스레드들은 최소 ticks 일 경우 global_tick을 업데이트 한다.

void thread_awake(int64_t ticks){
	struct list_elem* cur = list_begin(&sleep_list);
	struct thread* t;

	/* sleep list의 끝까지 순환한다. */
	while(cur != list_end(&sleep_list)){
		t = list_entry(cur, struct thread, elem);

		if (ticks >= t->wakeup_tick){  // 깨울 시간이 지났다
			cur = list_remove(&t->elem);
			thread_unblock(t);
		}
		else{  // 아직 안 깨워도 된다 : 다음 쓰레드로 넘어간다.
			cur = list_next(cur);
			update_next_tick_to_awake(t->wakeup_tick);  // next_tick이 바뀌었을 수 있으므로 업데이트해준다.
		}
	}
}

6️⃣ - timer_interrupt 수정

위에서 수정한 global_tick의 값을 가지고 interrupt를 진행하면서 매 tick마다 global_tick보다 더 클 경우에만 awake를 진행한다.

 

 

 

---

 

💭  느낀 점 & 배운 점

 

해당 내용들을 변경하면서 Thread가 어떻게 변화하는지에 대해 많이 생각하게 된 것 같다. 하면서 많은 궁금증들이 생기고 다음에 하게 될 우선순위에 대해서도 막막하지만 여러 자료들을 참고하고 팀원들과 머리를 맞대면서 해결을 해나가는 과정이 중요한 것 같다.

 

---

 

🔥  내일 공부할 내용

 

우선순위

 

 

---

 

🗒️  포스팅

 

 

 

 

「 무엇보다 먼저 상심하지 말라. 모든 일은 자연의 본성에서 비롯된다. 우리는 짧은 시간 안에 무의미한 존재가 될 수 있다. 위대한 황제 하드리아누스와 아구스투스도 시간을 이기지 못했다. 그다음은 우리에게 주어진 과제에 대해 주의 깊게 생각하라. 우리의 목적은 선한 인간이 되고자 하는 것임을 환기하라. 자연의 본성이 우리에게 요구하는 대로 행하라. 그리고 친절함과 성실함, 겸손함과 함께 우리가 본 그대로를 말하라. 」

-마르쿠스 아우렐리우스, 명상록, 8.5

 

결정하는 것에 있어서 우리는 두가지 사항을 지켜야 한다.

첫째, 화를 내어서는 안된다. 결정에 부정적인 색깔이 더해지면 필요한 것보다 더 힘든 일을 할 수 있다.

둘째, 목적과 원칙에 부합해야 한다. 화를 내지 말 것, 바르게 행동할 것. 이것이 전부다.

「 고귀한 영혼은 노동을 양식으로 삼는다.  」

-세네카, 도덕에 관한 서한, 31.5

 

우릭라 일을 통해 충족감을 느끼지 못하는 대부분의 이유는 진짜 하고 싶은 일이 아니기 때문이다. 때로는 우리에게 너무 많은 시간이 주어져 있기 때문이기도 하다. 더 나쁜 것은 충족되지 못한 감정의 빈틈을 메우기 위해 먹고, 소비하고, 여행하고, 드라마를 보는 데 시간을 할애하고 있다는 사실이다. 하지만 그렇게 해도 허전함은 여전히 남는다. 해법은 간단하다. 감사하게도 우리 손안에 있다.

거기서 벗어나 진짜 일을 찾는 것이다.

 

 

---