Subversion Repositories HelenOS

Rev

Rev 2992 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2928 svoboda 1
/*
2
 * Copyright (c) 2006 Sergey Bondari
3
 * Copyright (c) 2006 Jakub Jermar
4
 * Copyright (c) 2008 Jiri Svoboda
5
 * All rights reserved.
6
 *
7
 * Redistribution and use in source and binary forms, with or without
8
 * modification, are permitted provided that the following conditions
9
 * are met:
10
 *
11
 * - Redistributions of source code must retain the above copyright
12
 *   notice, this list of conditions and the following disclaimer.
13
 * - Redistributions in binary form must reproduce the above copyright
14
 *   notice, this list of conditions and the following disclaimer in the
15
 *   documentation and/or other materials provided with the distribution.
16
 * - The name of the author may not be used to endorse or promote products
17
 *   derived from this software without specific prior written permission.
18
 *
19
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29
 */
30
 
31
/** @addtogroup generic
32
 * @{
33
 */
34
 
35
/**
36
 * @file
37
 * @brief   Kernel ELF loader.
38
 */
39
 
40
#include <stdio.h>
41
#include <sys/types.h>
42
#include <align.h>
43
#include <assert.h>
44
#include <as.h>
2962 svoboda 45
#include <unistd.h>
46
#include <fcntl.h>
47
 
2928 svoboda 48
#include "elf.h"
2962 svoboda 49
#include "pcb.h"
50
#include "elf_load.h"
2928 svoboda 51
 
52
static char *error_codes[] = {
53
    "no error",
54
    "invalid image",
55
    "address space error",
56
    "incompatible image",
57
    "unsupported image type",
58
    "irrecoverable error"
59
};
60
 
2972 svoboda 61
static unsigned int elf_load(elf_ld_t *elf, size_t so_bias);
2964 svoboda 62
static int segment_header(elf_ld_t *elf, elf_segment_header_t *entry);
63
static int section_header(elf_ld_t *elf, elf_section_header_t *entry);
64
static int load_segment(elf_ld_t *elf, elf_segment_header_t *entry);
2928 svoboda 65
 
2972 svoboda 66
int elf_load_file(char *file_name, size_t so_bias, elf_info_t *info)
2964 svoboda 67
{
68
    elf_ld_t elf;
2928 svoboda 69
 
2962 svoboda 70
    int fd;
71
    int rc;
72
 
73
    printf("open and read '%s'...\n", file_name);
74
 
75
    fd = open(file_name, 0);
76
    if (fd < 0) {
77
        printf("failed opening file\n");
78
        return -1;
79
    }
80
 
2964 svoboda 81
    elf.fd = fd;
82
    elf.info = info;
83
 
2972 svoboda 84
    rc = elf_load(&elf, so_bias);
2962 svoboda 85
    printf("elf_load() -> %d\n", rc);
86
 
87
    close(fd);
88
 
89
    return rc;
90
}
91
 
2964 svoboda 92
void elf_run(elf_info_t *info)
2962 svoboda 93
{
2964 svoboda 94
    (*info->entry)();
2962 svoboda 95
 
96
    /* not reached */
97
}
98
 
2964 svoboda 99
int elf_create_pcb(elf_info_t *info)
2962 svoboda 100
{
101
    pcb_t *pcb;
102
    void *a;
103
 
2990 svoboda 104
    pcb = __pcb_get();
2962 svoboda 105
 
106
    a = as_area_create(pcb, sizeof(pcb_t), AS_AREA_READ | AS_AREA_WRITE);
107
    if (a == (void *)(-1)) {
108
        printf("elf_create_pcb: memory mapping failed\n");
109
        return EE_MEMORY;
110
    }
111
 
2964 svoboda 112
    pcb->entry = info->entry;
2965 svoboda 113
    pcb->dynamic = info->dynamic;
2962 svoboda 114
 
115
    return 0;
116
}
117
 
118
 
2928 svoboda 119
/** ELF loader
120
 *
121
 * @param header Pointer to ELF header in memory
122
 * @return EE_OK on success
123
 */
2972 svoboda 124
static unsigned int elf_load(elf_ld_t *elf, size_t so_bias)
2928 svoboda 125
{
2964 svoboda 126
    elf_header_t header_buf;
127
    elf_header_t *header = &header_buf;
2928 svoboda 128
    int i, rc;
129
 
2964 svoboda 130
    rc = read(elf->fd, header, sizeof(elf_header_t));
2928 svoboda 131
    if (rc < 0) {
132
        printf("read error\n");
133
        return EE_INVALID;
134
    }
135
 
2964 svoboda 136
    elf->header = header;
137
 
2928 svoboda 138
    printf("ELF-load:");
139
    /* Identify ELF */
140
    if (header->e_ident[EI_MAG0] != ELFMAG0 ||
141
        header->e_ident[EI_MAG1] != ELFMAG1 ||
142
        header->e_ident[EI_MAG2] != ELFMAG2 ||
143
        header->e_ident[EI_MAG3] != ELFMAG3) {
144
        printf("invalid header\n");
145
        return EE_INVALID;
146
    }
147
 
148
    /* Identify ELF compatibility */
149
    if (header->e_ident[EI_DATA] != ELF_DATA_ENCODING ||
150
        header->e_machine != ELF_MACHINE ||
151
        header->e_ident[EI_VERSION] != EV_CURRENT ||
152
        header->e_version != EV_CURRENT ||
153
        header->e_ident[EI_CLASS] != ELF_CLASS) {
154
        printf("incompatible data/version/class\n");
155
        return EE_INCOMPATIBLE;
156
    }
157
 
2992 svoboda 158
    if (header->e_phentsize != sizeof(elf_segment_header_t)) {
159
        printf("e_phentsize:%d != %d\n", header->e_phentsize,
160
            sizeof(elf_segment_header_t));
2928 svoboda 161
        return EE_INCOMPATIBLE;
2992 svoboda 162
    }
2928 svoboda 163
 
2992 svoboda 164
    if (header->e_shentsize != sizeof(elf_section_header_t)) {
165
        printf("e_shentsize:%d != %d\n", header->e_shentsize,
166
            sizeof(elf_section_header_t));
2928 svoboda 167
        return EE_INCOMPATIBLE;
2992 svoboda 168
    }
2928 svoboda 169
 
170
    /* Check if the object type is supported. */
171
    if (header->e_type != ET_EXEC && header->e_type != ET_DYN) {
172
        printf("Object type %d is not supported\n", header->e_type);
173
        return EE_UNSUPPORTED;
174
    }
175
 
2972 svoboda 176
    /* Shared objects can be loaded with a bias */
2971 svoboda 177
    printf("Object type: %d\n", header->e_type);
2964 svoboda 178
    if (header->e_type == ET_DYN)
2972 svoboda 179
        elf->bias = so_bias;
2964 svoboda 180
    else
181
        elf->bias = 0;
182
 
2972 svoboda 183
    printf("Bias set to 0x%x\n", elf->bias);
2971 svoboda 184
 
2928 svoboda 185
    printf("parse segments\n");
186
 
187
    /* Walk through all segment headers and process them. */
188
    for (i = 0; i < header->e_phnum; i++) {
2964 svoboda 189
        elf_segment_header_t segment_hdr;
2928 svoboda 190
 
2961 svoboda 191
        /* Seek to start of segment header */
2964 svoboda 192
        lseek(elf->fd, header->e_phoff
193
                + i * sizeof(elf_segment_header_t), SEEK_SET);
2928 svoboda 194
 
2964 svoboda 195
        rc = read(elf->fd, &segment_hdr, sizeof(elf_segment_header_t));
196
        if (rc < 0) { printf("read error\n"); return EE_INVALID; }
197
 
198
        rc = segment_header(elf, &segment_hdr);
2928 svoboda 199
        if (rc != EE_OK)
200
            return rc;
201
    }
202
 
203
    printf("parse sections\n");
2996 svoboda 204
    elf->info->dynamic = NULL;
2928 svoboda 205
 
206
    /* Inspect all section headers and proccess them. */
207
    for (i = 0; i < header->e_shnum; i++) {
2964 svoboda 208
        elf_section_header_t section_hdr;
2928 svoboda 209
 
2961 svoboda 210
        /* Seek to start of section header */
2964 svoboda 211
        lseek(elf->fd, header->e_shoff
212
            + i * sizeof(elf_section_header_t), SEEK_SET);
2961 svoboda 213
 
2964 svoboda 214
        rc = read(elf->fd, &section_hdr, sizeof(elf_section_header_t));
215
        if (rc < 0) { printf("read error\n"); return EE_INVALID; }
216
 
217
        rc = section_header(elf, &section_hdr);
2928 svoboda 218
        if (rc != EE_OK)
2961 svoboda 219
            return rc;
2928 svoboda 220
    }
221
 
2964 svoboda 222
    elf->info->entry =
223
        (entry_point_t)((uint8_t *)header->e_entry + elf->bias);
224
 
2928 svoboda 225
    printf("done\n");
226
 
227
    return EE_OK;
228
}
229
 
230
/** Print error message according to error code.
231
 *
232
 * @param rc Return code returned by elf_load().
233
 *
234
 * @return NULL terminated description of error.
235
 */
236
char *elf_error(unsigned int rc)
237
{
238
    assert(rc < sizeof(error_codes) / sizeof(char *));
239
 
240
    return error_codes[rc];
241
}
242
 
243
/** Process segment header.
244
 *
245
 * @param entry Segment header.
246
 * @param elf ELF header.
247
 *
248
 * @return EE_OK on success, error code otherwise.
249
 */
2964 svoboda 250
static int segment_header(elf_ld_t *elf, elf_segment_header_t *entry)
2928 svoboda 251
{
252
    switch (entry->p_type) {
253
    case PT_NULL:
254
    case PT_PHDR:
255
        break;
256
    case PT_LOAD:
2964 svoboda 257
        return load_segment(elf, entry);
2928 svoboda 258
        break;
259
    case PT_DYNAMIC:
260
    case PT_INTERP:
261
    case PT_SHLIB:
262
    case PT_NOTE:
263
    case PT_LOPROC:
264
    case PT_HIPROC:
265
    default:
266
        printf("segment p_type %d unknown\n", entry->p_type);
267
        return EE_UNSUPPORTED;
268
        break;
269
    }
270
    return EE_OK;
271
}
272
 
273
/** Load segment described by program header entry.
274
 *
275
 * @param entry Program header entry describing segment to be loaded.
276
 * @param elf ELF header.
277
 *
278
 * @return EE_OK on success, error code otherwise.
279
 */
2964 svoboda 280
int load_segment(elf_ld_t *elf, elf_segment_header_t *entry)
2928 svoboda 281
{
282
    void *a;
283
    int flags = 0;
2932 svoboda 284
    uintptr_t bias;
2928 svoboda 285
    int rc;
286
 
287
    printf("load segment at addr 0x%x, size 0x%x\n", entry->p_vaddr,
288
        entry->p_memsz);
289
 
2964 svoboda 290
    bias = elf->bias;
2928 svoboda 291
 
292
    if (entry->p_align > 1) {
293
        if ((entry->p_offset % entry->p_align) !=
294
            (entry->p_vaddr % entry->p_align)) {
295
            printf("align check 1 failed offset%%align=%d, vaddr%%align=%d\n",
296
            entry->p_offset % entry->p_align,
297
            entry->p_vaddr % entry->p_align
298
            );
299
            return EE_INVALID;
300
        }
301
    }
302
 
2992 svoboda 303
    /* Final flags that will be set for the memory area */
304
 
2985 svoboda 305
    if (entry->p_flags & PF_X)
2928 svoboda 306
        flags |= AS_AREA_EXEC;
307
    if (entry->p_flags & PF_W)
308
        flags |= AS_AREA_WRITE;
309
    if (entry->p_flags & PF_R)
310
        flags |= AS_AREA_READ;
311
    flags |= AS_AREA_CACHEABLE;
2985 svoboda 312
 
2928 svoboda 313
    /*
314
     * Check if the virtual address starts on page boundary.
315
     */
316
    if (ALIGN_UP(entry->p_vaddr, PAGE_SIZE) != entry->p_vaddr) {
317
        printf("align check 2 failed - not page-aligned\n");
318
        printf("vaddr = 0x%x, should be 0x%x\n",
319
            entry->p_vaddr, ALIGN_UP(entry->p_vaddr, PAGE_SIZE));
320
        return EE_UNSUPPORTED;
321
    }
322
 
2932 svoboda 323
    printf("map to p_vaddr=0x%x-0x%x...\n", entry->p_vaddr + bias,
324
    entry->p_vaddr + bias + ALIGN_UP(entry->p_memsz, PAGE_SIZE));
2928 svoboda 325
 
2985 svoboda 326
    /*
327
     * For the course of loading, the area needs to be readable
328
     * and writeable.
329
     */
2932 svoboda 330
    a = as_area_create((uint8_t *)entry->p_vaddr + bias,
2985 svoboda 331
        entry->p_memsz, AS_AREA_READ | AS_AREA_WRITE | AS_AREA_CACHEABLE);
2928 svoboda 332
    if (a == (void *)(-1)) {
333
        printf("memory mapping failed\n");
334
        return EE_MEMORY;
335
    }
336
 
2992 svoboda 337
    printf("as_area_create(0x%lx, 0x%x, %d) -> 0x%lx\n",
338
        entry->p_vaddr+bias, entry->p_memsz, flags, (uintptr_t)a);
2928 svoboda 339
 
340
    /*
341
     * Load segment data
342
     */
2949 svoboda 343
    printf("seek to %d\n", entry->p_offset);
2964 svoboda 344
    rc = lseek(elf->fd, entry->p_offset, SEEK_SET);
2928 svoboda 345
    if (rc < 0) { printf("seek error\n"); return EE_INVALID; }
346
 
2949 svoboda 347
    printf("read 0x%x bytes to address 0x%x\n", entry->p_filesz, entry->p_vaddr+bias);
348
/*  rc = read(fd, (void *)(entry->p_vaddr + bias), entry->p_filesz);
349
    if (rc < 0) { printf("read error\n"); return EE_INVALID; }*/
350
    unsigned left, now;
351
    uint8_t *dp;
2928 svoboda 352
 
2949 svoboda 353
    left = entry->p_filesz;
354
    dp = (uint8_t *)(entry->p_vaddr + bias);
355
 
356
    while (left > 0) {
2977 svoboda 357
        now = 16384;
2949 svoboda 358
        if (now > left) now=left;
359
        printf("read %d...", now);
2964 svoboda 360
        rc = read(elf->fd, dp, now);
2949 svoboda 361
        if (rc < 0) { printf("read error\n"); return EE_INVALID; }
362
        printf("->%d\n", rc);
363
        left -= now;
364
        dp += now;
365
    }
366
 
2985 svoboda 367
    printf("set area flags to %d\n", flags);
368
    rc = as_area_change_flags((uint8_t *)entry->p_vaddr + bias, flags);
369
    if (rc != 0) {
370
        printf("failed to set memory area flags\n");
371
        return EE_MEMORY;
372
    }
373
 
2928 svoboda 374
    return EE_OK;
375
}
376
 
377
/** Process section header.
378
 *
379
 * @param entry Segment header.
380
 * @param elf ELF header.
381
 *
382
 * @return EE_OK on success, error code otherwise.
383
 */
2964 svoboda 384
static int section_header(elf_ld_t *elf, elf_section_header_t *entry)
2928 svoboda 385
{
386
    switch (entry->sh_type) {
387
    case SHT_PROGBITS:
388
        if (entry->sh_flags & SHF_TLS) {
389
            /* .tdata */
390
        }
391
        break;
392
    case SHT_NOBITS:
393
        if (entry->sh_flags & SHF_TLS) {
394
            /* .tbss */
395
        }
396
        break;
2961 svoboda 397
    case SHT_DYNAMIC:
2964 svoboda 398
        elf->info->dynamic =
399
            (void *)((uint8_t *)entry->sh_addr + elf->bias);
400
        printf("dynamic section found at 0x%x\n",
401
            (uintptr_t)elf->info->dynamic);
2961 svoboda 402
        break;
2928 svoboda 403
    default:
404
        break;
405
    }
406
 
407
    return EE_OK;
408
}
409
 
410
/** @}
411
 */