北京航空航天大學計算機科學與工程系.ppt

王 雷 北京航空航天大學計算機科學與工程系 王雷 內(nèi)容 Linux的虛存管理 Windows2000內(nèi)存管理 兩者的比較 北京航空航天大學計算機科學與工程系 王雷 Linux的虛存管理 大地址空間 進程間保護 內(nèi)存映射 物理內(nèi)存的平等使用 共享虛存 體系結構無關性 北京航空航天大學計算機科學與工程系 王雷 MMU模型 分頁機制 3級頁表 pgd，頁目錄 pmd，頁中級目錄 pte，頁表項 內(nèi)核空間 =物理內(nèi)存空間 北京航空航天大學計算機科學與工程系 王雷 虛擬地址 第 2 級第 1 級 第 3 級 頁內(nèi)偏移 第 1 級頁表 PFN 第 2 級頁表 第 3 級頁表 物理頁 P G D PFN PFN 北京航空航天大學計算機科學與工程系 王雷 mm_struct struct mm_struct int count; pgd_t * pgd; unsigned long context; unsigned long start_code, end_code, start_data, end_data; unsigned long start_brk, brk, start_stack, start_mmap; unsigned long arg_start, arg_end, env_start, env_end; unsigned long rss, total_vm, locked_vm; unsigned long def_flags; struct vm_area_struct * mmap; struct vm_area_struct * mmap_avl; struct semaphore mmap_sem; ; VMA鏈， VMA AVL樹 指向 PGD的指針 代碼，數(shù)據(jù)，堆棧 段的地址范圍 北京航空航天大學計算機科學與工程系 王雷 mm_struct 操作 mm_alloc，分配 mm_struct結構 mmget，引用 mm_struct結構 mmput，釋放對 mm_struct結構 mm_release，釋放地址空間體系結構相關部分 copy_mm，復制整個地址空間 exit_mm，釋放整個地址空間 北京航空航天大學計算機科學與工程系 王雷 vm_area_struct struct vm_area_struct struct mm_struct * vm_mm; unsigned long vm_start; unsigned long vm_end; pgprot_t vm_page_prot; unsigned short vm_flags; short vm_avl_height; struct vm_area_struct * vm_avl_left; struct vm_area_struct * vm_avl_right; struct vm_area_struct *vm_next; struct vm_area_struct *vm_next_share; struct vm_area_struct *vm_pprev_share; struct vm_operations_struct * vm_ops; unsigned long vm_offset; struct file * vm_file; unsigned long vm_pte; ; VMA的地址范圍 VMA鏈 VMA AVL樹 VMA保護位和標志 共享 VMA鏈 VMA操作函數(shù)表 對應 file及其偏移 北京航空航天大學計算機科學與工程系 王雷 共享內(nèi)存 struct shmid_ds struct ipc_perm shm_perm; int shm_segsz; time_t shm_atime; time_t shm_dtime; time_t shm_ctime; unsigned short shm_cpid; unsigned short shm_lpid; short shm_nattch; unsigned short shm_npages; unsigned long *shm_pages; struct vm_area_struct *attaches; ; 共享 VMA鏈 北京航空航天大學計算機科學與工程系 王雷 vm_area_struct鏈表 mmap-vm_next mmap_avl-vm_avl_left, vm_avl_right attaches-vm_next_share, vm_prev_share 北京航空航天大學計算機科學與工程系 王雷 整體結構 mm_struct 頁表 vm_area_struct vm_area_struct vm_area_struct vm_area_struct 代碼段 數(shù)據(jù)段 堆棧段 共享VMA鏈指針 北京航空航天大學計算機科學與工程系 王雷 vm_area_struct 操作 查詢， find_vma(struct mm_struct *mm, unsigned long addr); 插入， insert_vm_struct(struct mm_struct *mm, struct vm_area_struct *vma); 合并， merge_segments(struct mm_struct *mm, unsigned long vm_start, unsigned long vm_end); 北京航空航天大學計算機科學與工程系 王雷 vm_operations_struct open close unmap protect sync advise nopage wppage swapout swapin 北京航空航天大學計算機科學與工程系 王雷 shm_vm_ops VFS等 北京航空航天大學計算機科學與工程系 王雷 物理內(nèi)存管理 typedef struct page struct page *next; struct page *prev; struct inode *inode; unsigned long offset; struct page *next_hash; atomic_t count; unsigned flags; unsigned dirty:16, age:8; struct wait_queue *wait; struct page *prev_hash; struct buffer_head * buffers; unsigned long swap_unlock_entry; unsigned long map_nr; mem_map_t; 空閑頁面鏈 or inode頁面鏈表 對應的 inode及其偏移 buffer cache頭結構 貯留在內(nèi)存中頁面的 HASH鏈表 北京航空航天大學計算機科學與工程系 王雷 頁面管理 mem_map page結構數(shù)組，一一對應每一個頁面 空閑頁面管理 Buddy系統(tǒng) bitmap（缺省值為 6） 貯留頁面管理 inode鏈 貯留頁面 HASH鏈表 北京航空航天大學計算機科學與工程系 王雷 頁面的組織 page page page page page freearea(0) freearea(1) freearea(n-1) page page page inode inode mem_map 北京航空航天大學計算機科學與工程系 王雷 內(nèi)核態(tài)內(nèi)存的申請與釋放 kmalloc， kfree blocksize size_descriptor page_descriptor 北京航空航天大學計算機科學與工程系 王雷 用戶態(tài)內(nèi)存的申請與釋放 vmalloc, vfree vm_struct *vmlist 北京航空航天大學計算機科學與工程系 王雷 高速緩存 緩沖區(qū)高速緩存：緩沖區(qū)高速緩存中包含了由塊設備 使用的數(shù)據(jù)緩沖區(qū) 。 (kmalloc_cache) 頁高速緩存：緩存某個文件的邏輯內(nèi)容 ， 并通過文件 的 VFS 索引節(jié)點和偏移量訪問 。 當頁從磁盤上讀到物 理 內(nèi) 存 時 ， 就 緩 存 在 頁 高 速 緩 存 中 。 (page_hash_table) 交換高速緩存：只有修改后 （ 臟 ） 的頁才保存在交換 文件中 。 修改后的頁寫入交換文件后 ， 如果該頁再次 被交換但未被修改時 ， 就沒有必要寫入交換文件 ， 相 反 ， 只需丟棄該頁 。 交換高速緩存實際包含了一個頁 表項鏈表 ， 系統(tǒng)的每個物理頁對應一個頁表項 。 (swap_cache) 硬件高速緩存：常見的硬件緩存是對頁表項的緩存 ， 這一工作實際由處理器完成 。 北京航空航天大學計算機科學與工程系 王雷 1989年 NT的需求 32位搶占式可重入的虛擬內(nèi)存操作系統(tǒng) 在多種硬件體系結構上運行 支持對稱多處理系統(tǒng) 分布式計算平臺 兼容 16位 DOS， Windows 3.1的應用程序 符合 POSIX1003.1 符合安全性的要求 支持 UNICODE 北京航空航天大學計算機科學與工程系 王雷 設計目標 可擴充性 可移植性 可靠性及堅固性 兼容性 性能 北京航空航天大學計算機科學與工程系 王雷 工具 Nt Nt資源包 Platform SDK NT DDK 北京航空航天大學計算機科學與工程系 王雷 調(diào)試工具 i386kd.exe windbg.exe softice() 北京航空航天大學計算機科學與工程系 王雷 Windows2000內(nèi)存管理 一組執(zhí)行體系統(tǒng)服務程序 ， 用于虛擬內(nèi)存的分 配 、 回收和管理 。 大多數(shù)這些服務都是通過 Win32 API 或內(nèi)核態(tài)的設備驅(qū)動程序接口形式 出現(xiàn) 。 一個轉(zhuǎn)換無效和訪問錯誤陷阱處理程序用于解 決硬件監(jiān)測到的內(nèi)存管理異常 ， 并代表進程將 虛擬頁面裝入內(nèi)存 。 六個的關鍵組件 北京航空航天大學計算機科學與工程系 王雷 工作集管理器 （ 16優(yōu)先 ) 調(diào)換器 進程 /堆棧 （ 23優(yōu)先 ） 改進型頁寫入器 （ 17優(yōu)先 ） 映射頁寫入器 （ 17優(yōu)先 ） 延期段線程 （ 18優(yōu)先 ） 零頁線程 （ 0優(yōu)先 ） 北京航空航天大學計算機科學與工程系 王雷 內(nèi)存布局 應用程序代碼 全程變量 每個線程堆棧 DLL代碼 3GB用戶空間 1GB系統(tǒng)空間 7FFFFFFF 80000000 內(nèi)核和執(zhí)行體 HAL 引導驅(qū)動程序 C0000000 進程頁表 BFFFFFFF 超空間 C0000000 C0800000 系統(tǒng)高速緩存 分頁緩沖池 未分頁緩沖池 FFFFFFFF FFFFFFFF 北京航空航天大學計算機科學與工程系 王雷 系統(tǒng)代碼 (Ntoskrnl,HAL) 和一些系統(tǒng)中 初始的未分頁緩沖池 系統(tǒng)映射視圖（例如， Win32k.sys)或者 會話空間 超空間和進程工作集列表 進程的頁表和頁目錄 附加的系統(tǒng) PTE（高速緩存可以擴展到 這） 沒有使用 ,不可訪問 HAL使用 故障轉(zhuǎn)儲信息 未分頁緩沖池擴充 系統(tǒng) PTE 分頁緩沖池 系統(tǒng)高速緩存 系統(tǒng)工作集列表 80000000 C0800000 C0400000 C0000000 A4000000 A0000000 FFBE0000 EB000000(min) E1000000 C1000000 C0C00000 FFC00000 北京航空航天大學計算機科學與工程系 王雷 地址變換過程 核心進程 頁目錄索引 頁表索引 字節(jié)索引 CR3 物理地址 Index PFN PDE 頁目錄 （ 每個進程建立一張 ， 1024項 ） Index PFN PTE 頁表 （ 每個進程最多有 512個 ， 系統(tǒng)空間最多占用 512 個 ， 每張表 1024項 ） Index 物理地址空間 要求的字節(jié) 要求的 頁 北京航空航天大學計算機科學與工程系 王雷 進程 . . . . . . . . . 進程 1 的頁表 進程 2 的頁表 PTE 0 進程 1的 頁目錄 進程 2的 頁目錄 PTE 0 PDE 0 PDE 0 System PTE 0 PDE 511 PDE 512 PDE n PDE n PDE 512 PDE 511 . . . . . . . . . . . . . . . . . . System PTE n . . . 系統(tǒng)頁表 進程仍然沒有 訪問系統(tǒng)頁表 各進程私有 北京航空航天大學計算機科學與工程系 王雷 內(nèi)存分配方式 以頁單位的虛擬內(nèi)存函數(shù)（ Virtualxxx） , 保留與提交 內(nèi)存映射文件函數(shù)（ CreateFileMapping, MapViewOfFile） , 堆函數(shù)（ Heapxxx 和早期的接口 Localxxx 和 Globalxxx）。 北京航空航天大學計算機科學與工程系 王雷 虛擬地址描述符 范圍 ： 20000000到 2000FFFF 保護限制：讀 /寫 繼承：有 范圍 ： 00002000到 0000FFFF 保護限制：只讀 繼承：無 范圍 ： 4E000000到 4F000000 保護限制：復制可寫入 繼承：有 范圍 ： 32000000到 3300FFFF 保護限制：只讀 繼承：無 范圍 ： 7AAA0000到 7AAA00FF 保護限制：讀 /寫 繼承：無 北京航空航天大學計算機科學與工程系 王雷 區(qū)域?qū)ο?(section object) 區(qū)域 創(chuàng)建區(qū)域 打開區(qū)域 擴展區(qū)域 映射 /非映射視圖 查詢區(qū)域 最大規(guī)模 頁保護限制 頁文件 /映射文件 基準的 /非基準的 對象類型 對象體屬性 服務程序 北京航空航天大學計算機科學與工程系 王雷 文件對象 虛擬地址描述符 數(shù)據(jù)區(qū)控制區(qū)域 子區(qū) 段 原型 頁表項 頁框號數(shù)據(jù)庫 項 文件對象 區(qū)域?qū)ο?頁目錄 頁表 映像區(qū)控制區(qū)域 （ 如果 文件是一個執(zhí)行的映像 ） 區(qū)域?qū)ο笾羔?下個子區(qū) 北京航空航天大學計算機科學與工程系 王雷 系統(tǒng)內(nèi)存分配 未分頁緩沖池 由系統(tǒng)虛擬地址組成，它們長 期駐留在物理內(nèi)存中，在任何時候都可以被訪 問到（從任何 IRQL級和任何進程上下文），而 不會發(fā)生頁錯誤。需要未分頁緩沖池的一個原 因是：頁錯誤不能滿足在 DPC/調(diào)度級或更高。 分頁緩沖池 是系統(tǒng)可以被分頁和分出系統(tǒng)的 空間中虛擬內(nèi)存的一個區(qū)域。不必從 DPC/調(diào)度 級或更高一級訪問內(nèi)存的設備驅(qū)動程序可以使 用分頁緩沖池。它從任何進程上下文都是可訪 問的。 北京航空航天大學計算機科學與工程系 王雷 工作集 進程工作集 系統(tǒng)工作集 換頁策略 北京航空航天大學計算機科學與工程系 王雷 物理內(nèi)存管理 零初始化 當前 頁框號數(shù)據(jù)庫 當前 當前 . 空閑 后備 壞 修改 修改不寫入 北京航空航天大學計算機科學與工程系 王雷 高速緩存 單一集中式系統(tǒng)高速緩存 與內(nèi)存管理器結合 高速緩存的一致性 虛擬塊緩存 基于流的緩存 可恢復的文件系統(tǒng)支持 北京航空航天大學計算機科學與工程系 王雷 視圖 0 視圖 1 視圖 2 視圖 3 視圖 4 視圖 5 視圖 6 視圖 7 視圖 0 8 視圖 n 系統(tǒng)高速緩存 節(jié) 0 節(jié) 1 文件 A(500KB) 節(jié) 0 節(jié) 1 文件 B(750KB) 節(jié) 2 節(jié) 0 文件 C(100KB) 北京航空航天大學計算機科學與工程系 王雷 文件 A(500 KB) 節(jié) 0 節(jié) 1 文件 B(750 KB) 節(jié) 0 節(jié) 1 節(jié) 2 文件 C(100 KB) 節(jié) 0 文件 A的 VACB 指針數(shù)組 入口 0 入口 1 入口 2 入口 3 文件 B的 VACB 指針數(shù)組 入口 0 入口 1 入口 2 入口 3 文件 C的 VACB 指針數(shù)組 入口 0 入口 1 入口 2 入口 3 系統(tǒng) VACB數(shù)組 VACB 0 VACB 1 VACB 2 VACB 3 VACB 4 VACB 5 VACB 6 VACB 7 VACB n 系統(tǒng)高速緩存 視圖 0 視圖 1 視圖 2 視圖 3 視圖 4 視圖 5 視圖 6 視圖 7 視圖 8 視圖 n 北京航空航天大學計算機科學與工程系 王雷 共享的高速緩 存映射 VACB數(shù)組 VACB VACB VACB 0 0 0 0 0 0 127 127 127 127 127 127 北京航空航天大學計算機科學與工程系 王雷 回寫緩存和延遲寫 屏蔽對文件延遲寫 強制寫緩存到磁盤 快速 I/O 北京航空航天大學計算機科學與工程系 王雷 智能預讀 虛擬地址預讀 帶歷史信息的異步預讀 CcXXX 北京航空航天大學計算機科學與工程系 王雷 訪問緩存數(shù)據(jù)的方法 “拷貝讀取 ” 方法在系統(tǒng)空間中的高速緩存數(shù) 據(jù)緩沖區(qū)和用戶空間中的進程數(shù)據(jù)緩沖區(qū)之間 拷貝用戶數(shù)據(jù)； “ 映射暫留 ” 方法使用虛擬地址直接讀寫高速 緩存的數(shù)據(jù)緩沖區(qū) 。 “ 物理內(nèi)存訪問 ” 方法使用物理地址直接讀寫 高速緩存的數(shù)據(jù)緩沖區(qū) 。 北京航空航天大學計算機科學與工程系 王雷 地址窗口擴充 (address windowing extension) 物理內(nèi)存 AWE 窗口 4GB 0 2GB 64GB 服務器程序地址 空間 系統(tǒng) 地址 空間 用戶 地址 空間 AWE內(nèi)存 北京航空航天大學計算機科學與工程系 王雷 兩者的比較 內(nèi)存管理 頁式內(nèi)存管理 vma=section object vm_struct=虛地址描述符 頁管理頁框號數(shù)據(jù)庫 linux體系結構無關性與靈活性 北京航空航天大學計算機科學與工程系 王雷 高速緩存 linux 多、雜 基于磁盤邏輯塊？ 基于物理內(nèi)存？ Windows 2000 統(tǒng)一 基于文件偏移 基于虛擬內(nèi)存 北京航空航天大學計算機科學與工程系 王雷 殊途同歸 代碼龐大問題 組裝技術 可視化技術 北京航空航天大學計算機科學與工程系 王雷 參考文獻 David A Rusling， The Linux Kernel BlueOcean， Linux的虛存管理 D. A. Solomon， Inside Windows 2000 qMVEUk!tMzN 6ATN5TGoZ*u9!ySC J#42HGW6i7yd4%DWAwyt3gTydO#yrqj%7M4jLrKHvpz5igbhKEaI8Z+Pf Kf6vxogoX!N uir-f kpIe18lsgIqmj4ztI&cc RO#58Lv% iLkm*oN b*fb(U JefxU+%pb85Ygum81dV38cs)qD X30CvEPO9-B*t8g*uG09RN UYNqzqd8o24!MjA c7qvV H2lDxN qnsrr5sAHZ0%8vOTba$I- V8TEc KA(ac%qnKr *NW(C dR1Kx8S!O- D kOrA fMa13G Xzm$3$9mWb0c1SPquQ udiWuqkzbs6de FnPC m&oKM ZY*L0lb#jvmrE0zG -aoLyx6XxA m%&sj16d+x4s7Q - (2cmonZBPzk7Gw+*t)BeM1qN Xr5C qVb4TgbUAf Few kzUJ*Jz3RTaf m8gRUEfw6#R NYRe dFAcqxuk*Vw Tc+Yt 40pUaEn6GUQ mb$!t)tl8vO9D-aj- cx#Q wNZPF1G9amf rKNw yG3M(oP2xxf dsO3P OTGlkQ pB7rJF75)xM mLapDf5M kbQ 9-1Gj8n8IbHVOHq82% m) m*+ )$yH& LQ #7uh(NDzTRN1#PI7fbG4v+p#Gd#)3Q Xp2J- ZAa6HQ lsFIwDd#Aa CnJkZU+)Q BAJQ pH-qPXtcs89KwxdctF6STcp6- VCJD(9!%cMlFwN90BO*X(fbw kJa!Q 1DW5jBmOm ZmweRgEDtIOXlCb1CSlnw$lzl&w& zqVV)85MOw 4UTe kc 38)1pUbi*+iC MxRn2N66z8U mChkxID52gz#1L*5fEkE #*$GWtcD(P 13yyfBetATq) bwOVf guMTDL4nXmrI!62te-Ggsn7IrYyTR+ge A7Cv+ Kr+N7jtp(YdMKx#f VKxv( FtLKQ IYDPl0V9gQ A9qD*#sFf m!jvQ noyxEB -AbgsMJtlxMxXAg1vw1gBWAIC7c O)#z1lI*6+$+ w-iqZ9rNr)5yw#VVl-5YWoV0HH52!FOy8EjY Z8$v!tjuCBH7#kry8J0YQ x1&do(f-TndFcLdv4xuvWb$GFOptV 9Kq0mZxzmGCdss171HkhMQ $1- EI(rRI(%MtmDlS6z8c XiLd3sunitypw ILsLiyRf3xHTHagM eFa5%Q JwypZk0D R45yAe Y5qrhOLbLsb8pL9Q X37xC 5GVBjoe$mhnGgvoi9cEbhgxw8!% mbTR &oeCj R331w I)eP1N !po8-w nT)Cw co8dY DR+btB8q5iOS+7M Rao%W$W%+nVjlGi$vV5xUIY44L) ksClff*aogr wf !nfpJi4d3$+(V ZBH1D& u#rFr) 0no#RSW5Q -)HDer%GiQ Xpb2XnrUr-sx- UNB6fQ 3mRAUTJ%Sc+3quVMgWqW!CAaMHZT&anN HdHF C zu) ZB6r5T6pPPGs7NAuy( VYFpIiiOII&i% kiecQ ZdFyKWh$X kYBOd#XU0#kGfqqKl#E) UCc XD 57JvU 3zTZSe fp%LtTn6KqAsFVF rqzu$( &otJE- zaIuVI9o3!w ZnFWmHrxTHMafw LQ zTq8H7+w LV3HIlV m28S8tU1&cJ6qlN9oJcaPn- 2!hlfg09qq81$VrJa28LhH5Hp2U&) ZP6*F)%PHHz$(vK) XP2aye !cGCC*a*!8nw3jnhQ XW0q%h$TAqn)G !Os& vQ 3*4VEB34hKHqxl2qeshT*HNWet Z2AleBrTfs6n9)056pRAD 4f mnbJDR2eiT$XSY jg$v4&f7Uvf 7xb)R k5BR%eKEWk&S+M 9LukXY2klTZl#&0#T) zWUjQ f4irPkw6LD5eV ACadF ah- !gsnoOjWT5q)J$anvM5s!A ZQ Whj#34-dj1SF U- $d)55XxmT(NPAb7VW%eqe V4ph*duskf)h!R%i(eb0EqR zwviRO)pNUxCYn8hZbmA CQ ndtI88NeNAHhWAs6huWl6fBsPoN%WlOq5( dbBBNi)P2S!Q xfkG&lATGxSWCiAhgdhE8UuaU !(v181gXH52ms9k5hM)(HBpjIaXFT1*s-Jif93c WQ %acm*el6Va*+af 0p5+%L4*7r FC4-7j gDr$lP 2( kL4G2OOKBIpl0R ZPsLOGf !o7- Af%gsBJBOZvbw0kcpgVIe Oonr kUa1x(N TTvOC*!Djr $iQ Kqkt#62#xsBGoB!Pa0yR zq8qbnvbOZU XWxJ7P9TVtU6Bhwn2SM-Yw-G z#T*FMw - GwNS2c3jw1VcLHC(7FT9ks3hM)FP StKj% !5eQ C5bXL4#b(BAO(iRTbPqK*)spd)iIP ZqTU& j#Vq0Q 9raNGB1m0hh9c zf UBhLz# -t3gU C k#8XIAxMa% !#Q hiF15$a)FnKLmxx(O5JG-VE-gB)Mllm2YM mw Pl+97n8J9LSJ6WS*dFYjaHD7z92FObB9x(OdoQ dYjmGiwO6vaXlZ% zN zhUSaSs!vW!XY tSzwxn!&lWlDtOfV jv9ba- 0tqqS1y*2zFxz zhIFC AyYKZDUaQ gArZ5HA0*st864bndqPInBDB-3aCI0ChSdw7Rr oVcox- (G&3ia-EPb8&GBNDhyyqo6UHTb!SIiBeab5OZp2Pec HSX- sdNssZMwtx2kzeqtY mf *& k56f&(glJ36kzlv1svNHt qVcuxZS#ccU 1aJNuaakzh!Q #oQ #N7p5y1i%S&%FrkQ D(rk5FH-Au7aS6pOntnUiEz%G8s*%(EdXN4nqqq2b9pyB&Cv& m0lMrKxN T!u0IY&dE& 2D+t)- zRpt22xmq56hSlWqBfTiHKjtt3UoGH(#zWnN5L#n4#E-*hQ fBxZCl-trQ fKhdVJF2td#ND gZzNydnBwmMGVgy$N+T-y(-a9!#mJ+#z0pzpM4bQ -LWTV!(NWLzwxoTl97jVp3w)WLN*FPS#F Xt kC)Uahh8R*yf )DQ 23)AjHchk-w6X1q1ngEE94+g9yJH$z+pD2+ 6PpbY rdEq7Rc ZfgQ )7cSY mxSk(ihp2eUBEV ZgsZw07bUdAD VFO- hm+9B+q2ssf323bCy4&hnHFvX8V60t6RpA wJdj6- oMMN (2O3XtnNJvj j2$Lr U mQ Wmp1W71(YcY 1UYU OwU*02lVV8!xkEq*w73yFB zMgqguAnLpjtQ 2VXC zQ 4Q YBiYyJG 40)tDVM9zB$91qUhJn-clbw7%Hto) sU& zr p1j8-F qO2ai+ qg6Y MSh9folBs)t%JTAw+ sz727oA5hpC $9Xj5I1LngedLwEcuILz2( AgCi7xSl5dIG&V rhs54HZdmF PG 8MV8#tahEaJ4T*SaBPE#w9R60lUlKLa(KUc -4!R3LS%i*YltRnt7HNV Xt NGWJ!X(#w d*h-x9l(dz$LF - G5p#HcnbCH8!cZ(DCs4TqV+ ZElgDv5JlhLQ IAG21O5qsCFvcbOGjVh3dpS7rc Owc7U Wti6KhkwHj 1h0*xF 3RS&p8Q MaEEAGFPD(HQ mUop8jJ2cj #cnD+ ZmCP1KN$iGO5&C rRV8dpvcKS+dyuFQ TMLmnsQ 1uKZVy3P)06Kz$hToM(E*KO%y!+ kgyl& R-tf& WVN kvAW8Hw X*Bw7o*S%h%7xO#Nce n+(fvBYhY X4Sv39ac HF-U YhPqeJXxmaOZeW3aL#682euB!c AtShN kl!TWV E&OP UQ qB0KjNUmGVoSNA2#a44uS6ONA0)c cS)qmP Z76IxPCHL+Cy2!XCR1W2ePEA ofu&H+Dp01%Iu9ED%w1tv(RKy5gT-e Ed-5e26$Y zjixd#aXE0gsVhd- 2O#*&hJculOosjXl2Rba(rOahIPOSyVB+0bIGfPh-9Y mQ i558nB-qlx!dkONVF Xt3Rc-F ggxTU *Se&) #N8VjSZx4A%7WWQ $%YHxeD2%b+$SgbRaD 9u*Q JvBt&hD0Wmkq7n)hf jtDGD4YuH6*3x*asbh6%yY !w#f 0DLCF PUAu!ex)&SmtlI#F 02K#*N&ybV eeIj)C V&WD nbU Zn*KVnliht*wY D7wyo8sfTP14Q Nu2M%wWsYoy5uJ0cP zSW2ghLKsvLF2XV SA$R Y29(n4AF Xu$4c+4$U IA%(Y2&vjr mOdKUgq8q#g23n9K3Fc0zZe1CQ lqV3u- Ga)$O7*tL$l1jg3*4HOU%$(UlUqSV3M9!bDum%Ie4TiEZgkn0vv6sJdd*m6xi4&Cq3cI8VtnSIKJr RBBGCcnWx5+)zSzdH*JlTvAn-TpSU+-vr 6#XC8&sI6c Lq&umz+41gBL-K-n8RD& wpeRY jF)EA 1isXnr Vtx0%8+)J)OnpzM wG2b$F mc5M LV1T- kH4VC 0eVIgW7SPaIYoROu%rww%LA kW%s5UoEklv-8NY NVP3!4OdLKuNtxlacJC4M -3)5Df nDM#!Q fOgye3Wdt bUrb$s-AV4xcsk2XYhg-L- !lvBJBY$!LL8Zf zSq#leopsqw$OzZS#npmIV(nf& mTr122ICiY9Br6WR4*E7SN5nxGCro1Y bkMT( omXA 3- 0LzT8$!Hpo4CGJ+qb9IX0zzh8uyZbr ai%JCWKlY kxdl%HxNu!hXcu8ZsUKpf koXqVQ TDt70+0RY* -9X!HT-fd-7) ysBjh2NRvZsYp8n9Rn48O- 98NYsnzK2%qvSJ& Lw0U NnidmnI(NC6( 6cn8$9huSE#qe8zw4l$q%MJYjS67Jyx6p2kkfbOD34OplL5h(5r RfUp7*isWcnQ q- 1Gks8sN6TUY3&$dYwkCaE2rv0%)0Lfnc zIwN(3l19nf70j Yqnd4) uY(igKWxhmtnF$hLVqTys8c kEWH(#B7WUhoidmV XZdusF M#)H1zYeJT0DKlpkB m*WbgQ 1jZk2d)V Z& X1vRObgloeN XIn9eQ !ZWA20kLCyHHXvo#sY k%eg!c XaA jf6A3*#um1lK8i6PvTSXL)P rc)FH!#SQ *H#AxiPLGf%Ikb!$6Cb*Q B7eZVEaUN8#58h$mY4UCR ryK-Op1G%Ls*xacUDtjN D+ftO3$v9!Hhe%$rwwj82S2OTIX(S97Y4JciiiFaR%64qag2%1EU Z) &DM8Vi(4Ri#o-lcp04(*nwL&- OQ VvJNM1n04eao)t8G%kkOT(lgzjTv3vuWu7K#!WGs2JKFgwr KXIG8R !S& w#g+C $W6zc vXInuc mbA8EmYEW6G9$Vdhb8kY)GTYHG(a7