Navigation
- Accueil
- Présentation :
- FAQ
- Bugs et errata
- Contributions de lecteurs
- Téléchargements
- LXR (référencement des sources)
- Mailing-list
- Liens et Projets reliés
Site hébergé par :
Site hébergé par :
|
[ source navigation ] [ diff markup ] [ identifier search ] [ general search ] |
|||
|
||||
001 /* Copyright (C) 2004 David Decotigny 001 /* Copyright (C) 2004 David Decotigny 002 Copyright (C) 2000 The KOS Team << 003 002 004 This program is free software; you can redi 003 This program is free software; you can redistribute it and/or 005 modify it under the terms of the GNU Genera 004 modify it under the terms of the GNU General Public License 006 as published by the Free Software Foundatio 005 as published by the Free Software Foundation; either version 2 007 of the License, or (at your option) any lat 006 of the License, or (at your option) any later version. 008 007 009 This program is distributed in the hope tha 008 This program is distributed in the hope that it will be useful, 010 but WITHOUT ANY WARRANTY; without even the 009 but WITHOUT ANY WARRANTY; without even the implied warranty of 011 MERCHANTABILITY or FITNESS FOR A PARTICULAR 010 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 012 GNU General Public License for more details 011 GNU General Public License for more details. 013 012 014 You should have received a copy of the GNU 013 You should have received a copy of the GNU General Public License 015 along with this program; if not, write to t 014 along with this program; if not, write to the Free Software 016 Foundation, Inc., 59 Temple Place - Suite 3 015 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 017 USA. 016 USA. 018 */ 017 */ 019 #include <sos/list.h> 018 #include <sos/list.h> 020 #include <sos/macros.h> 019 #include <sos/macros.h> 021 #include <sos/assert.h> 020 #include <sos/assert.h> 022 #include <sos/klibc.h> 021 #include <sos/klibc.h> 023 022 024 #include "physmem.h" 023 #include "physmem.h" 025 024 026 /** A descriptor for a physical page in SOS */ 025 /** A descriptor for a physical page in SOS */ 027 struct physical_page_descr 026 struct physical_page_descr 028 { 027 { 029 /** The physical base address for the page * 028 /** The physical base address for the page */ 030 sos_paddr_t paddr; 029 sos_paddr_t paddr; 031 030 032 /** The reference count for this physical pa 031 /** The reference count for this physical page. > 0 means that the 033 page is in the nonfree list. */ !! 032 page is in the used list. */ 034 sos_count_t ref_cnt; 033 sos_count_t ref_cnt; 035 034 036 /** << 037 * An additional counter for user-defined us << 038 * counter is up to the user, however a simp << 039 * - it can only be incremented/decremente << 040 * - when it reaches 0, no automatic actio << 041 * The first rule means in particular that a << 042 * count reaches 0 (=> will be freed) cannot << 043 * value > 0 ! The system will be HALTED if << 044 */ << 045 sos_count_t occupation_cnt; << 046 << 047 << 048 /** Some data associated with the page when 035 /** Some data associated with the page when it is mapped in kernel space */ 049 struct sos_kmem_range *kernel_range; 036 struct sos_kmem_range *kernel_range; 050 037 051 /** The other pages on the list (nonfree, fr !! 038 /** The other pages on the list (used, free) */ 052 struct physical_page_descr *prev, *next; 039 struct physical_page_descr *prev, *next; 053 }; 040 }; 054 041 055 /** These are some markers present in the exec 042 /** These are some markers present in the executable file (see sos.lds) */ 056 extern char __b_kernel, __e_kernel; 043 extern char __b_kernel, __e_kernel; 057 044 058 /** The array of ppage descriptors will be loc 045 /** The array of ppage descriptors will be located at this address */ 059 #define PAGE_DESCR_ARRAY_ADDR \ 046 #define PAGE_DESCR_ARRAY_ADDR \ 060 SOS_PAGE_ALIGN_SUP((sos_paddr_t) (& __e_kern 047 SOS_PAGE_ALIGN_SUP((sos_paddr_t) (& __e_kernel)) 061 static struct physical_page_descr * physical_p 048 static struct physical_page_descr * physical_page_descr_array; 062 049 063 /** The list of physical pages currently avail 050 /** The list of physical pages currently available */ 064 static struct physical_page_descr *free_ppage; 051 static struct physical_page_descr *free_ppage; 065 052 066 /** The list of physical pages currently alloc !! 053 /** The list of physical pages currently in use */ 067 static struct physical_page_descr *nonfree_ppa !! 054 static struct physical_page_descr *used_ppage; 068 055 069 /** We will store here the interval of valid p 056 /** We will store here the interval of valid physical addresses */ 070 static sos_paddr_t physmem_base, physmem_top; 057 static sos_paddr_t physmem_base, physmem_top; 071 058 072 /** We store the number of pages nonfree/free !! 059 /** We store the number of pages used/free */ 073 static sos_count_t physmem_total_pages, physme !! 060 static sos_count_t physmem_total_pages, physmem_used_pages; 074 061 075 sos_ret_t sos_physmem_subsystem_setup(sos_size !! 062 sos_ret_t sos_physmem_setup(sos_size_t ram_size, 076 /* out * !! 063 /* out */sos_paddr_t *kernel_core_base, 077 /* out * !! 064 /* out */sos_paddr_t *kernel_core_top) 078 { 065 { 079 /* The iterator over the page descriptors */ 066 /* The iterator over the page descriptors */ 080 struct physical_page_descr *ppage_descr; 067 struct physical_page_descr *ppage_descr; 081 068 082 /* The iterator over the physical addresses 069 /* The iterator over the physical addresses */ 083 sos_paddr_t ppage_addr; 070 sos_paddr_t ppage_addr; 084 071 085 /* Make sure ram size is aligned on a page b 072 /* Make sure ram size is aligned on a page boundary */ 086 ram_size = SOS_PAGE_ALIGN_INF(ram_size);/* Y 073 ram_size = SOS_PAGE_ALIGN_INF(ram_size);/* Yes, we may lose at most a page */ 087 074 088 /* Reset the nonfree/free page lists before !! 075 /* Reset the used/free page lists before building them */ 089 free_ppage = nonfree_ppage = NULL; !! 076 free_ppage = used_ppage = NULL; 090 physmem_total_pages = physmem_nonfree_pages !! 077 physmem_total_pages = physmem_used_pages = 0; 091 078 092 /* Make sure that there is enough memory to 079 /* Make sure that there is enough memory to store the array of page 093 descriptors */ 080 descriptors */ 094 *kernel_core_base = SOS_PAGE_ALIGN_INF((sos_ 081 *kernel_core_base = SOS_PAGE_ALIGN_INF((sos_paddr_t)(& __b_kernel)); 095 *kernel_core_top 082 *kernel_core_top 096 = PAGE_DESCR_ARRAY_ADDR 083 = PAGE_DESCR_ARRAY_ADDR 097 + SOS_PAGE_ALIGN_SUP( (ram_size >> SOS_P 084 + SOS_PAGE_ALIGN_SUP( (ram_size >> SOS_PAGE_SHIFT) 098 * sizeof(struct ph 085 * sizeof(struct physical_page_descr)); 099 if (*kernel_core_top > ram_size) 086 if (*kernel_core_top > ram_size) 100 return -SOS_ENOMEM; 087 return -SOS_ENOMEM; 101 088 102 /* Page 0-4kB is not available in order to r 089 /* Page 0-4kB is not available in order to return address 0 as a 103 means to signal "no page available" */ 090 means to signal "no page available" */ 104 physmem_base = SOS_PAGE_SIZE; 091 physmem_base = SOS_PAGE_SIZE; 105 physmem_top = ram_size; 092 physmem_top = ram_size; 106 093 107 /* Setup the page descriptor arrray */ 094 /* Setup the page descriptor arrray */ 108 physical_page_descr_array 095 physical_page_descr_array 109 = (struct physical_page_descr*)PAGE_DESCR_ 096 = (struct physical_page_descr*)PAGE_DESCR_ARRAY_ADDR; 110 097 111 /* Scan the list of physical pages */ 098 /* Scan the list of physical pages */ 112 for (ppage_addr = 0, 099 for (ppage_addr = 0, 113 ppage_descr = physical_page_descr_arr 100 ppage_descr = physical_page_descr_array ; 114 ppage_addr < physmem_top ; 101 ppage_addr < physmem_top ; 115 ppage_addr += SOS_PAGE_SIZE, 102 ppage_addr += SOS_PAGE_SIZE, 116 ppage_descr ++) 103 ppage_descr ++) 117 { 104 { 118 enum { PPAGE_MARK_RESERVED, PPAGE_MARK_F 105 enum { PPAGE_MARK_RESERVED, PPAGE_MARK_FREE, 119 PPAGE_MARK_KERNEL, PPAGE_MARK_HWM 106 PPAGE_MARK_KERNEL, PPAGE_MARK_HWMAP } todo; 120 107 121 memset(ppage_descr, 0x0, sizeof(struct p 108 memset(ppage_descr, 0x0, sizeof(struct physical_page_descr)); 122 109 123 /* Init the page descriptor for this pag 110 /* Init the page descriptor for this page */ 124 ppage_descr->paddr = ppage_addr; 111 ppage_descr->paddr = ppage_addr; 125 112 126 /* Reserved : 0 ... base */ 113 /* Reserved : 0 ... base */ 127 if (ppage_addr < physmem_base) 114 if (ppage_addr < physmem_base) 128 todo = PPAGE_MARK_RESERVED; 115 todo = PPAGE_MARK_RESERVED; 129 116 130 /* Free : base ... BIOS */ 117 /* Free : base ... BIOS */ 131 else if ((ppage_addr >= physmem_base) 118 else if ((ppage_addr >= physmem_base) 132 && (ppage_addr < BIOS_N_VIDEO_S 119 && (ppage_addr < BIOS_N_VIDEO_START)) 133 todo = PPAGE_MARK_FREE; 120 todo = PPAGE_MARK_FREE; 134 121 135 /* Used : BIOS */ 122 /* Used : BIOS */ 136 else if ((ppage_addr >= BIOS_N_VIDEO_STA 123 else if ((ppage_addr >= BIOS_N_VIDEO_START) 137 && (ppage_addr < BIOS_N_VIDEO_E 124 && (ppage_addr < BIOS_N_VIDEO_END)) 138 todo = PPAGE_MARK_HWMAP; 125 todo = PPAGE_MARK_HWMAP; 139 126 140 /* Free : BIOS ... kernel */ 127 /* Free : BIOS ... kernel */ 141 else if ((ppage_addr >= BIOS_N_VIDEO_END 128 else if ((ppage_addr >= BIOS_N_VIDEO_END) 142 && (ppage_addr < (sos_paddr_t) 129 && (ppage_addr < (sos_paddr_t) (& __b_kernel))) 143 todo = PPAGE_MARK_FREE; 130 todo = PPAGE_MARK_FREE; 144 131 145 /* Used : Kernel code/data/bss + physcal 132 /* Used : Kernel code/data/bss + physcal page descr array */ 146 else if ((ppage_addr >= *kernel_core_bas 133 else if ((ppage_addr >= *kernel_core_base) 147 && (ppage_addr < *kernel_core_ 134 && (ppage_addr < *kernel_core_top)) 148 todo = PPAGE_MARK_KERNEL; 135 todo = PPAGE_MARK_KERNEL; 149 136 150 /* Free : first page of descr ... end of 137 /* Free : first page of descr ... end of RAM */ 151 else 138 else 152 todo = PPAGE_MARK_FREE; 139 todo = PPAGE_MARK_FREE; 153 140 154 /* Actually does the insertion in the no !! 141 /* Actually does the insertion in the used/free page lists */ 155 physmem_total_pages ++; 142 physmem_total_pages ++; 156 switch (todo) 143 switch (todo) 157 { 144 { 158 case PPAGE_MARK_FREE: 145 case PPAGE_MARK_FREE: 159 ppage_descr->ref_cnt = 0; 146 ppage_descr->ref_cnt = 0; 160 list_add_head(free_ppage, ppage_desc 147 list_add_head(free_ppage, ppage_descr); 161 break; 148 break; 162 149 163 case PPAGE_MARK_KERNEL: 150 case PPAGE_MARK_KERNEL: 164 case PPAGE_MARK_HWMAP: 151 case PPAGE_MARK_HWMAP: 165 ppage_descr->ref_cnt = 1; 152 ppage_descr->ref_cnt = 1; 166 list_add_head(nonfree_ppage, ppage_d !! 153 list_add_head(used_ppage, ppage_descr); 167 physmem_nonfree_pages ++; !! 154 physmem_used_pages ++; 168 break; 155 break; 169 156 170 default: 157 default: 171 /* Reserved page: nop */ 158 /* Reserved page: nop */ 172 break; 159 break; 173 } 160 } 174 } 161 } 175 162 176 return SOS_OK; 163 return SOS_OK; 177 } 164 } 178 165 179 166 180 sos_paddr_t sos_physmem_ref_physpage_new(sos_b 167 sos_paddr_t sos_physmem_ref_physpage_new(sos_bool_t can_block) 181 { 168 { 182 struct physical_page_descr *ppage_descr; 169 struct physical_page_descr *ppage_descr; 183 170 184 if (! free_ppage) 171 if (! free_ppage) 185 return (sos_paddr_t)NULL; 172 return (sos_paddr_t)NULL; 186 173 187 /* Retrieve a page in the free list */ 174 /* Retrieve a page in the free list */ 188 ppage_descr = list_pop_head(free_ppage); 175 ppage_descr = list_pop_head(free_ppage); 189 176 190 /* The page is assumed not to be already in !! 177 /* The page is assumed not to be already used */ 191 SOS_ASSERT_FATAL(ppage_descr->ref_cnt == 0); 178 SOS_ASSERT_FATAL(ppage_descr->ref_cnt == 0); 192 179 193 /* Mark the page as nonfree (this of course !! 180 /* Mark the page as used (this of course sets the ref count to 1) */ 194 ppage_descr->ref_cnt ++; 181 ppage_descr->ref_cnt ++; 195 182 196 /* The page descriptor should be unmodified !! 183 /* No associated kernel range by default */ 197 deallocation. Otherwise this means that s !! 184 ppage_descr->kernel_range = NULL; 198 overwrote the page descriptor table conte << 199 SOS_ASSERT_FATAL(ppage_descr->occupation_cnt << 200 SOS_ASSERT_FATAL(ppage_descr->kernel_range = << 201 185 202 /* Put the page in the nonfree list */ !! 186 /* Put the page in the used list */ 203 list_add_tail(nonfree_ppage, ppage_descr); !! 187 list_add_tail(used_ppage, ppage_descr); 204 physmem_nonfree_pages ++; !! 188 physmem_used_pages ++; 205 189 206 return ppage_descr->paddr; 190 return ppage_descr->paddr; 207 } 191 } 208 192 209 193 210 /** 194 /** 211 * Helper function to get the physical page de 195 * Helper function to get the physical page descriptor for the given 212 * physical page address. 196 * physical page address. 213 * 197 * 214 * @return NULL when out-of-bounds or non-page 198 * @return NULL when out-of-bounds or non-page-aligned 215 */ 199 */ 216 inline static struct physical_page_descr * 200 inline static struct physical_page_descr * 217 get_page_descr_at_paddr(sos_paddr_t ppage_padd 201 get_page_descr_at_paddr(sos_paddr_t ppage_paddr) 218 { 202 { 219 /* Don't handle non-page-aligned addresses * 203 /* Don't handle non-page-aligned addresses */ 220 if (ppage_paddr & SOS_PAGE_MASK) 204 if (ppage_paddr & SOS_PAGE_MASK) 221 return NULL; 205 return NULL; 222 206 223 /* Don't support out-of-bounds requests */ 207 /* Don't support out-of-bounds requests */ 224 if ((ppage_paddr < physmem_base) || (ppage_p 208 if ((ppage_paddr < physmem_base) || (ppage_paddr >= physmem_top)) 225 return NULL; 209 return NULL; 226 210 227 return physical_page_descr_array + (ppage_pa 211 return physical_page_descr_array + (ppage_paddr >> SOS_PAGE_SHIFT); 228 } 212 } 229 213 230 214 231 sos_ret_t sos_physmem_ref_physpage_at(sos_padd 215 sos_ret_t sos_physmem_ref_physpage_at(sos_paddr_t ppage_paddr) 232 { 216 { 233 struct physical_page_descr *ppage_descr 217 struct physical_page_descr *ppage_descr 234 = get_page_descr_at_paddr(ppage_paddr); 218 = get_page_descr_at_paddr(ppage_paddr); 235 219 236 if (! ppage_descr) 220 if (! ppage_descr) 237 return -SOS_EINVAL; 221 return -SOS_EINVAL; 238 222 239 /* Increment the reference count for the pag 223 /* Increment the reference count for the page */ 240 ppage_descr->ref_cnt ++; 224 ppage_descr->ref_cnt ++; 241 225 242 /* If the page is newly referenced (ie we ar 226 /* If the page is newly referenced (ie we are the only owners of the 243 page => ref cnt == 1), transfer it in the !! 227 page => ref cnt == 1), transfer it in the used pages list */ 244 if (ppage_descr->ref_cnt == 1) 228 if (ppage_descr->ref_cnt == 1) 245 { 229 { 246 /* The page descriptor should be unmodif << 247 deallocation. Otherwise this means th << 248 overwrote the page descriptor table c << 249 SOS_ASSERT_FATAL(ppage_descr->occupation << 250 SOS_ASSERT_FATAL(ppage_descr->kernel_ran << 251 << 252 list_delete(free_ppage, ppage_descr); 230 list_delete(free_ppage, ppage_descr); 253 list_add_tail(nonfree_ppage, ppage_descr !! 231 254 physmem_nonfree_pages ++; !! 232 /* No associated kernel range by default */ >> 233 ppage_descr->kernel_range = NULL; >> 234 >> 235 list_add_tail(used_ppage, ppage_descr); >> 236 physmem_used_pages ++; 255 237 256 /* The page is newly referenced */ 238 /* The page is newly referenced */ 257 return FALSE; 239 return FALSE; 258 } 240 } 259 !! 241 260 /* The page was already referenced by someon 242 /* The page was already referenced by someone */ 261 return TRUE; 243 return TRUE; 262 } 244 } 263 245 264 246 265 sos_ret_t 247 sos_ret_t 266 sos_physmem_unref_physpage(sos_paddr_t ppage_p 248 sos_physmem_unref_physpage(sos_paddr_t ppage_paddr) 267 { 249 { 268 /* By default the return value indicates tha 250 /* By default the return value indicates that the page is still 269 used */ 251 used */ 270 sos_ret_t retval = FALSE; 252 sos_ret_t retval = FALSE; 271 253 272 struct physical_page_descr *ppage_descr 254 struct physical_page_descr *ppage_descr 273 = get_page_descr_at_paddr(ppage_paddr); 255 = get_page_descr_at_paddr(ppage_paddr); 274 256 275 if (! ppage_descr) 257 if (! ppage_descr) 276 return -SOS_EINVAL; 258 return -SOS_EINVAL; 277 259 278 /* Don't do anything if the page is not in t !! 260 /* Don't do anything if the page is not in the used list */ 279 if (ppage_descr->ref_cnt <= 0) 261 if (ppage_descr->ref_cnt <= 0) 280 return -SOS_EINVAL; 262 return -SOS_EINVAL; 281 263 282 /* Unreference the page, and, when no mappin 264 /* Unreference the page, and, when no mapping is active anymore, put 283 the page in the free list */ 265 the page in the free list */ 284 ppage_descr->ref_cnt--; 266 ppage_descr->ref_cnt--; 285 if (ppage_descr->ref_cnt == 0) !! 267 if (ppage_descr->ref_cnt <= 0) 286 { 268 { 287 /* Make sure that the occupation counter << 288 SOS_ASSERT_FATAL(ppage_descr->occupation << 289 << 290 /* Reset associated kernel range */ 269 /* Reset associated kernel range */ 291 ppage_descr->kernel_range = NULL; 270 ppage_descr->kernel_range = NULL; 292 271 293 /* Transfer the page, considered NON-FRE !! 272 /* Transfer the page, considered USED, to the free list */ 294 list_delete(nonfree_ppage, ppage_descr); !! 273 list_delete(used_ppage, ppage_descr); 295 physmem_nonfree_pages --; !! 274 physmem_used_pages --; 296 << 297 list_add_head(free_ppage, ppage_descr); 275 list_add_head(free_ppage, ppage_descr); 298 276 299 /* Indicate that the page is now unrefer 277 /* Indicate that the page is now unreferenced */ 300 retval = TRUE; 278 retval = TRUE; 301 } 279 } 302 280 303 /* The page was already referenced by someon << 304 return retval; 281 return retval; 305 } 282 } 306 283 307 284 308 sos_ret_t sos_physmem_get_physpage_refcount(so << 309 { << 310 struct physical_page_descr *ppage_descr << 311 = get_page_descr_at_paddr(ppage_paddr); << 312 << 313 if (! ppage_descr) << 314 return -SOS_EINVAL; << 315 << 316 return ppage_descr->ref_cnt; << 317 } << 318 << 319 << 320 sos_ret_t sos_physmem_inc_physpage_occupation( << 321 { << 322 struct physical_page_descr *ppage_descr << 323 = get_page_descr_at_paddr(ppage_paddr); << 324 << 325 if (! ppage_descr) << 326 return -SOS_EINVAL; << 327 << 328 /* Don't do anything if the page is not in t << 329 SOS_ASSERT_FATAL(ppage_descr->ref_cnt > 0); << 330 << 331 ppage_descr->occupation_cnt ++; << 332 return (ppage_descr->occupation_cnt > 1); << 333 } << 334 << 335 << 336 sos_ret_t sos_physmem_dec_physpage_occupation( << 337 { << 338 struct physical_page_descr *ppage_descr << 339 = get_page_descr_at_paddr(ppage_paddr); << 340 << 341 if (! ppage_descr) << 342 return -SOS_EINVAL; << 343 << 344 /* Don't do anything if the page is not in t << 345 SOS_ASSERT_FATAL(ppage_descr->ref_cnt > 0); << 346 SOS_ASSERT_FATAL(ppage_descr->occupation_cnt << 347 << 348 ppage_descr->occupation_cnt --; << 349 return (ppage_descr->occupation_cnt == 0); << 350 } << 351 << 352 << 353 struct sos_kmem_range* sos_physmem_get_kmem_ra 285 struct sos_kmem_range* sos_physmem_get_kmem_range(sos_paddr_t ppage_paddr) 354 { 286 { 355 struct physical_page_descr *ppage_descr 287 struct physical_page_descr *ppage_descr 356 = get_page_descr_at_paddr(ppage_paddr); 288 = get_page_descr_at_paddr(ppage_paddr); 357 289 358 if (! ppage_descr) 290 if (! ppage_descr) 359 return NULL; 291 return NULL; 360 292 361 return ppage_descr->kernel_range; 293 return ppage_descr->kernel_range; 362 } 294 } 363 295 364 296 365 sos_ret_t sos_physmem_set_kmem_range(sos_paddr 297 sos_ret_t sos_physmem_set_kmem_range(sos_paddr_t ppage_paddr, 366 struct so 298 struct sos_kmem_range *range) 367 { 299 { 368 struct physical_page_descr *ppage_descr 300 struct physical_page_descr *ppage_descr 369 = get_page_descr_at_paddr(ppage_paddr); 301 = get_page_descr_at_paddr(ppage_paddr); 370 302 371 if (! ppage_descr) 303 if (! ppage_descr) 372 return -SOS_EINVAL; 304 return -SOS_EINVAL; 373 305 374 ppage_descr->kernel_range = range; 306 ppage_descr->kernel_range = range; 375 return SOS_OK; 307 return SOS_OK; 376 } 308 } 377 309 378 sos_ret_t sos_physmem_get_state(/* out */sos_c 310 sos_ret_t sos_physmem_get_state(/* out */sos_count_t *total_ppages, 379 /* out */sos_c !! 311 /* out */sos_count_t *used_ppages) 380 { 312 { 381 if (total_ppages) 313 if (total_ppages) 382 *total_ppages = physmem_total_pages; 314 *total_ppages = physmem_total_pages; 383 if (nonfree_ppages) !! 315 if (used_ppages) 384 *nonfree_ppages = physmem_nonfree_pages; !! 316 *used_ppages = physmem_used_pages; 385 return SOS_OK; 317 return SOS_OK; 386 } 318 } 387 <<
| [ source navigation ] | [ diff markup ] | [ identifier search ] | [ general search ] |