操作系统磁盘调度算法

合集下载

磁盘调度算法的模拟实现及对比

磁盘调度算法的模拟实现及对比

磁盘调度算法的模拟实现及对比磁盘调度算法是操作系统中的一个重要组成部分,用于优化磁盘读写操作的效率,提高系统的响应速度和运行效率。

常见的磁盘调度算法包括先来先服务(FCFS)算法、最短寻道时间优先(SSTF)算法、电梯(Elevator)算法等。

在进行磁盘调度算法的比较和模拟之前,我们首先需要了解磁盘读写操作的基本原理。

磁盘是由许多磁道和扇区组成的,当操作系统需要对磁盘进行读写操作时,读写头需要按照特定的路径移动到目标扇区,这个过程称为寻道。

而磁头在寻道的过程中所花费的时间称为寻道时间。

不同的磁盘调度算法的主要目标就是使得寻道时间尽可能地短,从而提高磁盘的读写操作效率。

首先,我们来实现一个先来先服务(FCFS)算法的模拟。

FCFS算法是最简单的磁盘调度算法,它按照磁盘请求的先后顺序进行处理。

具体实现如下:```pythondef fcfs(disk_queue, start):head_movement = 0curr_pos = startfor request in disk_queue:head_movement += abs(request - curr_pos)curr_pos = requestreturn head_movement```上述代码中,`disk_queue`表示磁盘请求队列,`start`表示起始磁道号。

算法首先将磁头移动到起始磁道号`start`,然后按照磁盘请求的先后顺序对队列中的请求进行处理,计算磁头的移动距离。

最后返回磁头的总移动距离。

接下来,我们实现一个最短寻道时间优先(SSTF)算法的模拟。

SSTF 算法会选择离当前磁道最近的请求进行处理,从而减少磁头的寻道时间。

具体实现如下:```pythondef sstf(disk_queue, start):head_movement = 0curr_pos = startwhile disk_queue:min_distance = float('inf')min_index = -1for i, request in enumerate(disk_queue):distance = abs(request - curr_pos)if distance < min_distance:min_distance = distancemin_index = ihead_movement += min_distancecurr_pos = disk_queue.pop(min_index)return head_movement```上述代码中,算法首先将磁头移动到起始磁道号`start`,然后不断选择离当前磁道最近的请求处理,直到所有请求处理完毕。

操作系统磁盘调度算法实验报告及代码

操作系统磁盘调度算法实验报告及代码

操作系统磁盘调度算法实验报告及代码一、实验目的通过实验掌握磁盘调度算法的实现过程,了解各种不同磁盘调度算法的特点和优缺点,并比较它们的性能差异。

二、实验原理磁盘调度是操作系统中的重要内容,其主要目的是提高磁盘的利用率和系统的响应速度。

常见的磁盘调度算法有:FCFS(先来先服务)、SSTF (最短寻道时间)、SCAN(扫描)、C-SCAN(循环扫描)等。

三、实验过程1.编写代码实现磁盘调度算法首先,我们需要定义一个磁盘请求队列,其中存放所有的IO请求。

然后,根据所选的磁盘调度算法,实现对磁盘请求队列的处理和IO请求的调度。

最后,展示运行结果。

以FCFS算法为例,伪代码如下所示:```diskQueue = new DiskQueue(; // 创建磁盘请求队列while (!diskQueue.isEmpty()request = diskQueue.dequeue(; // 取出队列头的IO请求//处理IO请求displayResult(; // 展示运行结果```2.运行实验并记录数据为了验证各种磁盘调度算法的性能差异,我们可以模拟不同的场景,例如,随机生成一批磁盘IO请求,并使用不同的磁盘调度算法进行处理。

记录每种算法的平均响应时间、平均等待时间等指标。

3.撰写实验报告根据实验数据和结果,撰写实验报告。

实验报告通常包括以下内容:引言、实验目的、实验原理、实验步骤、实验结果、实验分析、结论等。

四、实验结果与分析使用不同的磁盘调度算法对磁盘IO请求进行处理,得到不同的实验结果。

通过对比这些结果,我们可以看出不同算法对磁盘IO性能的影响。

例如,FCFS算法对于请求队列中的请求没有排序,可能会导致一些请求等待时间过长。

而SSTF算法通过选择离当前磁道最近的请求进行处理,能够减少平均寻道时间,提高磁盘性能。

五、实验总结通过本次实验,我们学习了操作系统中磁盘调度算法的原理和实现过程。

不同的磁盘调度算法具有不同的优缺点,我们需要根据实际情况选择合适的算法。

磁盘调度算法的模拟实现

磁盘调度算法的模拟实现

磁盘调度算法的模拟实现磁盘调度算法是指操作系统中负责管理物理磁盘的一种算法,其主要目的是优化磁盘访问,提高磁盘效率。

常见的磁盘调度算法有FCFS(先来先服务)、SSTF(最短寻道时间优先)、SCAN(扫描)、C-SCAN(循环扫描)等。

下面我将分别介绍这几种算法的模拟实现。

1.FCFS(先来先服务)算法模拟实现:首先,我们需要定义一个队列,用于存储用户请求的磁道号。

然后,将用户请求的磁道号加入队列中,按照先来先服务的原则进行服务,即按照队列中的请求顺序依次访问磁盘。

计算总体访问时间等信息,并输出结果。

2.SSTF(最短寻道时间优先)算法模拟实现:首先,我们需要定义一个队列,用于存储用户请求的磁道号。

然后,从当前磁头位置开始,找到与当前位置距离最近的请求磁道号,计算距离最小的请求所在的队列位置,并将该请求从队列中取出访问磁盘。

重复上述过程,直至队列为空。

计算总体访问时间等信息,并输出结果。

3.SCAN(扫描)算法模拟实现:首先,我们需要定义一个队列,用于存储用户请求的磁道号。

然后,将用户请求的磁道号加入队列中,并将队列按磁道号从小到大排序。

假设当前磁头位置为start,将磁头移动到队列中第一个比start大的磁道号,然后按照顺时针方向继续移动,直至访问队列中最大的磁道号。

然后,改变移动方向,回到队列中最小的磁道号为止。

计算总体访问时间等信息,并输出结果。

4.C-SCAN(循环扫描)算法模拟实现:首先,我们需要定义一个队列,用于存储用户请求的磁道号。

然后,将用户请求的磁道号加入队列中,并将队列按磁道号从小到大排序。

假设当前磁头位置为start,将磁头移动到队列中第一个比start大的磁道号,然后按照顺时针方向继续移动,直至访问队列中最大的磁道号,并将磁头移动到队列中最小的磁道号。

计算总体访问时间等信息,并输出结果。

以上是对于不同磁盘调度算法的简要模拟实现。

在实际应用中,还需要考虑更多的细节,如怎样处理新到的请求、队列的管理等。

磁盘调度算法的模拟实现及对比

磁盘调度算法的模拟实现及对比

磁盘调度算法的模拟实现及对比磁盘调度算法是操作系统中的重要组成部分,它负责有效地管理磁盘的数据读取和写入。

在实际中,磁盘调度算法的选择对系统的性能有着重要影响。

为了更好地理解磁盘调度算法的运作原理以及它们之间的差异,我们可以进行模拟实现并对比它们的性能。

1.先来先服务算法(FCFS)FCFS算法简单直接,按照请求的顺序依次进行磁盘访问。

实现思路很简单,我们可以创建一个请求队列来存储待访问的磁盘请求。

当有新的请求到来时,将其加入到队列的末尾。

然后按照队列的顺序进行磁盘访问即可。

2.最短寻道时间优先算法(SSTF)SSTF算法选择距离当前磁头位置最近的磁道进行访问,以减少寻道时间。

实现思路是将磁盘请求按照与当前磁头位置的距离进行排序,然后按照排序后的顺序进行访问。

3.扫描算法(SCAN)SCAN算法按照同一方向扫描,当到达磁盘的边界时,改变扫描方向。

实现思路是维护两个队列,一个存储向磁头当前方向的磁道请求,另一个存储向磁头反方向的磁道请求。

先按照当前方向的队列进行访问,直到访问完毕;然后改变扫描方向,并访问反方向的队列中的请求。

以下是对三种算法进行模拟实现并对比它们性能的步骤:1.首先,我们需要模拟磁盘的读取和写入操作。

可以使用一个整型数组来模拟磁盘的扇区,数组中每个元素代表一个扇区的内容。

2.创建一个请求队列,用于存储待访问的磁道号。

可以随机生成一些待访问的磁道号,并根据算法的不同进行排序。

3.根据算法的要求,对请求队列进行排序。

4.模拟磁盘调度算法的运行过程。

对于每个磁道号,计算当前磁头位置与该磁道的距离,并记录总的移动距离。

5.统计总的移动距离,并计算平均移动距离。

6.对比不同算法的平均移动距离,分析它们的性能差异。

通过以上步骤,我们可以进行磁盘调度算法的模拟实现并对比它们的性能。

根据实际情况,我们可以调整磁道数、磁头位置、磁道位置等参数,以观察不同条件下算法的运行情况。

总的来说,磁盘调度算法的模拟实现及对比可以使我们更好地理解各种算法的运行原理,对于选择和优化磁盘调度算法具有重要意义。

操作系统有哪些主要调度算法

操作系统有哪些主要调度算法

操作系统有哪些主要调度算法操作系统调度算法一、磁盘调度1.先来先服务fcfs:是按请求访问者的先后次序启动磁盘驱动器,而不考虑它们要访问的物理位置2.最短一般说来时间优先sstf:使距当前磁道最近的命令访问者启动磁盘驱动器,即是使查找时间最短的那个作业先继续执行,而不考量命令访问者到来的先后次序,这样就消除了先来先服务调度算法中磁臂移动过小的问题3.扫描算法scan或电梯调度算法:总是从磁臂当前位置开始,沿磁臂的移动方向去选择离当前磁臂最近的那个柱面的访问者。

如果沿磁臂的方向无请求访问时,就改变磁臂的移动方向。

在这种调度方法下磁臂的移动类似于电梯的调度,所以它也称为电梯调度算法。

4.循环读取算法cscan:循环读取调度算法就是在读取算法的基础上改良的。

磁臂改成单项移动,由外向里。

当前边线已经开始沿磁臂的移动方向回去挑选距当前磁臂最近的哪个柱面的访问者。

如果沿磁臂的方向并无命令出访时,再返回最外,出访柱面号最轻的作业命令。

操作系统调度算法二、进程调度算法1.先进先出算法fifo:按照进程步入准备就绪队列的先后次序去挑选。

即为每当步入进程调度,总是把准备就绪队列的队首进程资金投入运转。

2.时间片轮转算法rr:分时系统的一种调度算法。

轮转的基本思想是,将cpu的处理时间划分成一个个的时间片,就绪队列中的进程轮流运行一个时间片。

当时间片结束时,就强迫进程让出cpu,该进程进入就绪队列,等待下一次调度,同时,进程调度又去选择就绪队列中的一个进程,分配给它一个时间片,以投入运行。

3.最低优先级算法hpf:进程调度每次将处理机分配给具备最低优先级的准备就绪进程。

最低优先级算法可以与相同的cpu方式融合构成可以抢占市场式最低优先级算法和不容抢占市场式最低优先级算法。

4.多级队列反馈法:几种调度算法的结合形式多级队列方式。

操作系统调度算法三、常用的批处理作业调度算法1.先来先服务调度算法fcfs:就是按照各个作业进入系统的自然次序来调度作业。

操作系统磁盘调度算法例题讲解

操作系统磁盘调度算法例题讲解

操作系统磁盘调度算法例题讲解1. 磁盘调度算法的背景和意义磁盘调度算法是操作系统中的重要组成部分,它的主要目的是优化磁盘访问,提高磁盘I/O操作的效率。

在计算机系统中,磁盘是一个重要的存储介质,它负责存储和读写数据。

然而,由于磁盘访问具有机械运动延迟和寻道时间等特性,使得磁盘I/O操作成为计算机系统中一个性能瓶颈。

为了解决这个问题,人们提出了各种各样的磁盘调度算法。

这些算法通过优化访问顺序、减少寻道时间、提高数据传输率等方式来提高磁盘I/O操作效率。

因此,深入了解和掌握不同类型的磁盘调度算法对于优化计算机系统性能具有重要意义。

2. 先来先服务(FCFS)调度算法先来先服务(First-Come, First-Served)是最简单、最直观的一种磁盘调度算法。

它按请求顺序处理I/O请求。

当一个请求到达时,在当前位置完成当前请求后再处理下一个请求。

然而,在实际应用中,FCFS存在一些问题。

首先,它无法充分利用磁盘的带宽,因为磁盘的读写头可能在处理当前请求时,其他请求已经到达。

其次,由于磁盘请求的随机性,FCFS可能导致某些请求等待时间过长。

3. 最短寻道时间优先(SSTF)调度算法最短寻道时间优先(Shortest Seek Time First)是一种基于当前位置选择下一个最近请求的调度算法。

在SSTF算法中,选择离当前位置最近的请求进行处理。

SSTF算法相对于FCFS算法来说,在减少寻道时间方面有一定的优势。

它能够充分利用磁盘带宽,并且能够减少某些请求等待时间过长的问题。

然而,SSTF算法也存在一些问题。

首先,在某些情况下,由于选择最近的请求进行处理,可能导致某些较远位置上的请求长期等待。

其次,在高负载情况下,由于大量随机访问导致寻道距离变大,SSTF 算法可能会导致饥饿现象。

4. 扫描(SCAN)调度算法扫描(SCAN)是一种按一个方向依次处理I/O请求,并在到达边界后改变方向的调度算法。

SCAN算法从一个方向开始处理请求,直到到达磁盘的边界。

Linux操作系统磁盘调度算法分析

Linux操作系统磁盘调度算法分析磁盘调度算法是指操作系统中用于处理磁盘上的请求的一套算法。

在现代计算机系统中,磁盘是一种非常重要的存储设备,因此如何高效地处理磁盘请求对于提高系统性能至关重要。

Linux操作系统作为一种广泛使用的开源操作系统,也采用了多种磁盘调度算法来提高磁盘访问效率。

本文将对Linux操作系统中常用的磁盘调度算法进行详细分析。

1. 先来先服务(FCFS)调度算法先来先服务是最基本的磁盘调度算法之一。

它按照磁盘请求的提交顺序进行处理。

当一个请求被完成后,下一个请求将按照提交的顺序进行处理。

这种算法的优点是简单易实现,但并不考虑磁盘访问位置和移动时间。

由于磁盘的读写时间和移动时间往往不同,因此FCFS算法可能会导致一些请求等待时间过长,影响系统的响应速度。

2. 最短寻道时间优先(SSTF)调度算法最短寻道时间优先算法是根据当前磁头位置选择离磁头最近的下一个请求进行处理。

该算法考虑了磁头的移动距离,因此能够减少磁头的寻道时间。

但是由于该算法总是选择最近的请求处理,可能导致一些远离磁头的请求等待时间过长,造成一些请求的饥饿现象。

3. 扫描(SCAN)调度算法扫描算法是磁盘调度算法中常用的一种。

它模拟磁头在磁盘上进行的一次扫描操作,沿着一定方向进行磁道的访问。

当磁头到达磁盘的一端时,会改变方向进行下一次扫描。

该算法比较公平,能够较均匀地处理所有磁盘请求,但是由于需要扫描整个磁道,可能导致一些请求等待时间较长。

4. 循环扫描(C-SCAN)调度算法循环扫描算法是对扫描算法的一种改进。

该算法在到达磁盘的一端后不会改变方向,而是直接返回到磁道的另一端进行下一次扫描。

这意味着所有请求都会等待直到磁头回到磁道的起始位置,这样能够减少等待时间,但是也可能导致一些请求的响应时间较长。

5. 最不常用(LFU)调度算法最不常用算法是根据请求的使用频率进行处理的一种算法。

它将优先处理那些使用频率较低的请求,这样能够提高系统的整体性能。

磁盘调度的算法

磁盘调度的算法
磁盘调度是计算机操作系统中的一个重要功能,用于决定磁盘驱动器上的磁盘访问请求的顺序。

磁盘调度算法的目标是尽可能地减少磁盘的寻道时间和旋转延迟,以提高磁盘的访问效率。

常见的磁盘调度算法包括以下几种:
1. 先来先服务(FCFS):磁盘访问请求按照它们的到达顺序进行处理。

这种算法简单且公平,但是可能导致磁盘的平均寻道时间较长。

2. 最短寻道时间优先(SSTF):选择距离当前磁头位置最近的磁道作为下一个要访问的磁道。

这种算法能够减少磁头的寻道时间,但是可能会导致某些磁道被连续访问,从而降低了磁盘的整体吞吐量。

3. 扫描算法(SCAN):磁头按照一个方向移动,处理磁盘上的请求,直到到达磁盘的边界,然后改变方向继续移动。

这种算法可以减少磁盘的平均寻道时间,并且确保所有的磁道都被访问到,但是可能导致某些磁道的访问延迟较长。

4. 循环扫描算法(C-SCAN):类似于扫描算法,但是在到达磁盘边界后,直接返回到起始位置,而不是改变方向。

这种算法可以进一步降低磁头的寻道时间,并且在某些情况下可以提高磁盘的整体性能。

5. 最佳扫描算法(LOOK):类似于扫描算法,但是在到达磁盘边界后,只改变方向,而不是反向移动。

这种算法可以根据实际的磁盘访问请求动态调整磁头的移动方向,以减少磁头的寻道时间。

需要注意的是,每种磁盘调度算法都有其适用的场景和优缺点,选择
合适的算法取决于具体的应用需求和性能要求。

磁盘调度算法代码

磁盘调度算法代码磁盘调度算法是操作系统中用于优化磁盘访问性能的重要策略之一。

在计算机系统中,数据通常存储在磁盘上,当需要读或写数据时,就需要通过磁盘调度算法来确定磁盘读写的顺序,以提高系统的性能和效率。

1. 磁盘调度算法的背景在了解磁盘调度算法之前,我们先了解一下磁盘的工作原理。

磁盘由一个或多个盘片组成,每个盘片上包含若干磁道,每个磁道又被分为若干扇区。

磁头在读写数据时需要移动到目标扇区所在的磁道上,而磁头的移动会导致一定的寻道时间。

磁盘调度算法的目标就是通过合理的调度磁盘的访问请求,使得磁头的移动距离最短,从而减少磁盘的寻道时间,提高系统的读写性能。

常见的磁盘调度算法有以下几种:•先来先服务(FCFS):按照磁盘请求的到达顺序进行调度。

•最短寻道时间优先(SSTF):选择离当前磁头位置最近的磁道进行访问。

•扫描算法(SCAN):磁头从一端开始扫描磁道,直到扫描到达磁头上方的最后一个磁道,然后返回起始位置继续扫描。

•循环扫描算法(C-SCAN):类似于SCAN算法,但是磁头在扫描到磁头上方的最后一个磁道后,直接返回起始位置继续扫描。

•电梯算法(LOOK):磁头按磁道号的递增或递减顺序移动,直到当前方向上没有更多的磁道请求时改变方向。

2. 磁盘调度算法的代码实现下面以Python语言为例,给出一个简单的磁盘调度算法的代码实现。

这里以最短寻道时间优先(SSTF)算法为例。

首先,需要定义一个函数来计算当前磁头位置到目标磁道的距离:def calculate_distance(current, target):return abs(current - target)然后,我们可以编写一个磁盘调度函数来实现SSTF算法:def sstf(disk_queue, current_head):# 存储按磁道号排序的请求队列sorted_queue = sorted(disk_queue)# 存储已访问的磁道visited = []while sorted_queue:# 存储每个请求到当前磁头的距离distances = []for track in sorted_queue:distance = calculate_distance(current_head, track)distances.append((distance, track))# 根据距离进行排序distances.sort(key=lambda x: x[0])# 获取距离最小的磁道next_track = distances[0][1]# 移动磁头到下一个磁道current_head = next_track# 将访问过的磁道添加到已访问列表中visited.append(next_track)# 从请求队列中移除已访问的磁道sorted_queue.remove(next_track)return visited最后,我们可以使用上述代码来模拟一个磁盘调度的过程:if __name__ == '__main__':disk_queue = [98, 183, 37, 122, 14, 124, 65, 67]current_head = 53visited_tracks = sstf(disk_queue, current_head)print("磁盘访问顺序:", visited_tracks)运行上述代码,输出结果如下:磁盘访问顺序: [65, 67, 37, 14, 98, 122, 124, 183]上述代码实现了简单的SSTF算法,并模拟了一个磁盘访问的过程。

操作系统-磁盘调度算法

操作系统-磁盘调度算法1 一次磁盘读/写操作需要的时间寻找时间(寻道时间)T s:在读/写数据前,需要将磁头移动到指定磁道所花费的时间。

寻道时间分两步:(1) 启动磁头臂消耗的时间:s。

(2) 移动磁头消耗的时间:假设磁头匀速移动,每跨越一个磁道消耗时间为m,共跨越n条磁道。

则寻道时间T s= s + m * n。

磁头移动到指定的磁道,但是不一定正好在所需要读/写的扇区,所以需要通过磁盘旋转使磁头定位到目标扇区。

延迟时间T R:通过旋转磁盘,使磁头定位到目标扇区所需要的时间。

设磁盘转速为r(单位:转/秒,或转/分),则平均所需延迟时间T R=(1/2)*(1/r) = 1/2r。

1/r就是转一圈所需的时间。

找到目标扇区平均需要转半圈,因此再乘以1/2。

传输时间T R:从磁盘读出或向磁盘中写入数据所经历的时间,假设磁盘转速为r,此次读/写的字节数为b,每个磁道上的字节数为N,则传输时间T R= (b/N) * (1/r) = b/(rN)。

每个磁道可存N字节数据,因此b字节数据需要b/N个磁道才能存储。

而读/写一个磁道所需的时间刚好是转一圈的时间1/r。

总的平均时间T a= T s+ 1/2r + b/(rN),由于延迟时间和传输时间都是与磁盘转速有关的,且是线性相关。

而转速又是磁盘的固有属性,因此无法通过操作系统优化延迟时间和传输时间。

所以只能优化寻找时间。

2 磁盘调度算法2.1 先来先服务算法(FCFS)算法思想:根据进程请求访问磁盘的先后顺序进行调度。

假设磁头的初始位置是100号磁道,有多个进程先后陆续地请求访问55、58、39、18、90、160、150、38、184号磁道。

按照先来先服务算法规则,按照请求到达的顺序,磁头需要一次移动到55、58、39、18、90、160、150、38、184号磁道。

磁头共移动了 45 + 3 + 19 + 21 + 72 + 70 + 10 + 112 + 146 = 498个磁道。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

操作系统磁盘调度算法1:引言
1.1 目的
1.2 范围
1.3 定义
2:磁盘调度算法概述
2.1 概念
2.2 目标
3:先来先服务(FCFS)算法
3.1 原理
3.2 步骤
3.3 优点
3.4 缺点
4:最短寻道时间优先(SSTF)算法
4.1 原理
4.2 步骤
4.3 优点
4.4 缺点
5:扫描(SCAN)算法
5.1 原理
5.2 步骤
5.3 优点
5.4 缺点
6:循环扫描(C-SCAN)算法 6.1 原理
6.2 步骤
6.3 优点
6.4 缺点
7:电梯(C-LOOK)算法
7.1 原理
7.2 步骤
7.3 优点
7.4 缺点
8:其他磁盘调度算法
8.1 双队列(两级)调度算法
8.2 基于预测的调度算法
8.3 基于平滑滑动窗口的调度算法
9:磁盘调度算法的选择与评估
9.1 根据系统特点选择适当算法
9.2 评估磁盘调度算法性能
10:结论
附件:
1:示例代码
2:测试数据
法律名词及注释:
1:操作系统:计算机系统中负责管理和控制硬件资源,并为用户提供软件接口的核心程序。

2:磁盘调度算法:在操作系统中,用于决定磁盘上数据访问请求的处理顺序的算法。

3:先来先服务(FCFS)算法:一种磁盘调度算法,按照请求的到达顺序进行处理。

4:最短寻道时间优先(SSTF)算法:一种磁盘调度算法,选择离当前磁头位置最近的请求进行处理。

5:扫描(SCAN)算法:一种磁盘调度算法,磁头按一个方向来回扫描磁道,处理请求。

6:循环扫描(C-SCAN)算法:一种磁盘调度算法,磁头按一个方向循环扫描磁道,处理请求。

7:电梯(C-LOOK)算法:一种磁盘调度算法,类似于循环扫描算法,但不需回到磁道的起点。

相关文档
最新文档