Subversion Repositories HelenOS

Rev

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

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