Subversion Repositories HelenOS

Rev

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

Rev 2742 Rev 2766
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    vfs_node.c
34
 * @file    vfs_node.c
35
 * @brief   Various operations on VFS nodes have their home in this file.
35
 * @brief   Various operations on VFS nodes have their home in this file.
36
 */
36
 */
37
 
37
 
38
#include "vfs.h"
38
#include "vfs.h"
39
#include <stdlib.h>
39
#include <stdlib.h>
40
#include <string.h>
40
#include <string.h>
41
#include <atomic.h>
-
 
42
#include <futex.h>
41
#include <futex.h>
43
#include <rwlock.h>
42
#include <rwlock.h>
44
#include <libadt/hash_table.h>
43
#include <libadt/hash_table.h>
45
#include <assert.h>
44
#include <assert.h>
46
#include <async.h>
45
#include <async.h>
47
#include <errno.h>
46
#include <errno.h>
48
 
47
 
49
/** Futex protecting the VFS node hash table. */
48
/** Futex protecting the VFS node hash table. */
50
atomic_t nodes_futex = FUTEX_INITIALIZER;
49
futex_t nodes_futex = FUTEX_INITIALIZER;
51
 
50
 
52
#define NODES_BUCKETS_LOG   8
51
#define NODES_BUCKETS_LOG   8
53
#define NODES_BUCKETS       (1 << NODES_BUCKETS_LOG)
52
#define NODES_BUCKETS       (1 << NODES_BUCKETS_LOG)
54
 
53
 
55
/** VFS node hash table containing all active, in-memory VFS nodes. */
54
/** VFS node hash table containing all active, in-memory VFS nodes. */
56
hash_table_t nodes;
55
hash_table_t nodes;
57
 
56
 
58
#define KEY_FS_HANDLE   0
57
#define KEY_FS_HANDLE   0
59
#define KEY_DEV_HANDLE  1
58
#define KEY_DEV_HANDLE  1
60
#define KEY_INDEX   2
59
#define KEY_INDEX   2
61
 
60
 
62
static hash_index_t nodes_hash(unsigned long []);
61
static hash_index_t nodes_hash(unsigned long []);
63
static int nodes_compare(unsigned long [], hash_count_t, link_t *);
62
static int nodes_compare(unsigned long [], hash_count_t, link_t *);
64
static void nodes_remove_callback(link_t *);
63
static void nodes_remove_callback(link_t *);
65
 
64
 
66
/** VFS node hash table operations. */
65
/** VFS node hash table operations. */
67
hash_table_operations_t nodes_ops = {
66
hash_table_operations_t nodes_ops = {
68
    .hash = nodes_hash,
67
    .hash = nodes_hash,
69
    .compare = nodes_compare,
68
    .compare = nodes_compare,
70
    .remove_callback = nodes_remove_callback
69
    .remove_callback = nodes_remove_callback
71
};
70
};
72
 
71
 
73
/** Initialize the VFS node hash table.
72
/** Initialize the VFS node hash table.
74
 *
73
 *
75
 * @return      Return true on success, false on failure.
74
 * @return      Return true on success, false on failure.
76
 */
75
 */
77
bool vfs_nodes_init(void)
76
bool vfs_nodes_init(void)
78
{
77
{
79
    return hash_table_create(&nodes, NODES_BUCKETS, 3, &nodes_ops);
78
    return hash_table_create(&nodes, NODES_BUCKETS, 3, &nodes_ops);
80
}
79
}
81
 
80
 
82
static inline void _vfs_node_addref(vfs_node_t *node)
81
static inline void _vfs_node_addref(vfs_node_t *node)
83
{
82
{
84
    node->refcnt++;
83
    node->refcnt++;
85
}
84
}
86
 
85
 
87
/** Increment reference count of a VFS node.
86
/** Increment reference count of a VFS node.
88
 *
87
 *
89
 * @param node      VFS node that will have its refcnt incremented.
88
 * @param node      VFS node that will have its refcnt incremented.
90
 */
89
 */
91
void vfs_node_addref(vfs_node_t *node)
90
void vfs_node_addref(vfs_node_t *node)
92
{
91
{
93
    futex_down(&nodes_futex);
92
    futex_down(&nodes_futex);
94
    _vfs_node_addref(node);
93
    _vfs_node_addref(node);
95
    futex_up(&nodes_futex);
94
    futex_up(&nodes_futex);
96
}
95
}
97
 
96
 
98
/** Decrement reference count of a VFS node.
97
/** Decrement reference count of a VFS node.
99
 *
98
 *
100
 * This function handles the case when the reference count drops to zero.
99
 * This function handles the case when the reference count drops to zero.
101
 *
100
 *
102
 * @param node      VFS node that will have its refcnt decremented.
101
 * @param node      VFS node that will have its refcnt decremented.
103
 */
102
 */
104
void vfs_node_delref(vfs_node_t *node)
103
void vfs_node_delref(vfs_node_t *node)
105
{
104
{
106
    bool free_vfs_node = false;
105
    bool free_vfs_node = false;
107
    bool free_fs_node = false;
106
    bool free_fs_node = false;
108
 
107
 
109
    futex_down(&nodes_futex);
108
    futex_down(&nodes_futex);
110
    if (node->refcnt-- == 1) {
109
    if (node->refcnt-- == 1) {
111
        /*
110
        /*
112
         * We are dropping the last reference to this node.
111
         * We are dropping the last reference to this node.
113
         * Remove it from the VFS node hash table.
112
         * Remove it from the VFS node hash table.
114
         */
113
         */
115
        unsigned long key[] = {
114
        unsigned long key[] = {
116
            [KEY_FS_HANDLE] = node->fs_handle,
115
            [KEY_FS_HANDLE] = node->fs_handle,
117
            [KEY_DEV_HANDLE] = node->dev_handle,
116
            [KEY_DEV_HANDLE] = node->dev_handle,
118
            [KEY_INDEX] = node->index
117
            [KEY_INDEX] = node->index
119
        };
118
        };
120
        hash_table_remove(&nodes, key, 3);
119
        hash_table_remove(&nodes, key, 3);
121
        free_vfs_node = true;
120
        free_vfs_node = true;
122
        if (!node->lnkcnt)
121
        if (!node->lnkcnt)
123
            free_fs_node = true;
122
            free_fs_node = true;
124
    }
123
    }
125
    futex_up(&nodes_futex);
124
    futex_up(&nodes_futex);
126
 
125
 
127
    if (free_fs_node) {
126
    if (free_fs_node) {
128
        /*
127
        /*
129
         * The node is not visible in the file system namespace.
128
         * The node is not visible in the file system namespace.
130
         * Free up its resources.
129
         * Free up its resources.
131
         */
130
         */
132
        int phone = vfs_grab_phone(node->fs_handle);
131
        int phone = vfs_grab_phone(node->fs_handle);
133
        ipcarg_t rc;
132
        ipcarg_t rc;
134
        rc = async_req_2_0(phone, VFS_DESTROY,
133
        rc = async_req_2_0(phone, VFS_DESTROY,
135
            (ipcarg_t)node->dev_handle, (ipcarg_t)node->index);
134
            (ipcarg_t)node->dev_handle, (ipcarg_t)node->index);
136
        assert(rc == EOK);
135
        assert(rc == EOK);
137
        vfs_release_phone(phone);
136
        vfs_release_phone(phone);
138
    }
137
    }
139
    if (free_vfs_node)
138
    if (free_vfs_node)
140
        free(node);
139
        free(node);
141
}
140
}
142
 
141
 
143
/** Find VFS node.
142
/** Find VFS node.
144
 *
143
 *
145
 * This function will try to lookup the given triplet in the VFS node hash
144
 * This function will try to lookup the given triplet in the VFS node hash
146
 * table. In case the triplet is not found there, a new VFS node is created.
145
 * table. In case the triplet is not found there, a new VFS node is created.
147
 * In any case, the VFS node will have its reference count incremented. Every
146
 * In any case, the VFS node will have its reference count incremented. Every
148
 * node returned by this call should be eventually put back by calling
147
 * node returned by this call should be eventually put back by calling
149
 * vfs_node_put() on it.
148
 * vfs_node_put() on it.
150
 *
149
 *
151
 * @param result    Populated lookup result structure.
150
 * @param result    Populated lookup result structure.
152
 *
151
 *
153
 * @return      VFS node corresponding to the given triplet.
152
 * @return      VFS node corresponding to the given triplet.
154
 */
153
 */
155
vfs_node_t *vfs_node_get(vfs_lookup_res_t *result)
154
vfs_node_t *vfs_node_get(vfs_lookup_res_t *result)
156
{
155
{
157
    unsigned long key[] = {
156
    unsigned long key[] = {
158
        [KEY_FS_HANDLE] = result->triplet.fs_handle,
157
        [KEY_FS_HANDLE] = result->triplet.fs_handle,
159
        [KEY_DEV_HANDLE] = result->triplet.dev_handle,
158
        [KEY_DEV_HANDLE] = result->triplet.dev_handle,
160
        [KEY_INDEX] = result->triplet.index
159
        [KEY_INDEX] = result->triplet.index
161
    };
160
    };
162
    link_t *tmp;
161
    link_t *tmp;
163
    vfs_node_t *node;
162
    vfs_node_t *node;
164
 
163
 
165
    futex_down(&nodes_futex);
164
    futex_down(&nodes_futex);
166
    tmp = hash_table_find(&nodes, key);
165
    tmp = hash_table_find(&nodes, key);
167
    if (!tmp) {
166
    if (!tmp) {
168
        node = (vfs_node_t *) malloc(sizeof(vfs_node_t));
167
        node = (vfs_node_t *) malloc(sizeof(vfs_node_t));
169
        if (!node) {
168
        if (!node) {
170
            futex_up(&nodes_futex);
169
            futex_up(&nodes_futex);
171
            return NULL;
170
            return NULL;
172
        }
171
        }
173
        memset(node, 0, sizeof(vfs_node_t));
172
        memset(node, 0, sizeof(vfs_node_t));
174
        node->fs_handle = result->triplet.fs_handle;
173
        node->fs_handle = result->triplet.fs_handle;
175
        node->dev_handle = result->triplet.dev_handle;
174
        node->dev_handle = result->triplet.dev_handle;
176
        node->index = result->triplet.index;
175
        node->index = result->triplet.index;
177
        node->size = result->size;
176
        node->size = result->size;
178
        node->lnkcnt = result->lnkcnt;
177
        node->lnkcnt = result->lnkcnt;
179
        link_initialize(&node->nh_link);
178
        link_initialize(&node->nh_link);
180
        rwlock_initialize(&node->contents_rwlock);
179
        rwlock_initialize(&node->contents_rwlock);
181
        hash_table_insert(&nodes, key, &node->nh_link);
180
        hash_table_insert(&nodes, key, &node->nh_link);
182
    } else {
181
    } else {
183
        node = hash_table_get_instance(tmp, vfs_node_t, nh_link);  
182
        node = hash_table_get_instance(tmp, vfs_node_t, nh_link);  
184
    }
183
    }
185
 
184
 
186
    assert(node->size == result->size);
185
    assert(node->size == result->size);
187
    assert(node->lnkcnt == result->lnkcnt);
186
    assert(node->lnkcnt == result->lnkcnt);
188
 
187
 
189
    _vfs_node_addref(node);
188
    _vfs_node_addref(node);
190
    futex_up(&nodes_futex);
189
    futex_up(&nodes_futex);
191
 
190
 
192
    return node;
191
    return node;
193
}
192
}
194
 
193
 
195
/** Return VFS node when no longer needed by the caller.
194
/** Return VFS node when no longer needed by the caller.
196
 *
195
 *
197
 * This function will remove the reference on the VFS node created by
196
 * This function will remove the reference on the VFS node created by
198
 * vfs_node_get(). This function can only be called as a closing bracket to the
197
 * vfs_node_get(). This function can only be called as a closing bracket to the
199
 * preceding vfs_node_get() call.
198
 * preceding vfs_node_get() call.
200
 *
199
 *
201
 * @param node      VFS node being released.
200
 * @param node      VFS node being released.
202
 */
201
 */
203
void vfs_node_put(vfs_node_t *node)
202
void vfs_node_put(vfs_node_t *node)
204
{
203
{
205
    vfs_node_delref(node);
204
    vfs_node_delref(node);
206
}
205
}
207
 
206
 
208
hash_index_t nodes_hash(unsigned long key[])
207
hash_index_t nodes_hash(unsigned long key[])
209
{
208
{
210
    hash_index_t a = key[KEY_FS_HANDLE] << (NODES_BUCKETS_LOG / 4);
209
    hash_index_t a = key[KEY_FS_HANDLE] << (NODES_BUCKETS_LOG / 4);
211
    hash_index_t b = (a | key[KEY_DEV_HANDLE]) << (NODES_BUCKETS_LOG / 2);
210
    hash_index_t b = (a | key[KEY_DEV_HANDLE]) << (NODES_BUCKETS_LOG / 2);
212
   
211
   
213
    return (b | key[KEY_INDEX]) & (NODES_BUCKETS - 1);
212
    return (b | key[KEY_INDEX]) & (NODES_BUCKETS - 1);
214
}
213
}
215
 
214
 
216
int nodes_compare(unsigned long key[], hash_count_t keys, link_t *item)
215
int nodes_compare(unsigned long key[], hash_count_t keys, link_t *item)
217
{
216
{
218
    vfs_node_t *node = hash_table_get_instance(item, vfs_node_t, nh_link);
217
    vfs_node_t *node = hash_table_get_instance(item, vfs_node_t, nh_link);
219
    return (node->fs_handle == key[KEY_FS_HANDLE]) &&
218
    return (node->fs_handle == key[KEY_FS_HANDLE]) &&
220
        (node->dev_handle == key[KEY_DEV_HANDLE]) &&
219
        (node->dev_handle == key[KEY_DEV_HANDLE]) &&
221
        (node->index == key[KEY_INDEX]);
220
        (node->index == key[KEY_INDEX]);
222
}
221
}
223
 
222
 
224
void nodes_remove_callback(link_t *item)
223
void nodes_remove_callback(link_t *item)
225
{
224
{
226
}
225
}
227
 
226
 
228
/**
227
/**
229
 * @}
228
 * @}
230
 */
229
 */
231
 
230