source: mainline/uspace/srv/fs/fat/fat_fat.c@ 6c8d267

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 6c8d267 was 6c8d267, checked in by Jakub Jermar <jakub@…>, 17 years ago

Simplify the fat_cluster_walk() interface.
Introduce the bn_t type for holding block offsets.

  • Property mode set to 100644
File size: 10.9 KB
Line 
1/*
2 * Copyright (c) 2008 Jakub 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_fat.c
35 * @brief Functions that manipulate the File Allocation Tables.
36 */
37
38#include "fat_fat.h"
39#include "fat_dentry.h"
40#include "fat.h"
41#include "../../vfs/vfs.h"
42#include <libfs.h>
43#include <libblock.h>
44#include <errno.h>
45#include <byteorder.h>
46#include <align.h>
47#include <assert.h>
48#include <futex.h>
49
50/**
51 * The fat_alloc_lock futex protects all copies of the File Allocation Table
52 * during allocation of clusters. The lock does not have to be held durring
53 * deallocation of clusters.
54 */
55static futex_t fat_alloc_lock = FUTEX_INITIALIZER;
56
57/** Walk the cluster chain.
58 *
59 * @param bs Buffer holding the boot sector for the file.
60 * @param dev_handle Device handle of the device with the file.
61 * @param firstc First cluster to start the walk with.
62 * @param lastc If non-NULL, output argument hodling the last cluster number visited.
63 * @param max_clusters Maximum number of clusters to visit.
64 *
65 * @return Number of clusters seen during the walk.
66 */
67uint16_t
68fat_cluster_walk(fat_bs_t *bs, dev_handle_t dev_handle, fat_cluster_t firstc,
69 fat_cluster_t *lastc, uint16_t max_clusters)
70{
71 block_t *b;
72 unsigned bps;
73 unsigned rscnt; /* block address of the first FAT */
74 uint16_t clusters = 0;
75 fat_cluster_t clst = firstc;
76
77 bps = uint16_t_le2host(bs->bps);
78 rscnt = uint16_t_le2host(bs->rscnt);
79
80 if (firstc == FAT_CLST_RES0) {
81 /* No space allocated to the file. */
82 if (lastc)
83 *lastc = firstc;
84 return 0;
85 }
86
87 while (clst < FAT_CLST_LAST1 && clusters < max_clusters) {
88 bn_t fsec; /* sector offset relative to FAT1 */
89 unsigned fidx; /* FAT1 entry index */
90
91 assert(clst >= FAT_CLST_FIRST);
92 if (lastc)
93 *lastc = clst; /* remember the last cluster number */
94 fsec = (clst * sizeof(fat_cluster_t)) / bps;
95 fidx = clst % (bps / sizeof(fat_cluster_t));
96 /* read FAT1 */
97 b = block_get(dev_handle, rscnt + fsec);
98 clst = uint16_t_le2host(((fat_cluster_t *)b->data)[fidx]);
99 assert(clst != FAT_CLST_BAD);
100 block_put(b);
101 clusters++;
102 }
103
104 if (lastc && clst < FAT_CLST_LAST1)
105 *lastc = clst;
106
107 return clusters;
108}
109
110/** Read block from file located on a FAT file system.
111 *
112 * @param bs Buffer holding the boot sector of the file system.
113 * @param dev_handle Device handle of the file system.
114 * @param firstc First cluster used by the file. Can be zero if the file
115 * is empty.
116 * @param bn Block number.
117 *
118 * @return Block structure holding the requested block.
119 */
120block_t *
121_fat_block_get(fat_bs_t *bs, dev_handle_t dev_handle, fat_cluster_t firstc,
122 bn_t bn)
123{
124 block_t *b;
125 unsigned bps;
126 unsigned rscnt; /* block address of the first FAT */
127 unsigned rde;
128 unsigned rds; /* root directory size */
129 unsigned sf;
130 unsigned ssa; /* size of the system area */
131 unsigned clusters, max_clusters;
132 fat_cluster_t lastc, clst = firstc;
133
134 bps = uint16_t_le2host(bs->bps);
135 rscnt = uint16_t_le2host(bs->rscnt);
136 rde = uint16_t_le2host(bs->root_ent_max);
137 sf = uint16_t_le2host(bs->sec_per_fat);
138
139 rds = (sizeof(fat_dentry_t) * rde) / bps;
140 rds += ((sizeof(fat_dentry_t) * rde) % bps != 0);
141 ssa = rscnt + bs->fatcnt * sf + rds;
142
143 if (firstc == FAT_CLST_ROOT) {
144 /* root directory special case */
145 assert(bn < rds);
146 b = block_get(dev_handle, rscnt + bs->fatcnt * sf + bn);
147 return b;
148 }
149
150 max_clusters = bn / bs->spc;
151 clusters = fat_cluster_walk(bs, dev_handle, firstc, &lastc,
152 max_clusters);
153 assert(clusters == max_clusters);
154
155 b = block_get(dev_handle, ssa + (lastc - FAT_CLST_FIRST) * bs->spc +
156 bn % bs->spc);
157
158 return b;
159}
160
161
162/** Fill the gap between EOF and a new file position.
163 *
164 * @param bs Buffer holding the boot sector for nodep.
165 * @param nodep FAT node with the gap.
166 * @param mcl First cluster in an independent cluster chain that will
167 * be later appended to the end of the node's own cluster
168 * chain. If pos is still in the last allocated cluster,
169 * this argument is ignored.
170 * @param pos Position in the last node block.
171 */
172void fat_fill_gap(fat_bs_t *bs, fat_node_t *nodep, fat_cluster_t mcl, off_t pos)
173{
174 uint16_t bps;
175 unsigned spc;
176 block_t *b;
177 off_t o, boundary;
178
179 bps = uint16_t_le2host(bs->bps);
180 spc = bs->spc;
181
182 boundary = ROUND_UP(nodep->size, bps * spc);
183
184 /* zero out already allocated space */
185 for (o = nodep->size - 1; o < pos && o < boundary;
186 o = ALIGN_DOWN(o + bps, bps)) {
187 b = fat_block_get(bs, nodep, o / bps);
188 memset(b->data + o % bps, 0, bps - o % bps);
189 b->dirty = true; /* need to sync node */
190 block_put(b);
191 }
192
193 if (o >= pos)
194 return;
195
196 /* zero out the initial part of the new cluster chain */
197 for (o = boundary; o < pos; o += bps) {
198 b = _fat_block_get(bs, nodep->idx->dev_handle, mcl,
199 (o - boundary) / bps);
200 memset(b->data, 0, min(bps, pos - o));
201 b->dirty = true; /* need to sync node */
202 block_put(b);
203 }
204}
205
206/** Mark cluster in one instance of FAT.
207 *
208 * @param bs Buffer holding the boot sector for the file system.
209 * @param dev_handle Device handle for the file system.
210 * @param fatno Number of the FAT instance where to make the change.
211 * @param clst Cluster which is to be marked.
212 * @param value Value mark the cluster with.
213 */
214void
215fat_mark_cluster(fat_bs_t *bs, dev_handle_t dev_handle, unsigned fatno,
216 fat_cluster_t clst, fat_cluster_t value)
217{
218 block_t *b;
219 uint16_t bps;
220 uint16_t rscnt;
221 uint16_t sf;
222 fat_cluster_t *cp;
223
224 bps = uint16_t_le2host(bs->bps);
225 rscnt = uint16_t_le2host(bs->rscnt);
226 sf = uint16_t_le2host(bs->sec_per_fat);
227
228 assert(fatno < bs->fatcnt);
229 b = block_get(dev_handle, rscnt + sf * fatno +
230 (clst * sizeof(fat_cluster_t)) / bps);
231 cp = (fat_cluster_t *)b->data + clst % (bps / sizeof(fat_cluster_t));
232 *cp = host2uint16_t_le(value);
233 b->dirty = true; /* need to sync block */
234 block_put(b);
235}
236
237/** Replay the allocatoin of clusters in all shadow instances of FAT.
238 *
239 * @param bs Buffer holding the boot sector of the file system.
240 * @param dev_handle Device handle of the file system.
241 * @param lifo Chain of allocated clusters.
242 * @param nclsts Number of clusters in the lifo chain.
243 */
244void fat_alloc_shadow_clusters(fat_bs_t *bs, dev_handle_t dev_handle,
245 fat_cluster_t *lifo, unsigned nclsts)
246{
247 uint8_t fatno;
248 unsigned c;
249
250 for (fatno = FAT1 + 1; fatno < bs->fatcnt; fatno++) {
251 for (c = 0; c < nclsts; c++) {
252 fat_mark_cluster(bs, dev_handle, fatno, lifo[c],
253 c == 0 ? FAT_CLST_LAST1 : lifo[c - 1]);
254 }
255 }
256}
257
258/** Allocate clusters in FAT1.
259 *
260 * This function will attempt to allocate the requested number of clusters in
261 * the first FAT instance. The FAT will be altered so that the allocated
262 * clusters form an independent chain (i.e. a chain which does not belong to any
263 * file yet).
264 *
265 * @param bs Buffer holding the boot sector of the file system.
266 * @param dev_handle Device handle of the file system.
267 * @param nclsts Number of clusters to allocate.
268 * @param mcl Output parameter where the first cluster in the chain
269 * will be returned.
270 * @param lcl Output parameter where the last cluster in the chain
271 * will be returned.
272 *
273 * @return EOK on success, a negative error code otherwise.
274 */
275int
276fat_alloc_clusters(fat_bs_t *bs, dev_handle_t dev_handle, unsigned nclsts,
277 fat_cluster_t *mcl, fat_cluster_t *lcl)
278{
279 uint16_t bps;
280 uint16_t rscnt;
281 uint16_t sf;
282 block_t *blk;
283 fat_cluster_t *lifo; /* stack for storing free cluster numbers */
284 unsigned found = 0; /* top of the free cluster number stack */
285 unsigned b, c, cl;
286
287 lifo = (fat_cluster_t *) malloc(nclsts * sizeof(fat_cluster_t));
288 if (lifo)
289 return ENOMEM;
290
291 bps = uint16_t_le2host(bs->bps);
292 rscnt = uint16_t_le2host(bs->rscnt);
293 sf = uint16_t_le2host(bs->sec_per_fat);
294
295 /*
296 * Search FAT1 for unused clusters.
297 */
298 futex_down(&fat_alloc_lock);
299 for (b = 0, cl = 0; b < sf; blk++) {
300 blk = block_get(dev_handle, rscnt + b);
301 for (c = 0; c < bps / sizeof(fat_cluster_t); c++, cl++) {
302 fat_cluster_t *clst = (fat_cluster_t *)blk->data + c;
303 if (uint16_t_le2host(*clst) == FAT_CLST_RES0) {
304 /*
305 * The cluster is free. Put it into our stack
306 * of found clusters and mark it as non-free.
307 */
308 lifo[found] = cl;
309 *clst = (found == 0) ?
310 host2uint16_t_le(FAT_CLST_LAST1) :
311 host2uint16_t_le(lifo[found - 1]);
312 blk->dirty = true; /* need to sync block */
313 if (++found == nclsts) {
314 /* we are almost done */
315 block_put(blk);
316 /* update the shadow copies of FAT */
317 fat_alloc_shadow_clusters(bs,
318 dev_handle, lifo, nclsts);
319 *mcl = lifo[found - 1];
320 *lcl = lifo[0];
321 free(lifo);
322 futex_up(&fat_alloc_lock);
323 return EOK;
324 }
325 }
326 }
327 block_put(blk);
328 }
329 futex_up(&fat_alloc_lock);
330
331 /*
332 * We could not find enough clusters. Now we need to free the clusters
333 * we have allocated so far.
334 */
335 while (found--) {
336 fat_mark_cluster(bs, dev_handle, FAT1, lifo[found],
337 FAT_CLST_RES0);
338 }
339
340 free(lifo);
341 return ENOSPC;
342}
343
344/** Append a cluster chain to the last file cluster in all FATs.
345 *
346 * @param bs Buffer holding boot sector of the file system.
347 * @param nodep Node representing the file.
348 * @param mcl First cluster of the cluster chain to append.
349 */
350void fat_append_clusters(fat_bs_t *bs, fat_node_t *nodep, fat_cluster_t mcl)
351{
352 dev_handle_t dev_handle = nodep->idx->dev_handle;
353 fat_cluster_t lcl;
354 uint8_t fatno;
355
356 if (fat_cluster_walk(bs, nodep->idx->dev_handle, nodep->firstc, &lcl,
357 (uint16_t) -1) == 0) {
358 /* No clusters allocated to the node yet. */
359 nodep->firstc = host2uint16_t_le(mcl);
360 nodep->dirty = true; /* need to sync node */
361 return;
362 }
363
364 for (fatno = FAT1; fatno < bs->fatcnt; fatno++)
365 fat_mark_cluster(bs, nodep->idx->dev_handle, fatno, lcl, mcl);
366}
367
368/**
369 * @}
370 */
Note: See TracBrowser for help on using the repository browser.