Rev 3572 | Rev 3574 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3572 | Rev 3573 | ||
---|---|---|---|
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); |
92 | (node->idx->pdi * sizeof(fat_dentry_t)) / bps); |
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 | /** Internal version of fat_node_get(). |
105 | /** Internal version of fat_node_get(). |
106 | * |
106 | * |
107 | * @param idxp Locked index structure. |
107 | * @param idxp Locked index structure. |
108 | */ |
108 | */ |
109 | static void *fat_node_get_core(fat_idx_t *idxp) |
109 | static void *fat_node_get_core(fat_idx_t *idxp) |
110 | { |
110 | { |
111 | block_t *b; |
111 | block_t *b; |
112 | fat_bs_t *bs; |
112 | fat_bs_t *bs; |
113 | fat_dentry_t *d; |
113 | fat_dentry_t *d; |
114 | fat_node_t *nodep = NULL; |
114 | fat_node_t *nodep = NULL; |
115 | unsigned bps; |
115 | unsigned bps; |
116 | unsigned spc; |
116 | unsigned spc; |
117 | unsigned dps; |
117 | unsigned dps; |
118 | 118 | ||
119 | if (idxp->nodep) { |
119 | if (idxp->nodep) { |
120 | /* |
120 | /* |
121 | * We are lucky. |
121 | * We are lucky. |
122 | * The node is already instantiated in memory. |
122 | * The node is already instantiated in memory. |
123 | */ |
123 | */ |
124 | futex_down(&idxp->nodep->lock); |
124 | futex_down(&idxp->nodep->lock); |
125 | if (!idxp->nodep->refcnt++) |
125 | if (!idxp->nodep->refcnt++) |
126 | list_remove(&idxp->nodep->ffn_link); |
126 | list_remove(&idxp->nodep->ffn_link); |
127 | futex_up(&idxp->nodep->lock); |
127 | futex_up(&idxp->nodep->lock); |
128 | return idxp->nodep; |
128 | return idxp->nodep; |
129 | } |
129 | } |
130 | 130 | ||
131 | /* |
131 | /* |
132 | * We must instantiate the node from the file system. |
132 | * We must instantiate the node from the file system. |
133 | */ |
133 | */ |
134 | 134 | ||
135 | assert(idxp->pfc); |
135 | assert(idxp->pfc); |
136 | 136 | ||
137 | futex_down(&ffn_futex); |
137 | futex_down(&ffn_futex); |
138 | if (!list_empty(&ffn_head)) { |
138 | if (!list_empty(&ffn_head)) { |
139 | /* Try to use a cached free node structure. */ |
139 | /* Try to use a cached free node structure. */ |
140 | fat_idx_t *idxp_tmp; |
140 | fat_idx_t *idxp_tmp; |
141 | nodep = list_get_instance(ffn_head.next, fat_node_t, ffn_link); |
141 | nodep = list_get_instance(ffn_head.next, fat_node_t, ffn_link); |
142 | if (futex_trydown(&nodep->lock) == ESYNCH_WOULD_BLOCK) |
142 | if (futex_trydown(&nodep->lock) == ESYNCH_WOULD_BLOCK) |
143 | goto skip_cache; |
143 | goto skip_cache; |
144 | idxp_tmp = nodep->idx; |
144 | idxp_tmp = nodep->idx; |
145 | if (futex_trydown(&idxp_tmp->lock) == ESYNCH_WOULD_BLOCK) { |
145 | if (futex_trydown(&idxp_tmp->lock) == ESYNCH_WOULD_BLOCK) { |
146 | futex_up(&nodep->lock); |
146 | futex_up(&nodep->lock); |
147 | goto skip_cache; |
147 | goto skip_cache; |
148 | } |
148 | } |
149 | list_remove(&nodep->ffn_link); |
149 | list_remove(&nodep->ffn_link); |
150 | futex_up(&ffn_futex); |
150 | futex_up(&ffn_futex); |
151 | if (nodep->dirty) |
151 | if (nodep->dirty) |
152 | fat_node_sync(nodep); |
152 | fat_node_sync(nodep); |
153 | idxp_tmp->nodep = NULL; |
153 | idxp_tmp->nodep = NULL; |
154 | futex_up(&nodep->lock); |
154 | futex_up(&nodep->lock); |
155 | futex_up(&idxp_tmp->lock); |
155 | futex_up(&idxp_tmp->lock); |
156 | } else { |
156 | } else { |
157 | skip_cache: |
157 | skip_cache: |
158 | /* Try to allocate a new node structure. */ |
158 | /* Try to allocate a new node structure. */ |
159 | futex_up(&ffn_futex); |
159 | futex_up(&ffn_futex); |
160 | nodep = (fat_node_t *)malloc(sizeof(fat_node_t)); |
160 | nodep = (fat_node_t *)malloc(sizeof(fat_node_t)); |
161 | if (!nodep) |
161 | if (!nodep) |
162 | return NULL; |
162 | return NULL; |
163 | } |
163 | } |
164 | fat_node_initialize(nodep); |
164 | fat_node_initialize(nodep); |
165 | 165 | ||
166 | bs = block_bb_get(idxp->dev_handle); |
166 | bs = block_bb_get(idxp->dev_handle); |
167 | bps = uint16_t_le2host(bs->bps); |
167 | bps = uint16_t_le2host(bs->bps); |
168 | spc = bs->spc; |
168 | spc = bs->spc; |
169 | dps = bps / sizeof(fat_dentry_t); |
169 | dps = bps / sizeof(fat_dentry_t); |
170 | 170 | ||
171 | /* Read the block that contains the dentry of interest. */ |
171 | /* Read the block that contains the dentry of interest. */ |
172 | b = _fat_block_get(bs, idxp->dev_handle, idxp->pfc, |
172 | b = _fat_block_get(bs, idxp->dev_handle, idxp->pfc, |
173 | (idxp->pdi * sizeof(fat_dentry_t)) / bps); |
173 | (idxp->pdi * sizeof(fat_dentry_t)) / bps); |
174 | assert(b); |
174 | assert(b); |
175 | 175 | ||
176 | d = ((fat_dentry_t *)b->data) + (idxp->pdi % dps); |
176 | d = ((fat_dentry_t *)b->data) + (idxp->pdi % dps); |
177 | if (d->attr & FAT_ATTR_SUBDIR) { |
177 | if (d->attr & FAT_ATTR_SUBDIR) { |
178 | /* |
178 | /* |
179 | * The only directory which does not have this bit set is the |
179 | * The only directory which does not have this bit set is the |
180 | * root directory itself. The root directory node is handled |
180 | * root directory itself. The root directory node is handled |
181 | * and initialized elsewhere. |
181 | * and initialized elsewhere. |
182 | */ |
182 | */ |
183 | nodep->type = FAT_DIRECTORY; |
183 | nodep->type = FAT_DIRECTORY; |
184 | /* |
184 | /* |
185 | * Unfortunately, the 'size' field of the FAT dentry is not |
185 | * Unfortunately, the 'size' field of the FAT dentry is not |
186 | * defined for the directory entry type. We must determine the |
186 | * defined for the directory entry type. We must determine the |
187 | * size of the directory by walking the FAT. |
187 | * size of the directory by walking the FAT. |
188 | */ |
188 | */ |
189 | nodep->size = bps * spc * fat_clusters_get(bs, idxp->dev_handle, |
189 | nodep->size = bps * spc * fat_clusters_get(bs, idxp->dev_handle, |
190 | uint16_t_le2host(d->firstc)); |
190 | uint16_t_le2host(d->firstc)); |
191 | } else { |
191 | } else { |
192 | nodep->type = FAT_FILE; |
192 | nodep->type = FAT_FILE; |
193 | nodep->size = uint32_t_le2host(d->size); |
193 | nodep->size = uint32_t_le2host(d->size); |
194 | } |
194 | } |
195 | nodep->firstc = uint16_t_le2host(d->firstc); |
195 | nodep->firstc = uint16_t_le2host(d->firstc); |
196 | nodep->lnkcnt = 1; |
196 | nodep->lnkcnt = 1; |
197 | nodep->refcnt = 1; |
197 | nodep->refcnt = 1; |
198 | 198 | ||
199 | block_put(b); |
199 | block_put(b); |
200 | 200 | ||
201 | /* Link the idx structure with the node structure. */ |
201 | /* Link the idx structure with the node structure. */ |
202 | nodep->idx = idxp; |
202 | nodep->idx = idxp; |
203 | idxp->nodep = nodep; |
203 | idxp->nodep = nodep; |
204 | 204 | ||
205 | return nodep; |
205 | return nodep; |
206 | } |
206 | } |
207 | 207 | ||
208 | /** Instantiate a FAT in-core node. */ |
208 | /** Instantiate a FAT in-core node. */ |
209 | static void *fat_node_get(dev_handle_t dev_handle, fs_index_t index) |
209 | static void *fat_node_get(dev_handle_t dev_handle, fs_index_t index) |
210 | { |
210 | { |
211 | void *node; |
211 | void *node; |
212 | fat_idx_t *idxp; |
212 | fat_idx_t *idxp; |
213 | 213 | ||
214 | idxp = fat_idx_get_by_index(dev_handle, index); |
214 | idxp = fat_idx_get_by_index(dev_handle, index); |
215 | if (!idxp) |
215 | if (!idxp) |
216 | return NULL; |
216 | return NULL; |
217 | /* idxp->lock held */ |
217 | /* idxp->lock held */ |
218 | node = fat_node_get_core(idxp); |
218 | node = fat_node_get_core(idxp); |
219 | futex_up(&idxp->lock); |
219 | futex_up(&idxp->lock); |
220 | return node; |
220 | return node; |
221 | } |
221 | } |
222 | 222 | ||
223 | static void fat_node_put(void *node) |
223 | static void fat_node_put(void *node) |
224 | { |
224 | { |
225 | fat_node_t *nodep = (fat_node_t *)node; |
225 | fat_node_t *nodep = (fat_node_t *)node; |
226 | 226 | ||
227 | futex_down(&nodep->lock); |
227 | futex_down(&nodep->lock); |
228 | if (!--nodep->refcnt) { |
228 | if (!--nodep->refcnt) { |
229 | futex_down(&ffn_futex); |
229 | futex_down(&ffn_futex); |
230 | list_append(&nodep->ffn_link, &ffn_head); |
230 | list_append(&nodep->ffn_link, &ffn_head); |
231 | futex_up(&ffn_futex); |
231 | futex_up(&ffn_futex); |
232 | } |
232 | } |
233 | futex_up(&nodep->lock); |
233 | futex_up(&nodep->lock); |
234 | } |
234 | } |
235 | 235 | ||
236 | static void *fat_create(int flags) |
236 | static void *fat_create(int flags) |
237 | { |
237 | { |
238 | return NULL; /* not supported at the moment */ |
238 | return NULL; /* not supported at the moment */ |
239 | } |
239 | } |
240 | 240 | ||
241 | static int fat_destroy(void *node) |
241 | static int fat_destroy(void *node) |
242 | { |
242 | { |
243 | return ENOTSUP; /* not supported at the moment */ |
243 | return ENOTSUP; /* not supported at the moment */ |
244 | } |
244 | } |
245 | 245 | ||
246 | static bool fat_link(void *prnt, void *chld, const char *name) |
246 | static bool fat_link(void *prnt, void *chld, const char *name) |
247 | { |
247 | { |
248 | return false; /* not supported at the moment */ |
248 | return false; /* not supported at the moment */ |
249 | } |
249 | } |
250 | 250 | ||
251 | static int fat_unlink(void *prnt, void *chld) |
251 | static int fat_unlink(void *prnt, void *chld) |
252 | { |
252 | { |
253 | return ENOTSUP; /* not supported at the moment */ |
253 | return ENOTSUP; /* not supported at the moment */ |
254 | } |
254 | } |
255 | 255 | ||
256 | static void *fat_match(void *prnt, const char *component) |
256 | static void *fat_match(void *prnt, const char *component) |
257 | { |
257 | { |
258 | fat_bs_t *bs; |
258 | fat_bs_t *bs; |
259 | fat_node_t *parentp = (fat_node_t *)prnt; |
259 | fat_node_t *parentp = (fat_node_t *)prnt; |
260 | char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1]; |
260 | char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1]; |
261 | unsigned i, j; |
261 | unsigned i, j; |
262 | unsigned bps; /* bytes per sector */ |
262 | unsigned bps; /* bytes per sector */ |
263 | unsigned dps; /* dentries per sector */ |
263 | unsigned dps; /* dentries per sector */ |
264 | unsigned blocks; |
264 | unsigned blocks; |
265 | fat_dentry_t *d; |
265 | fat_dentry_t *d; |
266 | block_t *b; |
266 | block_t *b; |
267 | 267 | ||
268 | futex_down(&parentp->idx->lock); |
268 | futex_down(&parentp->idx->lock); |
269 | bs = block_bb_get(parentp->idx->dev_handle); |
269 | bs = block_bb_get(parentp->idx->dev_handle); |
270 | bps = uint16_t_le2host(bs->bps); |
270 | bps = uint16_t_le2host(bs->bps); |
271 | dps = bps / sizeof(fat_dentry_t); |
271 | dps = bps / sizeof(fat_dentry_t); |
272 | blocks = parentp->size / bps; |
272 | blocks = parentp->size / bps; |
273 | for (i = 0; i < blocks; i++) { |
273 | for (i = 0; i < blocks; i++) { |
274 | b = fat_block_get(bs, parentp, i); |
274 | b = fat_block_get(bs, parentp, i); |
275 | for (j = 0; j < dps; j++) { |
275 | for (j = 0; j < dps; j++) { |
276 | d = ((fat_dentry_t *)b->data) + j; |
276 | d = ((fat_dentry_t *)b->data) + j; |
277 | switch (fat_classify_dentry(d)) { |
277 | switch (fat_classify_dentry(d)) { |
278 | case FAT_DENTRY_SKIP: |
278 | case FAT_DENTRY_SKIP: |
279 | continue; |
279 | continue; |
280 | case FAT_DENTRY_LAST: |
280 | case FAT_DENTRY_LAST: |
281 | block_put(b); |
281 | block_put(b); |
282 | futex_up(&parentp->idx->lock); |
282 | futex_up(&parentp->idx->lock); |
283 | return NULL; |
283 | return NULL; |
284 | default: |
284 | default: |
285 | case FAT_DENTRY_VALID: |
285 | case FAT_DENTRY_VALID: |
286 | dentry_name_canonify(d, name); |
286 | dentry_name_canonify(d, name); |
287 | break; |
287 | break; |
288 | } |
288 | } |
289 | if (stricmp(name, component) == 0) { |
289 | if (stricmp(name, component) == 0) { |
290 | /* hit */ |
290 | /* hit */ |
291 | void *node; |
291 | void *node; |
292 | /* |
292 | /* |
293 | * Assume tree hierarchy for locking. We |
293 | * Assume tree hierarchy for locking. We |
294 | * already have the parent and now we are going |
294 | * already have the parent and now we are going |
295 | * to lock the child. Never lock in the oposite |
295 | * to lock the child. Never lock in the oposite |
296 | * order. |
296 | * order. |
297 | */ |
297 | */ |
298 | fat_idx_t *idx = fat_idx_get_by_pos( |
298 | fat_idx_t *idx = fat_idx_get_by_pos( |
299 | parentp->idx->dev_handle, parentp->firstc, |
299 | parentp->idx->dev_handle, parentp->firstc, |
300 | i * dps + j); |
300 | i * dps + j); |
301 | futex_up(&parentp->idx->lock); |
301 | futex_up(&parentp->idx->lock); |
302 | if (!idx) { |
302 | if (!idx) { |
303 | /* |
303 | /* |
304 | * Can happen if memory is low or if we |
304 | * Can happen if memory is low or if we |
305 | * run out of 32-bit indices. |
305 | * run out of 32-bit indices. |
306 | */ |
306 | */ |
307 | block_put(b); |
307 | block_put(b); |
308 | return NULL; |
308 | return NULL; |
309 | } |
309 | } |
310 | node = fat_node_get_core(idx); |
310 | node = fat_node_get_core(idx); |
311 | futex_up(&idx->lock); |
311 | futex_up(&idx->lock); |
312 | block_put(b); |
312 | block_put(b); |
313 | return node; |
313 | return node; |
314 | } |
314 | } |
315 | } |
315 | } |
316 | block_put(b); |
316 | block_put(b); |
317 | } |
317 | } |
318 | 318 | ||
319 | futex_up(&parentp->idx->lock); |
319 | futex_up(&parentp->idx->lock); |
320 | return NULL; |
320 | return NULL; |
321 | } |
321 | } |
322 | 322 | ||
323 | static fs_index_t fat_index_get(void *node) |
323 | static fs_index_t fat_index_get(void *node) |
324 | { |
324 | { |
325 | fat_node_t *fnodep = (fat_node_t *)node; |
325 | fat_node_t *fnodep = (fat_node_t *)node; |
326 | if (!fnodep) |
326 | if (!fnodep) |
327 | return 0; |
327 | return 0; |
328 | return fnodep->idx->index; |
328 | return fnodep->idx->index; |
329 | } |
329 | } |
330 | 330 | ||
331 | static size_t fat_size_get(void *node) |
331 | static size_t fat_size_get(void *node) |
332 | { |
332 | { |
333 | return ((fat_node_t *)node)->size; |
333 | return ((fat_node_t *)node)->size; |
334 | } |
334 | } |
335 | 335 | ||
336 | static unsigned fat_lnkcnt_get(void *node) |
336 | static unsigned fat_lnkcnt_get(void *node) |
337 | { |
337 | { |
338 | return ((fat_node_t *)node)->lnkcnt; |
338 | return ((fat_node_t *)node)->lnkcnt; |
339 | } |
339 | } |
340 | 340 | ||
341 | static bool fat_has_children(void *node) |
341 | static bool fat_has_children(void *node) |
342 | { |
342 | { |
343 | fat_bs_t *bs; |
343 | fat_bs_t *bs; |
344 | fat_node_t *nodep = (fat_node_t *)node; |
344 | fat_node_t *nodep = (fat_node_t *)node; |
345 | unsigned bps; |
345 | unsigned bps; |
346 | unsigned dps; |
346 | unsigned dps; |
347 | unsigned blocks; |
347 | unsigned blocks; |
348 | block_t *b; |
348 | block_t *b; |
349 | unsigned i, j; |
349 | unsigned i, j; |
350 | 350 | ||
351 | if (nodep->type != FAT_DIRECTORY) |
351 | if (nodep->type != FAT_DIRECTORY) |
352 | return false; |
352 | return false; |
353 | 353 | ||
354 | futex_down(&nodep->idx->lock); |
354 | futex_down(&nodep->idx->lock); |
355 | bs = block_bb_get(nodep->idx->dev_handle); |
355 | bs = block_bb_get(nodep->idx->dev_handle); |
356 | bps = uint16_t_le2host(bs->bps); |
356 | bps = uint16_t_le2host(bs->bps); |
357 | dps = bps / sizeof(fat_dentry_t); |
357 | dps = bps / sizeof(fat_dentry_t); |
358 | 358 | ||
359 | blocks = nodep->size / bps; |
359 | blocks = nodep->size / bps; |
360 | 360 | ||
361 | for (i = 0; i < blocks; i++) { |
361 | for (i = 0; i < blocks; i++) { |
362 | fat_dentry_t *d; |
362 | fat_dentry_t *d; |
363 | 363 | ||
364 | b = fat_block_get(bs, nodep, i); |
364 | b = fat_block_get(bs, nodep, i); |
365 | for (j = 0; j < dps; j++) { |
365 | for (j = 0; j < dps; j++) { |
366 | d = ((fat_dentry_t *)b->data) + j; |
366 | d = ((fat_dentry_t *)b->data) + j; |
367 | switch (fat_classify_dentry(d)) { |
367 | switch (fat_classify_dentry(d)) { |
368 | case FAT_DENTRY_SKIP: |
368 | case FAT_DENTRY_SKIP: |
369 | continue; |
369 | continue; |
370 | case FAT_DENTRY_LAST: |
370 | case FAT_DENTRY_LAST: |
371 | block_put(b); |
371 | block_put(b); |
372 | futex_up(&nodep->idx->lock); |
372 | futex_up(&nodep->idx->lock); |
373 | return false; |
373 | return false; |
374 | default: |
374 | default: |
375 | case FAT_DENTRY_VALID: |
375 | case FAT_DENTRY_VALID: |
376 | block_put(b); |
376 | block_put(b); |
377 | futex_up(&nodep->idx->lock); |
377 | futex_up(&nodep->idx->lock); |
378 | return true; |
378 | return true; |
379 | } |
379 | } |
380 | block_put(b); |
380 | block_put(b); |
381 | futex_up(&nodep->idx->lock); |
381 | futex_up(&nodep->idx->lock); |
382 | return true; |
382 | return true; |
383 | } |
383 | } |
384 | block_put(b); |
384 | block_put(b); |
385 | } |
385 | } |
386 | 386 | ||
387 | futex_up(&nodep->idx->lock); |
387 | futex_up(&nodep->idx->lock); |
388 | return false; |
388 | return false; |
389 | } |
389 | } |
390 | 390 | ||
391 | static void *fat_root_get(dev_handle_t dev_handle) |
391 | static void *fat_root_get(dev_handle_t dev_handle) |
392 | { |
392 | { |
393 | return fat_node_get(dev_handle, 0); |
393 | return fat_node_get(dev_handle, 0); |
394 | } |
394 | } |
395 | 395 | ||
396 | static char fat_plb_get_char(unsigned pos) |
396 | static char fat_plb_get_char(unsigned pos) |
397 | { |
397 | { |
398 | return fat_reg.plb_ro[pos % PLB_SIZE]; |
398 | return fat_reg.plb_ro[pos % PLB_SIZE]; |
399 | } |
399 | } |
400 | 400 | ||
401 | static bool fat_is_directory(void *node) |
401 | static bool fat_is_directory(void *node) |
402 | { |
402 | { |
403 | return ((fat_node_t *)node)->type == FAT_DIRECTORY; |
403 | return ((fat_node_t *)node)->type == FAT_DIRECTORY; |
404 | } |
404 | } |
405 | 405 | ||
406 | static bool fat_is_file(void *node) |
406 | static bool fat_is_file(void *node) |
407 | { |
407 | { |
408 | return ((fat_node_t *)node)->type == FAT_FILE; |
408 | return ((fat_node_t *)node)->type == FAT_FILE; |
409 | } |
409 | } |
410 | 410 | ||
411 | /** libfs operations */ |
411 | /** libfs operations */ |
412 | libfs_ops_t fat_libfs_ops = { |
412 | libfs_ops_t fat_libfs_ops = { |
413 | .match = fat_match, |
413 | .match = fat_match, |
414 | .node_get = fat_node_get, |
414 | .node_get = fat_node_get, |
415 | .node_put = fat_node_put, |
415 | .node_put = fat_node_put, |
416 | .create = fat_create, |
416 | .create = fat_create, |
417 | .destroy = fat_destroy, |
417 | .destroy = fat_destroy, |
418 | .link = fat_link, |
418 | .link = fat_link, |
419 | .unlink = fat_unlink, |
419 | .unlink = fat_unlink, |
420 | .index_get = fat_index_get, |
420 | .index_get = fat_index_get, |
421 | .size_get = fat_size_get, |
421 | .size_get = fat_size_get, |
422 | .lnkcnt_get = fat_lnkcnt_get, |
422 | .lnkcnt_get = fat_lnkcnt_get, |
423 | .has_children = fat_has_children, |
423 | .has_children = fat_has_children, |
424 | .root_get = fat_root_get, |
424 | .root_get = fat_root_get, |
425 | .plb_get_char = fat_plb_get_char, |
425 | .plb_get_char = fat_plb_get_char, |
426 | .is_directory = fat_is_directory, |
426 | .is_directory = fat_is_directory, |
427 | .is_file = fat_is_file |
427 | .is_file = fat_is_file |
428 | }; |
428 | }; |
429 | 429 | ||
430 | void fat_mounted(ipc_callid_t rid, ipc_call_t *request) |
430 | void fat_mounted(ipc_callid_t rid, ipc_call_t *request) |
431 | { |
431 | { |
432 | dev_handle_t dev_handle = (dev_handle_t) IPC_GET_ARG1(*request); |
432 | dev_handle_t dev_handle = (dev_handle_t) IPC_GET_ARG1(*request); |
433 | fat_bs_t *bs; |
433 | fat_bs_t *bs; |
434 | uint16_t bps; |
434 | uint16_t bps; |
435 | uint16_t rde; |
435 | uint16_t rde; |
436 | int rc; |
436 | int rc; |
437 | 437 | ||
438 | /* initialize libblock */ |
438 | /* initialize libblock */ |
439 | rc = block_init(dev_handle, BS_SIZE); |
439 | rc = block_init(dev_handle, BS_SIZE); |
440 | if (rc != EOK) { |
440 | if (rc != EOK) { |
441 | ipc_answer_0(rid, rc); |
441 | ipc_answer_0(rid, rc); |
442 | return; |
442 | return; |
443 | } |
443 | } |
444 | 444 | ||
445 | /* prepare the boot block */ |
445 | /* prepare the boot block */ |
446 | rc = block_bb_read(dev_handle, BS_BLOCK * BS_SIZE, BS_SIZE); |
446 | rc = block_bb_read(dev_handle, BS_BLOCK * BS_SIZE, BS_SIZE); |
447 | if (rc != EOK) { |
447 | if (rc != EOK) { |
448 | block_fini(dev_handle); |
448 | block_fini(dev_handle); |
449 | ipc_answer_0(rid, rc); |
449 | ipc_answer_0(rid, rc); |
450 | return; |
450 | return; |
451 | } |
451 | } |
452 | 452 | ||
453 | /* get the buffer with the boot sector */ |
453 | /* get the buffer with the boot sector */ |
454 | bs = block_bb_get(dev_handle); |
454 | bs = block_bb_get(dev_handle); |
455 | 455 | ||
456 | /* Read the number of root directory entries. */ |
456 | /* Read the number of root directory entries. */ |
457 | bps = uint16_t_le2host(bs->bps); |
457 | bps = uint16_t_le2host(bs->bps); |
458 | rde = uint16_t_le2host(bs->root_ent_max); |
458 | rde = uint16_t_le2host(bs->root_ent_max); |
459 | 459 | ||
460 | if (bps != BS_SIZE) { |
460 | if (bps != BS_SIZE) { |
461 | block_fini(dev_handle); |
461 | block_fini(dev_handle); |
462 | ipc_answer_0(rid, ENOTSUP); |
462 | ipc_answer_0(rid, ENOTSUP); |
463 | return; |
463 | return; |
464 | } |
464 | } |
465 | 465 | ||
466 | /* Initialize the block cache */ |
466 | /* Initialize the block cache */ |
467 | rc = block_cache_init(dev_handle, bps, 0 /* XXX */); |
467 | rc = block_cache_init(dev_handle, bps, 0 /* XXX */); |
468 | if (rc != EOK) { |
468 | if (rc != EOK) { |
469 | block_fini(dev_handle); |
469 | block_fini(dev_handle); |
470 | ipc_answer_0(rid, rc); |
470 | ipc_answer_0(rid, rc); |
471 | return; |
471 | return; |
472 | } |
472 | } |
473 | 473 | ||
474 | rc = fat_idx_init_by_dev_handle(dev_handle); |
474 | rc = fat_idx_init_by_dev_handle(dev_handle); |
475 | if (rc != EOK) { |
475 | if (rc != EOK) { |
476 | block_fini(dev_handle); |
476 | block_fini(dev_handle); |
477 | ipc_answer_0(rid, rc); |
477 | ipc_answer_0(rid, rc); |
478 | return; |
478 | return; |
479 | } |
479 | } |
480 | 480 | ||
481 | /* Initialize the root node. */ |
481 | /* Initialize the root node. */ |
482 | fat_node_t *rootp = (fat_node_t *)malloc(sizeof(fat_node_t)); |
482 | fat_node_t *rootp = (fat_node_t *)malloc(sizeof(fat_node_t)); |
483 | if (!rootp) { |
483 | if (!rootp) { |
484 | block_fini(dev_handle); |
484 | block_fini(dev_handle); |
485 | fat_idx_fini_by_dev_handle(dev_handle); |
485 | fat_idx_fini_by_dev_handle(dev_handle); |
486 | ipc_answer_0(rid, ENOMEM); |
486 | ipc_answer_0(rid, ENOMEM); |
487 | return; |
487 | return; |
488 | } |
488 | } |
489 | fat_node_initialize(rootp); |
489 | fat_node_initialize(rootp); |
490 | 490 | ||
491 | fat_idx_t *ridxp = fat_idx_get_by_pos(dev_handle, FAT_CLST_ROOTPAR, 0); |
491 | fat_idx_t *ridxp = fat_idx_get_by_pos(dev_handle, FAT_CLST_ROOTPAR, 0); |
492 | if (!ridxp) { |
492 | if (!ridxp) { |
493 | block_fini(dev_handle); |
493 | block_fini(dev_handle); |
494 | free(rootp); |
494 | free(rootp); |
495 | fat_idx_fini_by_dev_handle(dev_handle); |
495 | fat_idx_fini_by_dev_handle(dev_handle); |
496 | ipc_answer_0(rid, ENOMEM); |
496 | ipc_answer_0(rid, ENOMEM); |
497 | return; |
497 | return; |
498 | } |
498 | } |
499 | assert(ridxp->index == 0); |
499 | assert(ridxp->index == 0); |
500 | /* ridxp->lock held */ |
500 | /* ridxp->lock held */ |
501 | 501 | ||
502 | rootp->type = FAT_DIRECTORY; |
502 | rootp->type = FAT_DIRECTORY; |
503 | rootp->firstc = FAT_CLST_ROOT; |
503 | rootp->firstc = FAT_CLST_ROOT; |
504 | rootp->refcnt = 1; |
504 | rootp->refcnt = 1; |
505 | rootp->lnkcnt = 0; /* FS root is not linked */ |
505 | rootp->lnkcnt = 0; /* FS root is not linked */ |
506 | rootp->size = rde * sizeof(fat_dentry_t); |
506 | rootp->size = rde * sizeof(fat_dentry_t); |
507 | rootp->idx = ridxp; |
507 | rootp->idx = ridxp; |
508 | ridxp->nodep = rootp; |
508 | ridxp->nodep = rootp; |
509 | 509 | ||
510 | futex_up(&ridxp->lock); |
510 | futex_up(&ridxp->lock); |
511 | 511 | ||
512 | ipc_answer_3(rid, EOK, ridxp->index, rootp->size, rootp->lnkcnt); |
512 | ipc_answer_3(rid, EOK, ridxp->index, rootp->size, rootp->lnkcnt); |
513 | } |
513 | } |
514 | 514 | ||
515 | void fat_mount(ipc_callid_t rid, ipc_call_t *request) |
515 | void fat_mount(ipc_callid_t rid, ipc_call_t *request) |
516 | { |
516 | { |
517 | ipc_answer_0(rid, ENOTSUP); |
517 | ipc_answer_0(rid, ENOTSUP); |
518 | } |
518 | } |
519 | 519 | ||
520 | void fat_lookup(ipc_callid_t rid, ipc_call_t *request) |
520 | void fat_lookup(ipc_callid_t rid, ipc_call_t *request) |
521 | { |
521 | { |
522 | libfs_lookup(&fat_libfs_ops, fat_reg.fs_handle, rid, request); |
522 | libfs_lookup(&fat_libfs_ops, fat_reg.fs_handle, rid, request); |
523 | } |
523 | } |
524 | 524 | ||
525 | void fat_read(ipc_callid_t rid, ipc_call_t *request) |
525 | void fat_read(ipc_callid_t rid, ipc_call_t *request) |
526 | { |
526 | { |
527 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
527 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
528 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
528 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
529 | off_t pos = (off_t)IPC_GET_ARG3(*request); |
529 | off_t pos = (off_t)IPC_GET_ARG3(*request); |
530 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
530 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
531 | fat_bs_t *bs; |
531 | fat_bs_t *bs; |
532 | uint16_t bps; |
532 | uint16_t bps; |
533 | size_t bytes; |
533 | size_t bytes; |
534 | block_t *b; |
534 | block_t *b; |
535 | 535 | ||
536 | if (!nodep) { |
536 | if (!nodep) { |
537 | ipc_answer_0(rid, ENOENT); |
537 | ipc_answer_0(rid, ENOENT); |
538 | return; |
538 | return; |
539 | } |
539 | } |
540 | 540 | ||
541 | ipc_callid_t callid; |
541 | ipc_callid_t callid; |
542 | size_t len; |
542 | size_t len; |
543 | if (!ipc_data_read_receive(&callid, &len)) { |
543 | if (!ipc_data_read_receive(&callid, &len)) { |
544 | fat_node_put(nodep); |
544 | fat_node_put(nodep); |
545 | ipc_answer_0(callid, EINVAL); |
545 | ipc_answer_0(callid, EINVAL); |
546 | ipc_answer_0(rid, EINVAL); |
546 | ipc_answer_0(rid, EINVAL); |
547 | return; |
547 | return; |
548 | } |
548 | } |
549 | 549 | ||
550 | bs = block_bb_get(dev_handle); |
550 | bs = block_bb_get(dev_handle); |
551 | bps = uint16_t_le2host(bs->bps); |
551 | bps = uint16_t_le2host(bs->bps); |
552 | 552 | ||
553 | if (nodep->type == FAT_FILE) { |
553 | if (nodep->type == FAT_FILE) { |
554 | /* |
554 | /* |
555 | * Our strategy for regular file reads is to read one block at |
555 | * Our strategy for regular file reads is to read one block at |
556 | * most and make use of the possibility to return less data than |
556 | * most and make use of the possibility to return less data than |
557 | * requested. This keeps the code very simple. |
557 | * requested. This keeps the code very simple. |
558 | */ |
558 | */ |
559 | if (pos >= nodep->size) { |
559 | if (pos >= nodep->size) { |
560 | /* reading beyond the EOF */ |
560 | /* reading beyond the EOF */ |
561 | bytes = 0; |
561 | bytes = 0; |
562 | (void) ipc_data_read_finalize(callid, NULL, 0); |
562 | (void) ipc_data_read_finalize(callid, NULL, 0); |
563 | } else { |
563 | } else { |
564 | bytes = min(len, bps - pos % bps); |
564 | bytes = min(len, bps - pos % bps); |
565 | bytes = min(bytes, nodep->size - pos); |
565 | bytes = min(bytes, nodep->size - pos); |
566 | b = fat_block_get(bs, nodep, pos / bps); |
566 | b = fat_block_get(bs, nodep, pos / bps); |
567 | (void) ipc_data_read_finalize(callid, b->data + pos % bps, |
567 | (void) ipc_data_read_finalize(callid, b->data + pos % bps, |
568 | bytes); |
568 | bytes); |
569 | block_put(b); |
569 | block_put(b); |
570 | } |
570 | } |
571 | } else { |
571 | } else { |
572 | unsigned bnum; |
572 | unsigned bnum; |
573 | off_t spos = pos; |
573 | off_t spos = pos; |
574 | char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1]; |
574 | char name[FAT_NAME_LEN + 1 + FAT_EXT_LEN + 1]; |
575 | fat_dentry_t *d; |
575 | fat_dentry_t *d; |
576 | 576 | ||
577 | assert(nodep->type == FAT_DIRECTORY); |
577 | assert(nodep->type == FAT_DIRECTORY); |
578 | assert(nodep->size % bps == 0); |
578 | assert(nodep->size % bps == 0); |
579 | assert(bps % sizeof(fat_dentry_t) == 0); |
579 | assert(bps % sizeof(fat_dentry_t) == 0); |
580 | 580 | ||
581 | /* |
581 | /* |
582 | * Our strategy for readdir() is to use the position pointer as |
582 | * Our strategy for readdir() is to use the position pointer as |
583 | * an index into the array of all dentries. On entry, it points |
583 | * an index into the array of all dentries. On entry, it points |
584 | * to the first unread dentry. If we skip any dentries, we bump |
584 | * to the first unread dentry. If we skip any dentries, we bump |
585 | * the position pointer accordingly. |
585 | * the position pointer accordingly. |
586 | */ |
586 | */ |
587 | bnum = (pos * sizeof(fat_dentry_t)) / bps; |
587 | bnum = (pos * sizeof(fat_dentry_t)) / bps; |
588 | while (bnum < nodep->size / bps) { |
588 | while (bnum < nodep->size / bps) { |
589 | off_t o; |
589 | off_t o; |
590 | 590 | ||
591 | b = fat_block_get(bs, nodep, bnum); |
591 | b = fat_block_get(bs, nodep, bnum); |
592 | for (o = pos % (bps / sizeof(fat_dentry_t)); |
592 | for (o = pos % (bps / sizeof(fat_dentry_t)); |
593 | o < bps / sizeof(fat_dentry_t); |
593 | o < bps / sizeof(fat_dentry_t); |
594 | o++, pos++) { |
594 | o++, pos++) { |
595 | d = ((fat_dentry_t *)b->data) + o; |
595 | d = ((fat_dentry_t *)b->data) + o; |
596 | switch (fat_classify_dentry(d)) { |
596 | switch (fat_classify_dentry(d)) { |
597 | case FAT_DENTRY_SKIP: |
597 | case FAT_DENTRY_SKIP: |
598 | continue; |
598 | continue; |
599 | case FAT_DENTRY_LAST: |
599 | case FAT_DENTRY_LAST: |
600 | block_put(b); |
600 | block_put(b); |
601 | goto miss; |
601 | goto miss; |
602 | default: |
602 | default: |
603 | case FAT_DENTRY_VALID: |
603 | case FAT_DENTRY_VALID: |
604 | dentry_name_canonify(d, name); |
604 | dentry_name_canonify(d, name); |
605 | block_put(b); |
605 | block_put(b); |
606 | goto hit; |
606 | goto hit; |
607 | } |
607 | } |
608 | } |
608 | } |
609 | block_put(b); |
609 | block_put(b); |
610 | bnum++; |
610 | bnum++; |
611 | } |
611 | } |
612 | miss: |
612 | miss: |
613 | fat_node_put(nodep); |
613 | fat_node_put(nodep); |
614 | ipc_answer_0(callid, ENOENT); |
614 | ipc_answer_0(callid, ENOENT); |
615 | ipc_answer_1(rid, ENOENT, 0); |
615 | ipc_answer_1(rid, ENOENT, 0); |
616 | return; |
616 | return; |
617 | hit: |
617 | hit: |
618 | (void) ipc_data_read_finalize(callid, name, strlen(name) + 1); |
618 | (void) ipc_data_read_finalize(callid, name, strlen(name) + 1); |
619 | bytes = (pos - spos) + 1; |
619 | bytes = (pos - spos) + 1; |
620 | } |
620 | } |
621 | 621 | ||
622 | fat_node_put(nodep); |
622 | fat_node_put(nodep); |
623 | ipc_answer_1(rid, EOK, (ipcarg_t)bytes); |
623 | ipc_answer_1(rid, EOK, (ipcarg_t)bytes); |
624 | } |
624 | } |
625 | 625 | ||
626 | void fat_write(ipc_callid_t rid, ipc_call_t *request) |
626 | void fat_write(ipc_callid_t rid, ipc_call_t *request) |
627 | { |
627 | { |
628 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
628 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
629 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
629 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
630 | off_t pos = (off_t)IPC_GET_ARG3(*request); |
630 | off_t pos = (off_t)IPC_GET_ARG3(*request); |
631 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
631 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
632 | fat_bs_t *bs; |
632 | fat_bs_t *bs; |
633 | size_t bytes; |
633 | size_t bytes; |
634 | block_t *b; |
634 | block_t *b; |
635 | uint16_t bps; |
635 | uint16_t bps; |
636 | unsigned spc; |
636 | unsigned spc; |
637 | unsigned bpc; /* bytes per cluster */ |
637 | unsigned bpc; /* bytes per cluster */ |
638 | off_t boundary; |
638 | off_t boundary; |
639 | 639 | ||
640 | if (!nodep) { |
640 | if (!nodep) { |
641 | ipc_answer_0(rid, ENOENT); |
641 | ipc_answer_0(rid, ENOENT); |
642 | return; |
642 | return; |
643 | } |
643 | } |
644 | 644 | ||
645 | ipc_callid_t callid; |
645 | ipc_callid_t callid; |
646 | size_t len; |
646 | size_t len; |
647 | if (!ipc_data_write_receive(&callid, &len)) { |
647 | if (!ipc_data_write_receive(&callid, &len)) { |
648 | fat_node_put(nodep); |
648 | fat_node_put(nodep); |
649 | ipc_answer_0(callid, EINVAL); |
649 | ipc_answer_0(callid, EINVAL); |
650 | ipc_answer_0(rid, EINVAL); |
650 | ipc_answer_0(rid, EINVAL); |
651 | return; |
651 | return; |
652 | } |
652 | } |
653 | 653 | ||
654 | bs = block_bb_get(dev_handle); |
654 | bs = block_bb_get(dev_handle); |
655 | bps = uint16_t_le2host(bs->bps); |
655 | bps = uint16_t_le2host(bs->bps); |
656 | spc = bs->spc; |
656 | spc = bs->spc; |
657 | bpc = bps * spc; |
657 | bpc = bps * spc; |
658 | 658 | ||
659 | /* |
659 | /* |
660 | * In all scenarios, we will attempt to write out only one block worth |
660 | * In all scenarios, we will attempt to write out only one block worth |
661 | * of data at maximum. There might be some more efficient approaches, |
661 | * of data at maximum. There might be some more efficient approaches, |
662 | * but this one greatly simplifies fat_write(). Note that we can afford |
662 | * but this one greatly simplifies fat_write(). Note that we can afford |
663 | * to do this because the client must be ready to handle the return |
663 | * to do this because the client must be ready to handle the return |
664 | * value signalizing a smaller number of bytes written. |
664 | * value signalizing a smaller number of bytes written. |
665 | */ |
665 | */ |
666 | bytes = min(len, bps - pos % bps); |
666 | bytes = min(len, bps - pos % bps); |
667 | 667 | ||
668 | boundary = ROUND_UP(nodep->size, bpc); |
668 | boundary = ROUND_UP(nodep->size, bpc); |
669 | if (pos < boundary) { |
669 | if (pos < boundary) { |
670 | /* |
670 | /* |
671 | * This is the easier case - we are either overwriting already |
671 | * This is the easier case - we are either overwriting already |
672 | * existing contents or writing behind the EOF, but still within |
672 | * existing contents or writing behind the EOF, but still within |
673 | * the limits of the last cluster. The node size may grow to the |
673 | * the limits of the last cluster. The node size may grow to the |
674 | * next block size boundary. |
674 | * next block size boundary. |
675 | */ |
675 | */ |
676 | fat_fill_gap(bs, nodep, FAT_CLST_RES0, pos); |
676 | fat_fill_gap(bs, nodep, FAT_CLST_RES0, pos); |
677 | b = fat_block_get(bs, nodep, pos / bps); |
677 | b = fat_block_get(bs, nodep, pos / bps); |
678 | (void) ipc_data_write_finalize(callid, b->data + pos % bps, |
678 | (void) ipc_data_write_finalize(callid, b->data + pos % bps, |
679 | bytes); |
679 | bytes); |
680 | b->dirty = true; /* need to sync block */ |
680 | b->dirty = true; /* need to sync block */ |
681 | block_put(b); |
681 | block_put(b); |
682 | if (pos + bytes > nodep->size) { |
682 | if (pos + bytes > nodep->size) { |
683 | nodep->size = pos + bytes; |
683 | nodep->size = pos + bytes; |
684 | nodep->dirty = true; /* need to sync node */ |
684 | nodep->dirty = true; /* need to sync node */ |
685 | } |
685 | } |
- | 686 | ipc_answer_2(rid, EOK, bytes, nodep->size); |
|
686 | fat_node_put(nodep); |
687 | fat_node_put(nodep); |
687 | ipc_answer_1(rid, EOK, bytes); |
- | |
688 | return; |
688 | return; |
689 | } else { |
689 | } else { |
690 | /* |
690 | /* |
691 | * This is the more difficult case. We must allocate new |
691 | * This is the more difficult case. We must allocate new |
692 | * clusters for the node and zero them out. |
692 | * clusters for the node and zero them out. |
693 | */ |
693 | */ |
694 | int status; |
694 | int status; |
695 | unsigned nclsts; |
695 | unsigned nclsts; |
696 | fat_cluster_t mcl, lcl; |
696 | fat_cluster_t mcl, lcl; |
697 | 697 | ||
698 | nclsts = (ROUND_UP(pos + bytes, bpc) - boundary) / bpc; |
698 | nclsts = (ROUND_UP(pos + bytes, bpc) - boundary) / bpc; |
699 | /* create an independent chain of nclsts clusters in all FATs */ |
699 | /* create an independent chain of nclsts clusters in all FATs */ |
700 | status = fat_alloc_clusters(bs, dev_handle, nclsts, &mcl, &lcl); |
700 | status = fat_alloc_clusters(bs, dev_handle, nclsts, &mcl, &lcl); |
701 | if (status != EOK) { |
701 | if (status != EOK) { |
702 | /* could not allocate a chain of nclsts clusters */ |
702 | /* could not allocate a chain of nclsts clusters */ |
703 | fat_node_put(nodep); |
703 | fat_node_put(nodep); |
704 | ipc_answer_0(callid, status); |
704 | ipc_answer_0(callid, status); |
705 | ipc_answer_0(rid, status); |
705 | ipc_answer_0(rid, status); |
706 | return; |
706 | return; |
707 | } |
707 | } |
708 | /* zero fill any gaps */ |
708 | /* zero fill any gaps */ |
709 | fat_fill_gap(bs, nodep, mcl, pos); |
709 | fat_fill_gap(bs, nodep, mcl, pos); |
710 | b = _fat_block_get(bs, dev_handle, lcl, (pos / bps) % spc); |
710 | b = _fat_block_get(bs, dev_handle, lcl, (pos / bps) % spc); |
711 | (void) ipc_data_write_finalize(callid, b->data + pos % bps, |
711 | (void) ipc_data_write_finalize(callid, b->data + pos % bps, |
712 | bytes); |
712 | bytes); |
713 | b->dirty = true; /* need to sync block */ |
713 | b->dirty = true; /* need to sync block */ |
714 | block_put(b); |
714 | block_put(b); |
715 | /* |
715 | /* |
716 | * Append the cluster chain starting in mcl to the end of the |
716 | * Append the cluster chain starting in mcl to the end of the |
717 | * node's cluster chain. |
717 | * node's cluster chain. |
718 | */ |
718 | */ |
719 | fat_append_clusters(bs, nodep, mcl); |
719 | fat_append_clusters(bs, nodep, mcl); |
720 | nodep->size = pos + bytes; |
720 | nodep->size = pos + bytes; |
721 | nodep->dirty = true; /* need to sync node */ |
721 | nodep->dirty = true; /* need to sync node */ |
- | 722 | ipc_answer_2(rid, EOK, bytes, nodep->size); |
|
722 | fat_node_put(nodep); |
723 | fat_node_put(nodep); |
723 | ipc_answer_1(rid, EOK, bytes); |
- | |
724 | return; |
724 | return; |
725 | } |
725 | } |
726 | } |
726 | } |
727 | 727 | ||
728 | void fat_truncate(ipc_callid_t rid, ipc_call_t *request) |
728 | void fat_truncate(ipc_callid_t rid, ipc_call_t *request) |
729 | { |
729 | { |
730 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
730 | dev_handle_t dev_handle = (dev_handle_t)IPC_GET_ARG1(*request); |
731 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
731 | fs_index_t index = (fs_index_t)IPC_GET_ARG2(*request); |
732 | size_t size = (off_t)IPC_GET_ARG3(*request); |
732 | size_t size = (off_t)IPC_GET_ARG3(*request); |
733 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
733 | fat_node_t *nodep = (fat_node_t *)fat_node_get(dev_handle, index); |
734 | fat_bs_t *bs; |
734 | fat_bs_t *bs; |
735 | uint16_t bps; |
735 | uint16_t bps; |
736 | uint8_t spc; |
736 | uint8_t spc; |
737 | unsigned bpc; /* bytes per cluster */ |
737 | unsigned bpc; /* bytes per cluster */ |
738 | int rc; |
738 | int rc; |
739 | 739 | ||
740 | if (!nodep) { |
740 | if (!nodep) { |
741 | ipc_answer_0(rid, ENOENT); |
741 | ipc_answer_0(rid, ENOENT); |
742 | return; |
742 | return; |
743 | } |
743 | } |
744 | 744 | ||
745 | bs = block_bb_get(dev_handle); |
745 | bs = block_bb_get(dev_handle); |
746 | bps = uint16_t_le2host(bs->bps); |
746 | bps = uint16_t_le2host(bs->bps); |
747 | spc = bs->spc; |
747 | spc = bs->spc; |
748 | bpc = bps * spc; |
748 | bpc = bps * spc; |
749 | 749 | ||
750 | if (nodep->size == size) { |
750 | if (nodep->size == size) { |
751 | rc = EOK; |
751 | rc = EOK; |
752 | } else if (nodep->size < size) { |
752 | } else if (nodep->size < size) { |
753 | /* |
753 | /* |
754 | * The standard says we have the freedom to grow the node. |
754 | * The standard says we have the freedom to grow the node. |
755 | * For now, we simply return an error. |
755 | * For now, we simply return an error. |
756 | */ |
756 | */ |
757 | rc = EINVAL; |
757 | rc = EINVAL; |
758 | } else if (ROUND_UP(nodep->size, bpc) == ROUND_UP(size, bpc)) { |
758 | } else if (ROUND_UP(nodep->size, bpc) == ROUND_UP(size, bpc)) { |
759 | /* |
759 | /* |
760 | * The node will be shrunk, but no clusters will be deallocated. |
760 | * The node will be shrunk, but no clusters will be deallocated. |
761 | */ |
761 | */ |
762 | nodep->size = size; |
762 | nodep->size = size; |
763 | nodep->dirty = true; /* need to sync node */ |
763 | nodep->dirty = true; /* need to sync node */ |
764 | rc = EOK; |
764 | rc = EOK; |
765 | } else { |
765 | } else { |
766 | /* |
766 | /* |
767 | * The node will be shrunk, clusters will be deallocated. |
767 | * The node will be shrunk, clusters will be deallocated. |
768 | */ |
768 | */ |
769 | if (size == 0) { |
769 | if (size == 0) { |
770 | fat_chop_clusters(bs, nodep, FAT_CLST_RES0); |
770 | fat_chop_clusters(bs, nodep, FAT_CLST_RES0); |
771 | } else { |
771 | } else { |
772 | fat_cluster_t lastc; |
772 | fat_cluster_t lastc; |
773 | (void) fat_cluster_walk(bs, dev_handle, nodep->firstc, |
773 | (void) fat_cluster_walk(bs, dev_handle, nodep->firstc, |
774 | &lastc, (size - 1) / bpc); |
774 | &lastc, (size - 1) / bpc); |
775 | fat_chop_clusters(bs, nodep, lastc); |
775 | fat_chop_clusters(bs, nodep, lastc); |
776 | } |
776 | } |
777 | nodep->size = size; |
777 | nodep->size = size; |
778 | nodep->dirty = true; /* need to sync node */ |
778 | nodep->dirty = true; /* need to sync node */ |
779 | rc = EOK; |
779 | rc = EOK; |
780 | } |
780 | } |
781 | fat_node_put(nodep); |
781 | fat_node_put(nodep); |
782 | ipc_answer_0(rid, rc); |
782 | ipc_answer_0(rid, rc); |
783 | return; |
783 | return; |
784 | } |
784 | } |
785 | 785 | ||
786 | /** |
786 | /** |
787 | * @} |
787 | * @} |
788 | */ |
788 | */ |
789 | 789 |