Subversion Repositories HelenOS

Rev

Rev 2831 | Rev 2846 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2831 Rev 2844
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 libfs
29
/** @addtogroup libfs
30
 * @{
30
 * @{
31
 */
31
 */
32
/**
32
/**
33
 * @file
33
 * @file
34
 * Glue code which is commonod to all FS implementations.
34
 * Glue code which is commonod to all FS implementations.
35
 */
35
 */
36
 
36
 
37
#include "libfs.h" 
37
#include "libfs.h" 
38
#include "../../srv/vfs/vfs.h"
38
#include "../../srv/vfs/vfs.h"
39
#include <errno.h>
39
#include <errno.h>
40
#include <async.h>
40
#include <async.h>
41
#include <ipc/ipc.h>
41
#include <ipc/ipc.h>
42
#include <as.h>
42
#include <as.h>
43
#include <assert.h>
43
#include <assert.h>
44
#include <dirent.h>
44
#include <dirent.h>
45
 
45
 
46
/** Register file system server.
46
/** Register file system server.
47
 *
47
 *
48
 * This function abstracts away the tedious registration protocol from
48
 * This function abstracts away the tedious registration protocol from
49
 * file system implementations and lets them to reuse this registration glue
49
 * file system implementations and lets them to reuse this registration glue
50
 * code.
50
 * code.
51
 *
51
 *
52
 * @param vfs_phone Open phone for communication with VFS.
52
 * @param vfs_phone Open phone for communication with VFS.
53
 * @param reg       File system registration structure. It will be
53
 * @param reg       File system registration structure. It will be
54
 *          initialized by this function.
54
 *          initialized by this function.
55
 * @param info      VFS info structure supplied by the file system
55
 * @param info      VFS info structure supplied by the file system
56
 *          implementation.
56
 *          implementation.
57
 * @param conn      Connection fibril for handling all calls originating in
57
 * @param conn      Connection fibril for handling all calls originating in
58
 *          VFS.
58
 *          VFS.
59
 *
59
 *
60
 * @return      EOK on success or a non-zero error code on errror.
60
 * @return      EOK on success or a non-zero error code on errror.
61
 */
61
 */
62
int fs_register(int vfs_phone, fs_reg_t *reg, vfs_info_t *info,
62
int fs_register(int vfs_phone, fs_reg_t *reg, vfs_info_t *info,
63
    async_client_conn_t conn)
63
    async_client_conn_t conn)
64
{
64
{
65
    /*
65
    /*
66
     * Tell VFS that we are here and want to get registered.
66
     * Tell VFS that we are here and want to get registered.
67
     * We use the async framework because VFS will answer the request
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.
68
     * out-of-order, when it knows that the operation succeeded or failed.
69
     */
69
     */
70
    ipc_call_t answer;
70
    ipc_call_t answer;
71
    aid_t req = async_send_0(vfs_phone, VFS_REGISTER, &answer);
71
    aid_t req = async_send_0(vfs_phone, VFS_REGISTER, &answer);
72
 
72
 
73
    /*
73
    /*
74
     * Send our VFS info structure to VFS.
74
     * Send our VFS info structure to VFS.
75
     */
75
     */
76
    int rc = ipc_data_write_start(vfs_phone, info, sizeof(*info));
76
    int rc = ipc_data_write_start(vfs_phone, info, sizeof(*info));
77
    if (rc != EOK) {
77
    if (rc != EOK) {
78
        async_wait_for(req, NULL);
78
        async_wait_for(req, NULL);
79
        return rc;
79
        return rc;
80
    }
80
    }
81
 
81
 
82
    /*
82
    /*
83
     * Ask VFS for callback connection.
83
     * Ask VFS for callback connection.
84
     */
84
     */
85
    ipc_connect_to_me(vfs_phone, 0, 0, 0, &reg->vfs_phonehash);
85
    ipc_connect_to_me(vfs_phone, 0, 0, 0, &reg->vfs_phonehash);
86
 
86
 
87
    /*
87
    /*
88
     * Allocate piece of address space for PLB.
88
     * Allocate piece of address space for PLB.
89
     */
89
     */
90
    reg->plb_ro = as_get_mappable_page(PLB_SIZE);
90
    reg->plb_ro = as_get_mappable_page(PLB_SIZE);
91
    if (!reg->plb_ro) {
91
    if (!reg->plb_ro) {
92
        async_wait_for(req, NULL);
92
        async_wait_for(req, NULL);
93
        return ENOMEM;
93
        return ENOMEM;
94
    }
94
    }
95
 
95
 
96
    /*
96
    /*
97
     * Request sharing the Path Lookup Buffer with VFS.
97
     * Request sharing the Path Lookup Buffer with VFS.
98
     */
98
     */
99
    rc = ipc_share_in_start_0_0(vfs_phone, reg->plb_ro, PLB_SIZE);
99
    rc = ipc_share_in_start_0_0(vfs_phone, reg->plb_ro, PLB_SIZE);
100
    if (rc) {
100
    if (rc) {
101
        async_wait_for(req, NULL);
101
        async_wait_for(req, NULL);
102
        return rc;
102
        return rc;
103
    }
103
    }
104
     
104
     
105
    /*
105
    /*
106
     * Pick up the answer for the request to the VFS_REQUEST call.
106
     * Pick up the answer for the request to the VFS_REQUEST call.
107
     */
107
     */
108
    async_wait_for(req, NULL);
108
    async_wait_for(req, NULL);
109
    reg->fs_handle = (int) IPC_GET_ARG1(answer);
109
    reg->fs_handle = (int) IPC_GET_ARG1(answer);
110
   
110
   
111
    /*
111
    /*
112
     * Create a connection fibril to handle the callback connection.
112
     * Create a connection fibril to handle the callback connection.
113
     */
113
     */
114
    async_new_connection(reg->vfs_phonehash, 0, NULL, conn);
114
    async_new_connection(reg->vfs_phonehash, 0, NULL, conn);
115
   
115
   
116
    /*
116
    /*
117
     * Tell the async framework that other connections are to be handled by
117
     * Tell the async framework that other connections are to be handled by
118
     * the same connection fibril as well.
118
     * the same connection fibril as well.
119
     */
119
     */
120
    async_set_client_connection(conn);
120
    async_set_client_connection(conn);
121
 
121
 
122
    return IPC_GET_RETVAL(answer);
122
    return IPC_GET_RETVAL(answer);
123
}
123
}
124
 
124
 
125
/** Lookup VFS triplet by name in the file system name space.
125
/** Lookup VFS triplet by name in the file system name space.
126
 *
126
 *
127
 * The path passed in the PLB must be in the canonical file system path format
127
 * The path passed in the PLB must be in the canonical file system path format
128
 * as returned by the canonify() function.
128
 * as returned by the canonify() function.
129
 *
129
 *
130
 * @param ops       libfs operations structure with function pointers to
130
 * @param ops       libfs operations structure with function pointers to
131
 *          file system implementation
131
 *          file system implementation
132
 * @param fs_handle File system handle of the file system where to perform
132
 * @param fs_handle File system handle of the file system where to perform
133
 *          the lookup.
133
 *          the lookup.
134
 * @param rid       Request ID of the VFS_LOOKUP request.
134
 * @param rid       Request ID of the VFS_LOOKUP request.
135
 * @param request   VFS_LOOKUP request data itself.
135
 * @param request   VFS_LOOKUP request data itself.
136
 */
136
 */
137
void libfs_lookup(libfs_ops_t *ops, fs_handle_t fs_handle, ipc_callid_t rid,
137
void libfs_lookup(libfs_ops_t *ops, fs_handle_t fs_handle, ipc_callid_t rid,
138
    ipc_call_t *request)
138
    ipc_call_t *request)
139
{
139
{
140
    unsigned next = IPC_GET_ARG1(*request);
140
    unsigned next = IPC_GET_ARG1(*request);
141
    unsigned last = IPC_GET_ARG2(*request);
141
    unsigned last = IPC_GET_ARG2(*request);
142
    dev_handle_t dev_handle = IPC_GET_ARG3(*request);
142
    dev_handle_t dev_handle = IPC_GET_ARG3(*request);
143
    int lflag = IPC_GET_ARG4(*request);
143
    int lflag = IPC_GET_ARG4(*request);
144
    fs_index_t index = IPC_GET_ARG5(*request); /* when L_LINK specified */
144
    fs_index_t index = IPC_GET_ARG5(*request); /* when L_LINK specified */
145
 
145
 
146
    if (last < next)
146
    if (last < next)
147
        last += PLB_SIZE;
147
        last += PLB_SIZE;
148
 
148
 
149
    void *par = NULL;
149
    void *par = NULL;
150
    void *cur = ops->root_get();
150
    void *cur = ops->root_get(dev_handle);
151
    void *tmp;
151
    void *tmp;
152
 
152
 
153
    if (ops->plb_get_char(next) == '/')
153
    if (ops->plb_get_char(next) == '/')
154
        next++;     /* eat slash */
154
        next++;     /* eat slash */
155
   
155
   
156
    char component[NAME_MAX + 1];
156
    char component[NAME_MAX + 1];
157
    int len = 0;
157
    int len = 0;
158
    while (ops->has_children(cur) && next <= last) {
158
    while (ops->has_children(cur) && next <= last) {
159
 
159
 
160
        /* collect the component */
160
        /* collect the component */
161
        if (ops->plb_get_char(next) != '/') {
161
        if (ops->plb_get_char(next) != '/') {
162
            if (len + 1 == NAME_MAX) {
162
            if (len + 1 == NAME_MAX) {
163
                /* comopnent length overflow */
163
                /* comopnent length overflow */
164
                ipc_answer_0(rid, ENAMETOOLONG);
164
                ipc_answer_0(rid, ENAMETOOLONG);
165
                return;
165
                return;
166
            }
166
            }
167
            component[len++] = ops->plb_get_char(next);
167
            component[len++] = ops->plb_get_char(next);
168
            next++; /* process next character */
168
            next++; /* process next character */
169
            if (next <= last)
169
            if (next <= last)
170
                continue;
170
                continue;
171
        }
171
        }
172
 
172
 
173
        assert(len);
173
        assert(len);
174
        component[len] = '\0';
174
        component[len] = '\0';
175
        next++;     /* eat slash */
175
        next++;     /* eat slash */
176
        len = 0;
176
        len = 0;
177
 
177
 
178
        /* match the component */
178
        /* match the component */
179
        tmp = ops->match(cur, component);
179
        tmp = ops->match(cur, component);
180
 
180
 
181
        /* handle miss: match amongst siblings */
181
        /* handle miss: match amongst siblings */
182
        if (!tmp) {
182
        if (!tmp) {
183
            if (next <= last) {
183
            if (next <= last) {
184
                /* there are unprocessed components */
184
                /* there are unprocessed components */
185
                ipc_answer_0(rid, ENOENT);
185
                ipc_answer_0(rid, ENOENT);
186
                return;
186
                return;
187
            }
187
            }
188
            /* miss in the last component */
188
            /* miss in the last component */
189
            if (lflag & (L_CREATE | L_LINK)) {
189
            if (lflag & (L_CREATE | L_LINK)) {
190
                /* request to create a new link */
190
                /* request to create a new link */
191
                if (!ops->is_directory(cur)) {
191
                if (!ops->is_directory(cur)) {
192
                    ipc_answer_0(rid, ENOTDIR);
192
                    ipc_answer_0(rid, ENOTDIR);
193
                    return;
193
                    return;
194
                }
194
                }
195
                void *nodep;
195
                void *nodep;
196
                if (lflag & L_CREATE)
196
                if (lflag & L_CREATE)
197
                    nodep = ops->create(lflag);
197
                    nodep = ops->create(lflag);
198
                else
198
                else
199
                    nodep = ops->node_get(dev_handle,
199
                    nodep = ops->node_get(dev_handle,
200
                        index, ops->index_get(cur));
200
                        index, ops->index_get(cur));
201
                if (nodep) {
201
                if (nodep) {
202
                    if (!ops->link(cur, nodep, component)) {
202
                    if (!ops->link(cur, nodep, component)) {
203
                        if (lflag & L_CREATE)
203
                        if (lflag & L_CREATE)
204
                            ops->destroy(nodep);
204
                            ops->destroy(nodep);
205
                        ipc_answer_0(rid, ENOSPC);
205
                        ipc_answer_0(rid, ENOSPC);
206
                    } else {
206
                    } else {
207
                        ipc_answer_5(rid, EOK,
207
                        ipc_answer_5(rid, EOK,
208
                            fs_handle, dev_handle,
208
                            fs_handle, dev_handle,
209
                            ops->index_get(nodep),
209
                            ops->index_get(nodep),
210
                            ops->size_get(nodep),
210
                            ops->size_get(nodep),
211
                            ops->lnkcnt_get(nodep));
211
                            ops->lnkcnt_get(nodep));
212
                    }
212
                    }
213
                } else {
213
                } else {
214
                    ipc_answer_0(rid, ENOSPC);
214
                    ipc_answer_0(rid, ENOSPC);
215
                }
215
                }
216
                return;
216
                return;
217
            } else if (lflag & L_PARENT) {
217
            } else if (lflag & L_PARENT) {
218
                /* return parent */
218
                /* return parent */
219
                ipc_answer_5(rid, EOK, fs_handle, dev_handle,
219
                ipc_answer_5(rid, EOK, fs_handle, dev_handle,
220
                    ops->index_get(cur), ops->size_get(cur),
220
                    ops->index_get(cur), ops->size_get(cur),
221
                    ops->lnkcnt_get(cur));
221
                    ops->lnkcnt_get(cur));
222
            }
222
            }
223
            ipc_answer_0(rid, ENOENT);
223
            ipc_answer_0(rid, ENOENT);
224
            return;
224
            return;
225
        }
225
        }
226
 
226
 
227
        /* descend one level */
227
        /* descend one level */
228
        par = cur;
228
        par = cur;
229
        cur = tmp;
229
        cur = tmp;
230
    }
230
    }
231
 
231
 
232
    /* handle miss: excessive components */
232
    /* handle miss: excessive components */
233
    if (!ops->has_children(cur) && next <= last) {
233
    if (!ops->has_children(cur) && next <= last) {
234
        if (lflag & (L_CREATE | L_LINK)) {
234
        if (lflag & (L_CREATE | L_LINK)) {
235
            if (!ops->is_directory(cur)) {
235
            if (!ops->is_directory(cur)) {
236
                ipc_answer_0(rid, ENOTDIR);
236
                ipc_answer_0(rid, ENOTDIR);
237
                return;
237
                return;
238
            }
238
            }
239
 
239
 
240
            /* collect next component */
240
            /* collect next component */
241
            while (next <= last) {
241
            while (next <= last) {
242
                if (ops->plb_get_char(next) == '/') {
242
                if (ops->plb_get_char(next) == '/') {
243
                    /* more than one component */
243
                    /* more than one component */
244
                    ipc_answer_0(rid, ENOENT);
244
                    ipc_answer_0(rid, ENOENT);
245
                    return;
245
                    return;
246
                }
246
                }
247
                if (len + 1 == NAME_MAX) {
247
                if (len + 1 == NAME_MAX) {
248
                    /* component length overflow */
248
                    /* component length overflow */
249
                    ipc_answer_0(rid, ENAMETOOLONG);
249
                    ipc_answer_0(rid, ENAMETOOLONG);
250
                    return;
250
                    return;
251
                }
251
                }
252
                component[len++] = ops->plb_get_char(next);
252
                component[len++] = ops->plb_get_char(next);
253
                next++; /* process next character */
253
                next++; /* process next character */
254
            }
254
            }
255
            assert(len);
255
            assert(len);
256
            component[len] = '\0';
256
            component[len] = '\0';
257
            len = 0;
257
            len = 0;
258
               
258
               
259
            void *nodep;
259
            void *nodep;
260
            if (lflag & L_CREATE)
260
            if (lflag & L_CREATE)
261
                nodep = ops->create(lflag);
261
                nodep = ops->create(lflag);
262
            else
262
            else
263
                nodep = ops->node_get(dev_handle, index,
263
                nodep = ops->node_get(dev_handle, index,
264
                    ops->index_get(cur));
264
                    ops->index_get(cur));
265
            if (nodep) {
265
            if (nodep) {
266
                if (!ops->link(cur, nodep, component)) {
266
                if (!ops->link(cur, nodep, component)) {
267
                    if (lflag & L_CREATE)
267
                    if (lflag & L_CREATE)
268
                        ops->destroy(nodep);
268
                        ops->destroy(nodep);
269
                    ipc_answer_0(rid, ENOSPC);
269
                    ipc_answer_0(rid, ENOSPC);
270
                } else {
270
                } else {
271
                    ipc_answer_5(rid, EOK,
271
                    ipc_answer_5(rid, EOK,
272
                        fs_handle, dev_handle,
272
                        fs_handle, dev_handle,
273
                        ops->index_get(nodep),
273
                        ops->index_get(nodep),
274
                        ops->size_get(nodep),
274
                        ops->size_get(nodep),
275
                        ops->lnkcnt_get(nodep));
275
                        ops->lnkcnt_get(nodep));
276
                }
276
                }
277
            } else {
277
            } else {
278
                ipc_answer_0(rid, ENOSPC);
278
                ipc_answer_0(rid, ENOSPC);
279
            }
279
            }
280
            return;
280
            return;
281
        }
281
        }
282
        ipc_answer_0(rid, ENOENT);
282
        ipc_answer_0(rid, ENOENT);
283
        return;
283
        return;
284
    }
284
    }
285
 
285
 
286
    /* handle hit */
286
    /* handle hit */
287
    if (lflag & L_PARENT) {
287
    if (lflag & L_PARENT) {
288
        cur = par;
288
        cur = par;
289
        if (!cur) {
289
        if (!cur) {
290
            ipc_answer_0(rid, ENOENT);
290
            ipc_answer_0(rid, ENOENT);
291
            return;
291
            return;
292
        }
292
        }
293
    }
293
    }
294
    if (lflag & L_UNLINK) {
294
    if (lflag & L_UNLINK) {
295
        unsigned old_lnkcnt = ops->lnkcnt_get(cur);
295
        unsigned old_lnkcnt = ops->lnkcnt_get(cur);
296
        int res = ops->unlink(par, cur);
296
        int res = ops->unlink(par, cur);
297
        ipc_answer_5(rid, (ipcarg_t)res, fs_handle, dev_handle,
297
        ipc_answer_5(rid, (ipcarg_t)res, fs_handle, dev_handle,
298
            ops->index_get(cur), ops->size_get(cur), old_lnkcnt);
298
            ops->index_get(cur), ops->size_get(cur), old_lnkcnt);
299
        return;
299
        return;
300
    }
300
    }
301
    if (((lflag & (L_CREATE | L_EXCLUSIVE)) == (L_CREATE | L_EXCLUSIVE)) ||
301
    if (((lflag & (L_CREATE | L_EXCLUSIVE)) == (L_CREATE | L_EXCLUSIVE)) ||
302
        (lflag & L_LINK)) {
302
        (lflag & L_LINK)) {
303
        ipc_answer_0(rid, EEXIST);
303
        ipc_answer_0(rid, EEXIST);
304
        return;
304
        return;
305
    }
305
    }
306
    if ((lflag & L_FILE) && (ops->is_directory(cur))) {
306
    if ((lflag & L_FILE) && (ops->is_directory(cur))) {
307
        ipc_answer_0(rid, EISDIR);
307
        ipc_answer_0(rid, EISDIR);
308
        return;
308
        return;
309
    }
309
    }
310
    if ((lflag & L_DIRECTORY) && (ops->is_file(cur))) {
310
    if ((lflag & L_DIRECTORY) && (ops->is_file(cur))) {
311
        ipc_answer_0(rid, ENOTDIR);
311
        ipc_answer_0(rid, ENOTDIR);
312
        return;
312
        return;
313
    }
313
    }
314
 
314
 
315
    ipc_answer_5(rid, EOK, fs_handle, dev_handle, ops->index_get(cur),
315
    ipc_answer_5(rid, EOK, fs_handle, dev_handle, ops->index_get(cur),
316
        ops->size_get(cur), ops->lnkcnt_get(cur));
316
        ops->size_get(cur), ops->lnkcnt_get(cur));
317
}
317
}
318
 
318
 
319
/** @}
319
/** @}
320
 */
320
 */
321
 
321