Rev 3403 | Rev 3561 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2627 | jermar | 1 | /* |
| 2793 | jermar | 2 | * Copyright (c) 2008 Jakub Jermar |
| 2627 | jermar | 3 | * All rights reserved. |
| 4 | * |
||
| 5 | * Redistribution and use in source and binary forms, with or without |
||
| 6 | * modification, are permitted provided that the following conditions |
||
| 7 | * are met: |
||
| 8 | * |
||
| 9 | * - Redistributions of source code must retain the above copyright |
||
| 10 | * notice, this list of conditions and the following disclaimer. |
||
| 11 | * - Redistributions in binary form must reproduce the above copyright |
||
| 12 | * notice, this list of conditions and the following disclaimer in the |
||
| 13 | * documentation and/or other materials provided with the distribution. |
||
| 14 | * - The name of the author may not be used to endorse or promote products |
||
| 15 | * derived from this software without specific prior written permission. |
||
| 16 | * |
||
| 17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
| 18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
| 19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
| 20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
| 21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
| 22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
| 23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
| 24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
| 27 | */ |
||
| 28 | |||
| 29 | /** @addtogroup fs |
||
| 30 | * @{ |
||
| 31 | */ |
||
| 32 | |||
| 33 | /** |
||
| 34 | * @file fat_ops.c |
||
| 35 | * @brief Implementation of VFS operations for the FAT file system server. |
||
| 36 | */ |
||
| 37 | |||
| 38 | #include "fat.h" |
||
| 3535 | svoboda | 39 | #include "fat_dentry.h" |
| 40 | #include "fat_fat.h" |
||
| 2638 | jermar | 41 | #include "../../vfs/vfs.h" |
| 2793 | jermar | 42 | #include <libfs.h> |
| 3535 | svoboda | 43 | #include <libblock.h> |
| 2627 | jermar | 44 | #include <ipc/ipc.h> |
| 3403 | svoboda | 45 | #include <ipc/services.h> |
| 46 | #include <ipc/devmap.h> |
||
| 2627 | jermar | 47 | #include <async.h> |
| 48 | #include <errno.h> |
||
| 2793 | jermar | 49 | #include <string.h> |
| 2798 | jermar | 50 | #include <byteorder.h> |
| 2831 | jermar | 51 | #include <libadt/hash_table.h> |
| 52 | #include <libadt/list.h> |
||
| 53 | #include <assert.h> |
||
| 2856 | jermar | 54 | #include <futex.h> |
| 3403 | svoboda | 55 | #include <sys/mman.h> |
| 3535 | svoboda | 56 | #include <align.h> |
| 2627 | jermar | 57 | |
| 3009 | svoboda | 58 | /** Futex protecting the list of cached free FAT nodes. */ |
| 59 | static futex_t ffn_futex = FUTEX_INITIALIZER; |
||
| 2843 | jermar | 60 | |
| 3009 | svoboda | 61 | /** List of cached free FAT nodes. */ |
| 62 | static LIST_INITIALIZE(ffn_head); |
||
| 63 | |||
| 2831 | jermar | 64 | static void fat_node_initialize(fat_node_t *node) |
| 2793 | jermar | 65 | { |
| 3009 | svoboda | 66 | futex_initialize(&node->lock, 1); |
| 2864 | jermar | 67 | node->idx = NULL; |
| 2831 | jermar | 68 | node->type = 0; |
| 69 | link_initialize(&node->ffn_link); |
||
| 70 | node->size = 0; |
||
| 71 | node->lnkcnt = 0; |
||
| 72 | node->refcnt = 0; |
||
| 73 | node->dirty = false; |
||
| 2793 | jermar | 74 | } |
| 75 | |||
| 3535 | svoboda | 76 | static void fat_node_sync(fat_node_t *node) |
| 2843 | jermar | 77 | { |
| 3535 | svoboda | 78 | block_t *b; |
| 79 | fat_bs_t *bs; |
||
| 80 | fat_dentry_t *d; |
||
| 2843 | jermar | 81 | uint16_t bps; |
| 3535 | svoboda | 82 | unsigned dps; |
| 2843 | jermar | 83 | |
| 3535 | svoboda | 84 | assert(node->dirty); |
| 2843 | jermar | 85 | |
| 3535 | svoboda | 86 | bs = block_bb_get(node->idx->dev_handle); |
| 87 | bps = uint16_t_le2host(bs->bps); |
||
| 88 | dps = bps / sizeof(fat_dentry_t); |
||
| 89 | |||
| 90 | /* Read the block that contains the dentry of interest. */ |
||
| 91 | b = _fat_block_get(bs, node->idx->dev_handle, node->idx->pfc, |
||
| 92 | (node->idx->pdi * sizeof(fat_dentry_t)) / bps); |
||
| 2843 | jermar | 93 | |
| 3535 | svoboda | 94 | d = ((fat_dentry_t *)b->data) + (node->idx->pdi % dps); |
| 2845 | jermar | 95 | |
| 3535 | svoboda | 96 | d->firstc = host2uint16_t_le(node->firstc); |
| 97 | if (node->type == FAT_FILE) |
||
| 98 | d->size = host2uint32_t_le(node->size); |
||
| 99 | /* TODO: update other fields? (e.g time fields, attr field) */ |
||
| 100 | |||
| 101 | b->dirty = true; /* need to sync block */ |
||
| 102 | block_put(b); |
||
| 2845 | jermar | 103 | } |
| 104 | |||
| 3009 | svoboda | 105 | /** Internal version of fat_node_get(). |
| 106 | * |
||
| 107 | * @param idxp Locked index structure. |
||
| 108 | */ |
||
| 109 | static void *fat_node_get_core(fat_idx_t *idxp) |
||
| 2831 | jermar | 110 | { |
| 2891 | jermar | 111 | block_t *b; |
| 3535 | svoboda | 112 | fat_bs_t *bs; |
| 2891 | jermar | 113 | fat_dentry_t *d; |
| 3403 | svoboda | 114 | fat_node_t *nodep = NULL; |
| 2891 | jermar | 115 | unsigned bps; |
| 116 | unsigned dps; |
||
| 117 | |||
| 3009 | svoboda | 118 | if (idxp->nodep) { |
| 2891 | jermar | 119 | /* |
| 120 | * We are lucky. |
||
| 121 | * The node is already instantiated in memory. |
||
| 122 | */ |
||
| 3009 | svoboda | 123 | futex_down(&idxp->nodep->lock); |
| 124 | if (!idxp->nodep->refcnt++) |
||
| 3403 | svoboda | 125 | list_remove(&idxp->nodep->ffn_link); |
| 3009 | svoboda | 126 | futex_up(&idxp->nodep->lock); |
| 127 | return idxp->nodep; |
||
| 2891 | jermar | 128 | } |
| 129 | |||
| 130 | /* |
||
| 131 | * We must instantiate the node from the file system. |
||
| 132 | */ |
||
| 133 | |||
| 3009 | svoboda | 134 | assert(idxp->pfc); |
| 2891 | jermar | 135 | |
| 3009 | svoboda | 136 | futex_down(&ffn_futex); |
| 2893 | jermar | 137 | if (!list_empty(&ffn_head)) { |
| 3009 | svoboda | 138 | /* Try to use a cached free node structure. */ |
| 139 | fat_idx_t *idxp_tmp; |
||
| 2893 | jermar | 140 | nodep = list_get_instance(ffn_head.next, fat_node_t, ffn_link); |
| 3009 | svoboda | 141 | if (futex_trydown(&nodep->lock) == ESYNCH_WOULD_BLOCK) |
| 142 | goto skip_cache; |
||
| 143 | idxp_tmp = nodep->idx; |
||
| 144 | if (futex_trydown(&idxp_tmp->lock) == ESYNCH_WOULD_BLOCK) { |
||
| 145 | futex_up(&nodep->lock); |
||
| 146 | goto skip_cache; |
||
| 147 | } |
||
| 148 | list_remove(&nodep->ffn_link); |
||
| 149 | futex_up(&ffn_futex); |
||
| 2893 | jermar | 150 | if (nodep->dirty) |
| 151 | fat_node_sync(nodep); |
||
| 3009 | svoboda | 152 | idxp_tmp->nodep = NULL; |
| 153 | futex_up(&nodep->lock); |
||
| 154 | futex_up(&idxp_tmp->lock); |
||
| 2893 | jermar | 155 | } else { |
| 3009 | svoboda | 156 | skip_cache: |
| 2893 | jermar | 157 | /* Try to allocate a new node structure. */ |
| 3009 | svoboda | 158 | futex_up(&ffn_futex); |
| 2893 | jermar | 159 | nodep = (fat_node_t *)malloc(sizeof(fat_node_t)); |
| 160 | if (!nodep) |
||
| 161 | return NULL; |
||
| 162 | } |
||
| 2891 | jermar | 163 | fat_node_initialize(nodep); |
| 164 | |||
| 3535 | svoboda | 165 | bs = block_bb_get(idxp->dev_handle); |
| 166 | bps = uint16_t_le2host(bs->bps); |
||
| 2891 | jermar | 167 | dps = bps / sizeof(fat_dentry_t); |
| 168 | |||
| 2893 | jermar | 169 | /* Read the block that contains the dentry of interest. */ |
| 3535 | svoboda | 170 | b = _fat_block_get(bs, idxp->dev_handle, idxp->pfc, |
| 3009 | svoboda | 171 | (idxp->pdi * sizeof(fat_dentry_t)) / bps); |
| 2891 | jermar | 172 | assert(b); |
| 173 | |||
| 3009 | svoboda | 174 | d = ((fat_dentry_t *)b->data) + (idxp->pdi % dps); |
| 2893 | jermar | 175 | if (d->attr & FAT_ATTR_SUBDIR) { |
| 176 | /* |
||
| 177 | * The only directory which does not have this bit set is the |
||
| 178 | * root directory itself. The root directory node is handled |
||
| 179 | * and initialized elsewhere. |
||
| 180 | */ |
||
| 181 | nodep->type = FAT_DIRECTORY; |
||
| 3403 | svoboda | 182 | /* |
| 183 | * Unfortunately, the 'size' field of the FAT dentry is not |
||
| 184 | * defined for the directory entry type. We must determine the |
||
| 185 | * size of the directory by walking the FAT. |
||
| 186 | */ |
||
| 3535 | svoboda | 187 | nodep->size = bps * _fat_blcks_get(bs, idxp->dev_handle, |
| 188 | uint16_t_le2host(d->firstc), NULL); |
||
| 2893 | jermar | 189 | } else { |
| 190 | nodep->type = FAT_FILE; |
||
| 3403 | svoboda | 191 | nodep->size = uint32_t_le2host(d->size); |
| 2893 | jermar | 192 | } |
| 193 | nodep->firstc = uint16_t_le2host(d->firstc); |
||
| 194 | nodep->lnkcnt = 1; |
||
| 195 | nodep->refcnt = 1; |
||
| 196 | |||
| 197 | block_put(b); |
||
| 198 | |||
| 199 | /* Link the idx structure with the node structure. */ |
||
| 3009 | svoboda | 200 | nodep->idx = idxp; |
| 201 | idxp->nodep = nodep; |
||
| 2893 | jermar | 202 | |
| 203 | return nodep; |
||
| 2831 | jermar | 204 | } |
| 205 | |||
| 3009 | svoboda | 206 | /** Instantiate a FAT in-core node. */ |
| 207 | static void *fat_node_get(dev_handle_t dev_handle, fs_index_t index) |
||
| 208 | { |
||
| 209 | void *node; |
||
| 210 | fat_idx_t *idxp; |
||
| 211 | |||
| 212 | idxp = fat_idx_get_by_index(dev_handle, index); |
||
| 213 | if (!idxp) |
||
| 214 | return NULL; |
||
| 215 | /* idxp->lock held */ |
||
| 216 | node = fat_node_get_core(idxp); |
||
| 217 | futex_up(&idxp->lock); |
||
| 218 | return node; |
||
| 219 | } |
||
| 220 | |||
| 2852 | jermar | 221 | static void fat_node_put(void *node) |
| 222 | { |
||
| 2910 | jermar | 223 | fat_node_t *nodep = (fat_node_t *)node; |
| 224 | |||
| 3009 | svoboda | 225 | futex_down(&nodep->lock); |
| 2910 | jermar | 226 | if (!--nodep->refcnt) { |
| 3009 | svoboda | 227 | futex_down(&ffn_futex); |
| 2910 | jermar | 228 | list_append(&nodep->ffn_link, &ffn_head); |
| 3009 | svoboda | 229 | futex_up(&ffn_futex); |
| 2910 | jermar | 230 | } |
| 3009 | svoboda | 231 | futex_up(&nodep->lock); |
| 2852 | jermar | 232 | } |
| 233 | |||
| 2857 | jermar | 234 | static void *fat_create(int flags) |
| 235 | { |
||
| 236 | return NULL; /* not supported at the moment */ |
||
| 237 | } |
||
| 238 | |||
| 2858 | jermar | 239 | static int fat_destroy(void *node) |
| 2857 | jermar | 240 | { |
| 2858 | jermar | 241 | return ENOTSUP; /* not supported at the moment */ |
| 2857 | jermar | 242 | } |
| 243 | |||
| 244 | static bool fat_link(void *prnt, void *chld, const char *name) |
||
| 245 | { |
||
| 246 | return false; /* not supported at the moment */ |
||
| 247 | } |
||
| 248 | |||
| 249 | static int fat_unlink(void *prnt, void *chld) |
||
| 250 | { |
||
| 251 | return ENOTSUP; /* not supported at the moment */ |
||
| 252 | } |
||
| 253 | |||
| 2793 | jermar | 254 | static void *fat_match(void *prnt, const char *component) |
| 255 | { |
||
| 3535 | svoboda | 256 | fat_bs_t *bs; |
| 2793 | jermar | 257 | fat_node_t *parentp = (fat_node_t *)prnt; |
| 258 | char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1]; |
||
| 2822 | jermar | 259 | unsigned i, j; |
| 2828 | jermar | 260 | unsigned bps; /* bytes per sector */ |
| 2822 | jermar | 261 | unsigned dps; /* dentries per sector */ |
| 262 | unsigned blocks; |
||
| 2793 | jermar | 263 | fat_dentry_t *d; |
| 2822 | jermar | 264 | block_t *b; |
| 2793 | jermar | 265 | |
| 3009 | svoboda | 266 | futex_down(&parentp->idx->lock); |
| 3535 | svoboda | 267 | bs = block_bb_get(parentp->idx->dev_handle); |
| 268 | bps = uint16_t_le2host(bs->bps); |
||
| 2828 | jermar | 269 | dps = bps / sizeof(fat_dentry_t); |
| 3535 | svoboda | 270 | blocks = parentp->size / bps; |
| 2822 | jermar | 271 | for (i = 0; i < blocks; i++) { |
| 3535 | svoboda | 272 | b = fat_block_get(bs, parentp, i); |
| 273 | for (j = 0; j < dps; j++) { |
||
| 2822 | jermar | 274 | d = ((fat_dentry_t *)b->data) + j; |
| 2845 | jermar | 275 | switch (fat_classify_dentry(d)) { |
| 276 | case FAT_DENTRY_SKIP: |
||
| 2822 | jermar | 277 | continue; |
| 2845 | jermar | 278 | case FAT_DENTRY_LAST: |
| 2822 | jermar | 279 | block_put(b); |
| 3009 | svoboda | 280 | futex_up(&parentp->idx->lock); |
| 2822 | jermar | 281 | return NULL; |
| 2845 | jermar | 282 | default: |
| 283 | case FAT_DENTRY_VALID: |
||
| 284 | dentry_name_canonify(d, name); |
||
| 285 | break; |
||
| 2822 | jermar | 286 | } |
| 3403 | svoboda | 287 | if (stricmp(name, component) == 0) { |
| 2822 | jermar | 288 | /* hit */ |
| 3009 | svoboda | 289 | void *node; |
| 290 | /* |
||
| 291 | * Assume tree hierarchy for locking. We |
||
| 292 | * already have the parent and now we are going |
||
| 293 | * to lock the child. Never lock in the oposite |
||
| 294 | * order. |
||
| 295 | */ |
||
| 2890 | jermar | 296 | fat_idx_t *idx = fat_idx_get_by_pos( |
| 2881 | jermar | 297 | parentp->idx->dev_handle, parentp->firstc, |
| 2864 | jermar | 298 | i * dps + j); |
| 3009 | svoboda | 299 | futex_up(&parentp->idx->lock); |
| 2890 | jermar | 300 | if (!idx) { |
| 301 | /* |
||
| 302 | * Can happen if memory is low or if we |
||
| 303 | * run out of 32-bit indices. |
||
| 304 | */ |
||
| 305 | block_put(b); |
||
| 306 | return NULL; |
||
| 307 | } |
||
| 3009 | svoboda | 308 | node = fat_node_get_core(idx); |
| 309 | futex_up(&idx->lock); |
||
| 2822 | jermar | 310 | block_put(b); |
| 311 | return node; |
||
| 312 | } |
||
| 2793 | jermar | 313 | } |
| 2822 | jermar | 314 | block_put(b); |
| 2639 | jermar | 315 | } |
| 3535 | svoboda | 316 | |
| 3009 | svoboda | 317 | futex_up(&parentp->idx->lock); |
| 2793 | jermar | 318 | return NULL; |
| 2638 | jermar | 319 | } |
| 320 | |||
| 2831 | jermar | 321 | static fs_index_t fat_index_get(void *node) |
| 322 | { |
||
| 323 | fat_node_t *fnodep = (fat_node_t *)node; |
||
| 324 | if (!fnodep) |
||
| 325 | return 0; |
||
| 2864 | jermar | 326 | return fnodep->idx->index; |
| 2831 | jermar | 327 | } |
| 328 | |||
| 329 | static size_t fat_size_get(void *node) |
||
| 330 | { |
||
| 331 | return ((fat_node_t *)node)->size; |
||
| 332 | } |
||
| 333 | |||
| 334 | static unsigned fat_lnkcnt_get(void *node) |
||
| 335 | { |
||
| 336 | return ((fat_node_t *)node)->lnkcnt; |
||
| 337 | } |
||
| 338 | |||
| 2845 | jermar | 339 | static bool fat_has_children(void *node) |
| 340 | { |
||
| 3535 | svoboda | 341 | fat_bs_t *bs; |
| 2845 | jermar | 342 | fat_node_t *nodep = (fat_node_t *)node; |
| 343 | unsigned bps; |
||
| 344 | unsigned dps; |
||
| 345 | unsigned blocks; |
||
| 346 | block_t *b; |
||
| 347 | unsigned i, j; |
||
| 348 | |||
| 349 | if (nodep->type != FAT_DIRECTORY) |
||
| 350 | return false; |
||
| 3535 | svoboda | 351 | |
| 3009 | svoboda | 352 | futex_down(&nodep->idx->lock); |
| 3535 | svoboda | 353 | bs = block_bb_get(nodep->idx->dev_handle); |
| 354 | bps = uint16_t_le2host(bs->bps); |
||
| 2845 | jermar | 355 | dps = bps / sizeof(fat_dentry_t); |
| 356 | |||
| 3535 | svoboda | 357 | blocks = nodep->size / bps; |
| 2845 | jermar | 358 | |
| 359 | for (i = 0; i < blocks; i++) { |
||
| 360 | fat_dentry_t *d; |
||
| 361 | |||
| 3535 | svoboda | 362 | b = fat_block_get(bs, nodep, i); |
| 363 | for (j = 0; j < dps; j++) { |
||
| 2845 | jermar | 364 | d = ((fat_dentry_t *)b->data) + j; |
| 365 | switch (fat_classify_dentry(d)) { |
||
| 366 | case FAT_DENTRY_SKIP: |
||
| 367 | continue; |
||
| 368 | case FAT_DENTRY_LAST: |
||
| 369 | block_put(b); |
||
| 3009 | svoboda | 370 | futex_up(&nodep->idx->lock); |
| 2845 | jermar | 371 | return false; |
| 372 | default: |
||
| 373 | case FAT_DENTRY_VALID: |
||
| 374 | block_put(b); |
||
| 3009 | svoboda | 375 | futex_up(&nodep->idx->lock); |
| 2845 | jermar | 376 | return true; |
| 377 | } |
||
| 378 | block_put(b); |
||
| 3009 | svoboda | 379 | futex_up(&nodep->idx->lock); |
| 2845 | jermar | 380 | return true; |
| 381 | } |
||
| 382 | block_put(b); |
||
| 383 | } |
||
| 384 | |||
| 3009 | svoboda | 385 | futex_up(&nodep->idx->lock); |
| 2845 | jermar | 386 | return false; |
| 387 | } |
||
| 388 | |||
| 2844 | jermar | 389 | static void *fat_root_get(dev_handle_t dev_handle) |
| 390 | { |
||
| 3153 | svoboda | 391 | return fat_node_get(dev_handle, 0); |
| 2844 | jermar | 392 | } |
| 393 | |||
| 394 | static char fat_plb_get_char(unsigned pos) |
||
| 395 | { |
||
| 396 | return fat_reg.plb_ro[pos % PLB_SIZE]; |
||
| 397 | } |
||
| 398 | |||
| 2831 | jermar | 399 | static bool fat_is_directory(void *node) |
| 400 | { |
||
| 401 | return ((fat_node_t *)node)->type == FAT_DIRECTORY; |
||
| 402 | } |
||
| 403 | |||
| 404 | static bool fat_is_file(void *node) |
||
| 405 | { |
||
| 406 | return ((fat_node_t *)node)->type == FAT_FILE; |
||
| 407 | } |
||
| 408 | |||
| 2793 | jermar | 409 | /** libfs operations */ |
| 410 | libfs_ops_t fat_libfs_ops = { |
||
| 411 | .match = fat_match, |
||
| 412 | .node_get = fat_node_get, |
||
| 2852 | jermar | 413 | .node_put = fat_node_put, |
| 2857 | jermar | 414 | .create = fat_create, |
| 415 | .destroy = fat_destroy, |
||
| 416 | .link = fat_link, |
||
| 417 | .unlink = fat_unlink, |
||
| 2831 | jermar | 418 | .index_get = fat_index_get, |
| 419 | .size_get = fat_size_get, |
||
| 420 | .lnkcnt_get = fat_lnkcnt_get, |
||
| 2845 | jermar | 421 | .has_children = fat_has_children, |
| 2844 | jermar | 422 | .root_get = fat_root_get, |
| 423 | .plb_get_char = fat_plb_get_char, |
||
| 2831 | jermar | 424 | .is_directory = fat_is_directory, |
| 425 | .is_file = fat_is_file |
||
| 2793 | jermar | 426 | }; |
| 427 | |||
| 3153 | svoboda | 428 | void fat_mounted(ipc_callid_t rid, ipc_call_t *request) |
| 429 | { |
||
| 430 | dev_handle_t dev_handle = (dev_handle_t) IPC_GET_ARG1(*request); |
||
| 3535 | svoboda | 431 | fat_bs_t *bs; |
| 3403 | svoboda | 432 | uint16_t bps; |
| 3153 | svoboda | 433 | uint16_t rde; |
| 434 | int rc; |
||
| 435 | |||
| 3535 | svoboda | 436 | /* initialize libblock */ |
| 437 | rc = block_init(dev_handle, BS_SIZE, BS_BLOCK * BS_SIZE, BS_SIZE); |
||
| 3403 | svoboda | 438 | if (rc != EOK) { |
| 3535 | svoboda | 439 | ipc_answer_0(rid, 0); |
| 3403 | svoboda | 440 | return; |
| 441 | } |
||
| 442 | |||
| 3535 | svoboda | 443 | /* get the buffer with the boot sector */ |
| 444 | bs = block_bb_get(dev_handle); |
||
| 445 | |||
| 3153 | svoboda | 446 | /* Read the number of root directory entries. */ |
| 3535 | svoboda | 447 | bps = uint16_t_le2host(bs->bps); |
| 448 | rde = uint16_t_le2host(bs->root_ent_max); |
||
| 3153 | svoboda | 449 | |
| 3403 | svoboda | 450 | if (bps != BS_SIZE) { |
| 3535 | svoboda | 451 | block_fini(dev_handle); |
| 3403 | svoboda | 452 | ipc_answer_0(rid, ENOTSUP); |
| 453 | return; |
||
| 454 | } |
||
| 455 | |||
| 3153 | svoboda | 456 | rc = fat_idx_init_by_dev_handle(dev_handle); |
| 457 | if (rc != EOK) { |
||
| 3535 | svoboda | 458 | block_fini(dev_handle); |
| 3153 | svoboda | 459 | ipc_answer_0(rid, rc); |
| 460 | return; |
||
| 461 | } |
||
| 462 | |||
| 463 | /* Initialize the root node. */ |
||
| 464 | fat_node_t *rootp = (fat_node_t *)malloc(sizeof(fat_node_t)); |
||
| 465 | if (!rootp) { |
||
| 3535 | svoboda | 466 | block_fini(dev_handle); |
| 3153 | svoboda | 467 | fat_idx_fini_by_dev_handle(dev_handle); |
| 468 | ipc_answer_0(rid, ENOMEM); |
||
| 469 | return; |
||
| 470 | } |
||
| 471 | fat_node_initialize(rootp); |
||
| 472 | |||
| 473 | fat_idx_t *ridxp = fat_idx_get_by_pos(dev_handle, FAT_CLST_ROOTPAR, 0); |
||
| 474 | if (!ridxp) { |
||
| 3535 | svoboda | 475 | block_fini(dev_handle); |
| 3153 | svoboda | 476 | free(rootp); |
| 477 | fat_idx_fini_by_dev_handle(dev_handle); |
||
| 478 | ipc_answer_0(rid, ENOMEM); |
||
| 479 | return; |
||
| 480 | } |
||
| 481 | assert(ridxp->index == 0); |
||
| 482 | /* ridxp->lock held */ |
||
| 483 | |||
| 484 | rootp->type = FAT_DIRECTORY; |
||
| 485 | rootp->firstc = FAT_CLST_ROOT; |
||
| 486 | rootp->refcnt = 1; |
||
| 3403 | svoboda | 487 | rootp->lnkcnt = 0; /* FS root is not linked */ |
| 3153 | svoboda | 488 | rootp->size = rde * sizeof(fat_dentry_t); |
| 489 | rootp->idx = ridxp; |
||
| 490 | ridxp->nodep = rootp; |
||
| 491 | |||
| 492 | futex_up(&ridxp->lock); |
||
| 493 | |||
| 3403 | svoboda | 494 | ipc_answer_3(rid, EOK, ridxp->index, rootp->size, rootp->lnkcnt); |
| 3153 | svoboda | 495 | } |
| 496 | |||
| 497 | void fat_mount(ipc_callid_t rid, ipc_call_t *request) |
||
| 498 | { |
||
| 499 | ipc_answer_0(rid, ENOTSUP); |
||
| 500 | } |
||
| 501 | |||
| 2627 | jermar | 502 | void fat_lookup(ipc_callid_t rid, ipc_call_t *request) |
| 503 | { |
||
| 2793 | jermar | 504 | libfs_lookup(&fat_libfs_ops, fat_reg.fs_handle, rid, request); |
| 2627 | jermar | 505 | } |
| 506 | |||
| 3403 | svoboda | 507 | void fat_read(ipc_callid_t rid, ipc_call_t *request) |
| 508 | { |
||
| 509 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
||
| 510 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
||
| 511 | off_t pos = (off_t)IPC_GET_ARG3(*request); |
||
| 512 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
||
| 3535 | svoboda | 513 | fat_bs_t *bs; |
| 514 | uint16_t bps; |
||
| 3403 | svoboda | 515 | size_t bytes; |
| 516 | block_t *b; |
||
| 517 | |||
| 518 | if (!nodep) { |
||
| 519 | ipc_answer_0(rid, ENOENT); |
||
| 520 | return; |
||
| 521 | } |
||
| 522 | |||
| 523 | ipc_callid_t callid; |
||
| 524 | size_t len; |
||
| 525 | if (!ipc_data_read_receive(&callid, &len)) { |
||
| 526 | fat_node_put(nodep); |
||
| 527 | ipc_answer_0(callid, EINVAL); |
||
| 528 | ipc_answer_0(rid, EINVAL); |
||
| 529 | return; |
||
| 530 | } |
||
| 531 | |||
| 3535 | svoboda | 532 | bs = block_bb_get(dev_handle); |
| 533 | bps = uint16_t_le2host(bs->bps); |
||
| 534 | |||
| 3403 | svoboda | 535 | if (nodep->type == FAT_FILE) { |
| 536 | /* |
||
| 537 | * Our strategy for regular file reads is to read one block at |
||
| 538 | * most and make use of the possibility to return less data than |
||
| 539 | * requested. This keeps the code very simple. |
||
| 540 | */ |
||
| 3535 | svoboda | 541 | if (pos >= nodep->size) { |
| 542 | /* reading beyond the EOF */ |
||
| 543 | bytes = 0; |
||
| 544 | (void) ipc_data_read_finalize(callid, NULL, 0); |
||
| 545 | } else { |
||
| 546 | bytes = min(len, bps - pos % bps); |
||
| 547 | bytes = min(bytes, nodep->size - pos); |
||
| 548 | b = fat_block_get(bs, nodep, pos / bps); |
||
| 549 | (void) ipc_data_read_finalize(callid, b->data + pos % bps, |
||
| 550 | bytes); |
||
| 551 | block_put(b); |
||
| 552 | } |
||
| 3403 | svoboda | 553 | } else { |
| 554 | unsigned bnum; |
||
| 555 | off_t spos = pos; |
||
| 556 | char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1]; |
||
| 557 | fat_dentry_t *d; |
||
| 558 | |||
| 559 | assert(nodep->type == FAT_DIRECTORY); |
||
| 560 | assert(nodep->size % bps == 0); |
||
| 561 | assert(bps % sizeof(fat_dentry_t) == 0); |
||
| 562 | |||
| 563 | /* |
||
| 564 | * Our strategy for readdir() is to use the position pointer as |
||
| 565 | * an index into the array of all dentries. On entry, it points |
||
| 566 | * to the first unread dentry. If we skip any dentries, we bump |
||
| 567 | * the position pointer accordingly. |
||
| 568 | */ |
||
| 569 | bnum = (pos * sizeof(fat_dentry_t)) / bps; |
||
| 570 | while (bnum < nodep->size / bps) { |
||
| 571 | off_t o; |
||
| 572 | |||
| 3535 | svoboda | 573 | b = fat_block_get(bs, nodep, bnum); |
| 3403 | svoboda | 574 | for (o = pos % (bps / sizeof(fat_dentry_t)); |
| 575 | o < bps / sizeof(fat_dentry_t); |
||
| 576 | o++, pos++) { |
||
| 577 | d = ((fat_dentry_t *)b->data) + o; |
||
| 578 | switch (fat_classify_dentry(d)) { |
||
| 579 | case FAT_DENTRY_SKIP: |
||
| 580 | continue; |
||
| 581 | case FAT_DENTRY_LAST: |
||
| 582 | block_put(b); |
||
| 583 | goto miss; |
||
| 584 | default: |
||
| 585 | case FAT_DENTRY_VALID: |
||
| 586 | dentry_name_canonify(d, name); |
||
| 587 | block_put(b); |
||
| 588 | goto hit; |
||
| 589 | } |
||
| 590 | } |
||
| 591 | block_put(b); |
||
| 592 | bnum++; |
||
| 593 | } |
||
| 594 | miss: |
||
| 595 | fat_node_put(nodep); |
||
| 596 | ipc_answer_0(callid, ENOENT); |
||
| 597 | ipc_answer_1(rid, ENOENT, 0); |
||
| 598 | return; |
||
| 599 | hit: |
||
| 600 | (void) ipc_data_read_finalize(callid, name, strlen(name) + 1); |
||
| 601 | bytes = (pos - spos) + 1; |
||
| 602 | } |
||
| 603 | |||
| 604 | fat_node_put(nodep); |
||
| 605 | ipc_answer_1(rid, EOK, (ipcarg_t)bytes); |
||
| 606 | } |
||
| 607 | |||
| 3535 | svoboda | 608 | void fat_write(ipc_callid_t rid, ipc_call_t *request) |
| 609 | { |
||
| 610 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
||
| 611 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
||
| 612 | off_t pos = (off_t)IPC_GET_ARG3(*request); |
||
| 613 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
||
| 614 | fat_bs_t *bs; |
||
| 615 | size_t bytes; |
||
| 616 | block_t *b; |
||
| 617 | uint16_t bps; |
||
| 618 | unsigned spc; |
||
| 619 | off_t boundary; |
||
| 620 | |||
| 621 | if (!nodep) { |
||
| 622 | ipc_answer_0(rid, ENOENT); |
||
| 623 | return; |
||
| 624 | } |
||
| 625 | |||
| 626 | /* XXX remove me when you are ready */ |
||
| 627 | { |
||
| 628 | ipc_answer_0(rid, ENOTSUP); |
||
| 629 | fat_node_put(nodep); |
||
| 630 | return; |
||
| 631 | } |
||
| 632 | |||
| 633 | ipc_callid_t callid; |
||
| 634 | size_t len; |
||
| 635 | if (!ipc_data_write_receive(&callid, &len)) { |
||
| 636 | fat_node_put(nodep); |
||
| 637 | ipc_answer_0(callid, EINVAL); |
||
| 638 | ipc_answer_0(rid, EINVAL); |
||
| 639 | return; |
||
| 640 | } |
||
| 641 | |||
| 642 | /* |
||
| 643 | * In all scenarios, we will attempt to write out only one block worth |
||
| 644 | * of data at maximum. There might be some more efficient approaches, |
||
| 645 | * but this one greatly simplifies fat_write(). Note that we can afford |
||
| 646 | * to do this because the client must be ready to handle the return |
||
| 647 | * value signalizing a smaller number of bytes written. |
||
| 648 | */ |
||
| 649 | bytes = min(len, bps - pos % bps); |
||
| 650 | |||
| 651 | bs = block_bb_get(dev_handle); |
||
| 652 | bps = uint16_t_le2host(bs->bps); |
||
| 653 | spc = bs->spc; |
||
| 654 | |||
| 655 | boundary = ROUND_UP(nodep->size, bps * spc); |
||
| 656 | if (pos < boundary) { |
||
| 657 | /* |
||
| 658 | * This is the easier case - we are either overwriting already |
||
| 659 | * existing contents or writing behind the EOF, but still within |
||
| 660 | * the limits of the last cluster. The node size may grow to the |
||
| 661 | * next block size boundary. |
||
| 662 | */ |
||
| 663 | fat_fill_gap(bs, nodep, FAT_CLST_RES0, pos); |
||
| 664 | b = fat_block_get(bs, nodep, pos / bps); |
||
| 665 | (void) ipc_data_write_finalize(callid, b->data + pos % bps, |
||
| 666 | bytes); |
||
| 667 | b->dirty = true; /* need to sync block */ |
||
| 668 | block_put(b); |
||
| 669 | if (pos + bytes > nodep->size) { |
||
| 670 | nodep->size = pos + bytes; |
||
| 671 | nodep->dirty = true; /* need to sync node */ |
||
| 672 | } |
||
| 673 | fat_node_put(nodep); |
||
| 674 | ipc_answer_1(rid, EOK, bytes); |
||
| 675 | return; |
||
| 676 | } else { |
||
| 677 | /* |
||
| 678 | * This is the more difficult case. We must allocate new |
||
| 679 | * clusters for the node and zero them out. |
||
| 680 | */ |
||
| 681 | int status; |
||
| 682 | unsigned nclsts; |
||
| 683 | fat_cluster_t mcl, lcl; |
||
| 684 | |||
| 685 | nclsts = (ROUND_UP(pos + bytes, bps * spc) - boundary) / |
||
| 686 | bps * spc; |
||
| 687 | /* create an independent chain of nclsts clusters in all FATs */ |
||
| 688 | status = fat_alloc_clusters(bs, dev_handle, nclsts, &mcl, |
||
| 689 | &lcl); |
||
| 690 | if (status != EOK) { |
||
| 691 | /* could not allocate a chain of nclsts clusters */ |
||
| 692 | fat_node_put(nodep); |
||
| 693 | ipc_answer_0(callid, status); |
||
| 694 | ipc_answer_0(rid, status); |
||
| 695 | return; |
||
| 696 | } |
||
| 697 | /* zero fill any gaps */ |
||
| 698 | fat_fill_gap(bs, nodep, mcl, pos); |
||
| 699 | b = _fat_block_get(bs, dev_handle, lcl, |
||
| 700 | (pos / bps) % spc); |
||
| 701 | (void) ipc_data_write_finalize(callid, b->data + pos % bps, |
||
| 702 | bytes); |
||
| 703 | b->dirty = true; /* need to sync block */ |
||
| 704 | block_put(b); |
||
| 705 | /* |
||
| 706 | * Append the cluster chain starting in mcl to the end of the |
||
| 707 | * node's cluster chain. |
||
| 708 | */ |
||
| 709 | fat_append_clusters(bs, nodep, mcl); |
||
| 710 | nodep->size = pos + bytes; |
||
| 711 | nodep->dirty = true; /* need to sync node */ |
||
| 712 | fat_node_put(nodep); |
||
| 713 | ipc_answer_1(rid, EOK, bytes); |
||
| 714 | return; |
||
| 715 | } |
||
| 716 | } |
||
| 717 | |||
| 2627 | jermar | 718 | /** |
| 719 | * @} |
||
| 720 | */ |