Subversion Repositories HelenOS

Rev

Rev 2891 | Rev 2910 | 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"
2638 jermar 39
#include "../../vfs/vfs.h"
2793 jermar 40
#include <libfs.h>
2627 jermar 41
#include <ipc/ipc.h>
42
#include <async.h>
43
#include <errno.h>
2793 jermar 44
#include <string.h>
2798 jermar 45
#include <byteorder.h>
2831 jermar 46
#include <libadt/hash_table.h>
47
#include <libadt/list.h>
48
#include <assert.h>
2856 jermar 49
#include <futex.h>
2627 jermar 50
 
2843 jermar 51
#define BS_BLOCK		0
52
 
2893 jermar 53
/** List of free FAT nodes that still contain valid data. */
54
LIST_INITIALIZE(ffn_head);
2843 jermar 55
 
2638 jermar 56
#define FAT_NAME_LEN		8
57
#define FAT_EXT_LEN		3
58
 
59
#define FAT_PAD			' ' 
60
 
61
#define FAT_DENTRY_UNUSED	0x00
62
#define FAT_DENTRY_E5_ESC	0x05
63
#define FAT_DENTRY_DOT		0x2e
64
#define FAT_DENTRY_ERASED	0xe5
65
 
2793 jermar 66
static void dentry_name_canonify(fat_dentry_t *d, char *buf)
2638 jermar 67
{
2793 jermar 68
	int i;
2639 jermar 69
 
2793 jermar 70
	for (i = 0; i < FAT_NAME_LEN; i++) {
71
		if (d->name[i] == FAT_PAD) {
72
			buf++;
73
			break;
2639 jermar 74
		}
2793 jermar 75
		if (d->name[i] == FAT_DENTRY_E5_ESC)
76
			*buf++ = 0xe5;
77
		else
78
			*buf++ = d->name[i];
79
	}
80
	if (d->ext[0] != FAT_PAD)
81
		*buf++ = '.';
82
	for (i = 0; i < FAT_EXT_LEN; i++) {
83
		if (d->ext[i] == FAT_PAD) {
84
			*buf = '\0';
85
			return;
86
		}
87
		if (d->ext[i] == FAT_DENTRY_E5_ESC)
88
			*buf++ = 0xe5;
89
		else
90
			*buf++ = d->ext[i];
91
	}
92
}
93
 
2822 jermar 94
/* TODO and also move somewhere else */
95
typedef struct {
96
	void *data;
97
} block_t;
98
 
99
static block_t *block_get(dev_handle_t dev_handle, off_t offset)
2793 jermar 100
{
101
	return NULL;	/* TODO */
102
}
103
 
2822 jermar 104
static void block_put(block_t *block)
2793 jermar 105
{
106
	/* TODO */
107
}
108
 
2859 jermar 109
#define FAT_BS(b)		((fat_bs_t *)((b)->data))
110
 
2864 jermar 111
#define FAT_CLST_RES0	0x0000
112
#define FAT_CLST_RES1	0x0001	/* internally used to mark root directory */
2859 jermar 113
#define FAT_CLST_FIRST	0x0002
114
#define FAT_CLST_BAD	0xfff7
115
#define FAT_CLST_LAST1	0xfff8
116
#define FAT_CLST_LAST8  0xffff
117
 
2891 jermar 118
#define fat_block_get(np, off) \
119
    _fat_block_get((np)->idx->dev_handle, (np)->firstc, (off))
120
 
121
static block_t *
2893 jermar 122
_fat_block_get(dev_handle_t dev_handle, fat_cluster_t firstc, off_t offset)
2859 jermar 123
{
124
	block_t *bb;
125
	block_t *b;
126
	unsigned bps;
127
	unsigned spc;
128
	unsigned rscnt;		/* block address of the first FAT */
129
	unsigned fatcnt;
130
	unsigned rde;
131
	unsigned rds;		/* root directory size */
132
	unsigned sf;
133
	unsigned ssa;		/* size of the system area */
134
	unsigned clusters;
2893 jermar 135
	fat_cluster_t clst = firstc;
2859 jermar 136
	unsigned i;
137
 
2891 jermar 138
	bb = block_get(dev_handle, BS_BLOCK);
2859 jermar 139
	bps = uint16_t_le2host(FAT_BS(bb)->bps);
140
	spc = FAT_BS(bb)->spc;
141
	rscnt = uint16_t_le2host(FAT_BS(bb)->rscnt);
142
	fatcnt = FAT_BS(bb)->fatcnt;
143
	rde = uint16_t_le2host(FAT_BS(bb)->root_ent_max);
144
	sf = uint16_t_le2host(FAT_BS(bb)->sec_per_fat);
145
	block_put(bb);
146
 
147
	rds = (sizeof(fat_dentry_t) * rde) / bps;
148
	rds += ((sizeof(fat_dentry_t) * rde) % bps != 0);
149
	ssa = rscnt + fatcnt * sf + rds;
150
 
2893 jermar 151
	if (firstc == FAT_CLST_RES1) {
2859 jermar 152
		/* root directory special case */
153
		assert(offset < rds);
2891 jermar 154
		b = block_get(dev_handle, rscnt + fatcnt * sf + offset);
2859 jermar 155
		return b;
156
	}
157
 
158
	clusters = offset / spc; 
159
	for (i = 0; i < clusters; i++) {
160
		unsigned fsec;	/* sector offset relative to FAT1 */
161
		unsigned fidx;	/* FAT1 entry index */
162
 
163
		assert(clst >= FAT_CLST_FIRST && clst < FAT_CLST_BAD);
2864 jermar 164
		fsec = (clst * sizeof(fat_cluster_t)) / bps;
165
		fidx = clst % (bps / sizeof(fat_cluster_t));
2859 jermar 166
		/* read FAT1 */
2891 jermar 167
		b = block_get(dev_handle, rscnt + fsec);
2864 jermar 168
		clst = uint16_t_le2host(((fat_cluster_t *)b->data)[fidx]);
2859 jermar 169
		assert(clst != FAT_CLST_BAD);
170
		assert(clst < FAT_CLST_LAST1);
171
		block_put(b);
172
	}
173
 
2891 jermar 174
	b = block_get(dev_handle, ssa + (clst - FAT_CLST_FIRST) * spc +
175
	    offset % spc);
2859 jermar 176
 
177
	return b;
178
}
179
 
2831 jermar 180
static void fat_node_initialize(fat_node_t *node)
2793 jermar 181
{
2864 jermar 182
	node->idx = NULL;
2831 jermar 183
	node->type = 0;
184
	link_initialize(&node->ffn_link);
185
	node->size = 0;
186
	node->lnkcnt = 0;
187
	node->refcnt = 0;
188
	node->dirty = false;
2793 jermar 189
}
190
 
2843 jermar 191
static uint16_t fat_bps_get(dev_handle_t dev_handle)
192
{
193
	block_t *bb;
194
	uint16_t bps;
195
 
196
	bb = block_get(dev_handle, BS_BLOCK);
197
	assert(bb != NULL);
2859 jermar 198
	bps = uint16_t_le2host(FAT_BS(bb)->bps);
2843 jermar 199
	block_put(bb);
200
 
201
	return bps;
202
}
203
 
2845 jermar 204
typedef enum {
205
	FAT_DENTRY_SKIP,
206
	FAT_DENTRY_LAST,
207
	FAT_DENTRY_VALID
208
} fat_dentry_clsf_t;
209
 
210
static fat_dentry_clsf_t fat_classify_dentry(fat_dentry_t *d)
211
{
212
	if (d->attr & FAT_ATTR_VOLLABEL) {
213
		/* volume label entry */
214
		return FAT_DENTRY_SKIP;
215
	}
216
	if (d->name[0] == FAT_DENTRY_ERASED) {
217
		/* not-currently-used entry */
218
		return FAT_DENTRY_SKIP;
219
	}
220
	if (d->name[0] == FAT_DENTRY_UNUSED) {
221
		/* never used entry */
222
		return FAT_DENTRY_LAST;
223
	}
224
	if (d->name[0] == FAT_DENTRY_DOT) {
225
		/*
226
		 * Most likely '.' or '..'.
227
		 * It cannot occur in a regular file name.
228
		 */
229
		return FAT_DENTRY_SKIP;
230
	}
231
	return FAT_DENTRY_VALID;
232
}
233
 
2893 jermar 234
static void fat_node_sync(fat_node_t *node)
2831 jermar 235
{
236
	/* TODO */
237
}
238
 
2863 jermar 239
/** Instantiate a FAT in-core node. */
2891 jermar 240
static void *fat_node_get(dev_handle_t dev_handle, fs_index_t index)
2831 jermar 241
{
2891 jermar 242
	fat_idx_t *idx;
243
	block_t *b;
244
	fat_dentry_t *d;
245
	fat_node_t *nodep;
246
	unsigned bps;
247
	unsigned dps;
248
 
249
	idx = fat_idx_get_by_index(dev_handle, index);
250
	if (!idx)
251
		return NULL;
252
 
253
	if (idx->nodep) {
254
		/*
255
		 * We are lucky.
256
		 * The node is already instantiated in memory.
257
		 */
258
		idx->nodep->refcnt++;
259
		return idx->nodep;
260
	}
261
 
262
	/*
263
	 * We must instantiate the node from the file system.
264
	 */
265
 
266
	assert(idx->pfc);
267
 
2893 jermar 268
	if (!list_empty(&ffn_head)) {
269
		/* Try to use a cached unused node structure. */
270
		nodep = list_get_instance(ffn_head.next, fat_node_t, ffn_link);
271
		if (nodep->dirty)
272
			fat_node_sync(nodep);
273
		list_remove(&nodep->ffn_link);
274
		nodep->idx->nodep = NULL;
275
	} else {
276
		/* Try to allocate a new node structure. */
277
		nodep = (fat_node_t *)malloc(sizeof(fat_node_t));
278
		if (!nodep)
279
			return NULL;
280
	}
2891 jermar 281
	fat_node_initialize(nodep);
282
 
283
	bps = fat_bps_get(dev_handle);
284
	dps = bps / sizeof(fat_dentry_t);
285
 
2893 jermar 286
	/* Read the block that contains the dentry of interest. */
2891 jermar 287
	b = _fat_block_get(dev_handle, idx->pfc,
288
	    (idx->pdi * sizeof(fat_dentry_t)) / bps);
289
	assert(b);
290
 
291
	d = ((fat_dentry_t *)b->data) + (idx->pdi % dps);
2893 jermar 292
	if (d->attr & FAT_ATTR_SUBDIR) {
293
		/* 
294
		 * The only directory which does not have this bit set is the
295
		 * root directory itself. The root directory node is handled
296
		 * and initialized elsewhere.
297
		 */
298
		nodep->type = FAT_DIRECTORY;
299
	} else {
300
		nodep->type = FAT_FILE;
301
	}
302
	nodep->firstc = uint16_t_le2host(d->firstc);
303
	nodep->size = uint32_t_le2host(d->size);
304
	nodep->lnkcnt = 1;
305
	nodep->refcnt = 1;
306
 
307
	block_put(b);
308
 
309
	/* Link the idx structure with the node structure. */
310
	nodep->idx = idx;
311
	idx->nodep = nodep;
312
 
313
	return nodep;
2831 jermar 314
}
315
 
2852 jermar 316
static void fat_node_put(void *node)
317
{
2863 jermar 318
	/* TODO */
2852 jermar 319
}
320
 
2857 jermar 321
static void *fat_create(int flags)
322
{
323
	return NULL;	/* not supported at the moment */
324
}
325
 
2858 jermar 326
static int fat_destroy(void *node)
2857 jermar 327
{
2858 jermar 328
	return ENOTSUP;	/* not supported at the moment */
2857 jermar 329
}
330
 
331
static bool fat_link(void *prnt, void *chld, const char *name)
332
{
333
	return false;	/* not supported at the moment */
334
}
335
 
336
static int fat_unlink(void *prnt, void *chld)
337
{
338
	return ENOTSUP;	/* not supported at the moment */
339
}
340
 
2793 jermar 341
static void *fat_match(void *prnt, const char *component)
342
{
343
	fat_node_t *parentp = (fat_node_t *)prnt;
344
	char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1];
2822 jermar 345
	unsigned i, j;
2828 jermar 346
	unsigned bps;		/* bytes per sector */
2822 jermar 347
	unsigned dps;		/* dentries per sector */
348
	unsigned blocks;
2793 jermar 349
	fat_dentry_t *d;
2822 jermar 350
	block_t *b;
2793 jermar 351
 
2864 jermar 352
	bps = fat_bps_get(parentp->idx->dev_handle);
2828 jermar 353
	dps = bps / sizeof(fat_dentry_t);
354
	blocks = parentp->size / bps + (parentp->size % bps != 0);
2822 jermar 355
	for (i = 0; i < blocks; i++) {
356
		unsigned dentries;
2793 jermar 357
 
2864 jermar 358
		b = fat_block_get(parentp, i);
2822 jermar 359
		dentries = (i == blocks - 1) ?
360
		    parentp->size % sizeof(fat_dentry_t) :
361
		    dps;
362
		for (j = 0; j < dentries; j++) { 
363
			d = ((fat_dentry_t *)b->data) + j;
2845 jermar 364
			switch (fat_classify_dentry(d)) {
365
			case FAT_DENTRY_SKIP:
2822 jermar 366
				continue;
2845 jermar 367
			case FAT_DENTRY_LAST:
2822 jermar 368
				block_put(b);
369
				return NULL;
2845 jermar 370
			default:
371
			case FAT_DENTRY_VALID:
372
				dentry_name_canonify(d, name);
373
				break;
2822 jermar 374
			}
375
			if (strcmp(name, component) == 0) {
376
				/* hit */
2890 jermar 377
				fat_idx_t *idx = fat_idx_get_by_pos(
2881 jermar 378
				    parentp->idx->dev_handle, parentp->firstc,
2864 jermar 379
				    i * dps + j);
2890 jermar 380
				if (!idx) {
381
					/*
382
					 * Can happen if memory is low or if we
383
					 * run out of 32-bit indices.
384
					 */
385
					block_put(b);
386
					return NULL;
387
				}
2864 jermar 388
				void *node = fat_node_get(idx->dev_handle,
389
				    idx->index);
2822 jermar 390
				block_put(b);
391
				return node;
392
			}
2793 jermar 393
		}
2822 jermar 394
		block_put(b);
2639 jermar 395
	}
2793 jermar 396
 
397
	return NULL;
2638 jermar 398
}
399
 
2831 jermar 400
static fs_index_t fat_index_get(void *node)
401
{
402
	fat_node_t *fnodep = (fat_node_t *)node;
403
	if (!fnodep)
404
		return 0;
2864 jermar 405
	return fnodep->idx->index;
2831 jermar 406
}
407
 
408
static size_t fat_size_get(void *node)
409
{
410
	return ((fat_node_t *)node)->size;
411
}
412
 
413
static unsigned fat_lnkcnt_get(void *node)
414
{
415
	return ((fat_node_t *)node)->lnkcnt;
416
}
417
 
2845 jermar 418
static bool fat_has_children(void *node)
419
{
420
	fat_node_t *nodep = (fat_node_t *)node;
421
	unsigned bps;
422
	unsigned dps;
423
	unsigned blocks;
424
	block_t *b;
425
	unsigned i, j;
426
 
427
	if (nodep->type != FAT_DIRECTORY)
428
		return false;
429
 
2864 jermar 430
	bps = fat_bps_get(nodep->idx->dev_handle);
2845 jermar 431
	dps = bps / sizeof(fat_dentry_t);
432
 
433
	blocks = nodep->size / bps + (nodep->size % bps != 0);
434
 
435
	for (i = 0; i < blocks; i++) {
436
		unsigned dentries;
437
		fat_dentry_t *d;
438
 
2864 jermar 439
		b = fat_block_get(nodep, i);
2845 jermar 440
		dentries = (i == blocks - 1) ?
441
		    nodep->size % sizeof(fat_dentry_t) :
442
		    dps;
443
		for (j = 0; j < dentries; j++) {
444
			d = ((fat_dentry_t *)b->data) + j;
445
			switch (fat_classify_dentry(d)) {
446
			case FAT_DENTRY_SKIP:
447
				continue;
448
			case FAT_DENTRY_LAST:
449
				block_put(b);
450
				return false;
451
			default:
452
			case FAT_DENTRY_VALID:
453
				block_put(b);
454
				return true;
455
			}
456
			block_put(b);
457
			return true;
458
		}
459
		block_put(b);
460
	}
461
 
462
	return false;
463
}
464
 
2844 jermar 465
static void *fat_root_get(dev_handle_t dev_handle)
466
{
2893 jermar 467
	return NULL;	/* TODO */
2844 jermar 468
}
469
 
470
static char fat_plb_get_char(unsigned pos)
471
{
472
	return fat_reg.plb_ro[pos % PLB_SIZE];
473
}
474
 
2831 jermar 475
static bool fat_is_directory(void *node)
476
{
477
	return ((fat_node_t *)node)->type == FAT_DIRECTORY;
478
}
479
 
480
static bool fat_is_file(void *node)
481
{
482
	return ((fat_node_t *)node)->type == FAT_FILE;
483
}
484
 
2793 jermar 485
/** libfs operations */
486
libfs_ops_t fat_libfs_ops = {
487
	.match = fat_match,
488
	.node_get = fat_node_get,
2852 jermar 489
	.node_put = fat_node_put,
2857 jermar 490
	.create = fat_create,
491
	.destroy = fat_destroy,
492
	.link = fat_link,
493
	.unlink = fat_unlink,
2831 jermar 494
	.index_get = fat_index_get,
495
	.size_get = fat_size_get,
496
	.lnkcnt_get = fat_lnkcnt_get,
2845 jermar 497
	.has_children = fat_has_children,
2844 jermar 498
	.root_get = fat_root_get,
499
	.plb_get_char =	fat_plb_get_char,
2831 jermar 500
	.is_directory = fat_is_directory,
501
	.is_file = fat_is_file
2793 jermar 502
};
503
 
2627 jermar 504
void fat_lookup(ipc_callid_t rid, ipc_call_t *request)
505
{
2793 jermar 506
	libfs_lookup(&fat_libfs_ops, fat_reg.fs_handle, rid, request);
2627 jermar 507
}
508
 
509
/**
510
 * @}
511
 */