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