Rev 3593 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
2642 | jermar | 1 | /* |
2747 | jermar | 2 | * Copyright (c) 2008 Jakub Jermar |
2642 | jermar | 3 | * All rights reserved. |
4 | * |
||
5 | * Redistribution and use in source and binary forms, with or without |
||
6 | * modification, are permitted provided that the following conditions |
||
7 | * are met: |
||
8 | * |
||
9 | * - Redistributions of source code must retain the above copyright |
||
10 | * notice, this list of conditions and the following disclaimer. |
||
11 | * - Redistributions in binary form must reproduce the above copyright |
||
12 | * notice, this list of conditions and the following disclaimer in the |
||
13 | * documentation and/or other materials provided with the distribution. |
||
14 | * - The name of the author may not be used to endorse or promote products |
||
15 | * derived from this software without specific prior written permission. |
||
16 | * |
||
17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
27 | */ |
||
28 | |||
29 | /** @addtogroup libfs |
||
30 | * @{ |
||
31 | */ |
||
32 | /** |
||
33 | * @file |
||
34 | * Glue code which is commonod to all FS implementations. |
||
35 | */ |
||
36 | |||
37 | #include "libfs.h" |
||
2643 | jermar | 38 | #include "../../srv/vfs/vfs.h" |
39 | #include <errno.h> |
||
40 | #include <async.h> |
||
41 | #include <ipc/ipc.h> |
||
42 | #include <as.h> |
||
2747 | jermar | 43 | #include <assert.h> |
44 | #include <dirent.h> |
||
2642 | jermar | 45 | |
2643 | jermar | 46 | /** Register file system server. |
47 | * |
||
48 | * This function abstracts away the tedious registration protocol from |
||
49 | * file system implementations and lets them to reuse this registration glue |
||
50 | * code. |
||
51 | * |
||
52 | * @param vfs_phone Open phone for communication with VFS. |
||
53 | * @param reg File system registration structure. It will be |
||
54 | * initialized by this function. |
||
55 | * @param info VFS info structure supplied by the file system |
||
56 | * implementation. |
||
57 | * @param conn Connection fibril for handling all calls originating in |
||
58 | * VFS. |
||
59 | * |
||
60 | * @return EOK on success or a non-zero error code on errror. |
||
61 | */ |
||
62 | int fs_register(int vfs_phone, fs_reg_t *reg, vfs_info_t *info, |
||
63 | async_client_conn_t conn) |
||
64 | { |
||
65 | /* |
||
66 | * Tell VFS that we are here and want to get registered. |
||
67 | * We use the async framework because VFS will answer the request |
||
68 | * out-of-order, when it knows that the operation succeeded or failed. |
||
69 | */ |
||
70 | ipc_call_t answer; |
||
71 | aid_t req = async_send_0(vfs_phone, VFS_REGISTER, &answer); |
||
72 | |||
73 | /* |
||
74 | * Send our VFS info structure to VFS. |
||
75 | */ |
||
2678 | jermar | 76 | int rc = ipc_data_write_start(vfs_phone, info, sizeof(*info)); |
2643 | jermar | 77 | if (rc != EOK) { |
78 | async_wait_for(req, NULL); |
||
79 | return rc; |
||
80 | } |
||
81 | |||
82 | /* |
||
83 | * Ask VFS for callback connection. |
||
84 | */ |
||
85 | ipc_connect_to_me(vfs_phone, 0, 0, 0, ®->vfs_phonehash); |
||
86 | |||
87 | /* |
||
88 | * Allocate piece of address space for PLB. |
||
89 | */ |
||
90 | reg->plb_ro = as_get_mappable_page(PLB_SIZE); |
||
91 | if (!reg->plb_ro) { |
||
92 | async_wait_for(req, NULL); |
||
93 | return ENOMEM; |
||
94 | } |
||
95 | |||
96 | /* |
||
97 | * Request sharing the Path Lookup Buffer with VFS. |
||
98 | */ |
||
2678 | jermar | 99 | rc = ipc_share_in_start_0_0(vfs_phone, reg->plb_ro, PLB_SIZE); |
2643 | jermar | 100 | if (rc) { |
101 | async_wait_for(req, NULL); |
||
102 | return rc; |
||
103 | } |
||
104 | |||
105 | /* |
||
106 | * Pick up the answer for the request to the VFS_REQUEST call. |
||
107 | */ |
||
108 | async_wait_for(req, NULL); |
||
109 | reg->fs_handle = (int) IPC_GET_ARG1(answer); |
||
110 | |||
111 | /* |
||
112 | * Create a connection fibril to handle the callback connection. |
||
113 | */ |
||
114 | async_new_connection(reg->vfs_phonehash, 0, NULL, conn); |
||
115 | |||
116 | /* |
||
117 | * Tell the async framework that other connections are to be handled by |
||
118 | * the same connection fibril as well. |
||
119 | */ |
||
120 | async_set_client_connection(conn); |
||
121 | |||
122 | return IPC_GET_RETVAL(answer); |
||
123 | } |
||
124 | |||
2750 | jermar | 125 | /** Lookup VFS triplet by name in the file system name space. |
126 | * |
||
2751 | jermar | 127 | * The path passed in the PLB must be in the canonical file system path format |
128 | * as returned by the canonify() function. |
||
129 | * |
||
2750 | jermar | 130 | * @param ops libfs operations structure with function pointers to |
131 | * file system implementation |
||
132 | * @param fs_handle File system handle of the file system where to perform |
||
133 | * the lookup. |
||
134 | * @param rid Request ID of the VFS_LOOKUP request. |
||
135 | * @param request VFS_LOOKUP request data itself. |
||
136 | */ |
||
2770 | jermar | 137 | void libfs_lookup(libfs_ops_t *ops, fs_handle_t fs_handle, ipc_callid_t rid, |
2747 | jermar | 138 | ipc_call_t *request) |
139 | { |
||
140 | unsigned next = IPC_GET_ARG1(*request); |
||
141 | unsigned last = IPC_GET_ARG2(*request); |
||
2770 | jermar | 142 | dev_handle_t dev_handle = IPC_GET_ARG3(*request); |
2747 | jermar | 143 | int lflag = IPC_GET_ARG4(*request); |
2770 | jermar | 144 | fs_index_t index = IPC_GET_ARG5(*request); /* when L_LINK specified */ |
2847 | jermar | 145 | char component[NAME_MAX + 1]; |
146 | int len; |
||
2747 | jermar | 147 | |
148 | if (last < next) |
||
149 | last += PLB_SIZE; |
||
150 | |||
2758 | jermar | 151 | void *par = NULL; |
2844 | jermar | 152 | void *cur = ops->root_get(dev_handle); |
2852 | jermar | 153 | void *tmp = NULL; |
2747 | jermar | 154 | |
155 | if (ops->plb_get_char(next) == '/') |
||
156 | next++; /* eat slash */ |
||
157 | |||
3002 | jermar | 158 | while (next <= last && ops->has_children(cur)) { |
2747 | jermar | 159 | /* collect the component */ |
2847 | jermar | 160 | len = 0; |
3003 | jermar | 161 | while ((next <= last) && (ops->plb_get_char(next) != '/')) { |
2747 | jermar | 162 | if (len + 1 == NAME_MAX) { |
3048 | decky | 163 | /* component length overflow */ |
2747 | jermar | 164 | ipc_answer_0(rid, ENAMETOOLONG); |
2852 | jermar | 165 | goto out; |
2747 | jermar | 166 | } |
167 | component[len++] = ops->plb_get_char(next); |
||
168 | next++; /* process next character */ |
||
169 | } |
||
170 | |||
171 | assert(len); |
||
172 | component[len] = '\0'; |
||
173 | next++; /* eat slash */ |
||
174 | |||
175 | /* match the component */ |
||
2791 | jermar | 176 | tmp = ops->match(cur, component); |
2747 | jermar | 177 | |
178 | /* handle miss: match amongst siblings */ |
||
179 | if (!tmp) { |
||
2763 | jermar | 180 | if (next <= last) { |
181 | /* there are unprocessed components */ |
||
182 | ipc_answer_0(rid, ENOENT); |
||
2852 | jermar | 183 | goto out; |
2763 | jermar | 184 | } |
185 | /* miss in the last component */ |
||
186 | if (lflag & (L_CREATE | L_LINK)) { |
||
187 | /* request to create a new link */ |
||
2747 | jermar | 188 | if (!ops->is_directory(cur)) { |
189 | ipc_answer_0(rid, ENOTDIR); |
||
2852 | jermar | 190 | goto out; |
2763 | jermar | 191 | } |
192 | void *nodep; |
||
193 | if (lflag & L_CREATE) |
||
3593 | rimsky | 194 | nodep = ops->create(dev_handle, lflag); |
2763 | jermar | 195 | else |
2792 | jermar | 196 | nodep = ops->node_get(dev_handle, |
2863 | jermar | 197 | index); |
2747 | jermar | 198 | if (nodep) { |
3665 | rimsky | 199 | int rc; |
200 | |||
201 | rc = ops->link(cur, nodep, component); |
||
202 | if (rc != EOK) { |
||
3002 | jermar | 203 | if (lflag & L_CREATE) { |
204 | (void)ops->destroy( |
||
205 | nodep); |
||
206 | } |
||
3665 | rimsky | 207 | ipc_answer_0(rid, rc); |
2747 | jermar | 208 | } else { |
209 | ipc_answer_5(rid, EOK, |
||
210 | fs_handle, dev_handle, |
||
2763 | jermar | 211 | ops->index_get(nodep), |
212 | ops->size_get(nodep), |
||
2747 | jermar | 213 | ops->lnkcnt_get(nodep)); |
2852 | jermar | 214 | ops->node_put(nodep); |
2747 | jermar | 215 | } |
216 | } else { |
||
217 | ipc_answer_0(rid, ENOSPC); |
||
218 | } |
||
2852 | jermar | 219 | goto out; |
2763 | jermar | 220 | } else if (lflag & L_PARENT) { |
221 | /* return parent */ |
||
222 | ipc_answer_5(rid, EOK, fs_handle, dev_handle, |
||
223 | ops->index_get(cur), ops->size_get(cur), |
||
224 | ops->lnkcnt_get(cur)); |
||
225 | } |
||
2747 | jermar | 226 | ipc_answer_0(rid, ENOENT); |
2852 | jermar | 227 | goto out; |
2747 | jermar | 228 | } |
229 | |||
2852 | jermar | 230 | if (par) |
231 | ops->node_put(par); |
||
232 | |||
2747 | jermar | 233 | /* descend one level */ |
2758 | jermar | 234 | par = cur; |
2747 | jermar | 235 | cur = tmp; |
2852 | jermar | 236 | tmp = NULL; |
2747 | jermar | 237 | } |
238 | |||
239 | /* handle miss: excessive components */ |
||
3002 | jermar | 240 | if (next <= last && !ops->has_children(cur)) { |
2763 | jermar | 241 | if (lflag & (L_CREATE | L_LINK)) { |
2747 | jermar | 242 | if (!ops->is_directory(cur)) { |
243 | ipc_answer_0(rid, ENOTDIR); |
||
2852 | jermar | 244 | goto out; |
2747 | jermar | 245 | } |
246 | |||
247 | /* collect next component */ |
||
2847 | jermar | 248 | len = 0; |
2747 | jermar | 249 | while (next <= last) { |
250 | if (ops->plb_get_char(next) == '/') { |
||
251 | /* more than one component */ |
||
252 | ipc_answer_0(rid, ENOENT); |
||
2852 | jermar | 253 | goto out; |
2747 | jermar | 254 | } |
255 | if (len + 1 == NAME_MAX) { |
||
256 | /* component length overflow */ |
||
257 | ipc_answer_0(rid, ENAMETOOLONG); |
||
2852 | jermar | 258 | goto out; |
2747 | jermar | 259 | } |
260 | component[len++] = ops->plb_get_char(next); |
||
261 | next++; /* process next character */ |
||
262 | } |
||
263 | assert(len); |
||
264 | component[len] = '\0'; |
||
265 | |||
2763 | jermar | 266 | void *nodep; |
267 | if (lflag & L_CREATE) |
||
3593 | rimsky | 268 | nodep = ops->create(dev_handle, lflag); |
2763 | jermar | 269 | else |
2863 | jermar | 270 | nodep = ops->node_get(dev_handle, index); |
2747 | jermar | 271 | if (nodep) { |
3665 | rimsky | 272 | int rc; |
273 | |||
274 | rc = ops->link(cur, nodep, component); |
||
275 | if (rc != EOK) { |
||
2763 | jermar | 276 | if (lflag & L_CREATE) |
2857 | jermar | 277 | (void)ops->destroy(nodep); |
3665 | rimsky | 278 | ipc_answer_0(rid, rc); |
2747 | jermar | 279 | } else { |
280 | ipc_answer_5(rid, EOK, |
||
281 | fs_handle, dev_handle, |
||
2763 | jermar | 282 | ops->index_get(nodep), |
283 | ops->size_get(nodep), |
||
2747 | jermar | 284 | ops->lnkcnt_get(nodep)); |
2852 | jermar | 285 | ops->node_put(nodep); |
2747 | jermar | 286 | } |
287 | } else { |
||
288 | ipc_answer_0(rid, ENOSPC); |
||
289 | } |
||
2852 | jermar | 290 | goto out; |
2747 | jermar | 291 | } |
292 | ipc_answer_0(rid, ENOENT); |
||
2852 | jermar | 293 | goto out; |
2747 | jermar | 294 | } |
295 | |||
296 | /* handle hit */ |
||
2763 | jermar | 297 | if (lflag & L_PARENT) { |
2852 | jermar | 298 | ops->node_put(cur); |
2763 | jermar | 299 | cur = par; |
2852 | jermar | 300 | par = NULL; |
2763 | jermar | 301 | if (!cur) { |
302 | ipc_answer_0(rid, ENOENT); |
||
2852 | jermar | 303 | goto out; |
2763 | jermar | 304 | } |
305 | } |
||
306 | if (lflag & L_UNLINK) { |
||
2747 | jermar | 307 | unsigned old_lnkcnt = ops->lnkcnt_get(cur); |
2758 | jermar | 308 | int res = ops->unlink(par, cur); |
2747 | jermar | 309 | ipc_answer_5(rid, (ipcarg_t)res, fs_handle, dev_handle, |
310 | ops->index_get(cur), ops->size_get(cur), old_lnkcnt); |
||
2852 | jermar | 311 | goto out; |
2747 | jermar | 312 | } |
2763 | jermar | 313 | if (((lflag & (L_CREATE | L_EXCLUSIVE)) == (L_CREATE | L_EXCLUSIVE)) || |
314 | (lflag & L_LINK)) { |
||
2747 | jermar | 315 | ipc_answer_0(rid, EEXIST); |
2852 | jermar | 316 | goto out; |
2747 | jermar | 317 | } |
318 | if ((lflag & L_FILE) && (ops->is_directory(cur))) { |
||
319 | ipc_answer_0(rid, EISDIR); |
||
2852 | jermar | 320 | goto out; |
2747 | jermar | 321 | } |
322 | if ((lflag & L_DIRECTORY) && (ops->is_file(cur))) { |
||
323 | ipc_answer_0(rid, ENOTDIR); |
||
2852 | jermar | 324 | goto out; |
2747 | jermar | 325 | } |
326 | |||
327 | ipc_answer_5(rid, EOK, fs_handle, dev_handle, ops->index_get(cur), |
||
328 | ops->size_get(cur), ops->lnkcnt_get(cur)); |
||
2852 | jermar | 329 | |
330 | out: |
||
331 | if (par) |
||
332 | ops->node_put(par); |
||
333 | if (cur) |
||
334 | ops->node_put(cur); |
||
335 | if (tmp) |
||
336 | ops->node_put(tmp); |
||
2747 | jermar | 337 | } |
338 | |||
2642 | jermar | 339 | /** @} |
340 | */ |