Changeset 5cde90f in mainline for uspace/srv/fs/fat/fat_fat.c

Timestamp:

2010-02-19T17:16:46Z (14 years ago)

Author:

Pavel Rimsky <pavel@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

617652f

Parents:

b86d436 (diff), f41aa81 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Synchronizing with head (which has just been synchronized with this branch).

File:

• uspace/srv/fs/fat/fat_fat.c (modified) (7 diffs)

uspace/srv/fs/fat/fat_fat.c

@@ -93 +93 @@
 
         while (clst < FAT_CLST_LAST1 && clusters < max_clusters) {
-                bn_t fsec;      /* sector offset relative to FAT1 */
+                aoff64_t fsec;  /* sector offset relative to FAT1 */
                 unsigned fidx;  /* FAT1 entry index */
 
@@ -135 +135 @@
 int
 _fat_block_get(block_t **block, fat_bs_t *bs, dev_handle_t dev_handle,
-    fat_cluster_t firstc, bn_t bn, int flags)
+    fat_cluster_t firstc, aoff64_t bn, int flags)
 {
         unsigned bps;
@@ -148 +148 @@
         int rc;
 
+        /*
+         * This function can only operate on non-zero length files.
+         */
+        if (firstc == FAT_CLST_RES0)
+                return ELIMIT;
+
         bps = uint16_t_le2host(bs->bps);
         rscnt = uint16_t_le2host(bs->rscnt);
@@ -190 +196 @@
  * @return              EOK on success or a negative error code.
  */
-int fat_fill_gap(fat_bs_t *bs, fat_node_t *nodep, fat_cluster_t mcl, off_t pos)
+int fat_fill_gap(fat_bs_t *bs, fat_node_t *nodep, fat_cluster_t mcl, aoff64_t pos)
 {
         uint16_t bps;
         unsigned spc;
         block_t *b;
-        off_t o, boundary;
+        aoff64_t o, boundary;
         int rc;
 
@@ -361 +367 @@
         uint16_t rscnt;
         uint16_t sf;
-        uint16_t ts;
+        uint32_t ts;
         unsigned rde;
         unsigned rds;
@@ -379 +385 @@
         sf = uint16_t_le2host(bs->sec_per_fat);
         rde = uint16_t_le2host(bs->root_ent_max);
-        ts = uint16_t_le2host(bs->totsec16);
+        ts = (uint32_t) uint16_t_le2host(bs->totsec16);
+        if (ts == 0)
+                ts = uint32_t_le2host(bs->totsec32);
 
         rds = (sizeof(fat_dentry_t) * rde) / bps;
@@ -608 +616 @@
 }
 
+/** Perform basic sanity checks on the file system.
+ *
+ * Verify if values of boot sector fields are sane. Also verify media
+ * descriptor. This is used to rule out cases when a device obviously
+ * does not contain a fat file system.
+ */
+int fat_sanity_check(fat_bs_t *bs, dev_handle_t dev_handle)
+{
+        fat_cluster_t e0, e1;
+        unsigned fat_no;
+        int rc;
+
+        /* Check number of FATs. */
+        if (bs->fatcnt == 0)
+                return ENOTSUP;
+
+        /* Check total number of sectors. */
+
+        if (bs->totsec16 == 0 && bs->totsec32 == 0)
+                return ENOTSUP;
+
+        if (bs->totsec16 != 0 && bs->totsec32 != 0 &&
+            bs->totsec16 != bs->totsec32) 
+                return ENOTSUP;
+
+        /* Check media descriptor. Must be between 0xf0 and 0xff. */
+        if ((bs->mdesc & 0xf0) != 0xf0)
+                return ENOTSUP;
+
+        /* Check number of sectors per FAT. */
+        if (bs->sec_per_fat == 0)
+                return ENOTSUP;
+
+        /*
+         * Check that the root directory entries take up whole blocks.
+         * This check is rather strict, but it allows us to treat the root
+         * directory and non-root directories uniformly in some places.
+         * It can be removed provided that functions such as fat_read() are
+         * sanitized to support file systems with this property.
+         */
+        if ((uint16_t_le2host(bs->root_ent_max) * sizeof(fat_dentry_t)) %
+            uint16_t_le2host(bs->bps) != 0)
+                return ENOTSUP;
+
+        /* Check signature of each FAT. */
+
+        for (fat_no = 0; fat_no < bs->fatcnt; fat_no++) {
+                rc = fat_get_cluster(bs, dev_handle, fat_no, 0, &e0);
+                if (rc != EOK)
+                        return EIO;
+
+                rc = fat_get_cluster(bs, dev_handle, fat_no, 1, &e1);
+                if (rc != EOK)
+                        return EIO;
+
+                /* Check that first byte of FAT contains the media descriptor. */
+                if ((e0 & 0xff) != bs->mdesc)
+                        return ENOTSUP;
+
+                /*
+                 * Check that remaining bits of the first two entries are
+                 * set to one.
+                 */
+                if ((e0 >> 8) != 0xff || e1 != 0xffff)
+                        return ENOTSUP;
+        }
+
+        return EOK;
+}
+
 /**
  * @}