# 2020-11-13 討論

## 如何視覺化 or 驗證 AMT 的行為 (已發 issue)
- 追蹤 thread 執行的順序以及並整合 timer
- 如果在 RR 的時候頻繁地 interrupt，系統需要進行 ISR 與 context switch 但是 time quantum 的量是固定的 => 可能導致公平性的問題

視覺化驗證工具 => grasp

## 查一下 AMT Mutex 的實作方式

### 是否支援 recusive mutex
不支援

### mutex 不需要以數學式來表示 => mutex 是工程上的觀點

## Thread Local Storage (TLS)
讓 thread 之間有一些記憶體空間是不共享的

### 查一下 AMT 的 TLS 的實作方式

arm/thumb 使用 GCC extension `__thread` 來實作

aarch64 則是使用硬體實作 => 指定 aarch64 來產生的時候不會產生 TLS 的 demo

###### tags: `OSDev`