search

Liblor / advanced_operating_systems_2020

Advanced Operating System Course at ETHZ
MIT License
19 stars 3 forks source link

[WIP] make morecore aware of a static (bootstrap) and dynamic heap #92

Closed abertschi closed 4 years ago

abertschi commented 4 years ago

status: make morecore aware of a static and dynamic heap new issues arise:

Barrelfish CPU driver starting on ARMv8 (BSP)
kernel 0: ARMv8-A: Global data at 0xffff000080200000
kernel 0: ARMv8-A: Kernel stack at 0xffff0000fc219000.. 0xffff0000fc21cff0
kernel 0: ARMv8-A: Kernel first byte at 0xffff0000fc21d000
kernel 0: ARMv8-A: Exception vectors (VBAR_EL1): 0xffff0000fc21d800
kernel 0: ARMv8-A: 4 cores in system
kernel 0: ARMv8-A: Initializing the interrupt controller
kernel 0: GICv3: Initializing
kernel 0: GICD IIDR implementer=0x43b, revision=0x1, variant=0x1,prodid=0x0
kernel 0: gic: #INTIDs supported: 544
kernel 0: GICv3: Initialized
kernel 0: GICv3: Enabling CPU interface
kernel 0: GICv3: CPU interface enabled
kernel 0: ARMv8-A: Enabling timers
kernel 0: isr_el1=0x0
System counter frequency is 8000000Hz.
Timeslice interrupt every 640000 ticks (80ms).
kernel 0: ARMv8-A: Setting coreboot spawn handler
kernel 0: ARMv8-A: Calling arm_kernel_startup
kernel 0: ARMv8-A: Doing BSP related bootup 
start_free_ram = 0x80201000
kernel 0: ARMv8-A: spawning 'armv8/sbin/init' on BSP core
kernel 0: ARMv8-A: spawn_init_common armv8/sbin/init
spawn module: armv8/sbin/init
kernel 0: init page tables: l0=0xffff000080520000, l1=0xffff000080521000, l2=0xffff000080522000, l3=0xffff000080532000
load_init_image 0xffff0000fbea3000 0008a4df
kernel 0: ARMv8-A: init loaded with entry=0x400a44 and GOT=0x45fce8
kernel 0: ARMv8-A: Calling dispatch from arm_kernel_startup, entry point 0x400a44
init.0.0: running main on staticthread!
init.0.0: init: on core 0, invoked as:init.0.0: Added 1957 MB of physical memory.
kernel 0: user page fault in 'init': addr 0x8000ad200c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000ad300c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000ad4000 IP 0x43e2e8
kernel 0: user page fault in 'init': addr 0x8000ad5000 IP 0x43e2e8
kernel 0: user page fault in 'init': addr 0x8000ad6000 IP 0x43e2f8
kernel 0: user page fault in 'init': addr 0x8000ad700c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000ad83bc IP 0x42e6b4
init.0.0: processserver_init()
init.0.0: name is: /armv8/sbin/rpc-test
kernel 0: user page fault in 'init': addr 0x8000ad9008 IP 0x4155e4
kernel 0: user page fault in 'init': addr 0x8000b19edc IP 0x42e6b4
kernel 0: ARMv8-A: Timer interrupt received!
kernel 0: user page fault in 'init': addr 0x8000b1a2cc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b1b01c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b1c00c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b1d000 IP 0x43e2f8
kernel 0: user page fault in 'init': addr 0x8000b1e00c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b1f000 IP 0x43e2e8
kernel 0: user page fault in 'init': addr 0x8000b20000 IP 0x43e2e8
kernel 0: user page fault in 'init': addr 0x8000b21000 IP 0x43e2f8
kernel 0: user page fault in 'init': addr 0x8000b22b7c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b23d7c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b24dfc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b25e7c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b26efc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b27f7c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b28ffc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b29000 IP 0x43df40
kernel 0: user page fault in 'init': addr 0x8000b2a07c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b2b0fc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b2c27c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b2d2fc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b2e37c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b2f3fc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b3047c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b314fc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b3257c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b335fc IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b3467c IP 0x42e6b4
kernel 0: user page fault in 'init': addr 0x8000b3587c IP 0x42e6b4
init.0.0: Message handler loop
kernel 0: user page fault in 'rpc-test': addr 0x8000ad200c IP 0x4238c4
kernel 0: user page fault in 'rpc-test': addr 0x18000adc008 IP 0x40a1ec
init.0.0: allocated 4096 size
init.0.0: size_t: 4096
kernel 0: user page fault in 'rpc-test': addr 0x8000ae21c0 IP 0x40d050
init.0.0: allocated 4096 size
init.0.0: size_t: 4096
kernel 0: user page fault in 'rpc-test': addr 0x8000ae1c30 IP 0x4041d4
init.0.0: allocated 4096 size
init.0.0: size_t: 4096
rpc-test.0.0: Running RPC tests...
rpc-test.0.0: Testing init RPC...
rpc-test.0.0: Disp rpc-test.0: /source//usr/rpc-test/rpc-test.c, test_init, 56
kernel 0: user page fault in 'init': addr 0x8000b36000 IP 0x42db88
ERROR: rpc-test.0 in aos_rpc_lmp_send_message() /source//lib/aos/aos_rpc_lmp_marshal.c:205
ERROR: The endpoint buffer is full
kernel 0: user page fault in 'rpc-test': addr 0x8000ae0ff0 IP 0x400f44
init.0.0: allocated 4096 size
init.0.0: size_t: 4096
Failure: (         kernel) The endpoint buffer is full [SYS_kernel 0: user page fault in 'init': addr 0x8000b37000 IP 0x42db88
ERR_LMP_BUF_OVERFLOW]
rpc-test.0.0: a transient error occured 10 times, retries exceeded
ERROR: rpc-test.0 in aos_rpc_lmp_send_message() /source//lib/aos/aos_rpc_lmp_marshal.c:210
ERROR: lmp_chan_send4 failed
Failure: (         kernel) The endpoint buffer is full [SYS_ERRkernel 0: user page fault in 'init': addr 0x8000b38000 IP 0x42db88
_LMP_BUF_OVERFLOW]
ERROR: rpc-test.0 in test_init() /source//usr/rpc-test/rpc-test.c:58
ERROR: The endpoint buffer is full
Failure: (         kernel) The endpoint buffer is full [SYS_ERR_LMPkernel 0: user page fault in 'init': addr 0x8000b3900c IP 0x42e6b4
_BUF_OVERFLOW]
ERROR: rpc-test.0 in test_init() /source//usr/rpc-test/rpc-test.c:59
ERROR: aos_rpc_lmp_send_number()
Failure: (         kernel) The endpoint buffer is full [SYS_ERR_LMP_BUkernel 0: user page fault in 'init': addr 0x8000b3a000 IP 0x42db88
F_OVERFLOW]
rpc-test.0.0: libc exit NYI!
abertschi commented 4 years ago

90