Changeset 1cc2974 in mainline


Ignore:
Timestamp:
2008-05-26T18:56:34Z (17 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
5a55ae6
Parents:
fa832eb
Message:

Improve linking and loading of boot ELF images.
(Contributed by Jiri Svoboda)

Files:
10 edited

Legend:

Unmodified
Added
Removed

  • kernel/generic/src/lib/elf.c

    rfa832eb r1cc2974  
    101101                return EE_UNSUPPORTED;
    102102
     103        /* Check if the ELF image starts on a page boundary */
     104        if (ALIGN_UP((uintptr_t)header, PAGE_SIZE) != (uintptr_t)header)
     105                return EE_UNSUPPORTED;
     106
    103107        /* Walk through all segment headers and process them. */
    104108        for (i = 0; i < header->e_phnum; i++) {
    … …  
    183187        int flags = 0;
    184188        mem_backend_data_t backend_data;
     189        uintptr_t base;
     190        size_t mem_sz;
    185191       
    186192        backend_data.elf = elf;
    … …  
    202208        flags |= AS_AREA_CACHEABLE;
    203209
    204         /*
    205          * Check if the virtual address starts on page boundary.
     210        /*
     211         * Align vaddr down, inserting a little "gap" at the beginning.
     212         * Adjust area size, so that its end remains in place.
    206213         */
    207         if (ALIGN_UP(entry->p_vaddr, PAGE_SIZE) != entry->p_vaddr)
    208                 return EE_UNSUPPORTED;
    209 
    210         a = as_area_create(as, flags, entry->p_memsz, entry->p_vaddr,
     214        base = ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE);
     215        mem_sz = entry->p_memsz + (entry->p_vaddr - base);
     216
     217        a = as_area_create(as, flags, mem_sz, base,
    211218            AS_AREA_ATTR_NONE, &elf_backend, &backend_data);
    212219        if (!a)

  • kernel/generic/src/mm/backend_elf.c

    rfa832eb r1cc2974  
    8080        elf_segment_header_t *entry = area->backend_data.segment;
    8181        btree_node_t *leaf;
    82         uintptr_t base, frame;
     82        uintptr_t base, frame, page, start_anon;
    8383        index_t i;
    8484        bool dirty = false;
    … …  
    8787                return AS_PF_FAULT;
    8888
    89         ASSERT((addr >= entry->p_vaddr) &&
     89        ASSERT((addr >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) &&
    9090            (addr < entry->p_vaddr + entry->p_memsz));
    91         i = (addr - entry->p_vaddr) >> PAGE_WIDTH;
    92         base = (uintptr_t) (((void *) elf) + entry->p_offset);
    93         ASSERT(ALIGN_UP(base, FRAME_SIZE) == base);
     91        i = (addr - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
     92        base = (uintptr_t)
     93            (((void *) elf) + ALIGN_DOWN(entry->p_offset, PAGE_SIZE));
     94
     95        /* Virtual address of faulting page*/
     96        page = ALIGN_DOWN(addr, PAGE_SIZE);
     97
     98        /* Virtual address of the end of initialized part of segment */
     99        start_anon = entry->p_vaddr + entry->p_filesz;
    94100
    95101        if (area->sh_info) {
    … …  
    99105                 * The address space area is shared.
    100106                 */
    101                  
     107               
    102108                mutex_lock(&area->sh_info->lock);
    103109                frame = (uintptr_t) btree_search(&area->sh_info->pagemap,
    104                         ALIGN_DOWN(addr, PAGE_SIZE) - area->base, &leaf);
     110                    page - area->base, &leaf);
    105111                if (!frame) {
    106112                        unsigned int i;
    … …  
    111117
    112118                        for (i = 0; i < leaf->keys; i++) {
    113                                 if (leaf->key[i] ==
    114                                     ALIGN_DOWN(addr, PAGE_SIZE)) {
     119                                if (leaf->key[i] == page) {
    115120                                        found = true;
    116121                                        break;
    … …  
    122127                        page_mapping_insert(AS, addr, frame,
    123128                            as_area_get_flags(area));
    124                         if (!used_space_insert(area,
    125                             ALIGN_DOWN(addr, PAGE_SIZE), 1))
     129                        if (!used_space_insert(area, page, 1))
    126130                                panic("Could not insert used space.\n");
    127131                        mutex_unlock(&area->sh_info->lock);
    … …  
    129133                }
    130134        }
    131        
     135
    132136        /*
    133137         * The area is either not shared or the pagemap does not contain the
    134138         * mapping.
    135139         */
    136        
    137         if (ALIGN_DOWN(addr, PAGE_SIZE) + PAGE_SIZE <
    138             entry->p_vaddr + entry->p_filesz) {
     140        if (page >= entry->p_vaddr && page + PAGE_SIZE <= start_anon) {
    139141                /*
    140142                 * Initialized portion of the segment. The memory is backed
    … …  
    150152                            (void *) (base + i * FRAME_SIZE), FRAME_SIZE);
    151153                        dirty = true;
    152 
    153                         if (area->sh_info) {
    154                                 frame_reference_add(ADDR2PFN(frame));
    155                                 btree_insert(&area->sh_info->pagemap,
    156                                     ALIGN_DOWN(addr, PAGE_SIZE) - area->base,
    157                                     (void *) frame, leaf);
    158                         }
    159 
    160154                } else {
    161                         frame = KA2PA(base + i*FRAME_SIZE);
     155                        frame = KA2PA(base + i * FRAME_SIZE);
    162156                }       
    163         } else if (ALIGN_DOWN(addr, PAGE_SIZE) >=
    164             ALIGN_UP(entry->p_vaddr + entry->p_filesz, PAGE_SIZE)) {
     157        } else if (page >= start_anon) {
    165158                /*
    166159                 * This is the uninitialized portion of the segment.
    … …  
    172165                memsetb(PA2KA(frame), FRAME_SIZE, 0);
    173166                dirty = true;
    174 
    175                 if (area->sh_info) {
    176                         frame_reference_add(ADDR2PFN(frame));
    177                         btree_insert(&area->sh_info->pagemap,
    178                             ALIGN_DOWN(addr, PAGE_SIZE) - area->base,
    179                             (void *) frame, leaf);
    180                 }
    181 
    182167        } else {
    183                 size_t size;
     168                size_t pad_lo, pad_hi;
    184169                /*
    185170                 * The mixed case.
    186                  * The lower part is backed by the ELF image and
    187                  * the upper part is anonymous memory.
     171                 *
     172                 * The middle part is backed by the ELF image and
     173                 * the lower and upper parts are anonymous memory.
     174                 * (The segment can be and often is shorter than 1 page).
    188175                 */
    189                 size = entry->p_filesz - (i<<PAGE_WIDTH);
     176                if (page < entry->p_vaddr)
     177                        pad_lo = entry->p_vaddr - page;
     178                else
     179                        pad_lo = 0;
     180
     181                if (start_anon < page + PAGE_SIZE)
     182                        pad_hi = page + PAGE_SIZE - start_anon;
     183                else
     184                        pad_hi = 0;
     185
    190186                frame = (uintptr_t)frame_alloc(ONE_FRAME, 0);
    191                 memsetb(PA2KA(frame) + size, FRAME_SIZE - size, 0);
    192                 memcpy((void *) PA2KA(frame), (void *) (base + i * FRAME_SIZE),
    193                     size);
     187                memcpy((void *) (PA2KA(frame) + pad_lo),
     188                    (void *) (base + i * FRAME_SIZE + pad_lo),
     189                    FRAME_SIZE - pad_lo - pad_hi);
     190                memsetb(PA2KA(frame), pad_lo, 0);
     191                memsetb(PA2KA(frame) + FRAME_SIZE - pad_hi, pad_hi, 0);
    194192                dirty = true;
    195 
    196                 if (area->sh_info) {
    197                         frame_reference_add(ADDR2PFN(frame));
    198                         btree_insert(&area->sh_info->pagemap,
    199                             ALIGN_DOWN(addr, PAGE_SIZE) - area->base,
    200                             (void *) frame, leaf);
    201                 }
    202 
    203         }
    204        
     193        }
     194
     195        if (dirty && area->sh_info) {
     196                frame_reference_add(ADDR2PFN(frame));
     197                btree_insert(&area->sh_info->pagemap, page - area->base,
     198                    (void *) frame, leaf);
     199        }
     200
    205201        if (area->sh_info)
    206202                mutex_unlock(&area->sh_info->lock);
    207        
     203
    208204        page_mapping_insert(AS, addr, frame, as_area_get_flags(area));
    209         if (!used_space_insert(area, ALIGN_DOWN(addr, PAGE_SIZE), 1))
     205        if (!used_space_insert(area, page, 1))
    210206                panic("Could not insert used space.\n");
    211207
    … …  
    226222        elf_header_t *elf = area->backend_data.elf;
    227223        elf_segment_header_t *entry = area->backend_data.segment;
    228         uintptr_t base;
     224        uintptr_t base, start_anon;
    229225        index_t i;
    230        
    231         ASSERT((page >= entry->p_vaddr) &&
     226
     227        ASSERT((page >= ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) &&
    232228            (page < entry->p_vaddr + entry->p_memsz));
    233         i = (page - entry->p_vaddr) >> PAGE_WIDTH;
    234         base = (uintptr_t) (((void *) elf) + entry->p_offset);
    235         ASSERT(ALIGN_UP(base, FRAME_SIZE) == base);
    236        
    237         if (page + PAGE_SIZE <
    238             ALIGN_UP(entry->p_vaddr + entry->p_filesz, PAGE_SIZE)) {
     229        i = (page - ALIGN_DOWN(entry->p_vaddr, PAGE_SIZE)) >> PAGE_WIDTH;
     230        base = (uintptr_t) (((void *) elf) +
     231            ALIGN_DOWN(entry->p_offset, FRAME_SIZE));
     232        start_anon = entry->p_vaddr + entry->p_filesz;
     233
     234        if (page >= entry->p_vaddr && page + PAGE_SIZE <= start_anon) {
    239235                if (entry->p_flags & PF_W) {
    240236                        /*
    … …  
    305301                         */
    306302                        if (!(area->flags & AS_AREA_WRITE))
    307                                 if (base + count * PAGE_SIZE <= start_anon)
     303                                if (base >= entry->p_vaddr &&
     304                                    base + count * PAGE_SIZE <= start_anon)
    308305                                        continue;
    309306                       
    … …  
    316313                                 */
    317314                                if (!(area->flags & AS_AREA_WRITE))
    318                                         if (base + (j + 1) * PAGE_SIZE <=
     315                                        if (base >= entry->p_vaddr &&
     316                                            base + (j + 1) * PAGE_SIZE <=
    319317                                            start_anon)
    320318                                                continue;

  • uspace/lib/libc/arch/amd64/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x1000;
     10        . = 0x1000 + SIZEOF_HEADERS;
    1111       
    12         .init ALIGN(0x1000) : SUBALIGN(0x1000) {
     12        .init : {
    1313                *(.init);
    1414        } :text
    … …  
    1717                *(.rodata*);
    1818        } :text
    19        
    20         .data ALIGN(0x1000) : SUBALIGN(0x1000) {
     19
     20        . = . + 0x1000;
     21
     22        .data : {
    2123                *(.data);
    2224        } :data

  • uspace/lib/libc/arch/arm32/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x1000;
     10        . = 0x1000 + SIZEOF_HEADERS;
    1111
    12         .init ALIGN(0x1000): SUBALIGN(0x1000) {
     12        .init : {
    1313                *(.init);
    1414        } : text
    … …  
    1717        *(.rodata*);
    1818        } :text
    19        
    20         .data ALIGN(0x1000) : SUBALIGN(0x1000) {
     19
     20        . = . + 0x1000;
     21
     22        .data : {
    2123                *(.opd);
    2224                *(.data .data.*);

  • uspace/lib/libc/arch/ia32/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x1000;
     10        . = 0x1000 + SIZEOF_HEADERS;
    1111
    12         .init ALIGN(0x1000) : SUBALIGN(0x1000) {
     12        .init : {
    1313                *(.init);
    1414        } :text
    … …  
    1717                *(.rodata*);
    1818        } :text
    19        
    20         .data ALIGN(0x1000) : SUBALIGN(0x1000) {
     19
     20        . = . + 0x1000;
     21
     22        .data : {
    2123                *(.data);
    2224        } :data

  • uspace/lib/libc/arch/ia64/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x4000;
     10        . = 0x4000 + SIZEOF_HEADERS;
    1111
    12         .init ALIGN(0x4000): SUBALIGN(0x4000) {
     12        .init : {
    1313                *(.init);
    1414        } : text
    … …  
    1818        } :text
    1919
    20         .got ALIGN(0x4000) : SUBALIGN(0x4000) {
     20        . = . + 0x4000;
     21
     22        .got : {
    2123                _gp = .;
    2224                *(.got*);

  • uspace/lib/libc/arch/mips32/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x4000;
     10        . = 0x4000 + SIZEOF_HEADERS;
    1111       
    12         .init ALIGN(0x4000) : SUBALIGN(0x4000) {
     12        .init : {
    1313                *(.init);
    1414        } :text
    … …  
    1717                *(.rodata*);
    1818        } :text
     19
     20        . = . + 0x4000;
    1921
    2022        .data : {

  • uspace/lib/libc/arch/ppc32/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x1000;
     10        . = 0x1000 + SIZEOF_HEADERS;
    1111
    12         .init ALIGN(0x1000) : SUBALIGN(0x1000) {
     12        .init : {
    1313                *(.init);
    1414        } :text
    … …  
    1717                *(.rodata*);
    1818        } :text
    19        
    20         .data ALIGN(0x1000) : SUBALIGN(0x1000) {
     19
     20        . = . + 0x1000;
     21
     22        .data : {
    2123                *(.data);
    2224                *(.sdata);

  • uspace/lib/libc/arch/ppc64/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x1000;
     10        . = 0x1000 + SIZEOF_HEADERS;
    1111
    12         .init ALIGN(0x1000) : SUBALIGN(0x1000) {
     12        .init : {
    1313                *(.init);
    1414        } :text
    … …  
    1818                *(.rodata*);
    1919        } :text
    20        
    21         .data ALIGN(0x1000) : SUBALIGN(0x1000) {
     20
     21        . = . + 0x1000;
     22
     23        .data : {
    2224                *(.opd);
    2325                *(.data*);

  • uspace/lib/libc/arch/sparc64/_link.ld.in

    rfa832eb r1cc2974  
    88
    99SECTIONS {
    10         . = 0x4000;
     10        . = 0x4000 + SIZEOF_HEADERS;
    1111
    12         .init ALIGN(0x4000) : SUBALIGN(0x4000) {
     12        .init : {
    1313                *(.init);
    1414        } :text
    … …  
    1717                *(.rodata*);
    1818        } :text
    19        
    20         .got ALIGN(0x4000) : SUBALIGN(0x4000) {
     19
     20        . = . + 0x4000;
     21
     22        .got : {
    2123                 _gp = .;
    2224                 *(.got*);
    2325        } :data
    24         .data ALIGN(0x4000) : SUBALIGN(0x4000) {
     26        .data : {
    2527                *(.data);
    2628                *(.sdata);
Note: See TracChangeset for help on using the changeset viewer.