操作系統(tǒng)第5章-2

15.1 存儲(chǔ)管理的功能5.2 分區(qū)存儲(chǔ)管理5.3 覆蓋與交換技術(shù)5.4 頁(yè)式管理5.5 段式管理與段頁(yè)式管理5.6 局部性原理和抖動(dòng)問(wèn)題6.6、UNIX存儲(chǔ)管理第五章、存儲(chǔ)管理25.4 頁(yè)式管理一、基本原理：

1）把作業(yè)地址空間劃分為大小相等的頁(yè)；

2）把內(nèi)存存儲(chǔ)空間劃分為大小相等的頁(yè)面；

3）作業(yè)需要m頁(yè)存儲(chǔ)，則在內(nèi)存中尋找m個(gè)空閑頁(yè)面分配即可，無(wú)須連續(xù)。1、頁(yè)面大小設(shè)置：1K~4K2、邏輯地址結(jié)構(gòu)設(shè)置：3、地址變換：頁(yè)式虛擬地址 內(nèi)存物理地址3二、靜態(tài)頁(yè)面管理原理：把作業(yè)的全部程序和數(shù)據(jù)在執(zhí)行前裝入內(nèi)存的若干頁(yè)面。1、數(shù)據(jù)結(jié)構(gòu)：

1）頁(yè)表—每個(gè)作業(yè)/進(jìn)程一張，記錄邏輯頁(yè)號(hào)和物理頁(yè)面號(hào)的對(duì)應(yīng)關(guān)系。

2）請(qǐng)求表—系統(tǒng)一張，記錄所有作業(yè)的申請(qǐng)和分配情況。

3）存儲(chǔ)頁(yè)面表—系統(tǒng)一張，記錄內(nèi)存所有頁(yè)面的分配情況。

a）位示圖：每一位代表一頁(yè)面：1-已分，0-未分

b）空閑頁(yè)面鏈法：每頁(yè)首單元存放下一空閑頁(yè)面的地址。頁(yè)號(hào)頁(yè)面號(hào)進(jìn)程號(hào)請(qǐng)求頁(yè)數(shù)頁(yè)表始址頁(yè)表長(zhǎng)度狀態(tài)42、分配與回收：分配：回收：1）消除請(qǐng)求表的表項(xiàng)；2）把頁(yè)表中各釋放頁(yè)面號(hào)插入空閑頁(yè)面表中；3）釋放頁(yè)表空間。53、地址變換

頁(yè)表寄存器頁(yè)表長(zhǎng)度頁(yè)表始址頁(yè)號(hào)P

頁(yè)內(nèi)地址W

頁(yè)式邏輯地址頁(yè)號(hào)頁(yè)面號(hào)0……pb……請(qǐng)求表越界<+*頁(yè)長(zhǎng)內(nèi)存物理地址+64、快表引入原因：

頁(yè)式管理要訪問(wèn)內(nèi)存兩次，第一次訪問(wèn)頁(yè)表得頁(yè)面號(hào)，第二次根據(jù)得到物理地址訪問(wèn)，速度慢。高速聯(lián)想存儲(chǔ)器（快表）： 由半導(dǎo)體存儲(chǔ)器組成，存儲(chǔ)當(dāng)前、最近、經(jīng)常訪問(wèn)的頁(yè)表項(xiàng)； 查詢頁(yè)面號(hào)時(shí)，同時(shí)查快表： 在快表中，得頁(yè)面號(hào)，停止查頁(yè)表； 不在快表中，把查頁(yè)表所得結(jié)果填入快表。特點(diǎn)： 需硬件得支持，開(kāi)銷(xiāo)大，但可換取訪問(wèn)速度的提高。75、靜態(tài)頁(yè)式管理的優(yōu)缺點(diǎn)優(yōu)點(diǎn)： 較好解決碎片問(wèn)題，限制了碎片的大小和數(shù)量，提高了內(nèi)存利用率。缺點(diǎn)：1）動(dòng)態(tài)地址變換開(kāi)銷(xiāo)大，以時(shí)間換取空間；2）出現(xiàn)頁(yè)內(nèi)碎片（每個(gè)作業(yè)末頁(yè)中）；3）作業(yè)仍需全部裝入內(nèi)存，作業(yè)大小受限制，沒(méi)有實(shí)現(xiàn)內(nèi)存“擴(kuò)充”。8三、動(dòng)態(tài)頁(yè)式管理（請(qǐng)求頁(yè)式）原理：

作業(yè)在允許前可以不全部裝入內(nèi)存，對(duì)即將執(zhí)行的部分動(dòng)態(tài)裝入。預(yù)調(diào)入方式：

對(duì)外存中調(diào)入頁(yè)的順序分析、預(yù)測(cè)，把預(yù)計(jì)即將被訪問(wèn)的若干頁(yè)提前調(diào)入內(nèi)存； 一次調(diào)入幾頁(yè)，缺頁(yè)中斷少，效率高； 要求預(yù)測(cè)準(zhǔn)確，否則效率反而低。請(qǐng)求頁(yè)式：

當(dāng)被訪問(wèn)的指令或數(shù)據(jù)不在內(nèi)存時(shí)，才發(fā)生缺頁(yè)中斷，將其所在頁(yè)調(diào)入； 容易實(shí)現(xiàn)，但經(jīng)常缺頁(yè)中斷，系統(tǒng)開(kāi)銷(xiāo)大。兩種方式91、數(shù)據(jù)結(jié)構(gòu)——頁(yè)表：2、地址變換機(jī)構(gòu)：（基本同前）

缺頁(yè)中斷——地址變換

缺頁(yè)中斷機(jī)構(gòu)：

1）發(fā)生在指令執(zhí)行期；

2）一條指令的執(zhí)行期可能發(fā)生多次缺頁(yè)中斷。

頁(yè)號(hào)頁(yè)面號(hào)中斷位外存始址改變位訪問(wèn)位10取指令/數(shù)據(jù)是否在內(nèi)存？ 缺頁(yè)中斷，保護(hù)CPU現(xiàn)場(chǎng)有無(wú)空閑頁(yè)面 選擇一頁(yè)淘汰置換調(diào)入所需頁(yè)地址變換得到實(shí)際地址執(zhí)行3、管理流程YYNN114、置換算法功能：

缺頁(yè)中斷但內(nèi)存無(wú)空閑頁(yè)面時(shí)，選擇哪一個(gè)頁(yè)面調(diào)出外存騰出空頁(yè)面？抖動(dòng)現(xiàn)象： 由于置換算法選擇不當(dāng)，使剛換出的頁(yè)由要馬上調(diào)入內(nèi)存，調(diào)入不久由被換出，使頁(yè)面調(diào)度過(guò)于頻繁，花銷(xiāo)增大。

1）隨機(jī)淘汰算法

2）輪轉(zhuǎn)法

3）最近最久未用頁(yè)面置換算法

4）理想型淘汰算法121）隨機(jī)淘汰算法：原理： 隨機(jī)選擇任意一個(gè)頁(yè)面的內(nèi)容換出外存。特點(diǎn)： 簡(jiǎn)單，針對(duì)性不強(qiáng)。13

2）輪轉(zhuǎn)法和先進(jìn)先出算法：原理：

輪轉(zhuǎn)法：把滿頁(yè)面順序連接起來(lái)，缺頁(yè)時(shí)依次換出鏈上頁(yè)面，不管駐留內(nèi)存的長(zhǎng)短。

先進(jìn)先出算法：把頁(yè)面按駐留內(nèi)存時(shí)間長(zhǎng)短鏈接，置換指針指向最久頁(yè)面，換出該指針指向頁(yè)面，調(diào)入頁(yè)入鏈尾。特點(diǎn)：

基于CPU按線性順序訪問(wèn)地址空間的思想，忽略了非線性訪問(wèn)的情況，效率不一定高。Belady現(xiàn)象：

作業(yè)可用頁(yè)面數(shù)增多，缺頁(yè)次數(shù)反而增加。14一進(jìn)程有5頁(yè)，訪問(wèn)順序是：1-2-3-4-1-2-5-1-2-3-4-5可用3個(gè)頁(yè)面時(shí)：缺頁(yè)9次

123412512345111444555555222111113333332222244可用4個(gè)頁(yè)面時(shí)：缺頁(yè)10次12341251234511111155554422222211115333333222244444433315123412512345111111111333222222222443444555555可用4個(gè)頁(yè)面時(shí)，最近最久未用頁(yè)面置換算法：123412512345111111111115222222222223333555544444444333可用3個(gè)頁(yè)面時(shí)，理想型淘汰算法：

163）最近最久未用頁(yè)面置換算法：

原理：某頁(yè)剛被訪問(wèn)，則可能馬上還要被訪問(wèn)；若長(zhǎng)期不被訪問(wèn)，則近期也不會(huì)被訪問(wèn)；因此選擇自上次訪問(wèn)到現(xiàn)在期間最長(zhǎng)的頁(yè)面淘汰。實(shí)施：每個(gè)頁(yè)表項(xiàng)增加一個(gè)訪問(wèn)位，記錄上次訪問(wèn)以來(lái)經(jīng)歷的時(shí)間t，選擇t最大的頁(yè)面淘汰。近似算法：最不經(jīng)常使用頁(yè)面淘汰算法

訪問(wèn)位：記錄上次缺頁(yè)至今頁(yè)面的訪問(wèn)次數(shù)； 缺頁(yè)時(shí)選訪問(wèn)位值最小的淘汰，而后全部清零。最近未用頁(yè)面淘汰算法

周期性對(duì)所有訪問(wèn)位置0（未訪），一個(gè)周期內(nèi)被訪問(wèn)，置1；缺頁(yè)時(shí)，再訪問(wèn)位為0的頁(yè)面中選擇淘汰。174）理想型淘汰算法：原理：

欲知進(jìn)程訪問(wèn)頁(yè)的順序，把當(dāng)前頁(yè)后不再出現(xiàn)的頁(yè)或離當(dāng)前頁(yè)最遠(yuǎn)的頁(yè)（最長(zhǎng)時(shí)間不訪問(wèn)）淘汰。特點(diǎn)：

無(wú)法實(shí)現(xiàn)，僅作為比較、評(píng)價(jià)其它算法的一個(gè)標(biāo)準(zhǔn)。185、動(dòng)態(tài)頁(yè)式管理優(yōu)缺點(diǎn)優(yōu)點(diǎn)：

1）“擴(kuò)充”內(nèi)存，作業(yè)不需全裝入，有效利用內(nèi)存，提高并發(fā)程度；

2）便于共享公共信息：通過(guò)頁(yè)表連接；

3）基本解決碎片問(wèn)題。缺點(diǎn)：

1）地址變換、缺頁(yè)中斷機(jī)構(gòu)需要軟硬件的支持，開(kāi)銷(xiāo)大；

2）置換算法不當(dāng)容易產(chǎn)生“抖動(dòng)”現(xiàn)象；

3）仍存在頁(yè)內(nèi)碎片。19頁(yè)式管理評(píng)價(jià)1、解決外碎片，出現(xiàn)少量?jī)?nèi)碎片；2、動(dòng)態(tài)頁(yè)式管理擴(kuò)充了內(nèi)存；3、開(kāi)銷(xiāo)大，以時(shí)間換取空間。頁(yè)式管理的局限數(shù)據(jù)的動(dòng)態(tài)變化？編譯鏈接的方便？程序或數(shù)據(jù)的共享？邏輯空間的限制？20215.5 段式管理與段頁(yè)式管理（一）段式管理一、基本原理1、引入

分區(qū)和分頁(yè)管理： 一維線性空間，空間不連續(xù)，邏輯關(guān)系連續(xù)； 難于共享公共子程序和數(shù)據(jù)。

考慮把邏輯功能上獨(dú)立的程序和數(shù)據(jù)自成一段存儲(chǔ)。222、原理

把邏輯上獨(dú)立的信息定義為一段，每段有段名、段號(hào)，段內(nèi)從0開(kāi)始編址，形成一維線性空間，段長(zhǎng)不固定； 每個(gè)作業(yè)由若干段構(gòu)成，地址空間是二維的：段號(hào)S段內(nèi)地址W233、分段與分頁(yè)的區(qū)別分頁(yè)分段“頁(yè)”是信息的物理單位，大小固定。“段”是信息的邏輯單位，長(zhǎng)度不定。分頁(yè)對(duì)用戶不透明，主要針對(duì)內(nèi)存管理。分段用戶可見(jiàn)，便于信息的共享。一維線性地址空間，頁(yè)間邏輯地址連續(xù)。二維線性地址空間，段間邏輯地址不連續(xù)，段內(nèi)連續(xù)。24二、段式管理的實(shí)現(xiàn)1、數(shù)據(jù)結(jié)構(gòu)：

1）段表：

（每個(gè)作業(yè)一個(gè)） 記錄作業(yè)中每段的基本情況。

2）內(nèi)存分配表：

（系統(tǒng)一張） 記錄內(nèi)存空閑區(qū)的情況。

空閑區(qū)表、空閑區(qū)鏈

3）作業(yè)表：

（系統(tǒng)一張） 記錄每個(gè)作業(yè)的段表起始地址和長(zhǎng)度。段號(hào)始址長(zhǎng)度存取方式內(nèi)/外存訪問(wèn)位修改位25262、分配與回收訪問(wèn)段在內(nèi)存？缺段中斷有無(wú)空閑區(qū)裝該段？選一段/幾段淘汰到外存調(diào)入該段地址變換NNYY回收：修改該段表項(xiàng)回收區(qū)插入內(nèi)存分配表27缺段中斷處理過(guò)程28相關(guān)算法空閑區(qū)分配算法：

1、最先適應(yīng)算法

2、最佳適應(yīng)算法

3、最壞適應(yīng)算法淘汰置換算法：

1、輪轉(zhuǎn)法

2、先進(jìn)先出算法

3、最近最久未用段置換算法：

最不經(jīng)常使用段淘汰算法 最近未用段淘汰算法

29算法比較碎片大空閑區(qū)搜索釋放速度最先適應(yīng)法低址多有快（一般不排序）循環(huán)首次適應(yīng)算法分布均勻無(wú)最佳適應(yīng)法小碎片多有較慢（鏈重排）最壞適應(yīng)法少無(wú)30地址變換313、地址變換

段表寄存器段表長(zhǎng)度段表始址段號(hào)S

段內(nèi)地址W

段式邏輯地址段號(hào)始址0……S？K……作業(yè)表越界<+內(nèi)存物理地址+快表323、段的共享1）一個(gè)副本，多個(gè)進(jìn)程享用，節(jié)省存儲(chǔ)空間；2）共享段的程序和數(shù)據(jù)不允許修改；3）對(duì)每個(gè)共享段設(shè)置共享進(jìn)程計(jì)數(shù)count：

分配：第一個(gè)共享請(qǐng)求，將段調(diào)入內(nèi)存，count加1；其后的請(qǐng)求，只需對(duì)count加1。 釋放：count減1，當(dāng)count=0時(shí)，可以被淘汰出內(nèi)存。334、段的保護(hù)1）地址越界保護(hù)：

每段設(shè)置段表寄存器，記錄該段始址和長(zhǎng)度，每條指令執(zhí)行前判斷是否越界。2）存取方式控制保護(hù)：

段表項(xiàng)中設(shè)“存取方式”一項(xiàng)，規(guī)定進(jìn)程訪問(wèn)該段的權(quán)限： 共享段：賦予共享該段的進(jìn)程不同的權(quán)限； 非共享段：對(duì)過(guò)程段只調(diào)用，對(duì)數(shù)據(jù)段只讀或特定用戶寫(xiě)。34三、段式管理的優(yōu)缺點(diǎn)優(yōu)點(diǎn)：

1、便于程序的模塊化處理；

2、便于共享分段；

3、實(shí)現(xiàn)了內(nèi)存的擴(kuò)充。

4、便于實(shí)現(xiàn)動(dòng)態(tài)鏈接；

5、段長(zhǎng)可以動(dòng)態(tài)增長(zhǎng)，便于處理變化的數(shù)據(jù)結(jié)構(gòu)；缺點(diǎn)：

1、碎片較多，影響內(nèi)存利用率；

2、分段段長(zhǎng)受內(nèi)存可用空間的限制；

3、硬件支持多，開(kāi)銷(xiāo)大；

4、采用拼接手段，增加難度；

5、段長(zhǎng)可以動(dòng)態(tài)變化，對(duì)外存的管理帶來(lái)難度。35（二）段頁(yè)式存儲(chǔ)管理一、基本原理：1、引入：

分頁(yè)管理分段管理優(yōu)點(diǎn)管理存儲(chǔ)空間上的優(yōu)點(diǎn)：克服碎片，提高內(nèi)存利用率。邏輯調(diào)用上的優(yōu)點(diǎn)：反映邏輯結(jié)構(gòu)，便于段的共享、動(dòng)態(tài)增長(zhǎng)和保護(hù)。缺點(diǎn)難于共享：共享某程序段時(shí)，需要進(jìn)行多次頁(yè)間鏈接。內(nèi)存利用率不高：段長(zhǎng)受內(nèi)存空間限制，存在碎片問(wèn)題。結(jié)分頁(yè)管理內(nèi)存合分段管理外存362、段頁(yè)式管理原理把進(jìn)程分為若干邏輯上獨(dú)立的段；（程序員可見(jiàn)）每段分為若干頁(yè)，每段內(nèi)容可以分頁(yè)存儲(chǔ)；（系統(tǒng)自動(dòng)完成）內(nèi)存分為大小相同的頁(yè)面，存儲(chǔ)某段的某頁(yè)；段號(hào)S段內(nèi)頁(yè)號(hào)P頁(yè)內(nèi)偏址d0 78 111223段內(nèi)偏址WP=[W/頁(yè)長(zhǎng)]d=Wmod頁(yè)長(zhǎng)37二、段頁(yè)式管理的實(shí)現(xiàn)1、數(shù)據(jù)結(jié)構(gòu)：

1）作業(yè)表：系統(tǒng)一張

2）段表：作業(yè)一張

3）頁(yè)表：每段一張

4）空閑頁(yè)面表：

位示圖/空閑頁(yè)面鏈段號(hào)頁(yè)表始址頁(yè)表長(zhǎng)度其它頁(yè)號(hào)頁(yè)面號(hào)內(nèi)/外存訪問(wèn)位修改位外存始址38段表始址段表長(zhǎng)度

作業(yè)表段表寄存器段號(hào)其它頁(yè)表長(zhǎng)度頁(yè)表始址0…410241…210282…310300段頁(yè)表0…101…112…173…141段頁(yè)表2段頁(yè)表0…121…180…191…212…23102410271028102910301032…1011121314151617181920212223…段表392、動(dòng)態(tài)訪問(wèn)、分配、調(diào)入：403、地址變換

作業(yè)表—段表寄存器段號(hào)頁(yè)表始址……S始址……+++SPd邏輯地址段表始址段表長(zhǎng)度段表頁(yè)號(hào)頁(yè)面號(hào)……P頁(yè)面號(hào)P’……內(nèi)存物理地址*頁(yè)長(zhǎng)頁(yè)表快表41三、段頁(yè)式管理的優(yōu)缺點(diǎn)優(yōu)點(diǎn)：

具有請(qǐng)求頁(yè)式和分段管理的全部?jī)?yōu)點(diǎn)。 內(nèi)存利用率、擴(kuò)充程度、便于共享、模塊化。缺點(diǎn)：

軟硬件開(kāi)銷(xiāo)大：缺段中斷、缺頁(yè)中斷、地址變換 管理表格占據(jù)存儲(chǔ)空間大：段表、頁(yè)表42各存儲(chǔ)管理方法的比較1、內(nèi)存利用率—碎片多少？非連續(xù)存放？部分裝入？2、內(nèi)存擴(kuò)充—全裝？3、信息共享—方便？4、軟硬件開(kāi)銷(xiāo)—大??？5、虛擬地址空間—一維？二維？6、數(shù)據(jù)結(jié)構(gòu)—哪些表格？435.6 局部性原理和抖動(dòng)問(wèn)題局部性原理：

在一段時(shí)間內(nèi)，CPU總是集中地訪問(wèn)程序中的某一部分，而不是隨機(jī)地對(duì)程序所有部分具有平均訪問(wèn)概率。內(nèi)存大小與內(nèi)外存交換頻率關(guān)系抖動(dòng)：內(nèi)外存頻繁交換造成輸入輸出處理時(shí)間增加，使系統(tǒng)性能大大下降。44解決抖動(dòng)問(wèn)題的辦法1、擴(kuò)大工作集：不讓缺頁(yè)進(jìn)程換出。2、選擇適合的淘汰算法。45存儲(chǔ)管理總結(jié)分區(qū)分頁(yè)分段段頁(yè)靜態(tài)動(dòng)態(tài)靜態(tài)動(dòng)態(tài)碎片問(wèn)題非連續(xù)存放全部裝入內(nèi)存利用率擴(kuò)充內(nèi)存方便共享46

1、P139：5.13

2、對(duì)訪問(wèn)串：

1、2、3、4、1、2、3、5、1、2、3、4、5

指出在駐留集大小分別為3和4時(shí)，使用FIFO、LRU替換算法和理想淘汰算法的缺頁(yè)次數(shù)。作業(yè)二47

3、某虛存的用戶編程空間為32頁(yè)，每頁(yè)長(zhǎng)1KB，內(nèi)存容量16KB。若某時(shí)刻該用戶已調(diào)入內(nèi)存的頁(yè)的虛頁(yè)號(hào)與物理頁(yè)面號(hào)對(duì)照表如下表所示。

求出虛地址0A8C(H）、18C5(H)相對(duì)應(yīng)的物理單元地址，若不在內(nèi)存，則表明“無(wú)法得地址”。（注：H表示16進(jìn)制，結(jié)果也用16進(jìn)制表示）

虛頁(yè)號(hào)物理頁(yè)面081724310486.6、UNIX存儲(chǔ)管理一、空間的劃分：（VAX-11） 虛擬空間劃分為4個(gè)功能區(qū)，虛存尋址范圍：0~232-1。P0（程序區(qū)）P1（控制區(qū)）核心區(qū)保留區(qū)進(jìn)程空間系統(tǒng)空間0230231231+230232虛擬存儲(chǔ)器512字節(jié)一頁(yè)，共223-1頁(yè)。物理存儲(chǔ)器512字節(jié)一個(gè)頁(yè)面，共221-1個(gè)頁(yè)面。每個(gè)區(qū)有各自頁(yè)表。頁(yè)表的長(zhǎng)度和起始地址記錄在長(zhǎng)度寄存器和基址寄存器中。0001101149地址結(jié)構(gòu)虛頁(yè)號(hào)頁(yè)內(nèi)偏移量分區(qū)頁(yè)面號(hào)頁(yè)內(nèi)偏移量?jī)?nèi)存外存存取權(quán)限修改位訪問(wèn)位年齡位物理頁(yè)面號(hào)虛擬地址：內(nèi)存地址：頁(yè)表項(xiàng)組成：31 98 03130 98 031302726252120 050核心區(qū)虛址空間與內(nèi)存空間的對(duì)應(yīng)關(guān)系核心正文段數(shù)據(jù)段核心頁(yè)表內(nèi)存位示圖頁(yè)表0#進(jìn)程頁(yè)表其他專(zhuān)用區(qū)頁(yè)表諸進(jìn)程頁(yè)表…核心正文段數(shù)據(jù)段核心頁(yè)表和進(jìn)程頁(yè)表內(nèi)存位示圖0#進(jìn)程頁(yè)表0#進(jìn)程堆棧進(jìn)程可用物理空間I/O專(zhuān)用區(qū)023151內(nèi)存中核心頁(yè)表和進(jìn)程頁(yè)表的關(guān)系52二、內(nèi)存的分配和釋放1、進(jìn)程頁(yè)表的分配：

特點(diǎn)：連續(xù)存放，變化少。

方式：最先適應(yīng)算法（地址由低到高）

實(shí)施：sptalloc-malloc，sptfree-mfree532、P0和P1區(qū)的分配memall和釋放memfree

：

位示圖記錄頁(yè)面的分配回收情況，大小由內(nèi)存大小和頁(yè)面長(zhǎng)度決定，內(nèi)存起始地址為memvad。

mem結(jié)構(gòu)—減少掃描位示圖的次數(shù)：(

NICMEM<=100) struct { int m_free; /*mem結(jié)構(gòu)中的空閑頁(yè)面數(shù)*/ int m_lo; /*最低頁(yè)面號(hào)*/ int m_hi; /*最高頁(yè)面號(hào)*/ int m_ptr; /*上次查位示圖時(shí)結(jié)束指針*/ int m_avail; /*內(nèi)存總的空閑頁(yè)面數(shù)*/ short m_pnum[NICMEM]/*本組記錄空閑頁(yè)面號(hào)*/ }mem;54分配函數(shù)：memall(頁(yè)表始址base,申請(qǐng)數(shù)size)55釋放函數(shù)：memfree(頁(yè)表始址base,釋放數(shù)size)1、對(duì)base所