Subversion Repositories HelenOS

Rev

Rev 2709 | Rev 2731 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2520 jermar 1
/*
2682 jermar 2
 * Copyright (c) 2008 Jakub Jermar
2520 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 fs
30
 * @{
31
 */ 
32
 
33
#ifndef VFS_VFS_H_
34
#define VFS_VFS_H_
35
 
2523 jermar 36
#include <ipc/ipc.h>
2529 jermar 37
#include <libadt/list.h>
2540 jermar 38
#include <atomic.h>
2680 jermar 39
#include <rwlock.h>
2542 jermar 40
#include <sys/types.h>
2550 cejka 41
#include <bool.h>
2523 jermar 42
 
2535 jermar 43
#define dprintf(...)	printf(__VA_ARGS__)
44
 
2550 cejka 45
#define VFS_FIRST	IPC_FIRST_USER_METHOD
2523 jermar 46
 
2526 jermar 47
#define IPC_METHOD_TO_VFS_OP(m)	((m) - VFS_FIRST)	
48
 
2520 jermar 49
typedef enum {
2690 jermar 50
	VFS_OPEN = VFS_FIRST,
2523 jermar 51
	VFS_CLOSE,
52
	VFS_READ,
53
	VFS_WRITE,
2690 jermar 54
	VFS_TRUNCATE,
2593 jermar 55
	VFS_RENAME,
2690 jermar 56
	VFS_OPENDIR,
57
	VFS_READDIR,
58
	VFS_CLOSEDIR,
2707 jermar 59
	VFS_MKDIR,
2593 jermar 60
	VFS_UNLINK,
2690 jermar 61
	VFS_MOUNT,
62
	VFS_UNMOUNT,
63
	VFS_LAST_CMN,	/* keep this the last member of this enum */
64
} vfs_request_cmn_t;
2520 jermar 65
 
2690 jermar 66
typedef enum {
67
	VFS_LOOKUP = VFS_LAST_CMN,
68
	VFS_LAST_CLNT,	/* keep this the last member of this enum */
69
} vfs_request_clnt_t;
2521 jermar 70
 
2690 jermar 71
typedef enum {
72
	VFS_REGISTER = VFS_LAST_CMN,
73
	VFS_SEEK,
74
	VFS_LAST_SRV,	/* keep this the last member of this enum */
75
} vfs_request_srv_t;
76
 
77
 
2521 jermar 78
/**
79
 * An instance of this structure is associated with a particular FS operation.
80
 * It tells VFS if the FS supports the operation or maybe if a default one
81
 * should be used.
82
 */
83
typedef enum {
2523 jermar 84
	VFS_OP_NULL = 0,
2521 jermar 85
	VFS_OP_DEFAULT,
86
	VFS_OP_DEFINED
87
} vfs_op_t;
88
 
89
#define FS_NAME_MAXLEN	20
90
 
91
/**
92
 * A structure like this is passed to VFS by each individual FS upon its
93
 * registration. It assosiates a human-readable identifier with each
94
 * registered FS. More importantly, through this structure, the FS announces
95
 * what operations it supports.
96
 */
97
typedef struct {
2523 jermar 98
	/** Unique identifier of the fs. */
2641 jermar 99
	char name[FS_NAME_MAXLEN + 1];
2523 jermar 100
 
101
	/** Operations. */
2690 jermar 102
	vfs_op_t ops[VFS_LAST_CLNT - VFS_FIRST];
2521 jermar 103
} vfs_info_t;
104
 
2540 jermar 105
/**
106
 * A structure like this will be allocated for each registered file system.
107
 */
2526 jermar 108
typedef struct {
109
	link_t fs_link;
110
	vfs_info_t vfs_info;
2546 jermar 111
	int fs_handle;
112
	atomic_t phone_futex;	/**< Phone serializing futex. */
2527 jermar 113
	ipcarg_t phone;
2526 jermar 114
} fs_info_t;
115
 
2540 jermar 116
/**
2587 jermar 117
 * VFS_PAIR uniquely represents a file system instance.
118
 */
119
#define VFS_PAIR	\
120
	int fs_handle;	\
121
	int dev_handle;	
122
 
123
/**
124
 * VFS_TRIPLET uniquely identifies a file system node (e.g. directory, file) but
125
 * doesn't contain any state. For a stateful structure, see vfs_node_t.
2540 jermar 126
 *
127
 * @note	fs_handle, dev_handle and index are meant to be returned in one
128
 *		IPC reply.
129
 */
2587 jermar 130
#define VFS_TRIPLET	\
131
	VFS_PAIR;	\
132
	uint64_t index;
133
 
2540 jermar 134
typedef struct {
2587 jermar 135
	VFS_PAIR;
136
} vfs_pair_t;
137
 
138
typedef struct {
139
	VFS_TRIPLET;
140
} vfs_triplet_t;
141
 
2704 jermar 142
/*
143
 * Lookup flags.
144
 */
145
/**
146
 * Lookup will succeed only if the object is a regular file.  If L_CREATE is
147
 * specified, an empty file will be created. This flag is mutually exclusive
148
 * with L_DIRECTORY.
149
 */
2700 jermar 150
#define L_FILE		1
2704 jermar 151
/**
152
 * Lookup wil succeed only if the object is a directory. If L_CREATE is
153
 * specified, an empty directory will be created. This flag is mutually
154
 * exclusive with L_FILE.
155
 */
2700 jermar 156
#define L_DIRECTORY	2
2704 jermar 157
/**
158
 * When used with L_CREATE, L_EXCLUSIVE will cause the lookup to fail if the
159
 * object already exists. L_EXCLUSIVE is implied when L_DIRECTORY is used.
160
 */
161
#define L_EXCLUSIVE	4
162
/**
163
 * L_CREATE is used for creating both regular files and directories.
164
 */
165
#define L_CREATE	8
166
/**
167
 * L_DESTROY is used to remove leaves from the file system namespace. This flag
168
 * cannot be passed directly by the client, but will be set by VFS during
169
 * VFS_UNLINK.
170
 */
171
#define L_DESTROY	16
2700 jermar 172
 
2691 jermar 173
typedef struct {
174
	vfs_triplet_t triplet;
175
	size_t size;
2730 jermar 176
	unsigned lnkcnt;
2691 jermar 177
} vfs_lookup_res_t;
178
 
2587 jermar 179
/**
180
 * Instances of this type represent an active, in-memory VFS node and any state
181
 * which may be associated with it.
182
 */
183
typedef struct {
184
	VFS_TRIPLET;		/**< Identity of the node. */
2730 jermar 185
 
186
	/**
187
	 * Usage counter.  This includes, but is not limited to, all vfs_file_t
188
	 * structures that reference this node.
189
	 */
190
	unsigned refcnt;
191
 
192
	/** Number of names this node has in the file system namespace. */
193
	unsigned lnkcnt;
194
 
2593 jermar 195
	link_t nh_link;		/**< Node hash-table link. */
2684 jermar 196
	size_t size;		/**< Cached size of the file. */
2679 jermar 197
 
2682 jermar 198
	/**
199
	 * Holding this rwlock prevents modifications of the node's contents.
200
	 */
201
	rwlock_t contents_rwlock;
2540 jermar 202
} vfs_node_t;
203
 
204
/**
205
 * Instances of this type represent an open file. If the file is opened by more
206
 * than one task, there will be a separate structure allocated for each task.
207
 */
208
typedef struct {
2683 jermar 209
	/** Serializes access to this open file. */
210
	futex_t lock;
211
 
2540 jermar 212
	vfs_node_t *node;
213
 
214
	/** Number of file handles referencing this file. */
2593 jermar 215
	unsigned refcnt;
2540 jermar 216
 
2709 jermar 217
	/** Append on write. */
218
	bool append;
219
 
2540 jermar 220
	/** Current position in the file. */
221
	off_t pos;
222
} vfs_file_t;
223
 
2542 jermar 224
extern link_t fs_head;		/**< List of registered file systems. */
2535 jermar 225
 
2587 jermar 226
extern vfs_triplet_t rootfs;	/**< Root node of the root file system. */
2535 jermar 227
 
2542 jermar 228
#define MAX_PATH_LEN		(64 * 1024)
229
 
230
#define PLB_SIZE		(2 * MAX_PATH_LEN)
231
 
232
/** Each instance of this type describes one path lookup in progress. */
233
typedef struct {
234
	link_t	plb_link;	/**< Active PLB entries list link. */
235
	unsigned index;		/**< Index of the first character in PLB. */
236
	size_t len;		/**< Number of characters in this PLB entry. */
237
} plb_entry_t;
238
 
239
extern atomic_t plb_futex;	/**< Futex protecting plb and plb_head. */
240
extern uint8_t *plb;		/**< Path Lookup Buffer */
241
extern link_t plb_head;		/**< List of active PLB entries. */
242
 
2681 jermar 243
/** Holding this rwlock prevents changes in file system namespace. */ 
244
extern rwlock_t namespace_rwlock;
2593 jermar 245
 
2546 jermar 246
extern int vfs_grab_phone(int);
247
extern void vfs_release_phone(int);
248
 
2552 jermar 249
extern int fs_name_to_handle(char *, bool);
2548 jermar 250
 
2700 jermar 251
extern int vfs_lookup_internal(char *, size_t, int, vfs_lookup_res_t *,
2687 jermar 252
    vfs_pair_t *);
2593 jermar 253
 
2596 jermar 254
extern bool vfs_nodes_init(void);
2691 jermar 255
extern vfs_node_t *vfs_node_get(vfs_lookup_res_t *);
2593 jermar 256
extern void vfs_node_put(vfs_node_t *);
2544 jermar 257
 
2596 jermar 258
#define MAX_OPEN_FILES	128
259
 
2593 jermar 260
extern bool vfs_files_init(void);
261
extern vfs_file_t *vfs_file_get(int);
262
extern int vfs_fd_alloc(void);
263
extern void vfs_fd_free(int);
264
 
265
extern void vfs_file_addref(vfs_file_t *);
266
extern void vfs_file_delref(vfs_file_t *);
267
 
268
extern void vfs_node_addref(vfs_node_t *);
269
extern void vfs_node_delref(vfs_node_t *);
270
 
2542 jermar 271
extern void vfs_register(ipc_callid_t, ipc_call_t *);
2544 jermar 272
extern void vfs_mount(ipc_callid_t, ipc_call_t *);
2560 jermar 273
extern void vfs_open(ipc_callid_t, ipc_call_t *);
2625 jermar 274
extern void vfs_read(ipc_callid_t, ipc_call_t *);
2666 jermar 275
extern void vfs_write(ipc_callid_t, ipc_call_t *);
2684 jermar 276
extern void vfs_seek(ipc_callid_t, ipc_call_t *);
2693 jermar 277
extern void vfs_truncate(ipc_callid_t, ipc_call_t *);
2707 jermar 278
extern void vfs_mkdir(ipc_callid_t, ipc_call_t *);
2542 jermar 279
 
2520 jermar 280
#endif
281
 
282
/**
283
 * @}
2523 jermar 284
 */