Subversion Repositories HelenOS

Rev

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

Rev 2107 Rev 2125
1
/*
1
/*
2
 * Copyright (c) 2001-2004 Jakub Jermar
2
 * Copyright (c) 2001-2004 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 genericmm
29
/** @addtogroup genericmm
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
35
#ifndef KERN_AS_H_
35
#ifndef KERN_AS_H_
36
#define KERN_AS_H_
36
#define KERN_AS_H_
37
 
37
 
38
/** Address space area flags. */
38
/** Address space area flags. */
39
#define AS_AREA_READ        1
39
#define AS_AREA_READ        1
40
#define AS_AREA_WRITE       2
40
#define AS_AREA_WRITE       2
41
#define AS_AREA_EXEC        4
41
#define AS_AREA_EXEC        4
42
#define AS_AREA_CACHEABLE   8
42
#define AS_AREA_CACHEABLE   8
43
 
43
 
44
#ifdef KERNEL
44
#ifdef KERNEL
45
 
45
 
46
#include <arch/mm/page.h>
46
#include <arch/mm/page.h>
47
#include <arch/mm/as.h>
47
#include <arch/mm/as.h>
48
#include <arch/mm/asid.h>
48
#include <arch/mm/asid.h>
49
#include <arch/types.h>
49
#include <arch/types.h>
50
#include <synch/spinlock.h>
50
#include <synch/spinlock.h>
51
#include <synch/mutex.h>
51
#include <synch/mutex.h>
52
#include <adt/list.h>
52
#include <adt/list.h>
53
#include <adt/btree.h>
53
#include <adt/btree.h>
54
#include <lib/elf.h>
54
#include <lib/elf.h>
55
 
55
 
56
/**
56
/**
57
 * Defined to be true if user address space and kernel address space shadow each
57
 * Defined to be true if user address space and kernel address space shadow each
58
 * other.
58
 * other.
59
 */
59
 */
60
#define KERNEL_ADDRESS_SPACE_SHADOWED   KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
60
#define KERNEL_ADDRESS_SPACE_SHADOWED   KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
61
 
61
 
62
#define KERNEL_ADDRESS_SPACE_START  KERNEL_ADDRESS_SPACE_START_ARCH
62
#define KERNEL_ADDRESS_SPACE_START  KERNEL_ADDRESS_SPACE_START_ARCH
63
#define KERNEL_ADDRESS_SPACE_END    KERNEL_ADDRESS_SPACE_END_ARCH
63
#define KERNEL_ADDRESS_SPACE_END    KERNEL_ADDRESS_SPACE_END_ARCH
64
#define USER_ADDRESS_SPACE_START    USER_ADDRESS_SPACE_START_ARCH
64
#define USER_ADDRESS_SPACE_START    USER_ADDRESS_SPACE_START_ARCH
65
#define USER_ADDRESS_SPACE_END      USER_ADDRESS_SPACE_END_ARCH
65
#define USER_ADDRESS_SPACE_END      USER_ADDRESS_SPACE_END_ARCH
66
 
66
 
67
#define USTACK_ADDRESS          USTACK_ADDRESS_ARCH
67
#define USTACK_ADDRESS          USTACK_ADDRESS_ARCH
68
 
68
 
69
/** Kernel address space. */
69
/** Kernel address space. */
70
#define FLAG_AS_KERNEL          (1 << 0)    
70
#define FLAG_AS_KERNEL          (1 << 0)    
71
 
71
 
72
/* Address space area attributes. */
72
/* Address space area attributes. */
73
#define AS_AREA_ATTR_NONE   0
73
#define AS_AREA_ATTR_NONE   0
74
#define AS_AREA_ATTR_PARTIAL    1   /**< Not fully initialized area. */
74
#define AS_AREA_ATTR_PARTIAL    1   /**< Not fully initialized area. */
75
 
75
 
76
/** The page fault was not resolved by as_page_fault(). */
76
/** The page fault was not resolved by as_page_fault(). */
77
#define AS_PF_FAULT     0
77
#define AS_PF_FAULT     0
78
/** The page fault was resolved by as_page_fault(). */
78
/** The page fault was resolved by as_page_fault(). */
79
#define AS_PF_OK        1
79
#define AS_PF_OK        1
80
/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
80
/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
81
#define AS_PF_DEFER     2
81
#define AS_PF_DEFER     2
82
 
82
 
-
 
83
#ifdef __OBJC__
-
 
84
@interface as_t {
-
 
85
    @public
-
 
86
        /** Protected by asidlock. */
-
 
87
        link_t inactive_as_with_asid_link;
-
 
88
       
-
 
89
        mutex_t lock;
-
 
90
       
-
 
91
        /** Number of references (i.e tasks that reference this as). */
-
 
92
        count_t refcount;
-
 
93
       
-
 
94
        /** Number of processors on wich is this address space active. */
-
 
95
        count_t cpu_refcount;
-
 
96
       
-
 
97
        /** B+tree of address space areas. */
-
 
98
        btree_t as_area_btree;
-
 
99
       
-
 
100
        /**
-
 
101
         *  Address space identifier.
-
 
102
         *  Constant on architectures that do not support ASIDs.
-
 
103
         */
-
 
104
        asid_t asid;
-
 
105
       
-
 
106
        /** Non-generic content. */
-
 
107
        as_genarch_t genarch;
-
 
108
       
-
 
109
        /** Architecture specific content. */
-
 
110
        as_arch_t arch;
-
 
111
}
-
 
112
+ (pte_t *) page_table_create: (int) flags;
-
 
113
+ (void) page_table_destroy: (pte_t *) page_table;
-
 
114
- (void) page_table_lock: (bool) _lock;
-
 
115
- (void) page_table_unlock: (bool) unlock;
-
 
116
@end
-
 
117
 
-
 
118
#else
-
 
119
 
83
/** Address space structure.
120
/** Address space structure.
84
 *
121
 *
85
 * as_t contains the list of as_areas of userspace accessible
122
 * as_t contains the list of as_areas of userspace accessible
86
 * pages for one or more tasks. Ranges of kernel memory pages are not
123
 * pages for one or more tasks. Ranges of kernel memory pages are not
87
 * supposed to figure in the list as they are shared by all tasks and
124
 * supposed to figure in the list as they are shared by all tasks and
88
 * set up during system initialization.
125
 * set up during system initialization.
89
 */
126
 */
90
typedef struct as {
127
typedef struct as {
91
    /** Protected by asidlock. */
128
    /** Protected by asidlock. */
92
    link_t inactive_as_with_asid_link;
129
    link_t inactive_as_with_asid_link;
93
 
130
 
94
    mutex_t lock;
131
    mutex_t lock;
95
 
132
 
96
    /** Number of references (i.e tasks that reference this as). */
133
    /** Number of references (i.e tasks that reference this as). */
97
    count_t refcount;
134
    count_t refcount;
98
 
135
 
99
    /** Number of processors on wich is this address space active. */
136
    /** Number of processors on wich is this address space active. */
100
    count_t cpu_refcount;
137
    count_t cpu_refcount;
101
 
138
 
102
    /** B+tree of address space areas. */
139
    /** B+tree of address space areas. */
103
    btree_t as_area_btree;
140
    btree_t as_area_btree;
104
   
141
   
105
    /**
142
    /**
106
     *  Address space identifier.
143
     *  Address space identifier.
107
     *  Constant on architectures that do not support ASIDs.
144
     *  Constant on architectures that do not support ASIDs.
108
     */
145
     */
109
    asid_t asid;
146
    asid_t asid;
110
   
147
   
111
    /** Non-generic content. */
148
    /** Non-generic content. */
112
    as_genarch_t genarch;
149
    as_genarch_t genarch;
113
 
150
 
114
    /** Architecture specific content. */
151
    /** Architecture specific content. */
115
    as_arch_t arch;
152
    as_arch_t arch;
116
} as_t;
153
} as_t;
117
 
154
 
118
typedef struct {
155
typedef struct {
119
    pte_t *(* page_table_create)(int flags);
156
    pte_t *(* page_table_create)(int flags);
120
    void (* page_table_destroy)(pte_t *page_table);
157
    void (* page_table_destroy)(pte_t *page_table);
121
    void (* page_table_lock)(as_t *as, bool lock);
158
    void (* page_table_lock)(as_t *as, bool lock);
122
    void (* page_table_unlock)(as_t *as, bool unlock);
159
    void (* page_table_unlock)(as_t *as, bool unlock);
123
} as_operations_t;
160
} as_operations_t;
-
 
161
#endif
124
 
162
 
125
/**
163
/**
126
 * This structure contains information associated with the shared address space
164
 * This structure contains information associated with the shared address space
127
 * area.
165
 * area.
128
 */
166
 */
129
typedef struct {
167
typedef struct {
130
    /** This lock must be acquired only when the as_area lock is held. */
168
    /** This lock must be acquired only when the as_area lock is held. */
131
    mutex_t lock;      
169
    mutex_t lock;      
132
    /** This structure can be deallocated if refcount drops to 0. */
170
    /** This structure can be deallocated if refcount drops to 0. */
133
    count_t refcount;
171
    count_t refcount;
134
    /**
172
    /**
135
     * B+tree containing complete map of anonymous pages of the shared area.
173
     * B+tree containing complete map of anonymous pages of the shared area.
136
     */
174
     */
137
    btree_t pagemap;
175
    btree_t pagemap;
138
} share_info_t;
176
} share_info_t;
139
 
177
 
140
/** Page fault access type. */
178
/** Page fault access type. */
141
typedef enum {
179
typedef enum {
142
    PF_ACCESS_READ,
180
    PF_ACCESS_READ,
143
    PF_ACCESS_WRITE,
181
    PF_ACCESS_WRITE,
144
    PF_ACCESS_EXEC
182
    PF_ACCESS_EXEC
145
} pf_access_t;
183
} pf_access_t;
146
 
184
 
147
struct mem_backend;
185
struct mem_backend;
148
 
186
 
149
/** Backend data stored in address space area. */
187
/** Backend data stored in address space area. */
150
typedef union mem_backend_data {
188
typedef union mem_backend_data {
151
    struct {    /**< elf_backend members */
189
    struct {    /**< elf_backend members */
152
        elf_header_t *elf;
190
        elf_header_t *elf;
153
        elf_segment_header_t *segment;
191
        elf_segment_header_t *segment;
154
    };
192
    };
155
    struct {    /**< phys_backend members */
193
    struct {    /**< phys_backend members */
156
        uintptr_t base;
194
        uintptr_t base;
157
        count_t frames;
195
        count_t frames;
158
    };
196
    };
159
} mem_backend_data_t;
197
} mem_backend_data_t;
160
 
198
 
161
/** Address space area structure.
199
/** Address space area structure.
162
 *
200
 *
163
 * Each as_area_t structure describes one contiguous area of virtual memory.
201
 * Each as_area_t structure describes one contiguous area of virtual memory.
164
 * In the future, it should not be difficult to support shared areas.
202
 * In the future, it should not be difficult to support shared areas.
165
 */
203
 */
166
typedef struct {
204
typedef struct {
167
    mutex_t lock;
205
    mutex_t lock;
168
    /** Containing address space. */
206
    /** Containing address space. */
169
    as_t *as;      
207
    as_t *as;      
170
    /**
208
    /**
171
     * Flags related to the memory represented by the address space area.
209
     * Flags related to the memory represented by the address space area.
172
     */
210
     */
173
    int flags;
211
    int flags;
174
    /** Attributes related to the address space area itself. */
212
    /** Attributes related to the address space area itself. */
175
    int attributes;
213
    int attributes;
176
    /** Size of this area in multiples of PAGE_SIZE. */
214
    /** Size of this area in multiples of PAGE_SIZE. */
177
    count_t pages;
215
    count_t pages;
178
    /** Base address of this area. */
216
    /** Base address of this area. */
179
    uintptr_t base;
217
    uintptr_t base;
180
    /** Map of used space. */
218
    /** Map of used space. */
181
    btree_t used_space;
219
    btree_t used_space;
182
 
220
 
183
    /**
221
    /**
184
     * If the address space area has been shared, this pointer will
222
     * If the address space area has been shared, this pointer will
185
     * reference the share info structure.
223
     * reference the share info structure.
186
     */
224
     */
187
    share_info_t *sh_info;
225
    share_info_t *sh_info;
188
 
226
 
189
    /** Memory backend backing this address space area. */
227
    /** Memory backend backing this address space area. */
190
    struct mem_backend *backend;
228
    struct mem_backend *backend;
191
 
229
 
192
    /** Data to be used by the backend. */
230
    /** Data to be used by the backend. */
193
    mem_backend_data_t backend_data;
231
    mem_backend_data_t backend_data;
194
} as_area_t;
232
} as_area_t;
195
 
233
 
196
/** Address space area backend structure. */
234
/** Address space area backend structure. */
197
typedef struct mem_backend {
235
typedef struct mem_backend {
198
    int (* page_fault)(as_area_t *area, uintptr_t addr, pf_access_t access);
236
    int (* page_fault)(as_area_t *area, uintptr_t addr, pf_access_t access);
199
    void (* frame_free)(as_area_t *area, uintptr_t page, uintptr_t frame);
237
    void (* frame_free)(as_area_t *area, uintptr_t page, uintptr_t frame);
200
    void (* share)(as_area_t *area);
238
    void (* share)(as_area_t *area);
201
} mem_backend_t;
239
} mem_backend_t;
202
 
240
 
203
extern as_t *AS_KERNEL;
241
extern as_t *AS_KERNEL;
-
 
242
 
-
 
243
#ifndef __OBJC__
204
extern as_operations_t *as_operations;
244
extern as_operations_t *as_operations;
-
 
245
#endif
205
 
246
 
206
SPINLOCK_EXTERN(inactive_as_with_asid_lock);
247
SPINLOCK_EXTERN(inactive_as_with_asid_lock);
207
extern link_t inactive_as_with_asid_head;
248
extern link_t inactive_as_with_asid_head;
208
 
249
 
209
extern void as_init(void);
250
extern void as_init(void);
210
 
251
 
211
extern as_t *as_create(int flags);
252
extern as_t *as_create(int flags);
212
extern void as_destroy(as_t *as);
253
extern void as_destroy(as_t *as);
213
extern void as_switch(as_t *old_as, as_t *new_as);
254
extern void as_switch(as_t *old_as, as_t *new_as);
214
extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate);
255
extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate);
215
 
256
 
216
extern as_area_t *as_area_create(as_t *as, int flags, size_t size,
257
extern as_area_t *as_area_create(as_t *as, int flags, size_t size,
217
    uintptr_t base, int attrs, mem_backend_t *backend,
258
    uintptr_t base, int attrs, mem_backend_t *backend,
218
    mem_backend_data_t *backend_data);
259
    mem_backend_data_t *backend_data);
219
extern int as_area_destroy(as_t *as, uintptr_t address);   
260
extern int as_area_destroy(as_t *as, uintptr_t address);   
220
extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags);
261
extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags);
221
int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size,
262
int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size,
222
    as_t *dst_as, uintptr_t dst_base, int dst_flags_mask);
263
    as_t *dst_as, uintptr_t dst_base, int dst_flags_mask);
223
 
264
 
224
extern int as_area_get_flags(as_area_t *area);
265
extern int as_area_get_flags(as_area_t *area);
225
extern bool as_area_check_access(as_area_t *area, pf_access_t access);
266
extern bool as_area_check_access(as_area_t *area, pf_access_t access);
226
extern size_t as_get_size(uintptr_t base);
267
extern size_t as_get_size(uintptr_t base);
227
extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count);
268
extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count);
228
extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count);
269
extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count);
229
 
270
 
230
 
271
 
231
/* Interface to be implemented by architectures. */
272
/* Interface to be implemented by architectures. */
232
#ifndef as_constructor_arch
273
#ifndef as_constructor_arch
233
extern int as_constructor_arch(as_t *as, int flags);
274
extern int as_constructor_arch(as_t *as, int flags);
234
#endif /* !def as_constructor_arch */
275
#endif /* !def as_constructor_arch */
235
#ifndef as_destructor_arch
276
#ifndef as_destructor_arch
236
extern int as_destructor_arch(as_t *as);
277
extern int as_destructor_arch(as_t *as);
237
#endif /* !def as_destructor_arch */
278
#endif /* !def as_destructor_arch */
238
#ifndef as_create_arch
279
#ifndef as_create_arch
239
extern int as_create_arch(as_t *as, int flags);
280
extern int as_create_arch(as_t *as, int flags);
240
#endif /* !def as_create_arch */
281
#endif /* !def as_create_arch */
241
#ifndef as_install_arch
282
#ifndef as_install_arch
242
extern void as_install_arch(as_t *as);
283
extern void as_install_arch(as_t *as);
243
#endif /* !def as_install_arch */
284
#endif /* !def as_install_arch */
244
#ifndef as_deinstall_arch
285
#ifndef as_deinstall_arch
245
extern void as_deinstall_arch(as_t *as);
286
extern void as_deinstall_arch(as_t *as);
246
#endif /* !def as_deinstall_arch */
287
#endif /* !def as_deinstall_arch */
247
 
288
 
248
/* Backend declarations and functions. */
289
/* Backend declarations and functions. */
249
extern mem_backend_t anon_backend;
290
extern mem_backend_t anon_backend;
250
extern mem_backend_t elf_backend;
291
extern mem_backend_t elf_backend;
251
extern mem_backend_t phys_backend;
292
extern mem_backend_t phys_backend;
252
 
293
 
253
extern int elf_load(elf_header_t *header, as_t *as);
294
extern int elf_load(elf_header_t *header, as_t *as);
254
 
295
 
255
/* Address space area related syscalls. */
296
/* Address space area related syscalls. */
256
extern unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);
297
extern unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);
257
extern unative_t sys_as_area_resize(uintptr_t address, size_t size, int flags);
298
extern unative_t sys_as_area_resize(uintptr_t address, size_t size, int flags);
258
extern unative_t sys_as_area_destroy(uintptr_t address);
299
extern unative_t sys_as_area_destroy(uintptr_t address);
259
 
300
 
260
/* Introspection functions. */
301
/* Introspection functions. */
261
extern void as_print(as_t *as);
302
extern void as_print(as_t *as);
262
 
303
 
263
#endif /* KERNEL */
304
#endif /* KERNEL */
264
 
305
 
265
#endif
306
#endif
266
 
307
 
267
/** @}
308
/** @}
268
 */
309
 */
269
 
310