# 6.1 隨機調度的基本概念
## 離線調度
TODO:
## 在線調度
在線調度(On-Line scheduling)指任務的處理時長未知的調度。對于1|rj|∑Cj1|rj|∑Cj調度模型而言:
* 單機調度時,給定nn個任務,其處理時間分別為C1,…,CnC1,…,Cn,其被調度時刻為r1,…,rnr1,…,rn
* 是一個 NP-hard 問題
* 如果所有任務的調度時刻相同,則可以使用 SPT(最短處理時間有限, shortest processing time first)策略解決此問題
* SPT 是一個在線調度算法(每當單機空閑時,處理一個具有最短處理時間的任務)。
* 定理:對于1|rj|∑Cj1|rj|∑Cj的 SPT-算法具有常數競爭率
* 可以更好嗎?最好是什么程度?下界:競爭率至少為 2
### 競爭分析
* 一個在線算法具有ρρ\-競爭率,如果他的目標值不超過ρρ乘以所有實例的最優在線值
* 競爭率與在線設置的近似值有關
* 一個允許隨機化的在線算法(允許隨機選擇)則競爭分析使用期望值來進行計算
### αα\-調度器
調度算法:
~~~
1. L: list of tasks for which in the optimal preemptive schedule an alpha fraction has already been scheduled at the current time; initially L = {};
2. proceed in time whereby the preemptive schedule is updated
3. If alpha fraction of task j is finished in preemptive schedule Then
4. add j at the end of L;
5. If machine gets idle Then
6. schedule first job of L or if L is empty proceed in time;
~~~
* 對于固定的αα,αα\-調度器是一個確定性算法
* 對于αα\= 1,αα\-調度器的競爭率為 2
* 其他αα值具有更高的競爭率
* 定理: 任何隨機在線αα\-調度器算法具有競爭率e/(e?1)?1.582e/(e?1)?1.582,其中αα根據概率密度函數f(α)\=eαe?1f(α)\=eαe?1進行選擇
* 定理: Any randomized on-line algorithm for problem1|rj|∑Cj1|rj|∑Cj問題的任何隨機化在線算法競爭率至少為e/(e?1)e/(e?1)。
- 第一部分 :基礎篇
- 第1章 Go語言的前世今生
- 1.2 Go語言綜述
- 1.3 順序進程通訊
- 1.4 Plan9匯編語言
- 第2章 程序生命周期
- 2.1 從go命令談起
- 2.2 Go程序編譯流程
- 2.3 Go 程序啟動引導
- 2.4 主Goroutine的生與死
- 第3 章 語言核心
- 3.1 數組.切片與字符串
- 3.2 散列表
- 3.3 函數調用
- 3.4 延遲語句
- 3.5 恐慌與恢復內建函數
- 3.6 通信原語
- 3.7 接口
- 3.8 運行時類型系統
- 3.9 類型別名
- 3.10 進一步閱讀的參考文獻
- 第4章 錯誤
- 4.1 問題的演化
- 4.2 錯誤值檢查
- 4.3 錯誤格式與上下文
- 4.4 錯誤語義
- 4.5 錯誤處理的未來
- 4.6 進一步閱讀的參考文獻
- 第5章 同步模式
- 5.1 共享內存式同步模式
- 5.2 互斥鎖
- 5.3 原子操作
- 5.4 條件變量
- 5.5 同步組
- 5.6 緩存池
- 5.7 并發安全散列表
- 5.8 上下文
- 5.9 內存一致模型
- 5.10 進一步閱讀的文獻參考
- 第二部分 運行時篇
- 第6章 并發調度
- 6.1 隨機調度的基本概念
- 6.2 工作竊取式調度
- 6.3 MPG模型與并發調度單
- 6.4 調度循環
- 6.5 線程管理
- 6.6 信號處理機制
- 6.7 執行棧管理
- 6.8 協作與搶占
- 6.9 系統監控
- 6.10 網絡輪詢器
- 6.11 計時器
- 6.12 非均勻訪存下的調度模型
- 6.13 進一步閱讀的參考文獻
- 第7章 內存分配
- 7.1 設計原則
- 7.2 組件
- 7.3 初始化
- 7.4 大對象分配
- 7.5 小對象分配
- 7.6 微對象分配
- 7.7 頁分配器
- 7.8 內存統計
- 第8章 垃圾回收
- 8.1 垃圾回收的基本想法
- 8.2 寫屏幕技術
- 8.3 調步模型與強弱觸發邊界
- 8.4 掃描標記與標記輔助
- 8.5 免清掃式位圖技術
- 8.6 前進保障與終止檢測
- 8.7 安全點分析
- 8.8 分代假設與代際回收
- 8.9 請求假設與實務制導回收
- 8.10 終結器
- 8.11 過去,現在與未來
- 8.12 垃圾回收統一理論
- 8.13 進一步閱讀的參考文獻
- 第三部分 工具鏈篇
- 第9章 代碼分析
- 9.1 死鎖檢測
- 9.2 競爭檢測
- 9.3 性能追蹤
- 9.4 代碼測試
- 9.5 基準測試
- 9.6 運行時統計量
- 9.7 語言服務協議
- 第10章 依賴管理
- 10.1 依賴管理的難點
- 10.2 語義化版本管理
- 10.3 最小版本選擇算法
- 10.4 Vgo 與dep之爭
- 第12章 泛型
- 12.1 泛型設計的演進
- 12.2 基于合約的泛型
- 12.3 類型檢查技術
- 12.4 泛型的未來
- 12.5 進一步閱讀的的參考文獻
- 第13章 編譯技術
- 13.1 詞法與文法
- 13.2 中間表示
- 13.3 優化器
- 13.4 指針檢查器
- 13.5 逃逸分析
- 13.6 自舉
- 13.7 鏈接器
- 13.8 匯編器
- 13.9 調用規約
- 13.10 cgo與系統調用
- 結束語: Go去向何方?