Subversion Repositories HelenOS

Rev

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

Rev 2683 Rev 2684
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
#ifndef VFS_VFS_H_
33
#ifndef VFS_VFS_H_
34
#define VFS_VFS_H_
34
#define VFS_VFS_H_
35
 
35
 
36
#include <ipc/ipc.h>
36
#include <ipc/ipc.h>
37
#include <libadt/list.h>
37
#include <libadt/list.h>
38
#include <atomic.h>
38
#include <atomic.h>
39
#include <rwlock.h>
39
#include <rwlock.h>
40
#include <sys/types.h>
40
#include <sys/types.h>
41
#include <bool.h>
41
#include <bool.h>
42
 
42
 
43
#define dprintf(...)    printf(__VA_ARGS__)
43
#define dprintf(...)    printf(__VA_ARGS__)
44
 
44
 
45
#define VFS_FIRST   IPC_FIRST_USER_METHOD
45
#define VFS_FIRST   IPC_FIRST_USER_METHOD
46
 
46
 
47
#define IPC_METHOD_TO_VFS_OP(m) ((m) - VFS_FIRST)   
47
#define IPC_METHOD_TO_VFS_OP(m) ((m) - VFS_FIRST)   
48
 
48
 
49
typedef enum {
49
typedef enum {
50
    VFS_REGISTER = VFS_FIRST,
50
    VFS_REGISTER = VFS_FIRST,
51
    VFS_MOUNT,
51
    VFS_MOUNT,
52
    VFS_UNMOUNT,
52
    VFS_UNMOUNT,
53
    VFS_LOOKUP,
53
    VFS_LOOKUP,
54
    VFS_OPEN,
54
    VFS_OPEN,
55
    VFS_CREATE,
55
    VFS_CREATE,
56
    VFS_CLOSE,
56
    VFS_CLOSE,
57
    VFS_READ,
57
    VFS_READ,
58
    VFS_WRITE,
58
    VFS_WRITE,
59
    VFS_SEEK,
59
    VFS_SEEK,
60
    VFS_RENAME,
60
    VFS_RENAME,
61
    VFS_UNLINK,
61
    VFS_UNLINK,
62
    VFS_LAST,       /* keep this the last member of the enum */
62
    VFS_LAST,       /* keep this the last member of the enum */
63
} vfs_request_t;
63
} vfs_request_t;
64
 
64
 
65
 
65
 
66
/**
66
/**
67
 * An instance of this structure is associated with a particular FS operation.
67
 * An instance of this structure is associated with a particular FS operation.
68
 * It tells VFS if the FS supports the operation or maybe if a default one
68
 * It tells VFS if the FS supports the operation or maybe if a default one
69
 * should be used.
69
 * should be used.
70
 */
70
 */
71
typedef enum {
71
typedef enum {
72
    VFS_OP_NULL = 0,
72
    VFS_OP_NULL = 0,
73
    VFS_OP_DEFAULT,
73
    VFS_OP_DEFAULT,
74
    VFS_OP_DEFINED
74
    VFS_OP_DEFINED
75
} vfs_op_t;
75
} vfs_op_t;
76
 
76
 
77
#define FS_NAME_MAXLEN  20
77
#define FS_NAME_MAXLEN  20
78
 
78
 
79
/**
79
/**
80
 * A structure like this is passed to VFS by each individual FS upon its
80
 * A structure like this is passed to VFS by each individual FS upon its
81
 * registration. It assosiates a human-readable identifier with each
81
 * registration. It assosiates a human-readable identifier with each
82
 * registered FS. More importantly, through this structure, the FS announces
82
 * registered FS. More importantly, through this structure, the FS announces
83
 * what operations it supports.
83
 * what operations it supports.
84
 */
84
 */
85
typedef struct {
85
typedef struct {
86
    /** Unique identifier of the fs. */
86
    /** Unique identifier of the fs. */
87
    char name[FS_NAME_MAXLEN + 1];
87
    char name[FS_NAME_MAXLEN + 1];
88
   
88
   
89
    /** Operations. */
89
    /** Operations. */
90
    vfs_op_t ops[VFS_LAST - VFS_FIRST];
90
    vfs_op_t ops[VFS_LAST - VFS_FIRST];
91
} vfs_info_t;
91
} vfs_info_t;
92
 
92
 
93
/**
93
/**
94
 * A structure like this will be allocated for each registered file system.
94
 * A structure like this will be allocated for each registered file system.
95
 */
95
 */
96
typedef struct {
96
typedef struct {
97
    link_t fs_link;
97
    link_t fs_link;
98
    vfs_info_t vfs_info;
98
    vfs_info_t vfs_info;
99
    int fs_handle;
99
    int fs_handle;
100
    atomic_t phone_futex;   /**< Phone serializing futex. */
100
    atomic_t phone_futex;   /**< Phone serializing futex. */
101
    ipcarg_t phone;
101
    ipcarg_t phone;
102
} fs_info_t;
102
} fs_info_t;
103
 
103
 
104
/**
104
/**
105
 * VFS_PAIR uniquely represents a file system instance.
105
 * VFS_PAIR uniquely represents a file system instance.
106
 */
106
 */
107
#define VFS_PAIR    \
107
#define VFS_PAIR    \
108
    int fs_handle;  \
108
    int fs_handle;  \
109
    int dev_handle; 
109
    int dev_handle; 
110
 
110
 
111
/**
111
/**
112
 * VFS_TRIPLET uniquely identifies a file system node (e.g. directory, file) but
112
 * VFS_TRIPLET uniquely identifies a file system node (e.g. directory, file) but
113
 * doesn't contain any state. For a stateful structure, see vfs_node_t.
113
 * doesn't contain any state. For a stateful structure, see vfs_node_t.
114
 *
114
 *
115
 * @note    fs_handle, dev_handle and index are meant to be returned in one
115
 * @note    fs_handle, dev_handle and index are meant to be returned in one
116
 *      IPC reply.
116
 *      IPC reply.
117
 */
117
 */
118
#define VFS_TRIPLET \
118
#define VFS_TRIPLET \
119
    VFS_PAIR;   \
119
    VFS_PAIR;   \
120
    uint64_t index;
120
    uint64_t index;
121
 
121
 
122
typedef struct {
122
typedef struct {
123
    VFS_PAIR;
123
    VFS_PAIR;
124
} vfs_pair_t;
124
} vfs_pair_t;
125
 
125
 
126
typedef struct {
126
typedef struct {
127
    VFS_TRIPLET;
127
    VFS_TRIPLET;
128
} vfs_triplet_t;
128
} vfs_triplet_t;
129
 
129
 
130
/**
130
/**
131
 * Instances of this type represent an active, in-memory VFS node and any state
131
 * Instances of this type represent an active, in-memory VFS node and any state
132
 * which may be associated with it.
132
 * which may be associated with it.
133
 */
133
 */
134
typedef struct {
134
typedef struct {
135
    VFS_TRIPLET;        /**< Identity of the node. */
135
    VFS_TRIPLET;        /**< Identity of the node. */
136
    unsigned refcnt;    /**< Usage counter. */
136
    unsigned refcnt;    /**< Usage counter. */
137
    link_t nh_link;     /**< Node hash-table link. */
137
    link_t nh_link;     /**< Node hash-table link. */
-
 
138
    size_t size;        /**< Cached size of the file. */
138
 
139
 
139
    /**
140
    /**
140
     * Holding this rwlock prevents modifications of the node's contents.
141
     * Holding this rwlock prevents modifications of the node's contents.
141
     */
142
     */
142
    rwlock_t contents_rwlock;
143
    rwlock_t contents_rwlock;
143
} vfs_node_t;
144
} vfs_node_t;
144
 
145
 
145
/**
146
/**
146
 * Instances of this type represent an open file. If the file is opened by more
147
 * Instances of this type represent an open file. If the file is opened by more
147
 * than one task, there will be a separate structure allocated for each task.
148
 * than one task, there will be a separate structure allocated for each task.
148
 */
149
 */
149
typedef struct {
150
typedef struct {
150
    /** Serializes access to this open file. */
151
    /** Serializes access to this open file. */
151
    futex_t lock;
152
    futex_t lock;
152
 
153
 
153
    vfs_node_t *node;
154
    vfs_node_t *node;
154
   
155
   
155
    /** Number of file handles referencing this file. */
156
    /** Number of file handles referencing this file. */
156
    unsigned refcnt;
157
    unsigned refcnt;
157
 
158
 
158
    /** Current position in the file. */
159
    /** Current position in the file. */
159
    off_t pos;
160
    off_t pos;
160
} vfs_file_t;
161
} vfs_file_t;
161
 
162
 
162
extern link_t fs_head;      /**< List of registered file systems. */
163
extern link_t fs_head;      /**< List of registered file systems. */
163
 
164
 
164
extern vfs_triplet_t rootfs;    /**< Root node of the root file system. */
165
extern vfs_triplet_t rootfs;    /**< Root node of the root file system. */
165
 
166
 
166
#define MAX_PATH_LEN        (64 * 1024)
167
#define MAX_PATH_LEN        (64 * 1024)
167
 
168
 
168
#define PLB_SIZE        (2 * MAX_PATH_LEN)
169
#define PLB_SIZE        (2 * MAX_PATH_LEN)
169
 
170
 
170
/** Each instance of this type describes one path lookup in progress. */
171
/** Each instance of this type describes one path lookup in progress. */
171
typedef struct {
172
typedef struct {
172
    link_t  plb_link;   /**< Active PLB entries list link. */
173
    link_t  plb_link;   /**< Active PLB entries list link. */
173
    unsigned index;     /**< Index of the first character in PLB. */
174
    unsigned index;     /**< Index of the first character in PLB. */
174
    size_t len;     /**< Number of characters in this PLB entry. */
175
    size_t len;     /**< Number of characters in this PLB entry. */
175
} plb_entry_t;
176
} plb_entry_t;
176
 
177
 
177
extern atomic_t plb_futex;  /**< Futex protecting plb and plb_head. */
178
extern atomic_t plb_futex;  /**< Futex protecting plb and plb_head. */
178
extern uint8_t *plb;        /**< Path Lookup Buffer */
179
extern uint8_t *plb;        /**< Path Lookup Buffer */
179
extern link_t plb_head;     /**< List of active PLB entries. */
180
extern link_t plb_head;     /**< List of active PLB entries. */
180
 
181
 
181
/** Holding this rwlock prevents changes in file system namespace. */
182
/** Holding this rwlock prevents changes in file system namespace. */
182
extern rwlock_t namespace_rwlock;
183
extern rwlock_t namespace_rwlock;
183
 
184
 
184
extern int vfs_grab_phone(int);
185
extern int vfs_grab_phone(int);
185
extern void vfs_release_phone(int);
186
extern void vfs_release_phone(int);
186
 
187
 
187
extern int fs_name_to_handle(char *, bool);
188
extern int fs_name_to_handle(char *, bool);
188
 
189
 
189
extern int vfs_lookup_internal(char *, size_t, vfs_triplet_t *, vfs_pair_t *);
190
extern int vfs_lookup_internal(char *, size_t, vfs_triplet_t *, vfs_pair_t *);
190
 
191
 
191
extern bool vfs_nodes_init(void);
192
extern bool vfs_nodes_init(void);
192
extern vfs_node_t *vfs_node_get(vfs_triplet_t *);
193
extern vfs_node_t *vfs_node_get(vfs_triplet_t *);
193
extern void vfs_node_put(vfs_node_t *);
194
extern void vfs_node_put(vfs_node_t *);
194
 
195
 
195
#define MAX_OPEN_FILES  128
196
#define MAX_OPEN_FILES  128
196
 
197
 
197
extern bool vfs_files_init(void);
198
extern bool vfs_files_init(void);
198
extern vfs_file_t *vfs_file_get(int);
199
extern vfs_file_t *vfs_file_get(int);
199
extern int vfs_fd_alloc(void);
200
extern int vfs_fd_alloc(void);
200
extern void vfs_fd_free(int);
201
extern void vfs_fd_free(int);
201
 
202
 
202
extern void vfs_file_addref(vfs_file_t *);
203
extern void vfs_file_addref(vfs_file_t *);
203
extern void vfs_file_delref(vfs_file_t *);
204
extern void vfs_file_delref(vfs_file_t *);
204
 
205
 
205
extern void vfs_node_addref(vfs_node_t *);
206
extern void vfs_node_addref(vfs_node_t *);
206
extern void vfs_node_delref(vfs_node_t *);
207
extern void vfs_node_delref(vfs_node_t *);
207
 
208
 
208
extern void vfs_register(ipc_callid_t, ipc_call_t *);
209
extern void vfs_register(ipc_callid_t, ipc_call_t *);
209
extern void vfs_mount(ipc_callid_t, ipc_call_t *);
210
extern void vfs_mount(ipc_callid_t, ipc_call_t *);
210
extern void vfs_open(ipc_callid_t, ipc_call_t *);
211
extern void vfs_open(ipc_callid_t, ipc_call_t *);
211
extern void vfs_read(ipc_callid_t, ipc_call_t *);
212
extern void vfs_read(ipc_callid_t, ipc_call_t *);
212
extern void vfs_write(ipc_callid_t, ipc_call_t *);
213
extern void vfs_write(ipc_callid_t, ipc_call_t *);
-
 
214
extern void vfs_seek(ipc_callid_t, ipc_call_t *);
213
 
215
 
214
#endif
216
#endif
215
 
217
 
216
/**
218
/**
217
 * @}
219
 * @}
218
 */
220
 */
219
 
221