Disk Storage, Basic File Structure, and Hashing

Disk Storage, Basic File Structure, and Hashing tài liệu, giáo án, bài giảng , luận văn, luận án, đồ án, bài tập lớn về...

HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU CHƯƠNG III LƯU TRỮ VÀ CẤU TRÚC TẬP TIN (Storage and File Structure) MỤC ĐÍCH Chương này trình bày các vấn đề liên quan đến vấn đề lưu trữ dữ liệu (trên lưu trữ ngoài, chủ yếu trên đĩa cứng). Việc lưu trữ dữ liệu phải được tổ chức sao cho có thể cất giữ một lượng lớn, có thể rất lớn dữ liệu nhưng quan trọng hơn cả là sự lưu trữ phải cho phép lấy lại dữ liệu cần thiết mau chóng. Các cấu trúc trợ giúp cho truy xuất nhanh dữ liệu được trình bày là: chỉ mục (indice), B+ cây (B+-tree), băm (hashing) . Các thiết bị lưu trữ (đĩa) có thể bị hỏng hóc không lường trước, các kỹ thuật RAID cho ra một giải pháp hiệu quả cho vấn đề này. YÊU CẦU Hiểu rõ các đặc điểm của các thiết bị lưu trữ, cách tổ chức lưu trữ, truy xuất đĩa. Hiểu rõ nguyên lý và kỹ thuật của tổ chức hệ thống đĩa RAID Hiểu rõ các kỹ thuật tổ chức các mẩu tin trong file Hiểu rõ các kỹ thuật tổ chức file Hiểu và vận dụng các kỹ thuật hỗ trợ tìm lại nhanh thông tin: chỉ mục (được sắp, B+-cây, băm) CHƯƠNG III. LƯU TRỮ VÀ CẤU TRÚC TẬP TIN trang 34 HỆ QUẢN TRỊ CƠ SỞ DỮ LIỆU KHÁI QUÁT VỀ PHƯƠNG TIỆN LƯU TRỮ VẬT LÝ Có một số kiểu lưu trữ dữ liệu trong các hệ thống máy tính. Các phương tiện lưu trữ được phân lớp theo tốc độ truy xuất, theo giá cả và theo độ tin cậy của phương tiện. Các phương tiện hiện có là: • Cache: là dạng lưu trữ nhanh nhất và cũng đắt nhất trong các phương tiện lưu trữ. Bộ nhớ cache nhỏ; sự sử dụng nó được quản trị bởi hệ điều hành • Bộ nhớ chính (main memory): Phương tiện lưu trữ dùng để lưu trữ dữ liệu sẵn sàng được thực hiện. Các chỉ thị máy mục đích chung (general-purpose) hoạt động trên bộ nhớ chính. Mặc dầu bộ nhớ chính có thể chứa nhiều megabytes dữ liệu, nó vẫn là quá nhỏ (và quá đắt giá) để lưu trữ toàn bộ một cơ sở dữ liệu. Nội dung trong bộ nhớ chính thường bị mất khi mất cấp nguồn • Bộ nhớ Flash: Được biết như bộ nhớ chỉ đọc có thể lập trình, có thể xoá (EEPROM: Electrically Erasable Programmable Read-Only Memory), Bộ nhớ Flash khác bộ nhớ chính ở chỗ dữ liệu còn tồn tại trong bộ nhớ flash khi mất cấp nguồn. Đọc dữ liệu từ bộ nhớ flash mất ít hơn 100 ns , nhanh như đọc dữ liệu từ bộ nhớ chính. Tuy nhiên, viết dữ liệu vào bộ nhớ flash phức tạp hơn nhiều. Dữ liệu được viết (một lần mất khoảng 4 đến 10 μs) nhưng không thể viết đè trực tiếp. Để viết đè bộ nhớ đã được viết, ta phải xoá trắng toàn bộ bộ nhớ sau đó mới có thể viết lên nó. • Lưu trữ đĩa từ (magnetic-disk): (ở đây, được hiểu là đĩa cứng) Phương tiện căn bản để lưu trữ dữ liệu trực tuyến, lâu dài. Thường toàn bộ cơ sở dữ liệu được lưu trữ trên đĩa từ. Dữ liệu phải được chuyển từ đĩa vào bộ nhớ chính trước khi được truy nhập. Khi dữ liệu trong bộ nhớ chính này bị sửa đổi, nó phải được viết lên đĩa. Lưu trữ đĩa được xem là truy xuất trực tiềp vì có thể đọc dữ liệu trên đĩa theo một thứ tự bất kỳ. Lưu Chapter Disk Storage, Basic File Structures, and Hashing Adapted from the slides of “Fundamentals of Database Systems” (Elmasri et al., 2003) Chapter Outline       Disk Storage Devices Files of Records Operations on Files Unordered Files Ordered Files Hashed Files   Dynamic and Extendible Hashing Techniques RAID Technology Disk Storage Devices     Preferred secondary storage device for high storage capacity and low cost Data stored as magnetized areas on magnetic disk surfaces A disk pack contains several magnetic disks connected to a rotating spindle Disks are divided into concentric circular tracks on each disk surface Track capacities vary typically from to 50 Kbytes Disk Storage Devices (cont.)    Because a track usually contains a large amount of information, it is divided into smaller blocks or sectors The division of a track into sectors is hard-coded on the disk surface and cannot be changed One type of sector organization calls a portion of a track that subtends a fixed angle at the center as a sector A track is divided into blocks The block size B is fixed for each system Typical block sizes range from B=512 bytes to B=4096 bytes Whole blocks are transferred between disk and main memory for processing Disk Storage Devices (cont.)     A read-write head moves to the track that contains the block to be transferred Disk rotation moves the block under the read-write head for reading or writing A physical disk block (hardware) address consists of a cylinder number (imaginary collection of tracks of same radius from all recorded surfaces), the track number or surface number (within the cylinder), and block number (within track) Reading or writing a disk block is time consuming because of the seek time s and rotational delay (latency) rd Double buffering can be used to speed up the transfer of contiguous disk blocks Disk storage devices (cont.) Records     Fixed and variable length records Records contain fields which have values of a particular type (e.g., amount, date, time, age) Fields themselves may be fixed length or variable length Variable length fields can be mixed into one record: separator characters or length fields are needed so that the record can be “parsed” Blocking     Blocking: refers to storing a number of records in one block on the disk Blocking factor (bfr) refers to the number of records per block There may be empty space in a block if an integral number of records not fit in one block Spanned Records : refer to records that exceed the size of one or more blocks and hence span a number of blocks Files of Records     A file is a sequence of records, where each record is a collection of data values (or data items) A file descriptor (or file header) includes information that describes the file, such as the field names and their data types , and the addresses of the file blocks on disk Records are stored on disk blocks The blocking factor bfr for a file is the (average) number of file records stored in a disk block A file can have fixed-length records or variable-length records 10 Hashed Files       Hashing for disk files is called External Hashing The file blocks are divided into M equal-sized buckets , numbered bucket0, bucket1, , bucketM-1 Typically, a bucket corresponds to one (or a fixed number of) disk block One of the file fields is designated to be the hash key of the file The record with hash key value K is stored in bucket i, where i = h(K), and h is the hashing function Search is very efficient on the hash key Collisions occur when a new record hashes to a bucket that is already full An overflow file is kept for storing such records Overflow records that hash to each bucket can be linked together 18 Hashed Files (cont.) There are numerous methods for collision resolution, including the following:  Open addressing: Proceeding from the occupied position specified by the hash address, the program checks the subsequent positions in order until an unused (empty) position is found  Chaining: For this method, various overflow locations are kept, usually by extending the array with a number of overflow positions In addition, a pointer field is added to each record location A collision is resolved by placing the new record in an unused overflow location and setting the pointer of the occupied hash address location to the address of that overflow location  Multiple hashing:The program applies a second hash function if the first results in a collision If another collision results, the program uses open addressing or applies a third hash function and then uses open addressing if necessary 19 20 Hashed Files (cont.)    To reduce overflow records, a hash file is typically kept 70-80% full The hash function h should distribute the records uniformly among the buckets; otherwise, search time will be increased because many overflow records will exist Main disadvantages of static external hashing:   Fixed number of buckets M is a problem if the ... I. File System and Disk Administration 1. Cấu trúc th mục trên Unix / - Th mục gốc trên UNIX file system. /bin - Là symbol link tới /usr/bin chứa các lệnh user trên UNIX. /dev - Có chứa các file thiết bị nh printer, keyboard, harddisk . /etc - Chứa các file cấu hình hệ thống và các file liên quan đến quả trị hệ thống. /lib - Chứa th viện trên UNIX. /sbin - Chứa lệnh liên quan đến khởi tạo hệ thống. /tftpboot - Chứa các file phục vụ cho việc khởi động từ các client. /usr - Chứa lệnh và các chơng trình ứng dụng hỗ trợ bởi hệ điều hành. /var - Cha các thông tin cấu hình các ứng dụng, hàng đợi . /vmunix Kernal của UNIX /opt Chứa các chơng trình ứng dụng thờng từ hãng thứ ba. /home Th mục home của user. /lost+found Cha các file đợc recover bởi fsck. 1. Creating file systems Để tạo hệ thống file cần thực hiện các bớc nh sau: Chọn quyền hạn của đĩa. Tạo các partition Tạo file system Mỗi loại UNIX sẽ có các công cụ khác nhau để tạo các file system. Thông thờng dùng các lệnh fdisk, format, fdformat, các lệnh tạo cấu trúc block dùng mkfs hoặc newsfs. Mỗi loại hệ điều hành UNIX sử dụng ký hiệu địa diện cho hệ thống file trong các mục tuỳ chọn ứng với các lệnh Ví dụ: Solaris sử dụng ufs, Linux sử dụng ext2, IRIX sử dụng efs và xfs. Tuy nhiên hệ thống file của UNIX cũng chỉ là nơi lu dữ liệu trên đĩa và nó cũng đợc lu dới dạng cấu trúc phân cấp và đặt trên các partition. Với hệ điều hành UNIX các thiết bị đều đợc thể hiện dới dạng các file. Các file thiết bị này thờng đợc đặt trong th mục /dev. Với mỗi hệ điều hành UNIX các file thiết bị này có thể đợc ký hiệu khác nhau hoặc đặt mức th mục thấp hơn. Thông thờng các hệ điều hành UNIX tự động tạo đúng các file thiết bị mà nó hỗ trợ khi khởi động hệ thống. Ngầm định các file này chỉ đợc truy nhập bởi ngời quản trị hệ thống (root). Với các thiết bị lu trữ nh đĩa cứng tuỳ theo từng loại hệ điều hành va loại đĩa cứng mà có các ký hiệu quy định khác nhau về tên file: Ví dụ với đĩa IDE, EIDE trên Linux thể hiện dới dạng file sau /dev/hd[drive][partition] Với đĩa đầu tiên ký hiệu là hd a cho primary disk và b cho slave, c cho primary secondary disk và d cho slave secondary. Tiếp sau đó là giá trị số ứng với các partition trên mỗi đĩa. Với đĩa SCSI thay ký hiệu tên fil là /dev/sd thay cho /dev/hd còn các thành phần khác t- ơng tự. Tạo partition: Để tạo partition dùng lệnh fdisk để tạo partion. (ví dụ với Linux) # fdisk /dev/hda Các lệnh trong fdisk p Hiện partition hiện thời n Tạo partition mới gồm extended và primary partition (1-4). t Tạo swap partition w Ghi lại các thay đổi vừa tạo. Tạo File Systems: Sau khi đã tạo partition thì hệ thống file vẫn cha đợc sẵn sàng cho việc sử dung. mà cần phải tạo file system. Để tạo hệ thống file trong Linux dùng lệnh mke2fs (trong sun solaris dùng lệnh newfs), mkswap tạo swap file system. Ví dụ mke2fs /dev/hda1 mkswap /dev/hda2 2. Mounting and unmounting file systems Mounting file systems Nh ta đã biêt hệ thống file của UNIX đợc lu trữ dới dạng các cây th mục nhng muốn thực hiện đợc điều này thì nó phải đợc mount. Trớc khi có thể mount file hệ thống ta cần chọn một điểm mount. Điểm mount là một th mục trong hệ thống file nơi mà th mục gốc bao lên nó. UNIX giữ điểm mount và cho phép truy nhập đến hệ thống file dựa trên quyền hạn của ngời sử dụng hiện thời. Điểm mount có thể là một vị trí nào đó trên cây th mục. Cần chú ý rằng một hệ thống file chỉ đợc mount trên một một th mục. Để mount hệ thống file dùng lệnh mount cú pháp nh sau:. mount <option> </dev/device> </directory to mount> /dev/device là tên của device mà ta muốn mount. /directory to mount là th mục mount mà hệ thống file mount tới Các tham số tuỳ chọn của option o có thể là: rw Giới thiệu về UNIX- Một số thao tác cơ bản trên UNIX 72 Printer Usage Printer usage data được lưu trong file /var/adm/qacct dưới dạng ASCII. Tiến trình qdaemon sẽ ghi dữ liệu dạng ASCII tới file /var/adm/qacct sau khi công việc in ấn hoàn tất. Các bản ghi ứng với mỗi printer queue có chứa các thông tin sau: ỹ Tên và ID của người sử dụng. ỹ Số trang đ in. VIII. File System and Disk Administration 1. Cấu trúc thư mục trên Unix ỹ / - Thư mục gốc trên UNIX file system. ỹ /bin - Là symbol link tới /usr/bin chứa các lệnh user trên UNIX. ỹ /dev - Có chứa các file thiết bị như printer, keyboard, harddisk . ỹ /etc - Chứa các file cấu hình hệ thống và các file liên quan đến quả trị hệ thống. ỹ /lib - Chứa thư viện trên UNIX. ỹ /sbin - Chứa lệnh liên quan đến khởi tạo hệ thống. ỹ /tftpboot - Chứa các file phục vụ cho việc khởi động từ các client. ỹ /usr - Chứa lệnh và các chương trình ứng dụng hỗ trợ bởi hệ điều hành. ỹ /var - Chưa các thông tin cấu hình các ứng dụng, hàng đợi . ỹ /vmunix Kernal của UNIX ỹ /opt Chứa các chương trình ứng dụng thường từ hng thứ ba. ỹ /home Thư mục home của user. ỹ /lost+found Chưa các file được recover bởi fsck. 2. Creating file systems Giới thiệu về UNIX- Một số thao tác cơ bản trên UNIX 73 Để tạo hệ thống file cần thực hiện các bước như sau: ỹ Chọn quyền hạn của đĩa. ỹ Tạo các partition ỹ Tạo file system Mỗi loại UNIX sẽ có các công cụ khác nhau để tạo các file system. Thông thường dùng các lệnh fdisk, format, fdformat, các lệnh tạo cấu trúc block dùng mkfs hoặc newsfs. Mỗi loại hệ điều hành UNIX sử dụng ký hiệu địa diện cho hệ thống file trong các mục tuỳ chọn ứng với các lệnh Ví dụ: Solaris sử dụng ufs, Linux sử dụng ext2, IRIX sử dụng efs và xfs. Tuy nhiên hệ thống file của UNIX cũng chỉ là nơi lưu dữ liệu trên đĩa và nó cũng được lưu dưới dạng cấu trúc phân cấp và đặt trên các partition. Với hệ điều hành UNIX các thiết bị đều được thể hiện dưới dạng các file. Các file thiết bị này thường được đặt trong thư mục /dev. Với mỗi hệ điều hành UNIX các file thiết bị này có thể được ký hiệu khác nhau hoặc đặt mức thư mục thấp hơn. Thông thường các hệ điều hành UNIX tự động tạo đúng các file thiết bị mà nó hỗ trợ khi khởi động hệ thống. Ngầm định các file này chỉ được truy nhập bởi người quản trị hệ thống (root). Với các thiết bị lưu trữ như đĩa cứng tuỳ theo từng loại hệ điều hành va loại đĩa cứng mà có các ký hiệu quy định khác nhau về tên file: Ví dụ với đĩa IDE, EIDE trên Linux thể hiện dưới dạng file sau /dev/hd[drive][partition] Với đĩa đầu tiên ký hiệu là hd a cho primary disk và b cho slave, c cho primary secondary disk và d cho slave secondary. Tiếp sau đó là giá trị số ứng với các partition trên mỗi đĩa. Với đĩa SCSI thay ký hiệu tên filư là /dev/sd thay cho /dev/hd còn các thành phần khác tương tự. Tạo partition: Để tạo partition dùng lệnh fdisk để tạo partion. (ví dụ với Linux) Giới thiệu về UNIX- Một số thao tác cơ bản trên UNIX 74 # fdisk /dev/hda Các lệnh trong fdisk p Hiện partition hiện thời n Tạo partition mới gồm extended và primary partition (1-4). t Tạo swap partition w Ghi lại các thay đổi vừa tạo. Tạo File Systems: Sau khi đ tạo partition thì hệ thống file vẫn chưa được sẵn sàng cho việc sử dung. mà cần phải tạo file system. Để tạo hệ thống file trong Linux dùng lệnh mke2fs (trong sun solaris dùng lệnh newfs), mkswap tạo swap file system. Ví dụ mke2fs /dev/hda1 mkswap /dev/hda2 3. Mounting and unmounting file systems Mounting file systems Như ta đ biêt hệ thống file của UNIX được lưu trữ dưới dạng các cây thư mục nhưng muốn thực hiện được điều này thì nó phải được mount. Trước khi có thể mount file hệ thống ta cần chọn một điểm mount. Điểm mount là một thư mục trong hệ thống file nơi mà thư mục gốc bao lên nó. UNIX giữ 9 Copyright © Oracle Corporation, 2002. All rights reserved. Storage Structure and Relationships 9-2 Copyright © Oracle Corporation, 2002. All rights reserved. Objectives After completing this lesson, you should be able to do the following: • Describe the logical structure of the database • List the segment types and their uses • List the keywords that control block space usage • Obtain storage structure information 9-3 Copyright © Oracle Corporation, 2002. All rights reserved. Storage and Relationship Structure Database PROD DISK1/SYS1.dbf DISK2/ USER1.dbf DISK3/ USER2.dbf DISK1/ UNDO1.dbf DISK1/ TEMP.dbf D.D. Table Data Seg D.D. Index Index Seg RB Seg S_DEPT Data Seg S_EMP Data Seg Temp Temp Seg 1 2 1 2 1 2 1 1 2 2 1 FREE 1 1 2 2 1 EXTENTS S_DEPT (cont'd) Data Seg S_EMP FIRST_N AME Index Index Seg Oracle DATA BLOCKS RBS1 (cont'd) RB Seg RBS2 (cont'd) RB Seg RBS1 RB Seg RBS2 RB Seg SEGMENTS SYSTEM USER_DATA RBS TEMP TABLESPACES DATA FILES 9-4 Copyright © Oracle Corporation, 2002. All rights reserved. Types of Segments Table Cluster Table partition Index 9-6 Copyright © Oracle Corporation, 2002. All rights reserved. Types of Segments Index-organized table Index partition Undo segment Temporary segment 9-7 Copyright © Oracle Corporation, 2002. All rights reserved. Types of Segments LOB segmen t Bootstrap segment Nested table 9-8 Copyright © Oracle Corporation, 2002. All rights reserved. Storage Clause Precedence Oracle default Tablespace Segment 9-9 Copyright © Oracle Corporation, 2002. All rights reserved. Extent Allocation and Deallocation • An extent is a chunk of space used by a segment within a tablespace. • An extent is allocated when the segment is: – Created – Extended – Altered • An extent is deallocated when the segment is: – Dropped – Altered – Truncated 9-10 Copyright © Oracle Corporation, 2002. All rights reserved. Used and Free Extents Data file Free extentUsed extentFile header 9-11 Copyright © Oracle Corporation, 2002. All rights reserved. Database Block • Minimum unit of I/O • Consists of one or more operating system blocks • Set at tablespace creation • DB_BLOCK_SIZE is the default block size [...]... database can be created with a standard block size and up to four nonstandard block sizes • Block sizes can have any power-of-two value between 2 KB and 32 KB 9-12 Copyright © Oracle Corporation, 2002 All rights reserved Standard Block Size • Set at database creation using the DB_BLOCK_SIZE parameter; cannot be changed without re-creating the database • Used for SYSTEM and TEMPORARY tablespaces • DB_CACHE_SIZE... information stored in the segment • Determine extent sizes using the storage clause • Control block space utilization • Obtain storage structure information 9-32 Copyright © Oracle Corporation, 2002 All rights reserved Practice 9 Overview This practice covers identifying and obtaining information on the various types of storage structures in the database 9-33 Copyright © Oracle Corporation, 2002 All... 8 KB blocks DB_16K_CACHE_SIZE for 16 KB blocks DB_32K_CACHE_SIZE for 32 KB blocks • DB_nK_CACHE_SIZE is not allowed if nK is the standard block size • Minimum size for each cache is one granule 9-15 Copyright © Oracle Corporation, 2002 All rights reserved Creating Nonstandard Block Size Tablespaces CREATE TABLESPACE tbs_1 DATAFILE 'tbs_1.dbf' SIZE 10M BLOCKSIZE 4K; DESCRIBE dba_tablespaces Name Null?... must reside in tablespaces of the same block size Chapter 13. File I/O and Isolated Storage Hoang Anh Viet VietHA@it-hut.edu.vn Hanoi University of Technology 1 Microsoft Objectives “The System.IO namespace allows you to interact with a machine’s file and directory structure. Over the course of this chapter, you will learn how to programmatically create (and destroy) a directory system as well as move data into and out of various streams (file based, string based, memory based, etc.). The latter part of this chapter examines the role of isolated storage, which allows you to persist per-user data into a safe sandbox, regardless of the security settings of a target machine. To understand certain aspects of the System.IO.IsolatedStorage API, you will also receive an overview of Code Access Security (CAS).…” 2 Microsoft Roadmap 1. Exploring the System.IO namespace 2. Working with File System 3. The Abstract System Class 4. Working with StreamWriters and StreamReaders 5. Working with StringWriters and StringReaders 6. Working with BinaryWriters and BinaryReaders 7. Programmatically “Watching” Files 8. Performing Asynchronous File I/O 9. An Overview of Isolated Storage 10. Introducing Object Serialization 3 Microsoft 13.1 Exploring the System.IO namespace  System.IO namespace is the region of the base class libraries devoted to file-based (and memory-based) input and output (I/O) services  System.IO defines a set of classes, interfaces, enumerations, structures, and delegates, most of which are contained in mscorlib.dll 4 Microsoft 5 Nonabstract I/O Class Type Description BinaryReader, BinaryWriter These types allow you to store and retrieve primitive data types (integers, Booleans, strings, and whatnot) as a binary value. BufferedStream This type provides temporary storage for a stream of bytes that may be committed to storage at a later time Directory, DirectoryInfo These types are used to manipulate a machine’s directory structure. The Directory type exposes functionality using static members. The DirectoryInfo type exposes similar functionality from a valid object reference. DriveInfo This type provides detailed information regarding the drives used by a given machine. File, FileInfo These types are used to manipulate a machine’s set of files. The File type exposes functionality using static members. The FileInfo type exposes similar functionality from a valid object reference. FileStream This type allows for random file access (e.g., seeking capabilities)with data represented as a stream of bytes. Figure 13.1 Key Members of the System.IO Namespace Microsoft 6 Nonabstract I/O Class Type Description FileSystemWatcher This type allows you to monitor the modification of external files in a specified directory. MemoryStream This type provides random access to streamed data stored in memory rather than a physical file. Path This type performs operations on System.String types that contain file or directory path information in a platform-neutral manner. StreamWriter, StreamReader These types are used to store (and retrieve) textual information to (or from) a file. These types do not support random file access. StringWriter, StringReader Like the StreamReader/StreamWriter types, these classes also work with textual information. However, the underlying storage is a string buffer rather than a physical file. Figure 13.1 Key Members of the System.IO Namespace (Cont.) Microsoft Roadmap 1. Exploring the System.IO namespace 2. Working with File System 3. The Abstract System Class 4. Working with StreamWriters and StreamReaders 5. Working with StringWriters and StringReaders 6. Working with BinaryWriters and BinaryReaders 7. Programmatically “Watching” Files 8. Performing Asynchronous File I/O 9. An Overview of Isolated Storage 10. Introducing Object Serialization 7 Microsoft 13.2 Working with File System  System.IO namespace include a few basic classes for retrieving file system information  Directory and File: These classes provide static methods that ... Outline       Disk Storage Devices Files of Records Operations on Files Unordered Files Ordered Files Hashed Files   Dynamic and Extendible Hashing Techniques RAID Technology Disk Storage Devices... describes the file, such as the field names and their data types , and the addresses of the file blocks on disk Records are stored on disk blocks The blocking factor bfr for a file is the (average)... time to access a specific record for a given type of file 17 Hashed Files       Hashing for disk files is called External Hashing The file blocks are divided into M equal-sized buckets ,