Liblor / advanced_operating_systems_2020

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

Morecore allocation for dynamic heap #90

Closed Liblor closed 4 years ago

Liblor commented 4 years ago

We still have to solve the chicken-egg problem.

abertschi commented 4 years ago

Current issue:

Barrelfish CPU driver starting on ARMv8 (BSP)
kernel 0: ARMv8-A: Global data at 0xffff000080200000
kernel 0: ARMv8-A: Kernel stack at 0xffff0000fc216000.. 0xffff0000fc219ff0
kernel 0: ARMv8-A: Kernel first byte at 0xffff0000fc21a000
kernel 0: ARMv8-A: Exception vectors (VBAR_EL1): 0xffff0000fc21a800
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 0xffff0000fbea1000 0008a4ff
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.
init.0.0: processserver_init()
init.0.0: name is: /armv8/sbin/rpc-test
init.0.0: Message handler loop
init.0.0: allocated 4096 size
init.0.0: size_t: 4096
kernel 0: ARMv8-A: Timer interrupt received!
init.0.0: allocated 4096 size
init.0.0: size_t: 4096
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...
init.0.0: Received number 13
init.0.0: Received string 1234567890abcdefghejklmnopqrstuvwxyz
init.0.0: Received string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long stringthis is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long stringthis is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long stringthis is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long string this is a very long stringthis is a very long string this is a very long string this is a very long string this is a very long string this is a very rpc-test.0.0: Testing aos_rpc_process_spawn() (spawning 20 processes)...
init.0.0: name is: /armv8/sbin/dummy
rpc-test.0.0: spawned child: pid 1
init.0.0: name is: /armv8/sbin/dummy
rpc-test.0.0: spawned child: pid 2
init.0.0: name is: /armv8/sbin/dummy
rpc-test.0.0: spawned child: pid 3
init.0.0: name is: /armv8/sbin/dummy
rpc-test.0.0: spawned child: pid 4
init.0.0: name is: /armv8/sbin/dummy
rpc-test.0.0: spawned child: pid 5
init.0.0: name is: /armv8/sbin/dummy
init.0.0: 0: free, 1: alloc, 2: reserved
init.0.0: type: 2        base: 0x8000000000      size 11345920   region: 0x0 
init.0.0: type: 1        base: 0x8000ad2000      size 4096       region: 0x479028 
init.0.0: type: 1        base: 0x8000ad3000      size 4096       region: 0x481d18 
init.0.0: type: 1        base: 0x8000ad4000      size 4096       region: 0x481d98 
init.0.0: type: 1        base: 0x8000ad5000      size 4096       region: 0x481e18 
init.0.0: type: 1        base: 0x8000ad6000      size 4096       region: 0x481e98 
init.0.0: type: 1        base: 0x8000ad7000      size 4096       region: 0x481f18 
init.0.0: type: 1        base: 0x8000ad8000      size 4096       region: 0x481f98 
init.0.0: type: 1        base: 0x8000ad9000      size 4096       region: 0x482018 
init.0.0: type: 2        base: 0x8000ada000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000b19000      size 4096       region: 0x482098 
init.0.0: type: 1        base: 0x8000b1a000      size 4096       region: 0x482118 
init.0.0: type: 1        base: 0x8000b1b000      size 4096       region: 0x482198 
init.0.0: type: 1        base: 0x8000b1c000      size 4096       region: 0x482218 
init.0.0: type: 1        base: 0x8000b1d000      size 4096       region: 0x482298 
init.0.0: type: 1        base: 0x8000b1e000      size 4096       region: 0x482318 
init.0.0: type: 1        base: 0x8000b1f000      size 4096       region: 0x482398 
init.0.0: type: 1        base: 0x8000b20000      size 4096       region: 0x482418 
init.0.0: type: 1        base: 0x8000b21000      size 4096       region: 0x482498 
init.0.0: type: 1        base: 0x8000b22000      size 4096       region: 0x482518 
init.0.0: type: 1        base: 0x8000b23000      size 4096       region: 0x482598 
init.0.0: type: 1        base: 0x8000b24000      size 4096       region: 0x482698 
init.0.0: type: 1        base: 0x8000b25000      size 4096       region: 0x482718 
init.0.0: type: 1        base: 0x8000b26000      size 4096       region: 0x482798 
init.0.0: type: 1        base: 0x8000b27000      size 4096       region: 0x482818 
init.0.0: type: 1        base: 0x8000b28000      size 4096       region: 0x482898 
init.0.0: type: 1        base: 0x8000b29000      size 4096       region: 0x482918 
init.0.0: type: 1        base: 0x8000b2a000      size 4096       region: 0x482998 
init.0.0: type: 1        base: 0x8000b2b000      size 4096       region: 0x482a18 
init.0.0: type: 1        base: 0x8000b2c000      size 4096       region: 0x482a98 
init.0.0: type: 1        base: 0x8000b2d000      size 4096       region: 0x482b18 
init.0.0: type: 1        base: 0x8000b2e000      size 4096       region: 0x482b98 
init.0.0: type: 1        base: 0x8000b2f000      size 4096       region: 0x482c18 
init.0.0: type: 1        base: 0x8000b30000      size 4096       region: 0x482c98 
init.0.0: type: 1        base: 0x8000b31000      size 4096       region: 0x482d18 
init.0.0: type: 1        base: 0x8000b32000      size 4096       region: 0x482d98 
init.0.0: type: 1        base: 0x8000b33000      size 4096       region: 0x482e18 
init.0.0: type: 1        base: 0x8000b34000      size 4096       region: 0x482e98 
init.0.0: type: 1        base: 0x8000b35000      size 4096       region: 0x482f18 
init.0.0: type: 1        base: 0x8000b36000      size 4096       region: 0x482f98 
init.0.0: type: 1        base: 0x8000b37000      size 4096       region: 0x483018 
init.0.0: type: 2        base: 0x8000b38000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000b77000      size 4096       region: 0x483098 
init.0.0: type: 1        base: 0x8000b78000      size 4096       region: 0x483198 
init.0.0: type: 1        base: 0x8000b79000      size 4096       region: 0x483218 
init.0.0: type: 1        base: 0x8000b7a000      size 4096       region: 0x483298 
init.0.0: type: 1        base: 0x8000b7b000      size 4096       region: 0x483318 
init.0.0: type: 1        base: 0x8000b7c000      size 4096       region: 0x483398 
init.0.0: type: 1        base: 0x8000b7d000      size 4096       region: 0x483418 
init.0.0: type: 1        base: 0x8000b7e000      size 4096       region: 0x483498 
init.0.0: type: 1        base: 0x8000b7f000      size 4096       region: 0x483518 
init.0.0: type: 1        base: 0x8000b80000      size 4096       region: 0x483598 
init.0.0: type: 1        base: 0x8000b81000      size 4096       region: 0x483618 
init.0.0: type: 1        base: 0x8000b82000      size 4096       region: 0x483698 
init.0.0: type: 1        base: 0x8000b83000      size 4096       region: 0x483718 
init.0.0: type: 1        base: 0x8000b84000      size 4096       region: 0x483818 
init.0.0: type: 1        base: 0x8000b85000      size 4096       region: 0x483898 
init.0.0: type: 1        base: 0x8000b86000      size 4096       region: 0x483918 
init.0.0: type: 1        base: 0x8000b87000      size 4096       region: 0x483998 
init.0.0: type: 1        base: 0x8000b88000      size 4096       region: 0x483a18 
init.0.0: type: 1        base: 0x8000b89000      size 4096       region: 0x483a98 
init.0.0: type: 1        base: 0x8000b8a000      size 4096       region: 0x483b18 
init.0.0: type: 1        base: 0x8000b8b000      size 4096       region: 0x483b98 
init.0.0: type: 1        base: 0x8000b8c000      size 4096       region: 0x483c18 
init.0.0: type: 1        base: 0x8000b8d000      size 4096       region: 0x483c98 
init.0.0: type: 1        base: 0x8000b8e000      size 4096       region: 0x483d18 
init.0.0: type: 1        base: 0x8000b8f000      size 4096       region: 0x483d98 
init.0.0: type: 1        base: 0x8000b90000      size 4096       region: 0x483e18 
init.0.0: type: 1        base: 0x8000b91000      size 4096       region: 0x483e98 
init.0.0: type: 1        base: 0x8000b92000      size 4096       region: 0x483f18 
init.0.0: type: 1        base: 0x8000b93000      size 4096       region: 0x483f98 
init.0.0: type: 1        base: 0x8000b94000      size 4096       region: 0x484018 
init.0.0: type: 2        base: 0x8000b95000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000bd4000      size 4096       region: 0x484098 
init.0.0: type: 1        base: 0x8000bd5000      size 4096       region: 0x484118 
init.0.0: type: 1        base: 0x8000bd6000      size 4096       region: 0x484198 
init.0.0: type: 1        base: 0x8000bd7000      size 4096       region: 0x484218 
init.0.0: type: 1        base: 0x8000bd8000      size 4096       region: 0x484298 
init.0.0: type: 1        base: 0x8000bd9000      size 4096       region: 0x484318 
init.0.0: type: 1        base: 0x8000bda000      size 4096       region: 0x484398 
init.0.0: type: 1        base: 0x8000bdb000      size 4096       region: 0x484418 
init.0.0: type: 1        base: 0x8000bdc000      size 4096       region: 0x484498 
init.0.0: type: 1        base: 0x8000bdd000      size 4096       region: 0x484518 
init.0.0: type: 1        base: 0x8000bde000      size 4096       region: 0x484598 
init.0.0: type: 1        base: 0x8000bdf000      size 4096       region: 0x484618 
init.0.0: type: 1        base: 0x8000be0000      size 4096       region: 0x484698 
init.0.0: type: 1        base: 0x8000be1000      size 4096       region: 0x484718 
init.0.0: type: 1        base: 0x8000be2000      size 4096       region: 0x484798 
init.0.0: type: 1        base: 0x8000be3000      size 4096       region: 0x484818 
init.0.0: type: 1        base: 0x8000be4000      size 4096       region: 0x484898 
init.0.0: type: 1        base: 0x8000be5000      size 4096       region: 0x484918 
init.0.0: type: 1        base: 0x8000be6000      size 4096       region: 0x484998 
init.0.0: type: 1        base: 0x8000be7000      size 4096       region: 0x484a18 
init.0.0: type: 1        base: 0x8000be8000      size 4096       region: 0x484a98 
init.0.0: type: 1        base: 0x8000be9000      size 4096       region: 0x484b18 
init.0.0: type: 1        base: 0x8000bea000      size 4096       region: 0x485c98 
init.0.0: type: 1        base: 0x8000beb000      size 4096       region: 0x485d18 
init.0.0: type: 1        base: 0x8000bec000      size 4096       region: 0x485d98 
init.0.0: type: 1        base: 0x8000bed000      size 4096       region: 0x485e18 
init.0.0: type: 1        base: 0x8000bee000      size 4096       region: 0x485e98 
init.0.0: type: 1        base: 0x8000bef000      size 4096       region: 0x485f18 
init.0.0: type: 1        base: 0x8000bf0000      size 4096       region: 0x485f98 
init.0.0: type: 2        base: 0x8000bf1000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000c30000      size 4096       region: 0x486018 
init.0.0: type: 1        base: 0x8000c31000      size 4096       region: 0x487118 
init.0.0: type: 1        base: 0x8000c32000      size 4096       region: 0x487198 
init.0.0: type: 1        base: 0x8000c33000      size 4096       region: 0x487218 
init.0.0: type: 1        base: 0x8000c34000      size 4096       region: 0x487298 
init.0.0: type: 1        base: 0x8000c35000      size 4096       region: 0x487318 
init.0.0: type: 1        base: 0x8000c36000      size 4096       region: 0x487398 
init.0.0: type: 1        base: 0x8000c37000      size 4096       region: 0x487418 
init.0.0: type: 1        base: 0x8000c38000      size 4096       region: 0x487498 
init.0.0: type: 1        base: 0x8000c39000      size 4096       region: 0x487598 
init.0.0: type: 1        base: 0x8000c3a000      size 4096       region: 0x487618 
init.0.0: type: 1        base: 0x8000c3b000      size 4096       region: 0x487698 
init.0.0: type: 1        base: 0x8000c3c000      size 4096       region: 0x487718 
init.0.0: type: 1        base: 0x8000c3d000      size 4096       region: 0x487798 
init.0.0: type: 1        base: 0x8000c3e000      size 4096       region: 0x487818 
init.0.0: type: 1        base: 0x8000c3f000      size 4096       region: 0x487898 
init.0.0: type: 1        base: 0x8000c40000      size 4096       region: 0x487918 
init.0.0: type: 1        base: 0x8000c41000      size 4096       region: 0x487998 
init.0.0: type: 1        base: 0x8000c42000      size 4096       region: 0x487a18 
init.0.0: type: 1        base: 0x8000c43000      size 4096       region: 0x487a98 
init.0.0: type: 1        base: 0x8000c44000      size 4096       region: 0x487b18 
init.0.0: type: 1        base: 0x8000c45000      size 4096       region: 0x487b98 
init.0.0: type: 1        base: 0x8000c46000      size 4096       region: 0x487c18 
init.0.0: type: 1        base: 0x8000c47000      size 4096       region: 0x487c98 
init.0.0: type: 1        base: 0x8000c48000      size 4096       region: 0x487d18 
init.0.0: type: 1        base: 0x8000c49000      size 4096       region: 0x487d98 
init.0.0: type: 1        base: 0x8000c4a000      size 4096       region: 0x487e18 
init.0.0: type: 1        base: 0x8000c4b000      size 4096       region: 0x487e98 
init.0.0: type: 1        base: 0x8000c4c000      size 4096       region: 0x487f18 
init.0.0: type: 1        base: 0x8000c4d000      size 4096       region: 0x487f98 
init.0.0: type: 2        base: 0x8000c4e000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000c8d000      size 4096       region: 0x488018 
init.0.0: type: 1        base: 0x8000c8e000      size 4096       region: 0x488098 
init.0.0: type: 1        base: 0x8000c8f000      size 4096       region: 0x488118 
init.0.0: type: 1        base: 0x8000c90000      size 4096       region: 0x488198 
init.0.0: type: 1        base: 0x8000c91000      size 4096       region: 0x488218 
init.0.0: type: 1        base: 0x8000c92000      size 4096       region: 0x488298 
init.0.0: type: 1        base: 0x8000c93000      size 4096       region: 0x488318 
init.0.0: type: 1        base: 0x8000c94000      size 4096       region: 0x488398 
init.0.0: type: 1        base: 0x8000c95000      size 4096       region: 0x488418 
init.0.0: type: 1        base: 0x8000c96000      size 4096       region: 0x488498 
init.0.0: type: 1        base: 0x8000c97000      size 4096       region: 0x488518 
init.0.0: type: 1        base: 0x8000c98000      size 4096       region: 0x488618 
init.0.0: type: 1        base: 0x8000c99000      size 4096       region: 0x488698 
init.0.0: type: 1        base: 0x8000c9a000      size 4096       region: 0x488718 
init.0.0: type: 1        base: 0x8000c9b000      size 4096       region: 0x488798 
init.0.0: type: 1        base: 0x8000c9c000      size 4096       region: 0x488818 
init.0.0: type: 1        base: 0x8000c9d000      size 4096       region: 0x488898 
init.0.0: type: 1        base: 0x8000c9e000      size 4096       region: 0x488998 
init.0.0: type: 1        base: 0x8000c9f000      size 4096       region: 0x488a18 
init.0.0: type: 1        base: 0x8000ca0000      size 4096       region: 0x488a98 
init.0.0: type: 1        base: 0x8000ca1000      size 4096       region: 0x488b18 
init.0.0: type: 1        base: 0x8000ca2000      size 4096       region: 0x488b98 
init.0.0: type: 1        base: 0x8000ca3000      size 4096       region: 0x488c18 
init.0.0: type: 1        base: 0x8000ca4000      size 4096       region: 0x488c98 
init.0.0: type: 1        base: 0x8000ca5000      size 4096       region: 0x488d18 
init.0.0: type: 1        base: 0x8000ca6000      size 4096       region: 0x488d98 
init.0.0: type: 1        base: 0x8000ca7000      size 4096       region: 0x488e18 
init.0.0: type: 1        base: 0x8000ca8000      size 4096       region: 0x488e98 
init.0.0: type: 1        base: 0x8000ca9000      size 4096       region: 0x488f18 
init.0.0: type: 1        base: 0x8000caa000      size 4096       region: 0x488f98 
init.0.0: type: 2        base: 0x8000cab000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000cea000      size 4096       region: 0x489018 
init.0.0: type: 1        base: 0x8000ceb000      size 4096       region: 0x489118 
init.0.0: type: 1        base: 0x8000cec000      size 4096       region: 0x489198 
init.0.0: type: 1        base: 0x8000ced000      size 4096       region: 0x489298 
init.0.0: type: 1        base: 0x8000cee000      size 4096       region: 0x489318 
init.0.0: type: 1        base: 0x8000cef000      size 4096       region: 0x489398 
init.0.0: type: 1        base: 0x8000cf0000      size 4096       region: 0x489418 
init.0.0: type: 1        base: 0x8000cf1000      size 4096       region: 0x489498 
init.0.0: type: 1        base: 0x8000cf2000      size 4096       region: 0x489518 
init.0.0: type: 1        base: 0x8000cf3000      size 4096       region: 0x489598 
init.0.0: type: 1        base: 0x8000cf4000      size 4096       region: 0x489618 
init.0.0: type: 1        base: 0x8000cf5000      size 4096       region: 0x489698 
init.0.0: type: 1        base: 0x8000cf6000      size 4096       region: 0x489718 
init.0.0: type: 1        base: 0x8000cf7000      size 4096       region: 0x489798 
init.0.0: type: 1        base: 0x8000cf8000      size 4096       region: 0x489818 
init.0.0: type: 1        base: 0x8000cf9000      size 4096       region: 0x489898 
init.0.0: type: 1        base: 0x8000cfa000      size 4096       region: 0x489918 
init.0.0: type: 1        base: 0x8000cfb000      size 4096       region: 0x489998 
init.0.0: type: 1        base: 0x8000cfc000      size 4096       region: 0x489a18 
init.0.0: type: 1        base: 0x8000cfd000      size 4096       region: 0x489a98 
init.0.0: type: 1        base: 0x8000cfe000      size 4096       region: 0x489b18 
init.0.0: type: 1        base: 0x8000cff000      size 4096       region: 0x489b98 
init.0.0: type: 1        base: 0x8000d00000      size 4096       region: 0x489c18 
init.0.0: type: 1        base: 0x8000d01000      size 4096       region: 0x489c98 
init.0.0: type: 1        base: 0x8000d02000      size 4096       region: 0x489d18 
init.0.0: type: 1        base: 0x8000d03000      size 4096       region: 0x489d98 
init.0.0: type: 1        base: 0x8000d04000      size 4096       region: 0x489e18 
init.0.0: type: 1        base: 0x8000d05000      size 4096       region: 0x489e98 
init.0.0: type: 1        base: 0x8000d06000      size 4096       region: 0x489f18 
init.0.0: type: 2        base: 0x8000d07000      size 258048     region: 0x0 
init.0.0: type: 1        base: 0x8000d46000      size 4096       region: 0x489f98 
init.0.0: type: 1        base: 0x8000d47000      size 4096       region: 0x48a018 
init.0.0: type: 1        base: 0x8000d48000      size 4096       region: 0x48a098 
init.0.0: type: 1        base: 0x8000d49000      size 4096       region: 0x48a118 
init.0.0: type: 1        base: 0x8000d4a000      size 4096       region: 0x48a198 
init.0.0: type: 1        base: 0x8000d4b000      size 4096       region: 0x48a218 
init.0.0: type: 1        base: 0x8000d4c000      size 4096       region: 0x48a298 
init.0.0: type: 1        base: 0x8000d4d000      size 4096       region: 0x48a318 
init.0.0: type: 1        base: 0x8000d4e000      size 4096       region: 0x48a398 
init.0.0: type: 1        base: 0x8000d4f000      size 4096       region: 0x48a418 
init.0.0: type: 1        base: 0x8000d50000      size 4096       region: 0x48a498 
init.0.0: type: 1        base: 0x8000d51000      size 4096       region: 0x48a518 
init.0.0: type: 1        base: 0x8000d52000      size 4096       region: 0x48a618 
init.0.0: type: 1        base: 0x8000d53000      size 4096       region: 0x48a698 
init.0.0: type: 1        base: 0x8000d54000      size 4096       region: 0x48a718 
init.0.0: type: 1        base: 0x8000d55000      size 4096       region: 0x48a798 
init.0.0: type: 1        base: 0x8000d56000      size 4096       region: 0x48a818 
init.0.0: type: 1        base: 0x8000d57000      size 4096       region: 0x48a898 
init.0.0: type: 1        base: 0x8000d58000      size 4096       region: 0x48a918 
init.0.0: type: 1        base: 0x8000d59000      size 4096       region: 0x48a998 
init.0.0: type: 1        base: 0x8000d5a000      size 4096       region: 0x48aa18 
init.0.0: type: 1        base: 0x8000d5b000      size 4096       region: 0x48aa98 
init.0.0: type: 1        base: 0x8000d5c000      size 4096       region: 0x48ab18 
init.0.0: type: 1        base: 0x8000d5d000      size 4096       region: 0x48ab98 
init.0.0: type: 1        base: 0x8000d5e000      size 4096       region: 0x48ac18 
init.0.0: type: 1        base: 0x8000d5f000      size 4096       region: 0x48ac98 
init.0.0: type: 1        base: 0x8000d60000      size 4096       region: 0x48ad18 
init.0.0: type: 1        base: 0x8000d61000      size 4096       region: 0x48be98 
init.0.0: type: 2        base: 0x8000d62000      size 1099508940800      region: 0x0 
init.0.0: type: 2        base: 0x18000ad2000     size 307200     region: 0x0 
init.0.0: type: 1        base: 0x18000b1d000     size 4096       region: 0x8000ad2010 
init.0.0: type: 2        base: 0x18000b1e000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b1e000     size 4096       region: 0x8000ad8410 
init.0.0: type: 2        base: 0x18000b1f000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b1f000     size 4096       region: 0x8000ad8490 
init.0.0: type: 2        base: 0x18000b20000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b20000     size 4096       region: 0x8000ad8510 
init.0.0: type: 2        base: 0x18000b21000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b21000     size 4096       region: 0x8000ad8590 
init.0.0: type: 2        base: 0x18000b22000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b22000     size 4096       region: 0x8000ad8610 
init.0.0: type: 2        base: 0x18000b23000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b23000     size 4096       region: 0x8000ad8690 
init.0.0: type: 2        base: 0x18000b24000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b24000     size 4096       region: 0x8000ad8710 
init.0.0: type: 2        base: 0x18000b25000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b25000     size 4096       region: 0x8000ad8790 
init.0.0: type: 2        base: 0x18000b26000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b26000     size 4096       region: 0x8000ad8810 
init.0.0: type: 2        base: 0x18000b27000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b27000     size 4096       region: 0x8000ad8940 
init.0.0: type: 2        base: 0x18000b28000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000b28000     size 507904     region: 0x8000ad8e00 
init.0.0: type: 2        base: 0x18000ba4000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000ba4000     size 278528     region: 0x8000b22bf0 
init.0.0: type: 2        base: 0x18000be8000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000be8000     size 4096       region: 0x482618 
init.0.0: type: 2        base: 0x18000be9000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18000be9000     size 17219584   region: 0x8000b2b170 
init.0.0: type: 2        base: 0x18001c55000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001c55000     size 4096       region: 0x8000b34770 
init.0.0: type: 2        base: 0x18001c56000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001c56000     size 4096       region: 0x8000b346f0 
init.0.0: type: 2        base: 0x18001c57000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001c57000     size 524288     region: 0x8000b358f0 
init.0.0: type: 2        base: 0x18001cd7000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001cd7000     size 507904     region: 0x8000b369e0 
init.0.0: type: 2        base: 0x18001d53000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001d53000     size 4096       region: 0x483118 
init.0.0: type: 2        base: 0x18001d54000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001d54000     size 274432     region: 0x8000b807d0 
init.0.0: type: 2        base: 0x18001d97000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001d97000     size 4096       region: 0x483798 
init.0.0: type: 2        base: 0x18001d98000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18001d98000     size 17219584   region: 0x8000b88d50 
init.0.0: type: 2        base: 0x18002e04000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18002e04000     size 4096       region: 0x8000b922d0 
init.0.0: type: 2        base: 0x18002e05000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18002e05000     size 4096       region: 0x8000b93450 
init.0.0: type: 2        base: 0x18002e06000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18002e06000     size 524288     region: 0x8000b934d0 
init.0.0: type: 2        base: 0x18002e86000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18002e86000     size 507904     region: 0x8000b93ad0 
init.0.0: type: 2        base: 0x18002f02000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18002f02000     size 274432     region: 0x8000bdd8c0 
init.0.0: type: 2        base: 0x18002f45000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18002f45000     size 17219584   region: 0x8000be5e40 
init.0.0: type: 2        base: 0x18003fb1000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18003fb1000     size 4096       region: 0x484b98 
init.0.0: type: 2        base: 0x18003fb2000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18003fb2000     size 4096       region: 0x8000beb1c0 
init.0.0: type: 2        base: 0x18003fb3000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18003fb3000     size 4096       region: 0x8000bed340 
init.0.0: type: 2        base: 0x18003fb4000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18003fb4000     size 524288     region: 0x8000bee4c0 
init.0.0: type: 2        base: 0x18004034000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18004034000     size 507904     region: 0x8000befb40 
init.0.0: type: 2        base: 0x180040b0000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180040b0000     size 4096       region: 0x487518 
init.0.0: type: 2        base: 0x180040b1000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180040b1000     size 274432     region: 0x8000c39930 
init.0.0: type: 2        base: 0x180040f4000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180040f4000     size 4096       region: 0x8000c40e30 
init.0.0: type: 2        base: 0x180040f5000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180040f5000     size 17219584   region: 0x8000c41f30 
init.0.0: type: 2        base: 0x18005161000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18005161000     size 4096       region: 0x8000c4a430 
init.0.0: type: 2        base: 0x18005162000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18005162000     size 524288     region: 0x8000c4b5b0 
init.0.0: type: 2        base: 0x180051e2000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180051e2000     size 507904     region: 0x8000c4bbb0 
init.0.0: type: 2        base: 0x1800525e000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800525e000     size 274432     region: 0x8000c96a20 
init.0.0: type: 2        base: 0x180052a1000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180052a1000     size 4096       region: 0x488598 
init.0.0: type: 2        base: 0x180052a2000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180052a2000     size 4096       region: 0x488918 
init.0.0: type: 2        base: 0x180052a3000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180052a3000     size 17219584   region: 0x8000c9efa0 
init.0.0: type: 2        base: 0x1800630f000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800630f000     size 4096       region: 0x8000ca74a0 
init.0.0: type: 2        base: 0x18006310000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18006310000     size 524288     region: 0x8000ca8620 
init.0.0: type: 2        base: 0x18006390000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18006390000     size 507904     region: 0x8000ca8c20 
init.0.0: type: 2        base: 0x1800640c000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800640c000     size 4096       region: 0x489098 
init.0.0: type: 2        base: 0x1800640d000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800640d000     size 4096       region: 0x489218 
init.0.0: type: 2        base: 0x1800640e000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800640e000     size 274432     region: 0x8000cf3a90 
init.0.0: type: 2        base: 0x18006451000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x18006451000     size 17219584   region: 0x8000cfc010 
init.0.0: type: 2        base: 0x180074bd000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180074bd000     size 4096       region: 0x8000d04510 
init.0.0: type: 2        base: 0x180074be000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180074be000     size 524288     region: 0x8000d05690 
init.0.0: type: 2        base: 0x1800753e000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800753e000     size 507904     region: 0x8000d05d90 
init.0.0: type: 2        base: 0x180075ba000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180075ba000     size 4096       region: 0x8000d05e10 
init.0.0: type: 2        base: 0x180075bb000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180075bb000     size 274432     region: 0x8000d4fc00 
init.0.0: type: 2        base: 0x180075fe000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180075fe000     size 4096       region: 0x48a598 
init.0.0: type: 2        base: 0x180075ff000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x180075ff000     size 17219584   region: 0x8000d58180 
init.0.0: type: 2        base: 0x1800866b000     size 0          region: 0x0 
init.0.0: type: 1        base: 0x1800866b000     size 4096       region: 0x48ad98 
init.0.0: type: 2        base: 0x1800866c000     size 0          region: 0x0 
init.0.0: PAGE FAULT: Address 0x18008600000 is not mapped
ERROR: init.0 in exception_handler() /source//lib/aos/paging.c:112
ERROR: No mapping in given address range
init.0.0: 
init.0: unrecoverable error (errmsg: 'No mapping in given address range', type: 0x1, subtype: 0x2) on 18008600000 at IP 42dad8
init.0.0: x0     0x0000018007614084
init.0.0: x1     0x0000000000000000
init.0.0: x2     0x0000000001056f0c
init.0.0: x3     0x0000018008600000
init.0.0: x4     0x000001800866af90
init.0.0: x5     0x0000000000000000
init.0.0: x6     0x0000000000000000
init.0.0: x7     0x0000000000000000
init.0.0: x8     0x0000000000001200
init.0.0: x9     0x0000018007614084
init.0.0: x10    0x0000000000000000
init.0.0: x11    0x0000000000000000
init.0.0: x12    0x0000000000000000
init.0.0: x13    0x0000000000000002
init.0.0: x14    0x0000000000000000
init.0.0: x15    0x0000000000000000
init.0.0: x16    0x0000000000000000
init.0.0: x17    0x0000000000000000
init.0.0: x18    0x000000000043e240
init.0.0: x19    0x000001800753e078
init.0.0: x20    0x000001800753e000
init.0.0: x21    0x0000000000000000
init.0.0: x22    0x00000180075b9c60
init.0.0: x23    0x0000000000000001
init.0.0: x24    0x0000000000000000
init.0.0: x25    0x0000000000000000
init.0.0: x26    0x0000000000000000
init.0.0: x27    0x0000000000000000
init.0.0: x28    0x00000000014c9cc8
init.0.0: x29    0x00000000014c9c30
init.0.0: x30    0x000000000040803c
init.0.0: stack  0x00000000014c9c30
init.0.0: pc     0x000000000042dad8
init.0.0: spsr   0x0000000080000040
init.0.0: v[0]   0x0000000000000000 0x0000000000000000 
init.0.0: v[1]   0x0000000000000000 0x0000000000000000 
init.0.0: v[2]   0x0000000000000000 0x0000000000000000 
init.0.0: v[3]   0x0000000000000000 0x0000000000000000 
init.0.0: v[4]   0x0000000000000000 0x0000000000000000 
init.0.0: v[5]   0x0000000000000000 0x0000000000000000 
init.0.0: v[6]   0x0000000000000000 0x0000000000000000 
init.0.0: v[7]   0x0000000000000000 0x0000000000000000 
init.0.0: v[8]   0x0000000000000000 0x0000000000000000 
init.0.0: v[9]   0x0000000000000000 0x0000000000000000 
init.0.0: v[10]  0x0000000000000000 0x0000000000000000 
init.0.0: v[11]  0x0000000000000000 0x0000000000000000 
init.0.0: v[12]  0x0000000000000000 0x0000000000000000 
init.0.0: v[13]  0x0000000000000000 0x0000000000000000 
init.0.0: v[14]  0x0000000000000000 0x0000000000000000 
init.0.0: v[15]  0x0000000000000000 0x0000000000000000 
init.0.0: v[16]  0x0000000000000000 0x0000000000000000 
init.0.0: v[17]  0x0000000000000000 0x0000000000000000 
init.0.0: v[18]  0x0000000000000000 0x0000000000000000 
init.0.0: v[19]  0x0000000000000000 0x0000000000000000 
init.0.0: v[20]  0x0000000000000000 0x0000000000000000 
init.0.0: v[21]  0x0000000000000000 0x0000000000000000 
init.0.0: v[22]  0x0000000000000000 0x0000000000000000 
init.0.0: v[23]  0x0000000000000000 0x0000000000000000 
init.0.0: v[24]  0x0000000000000000 0x0000000000000000 
init.0.0: v[25]  0x0000000000000000 0x0000000000000000 
init.0.0: v[26]  0x0000000000000000 0x0000000000000000 
init.0.0: v[27]  0x0000000000000000 0x0000000000000000 
init.0.0: v[28]  0x0000000000000000 0x0000000000000000 
init.0.0: v[29]  0x0000000000000000 0x0000000000000000 
init.0.0: v[30]  0x0000000000000000 0x0000000000000000 
init.0.0: v[31]  0x0000000000000000 0x0000000000000000 
dummy.0.0: A transient error occured 10 times, retries exceeded
ERROR: dummy.0 in aos_rpc_lmp_setup_channel() /source//lib/aos/aos_rpc_lmp.c:442
ERROR: Destination slot is occupied for cap transferdummy.0.0: A transient error occured 10 times, retries exceeded
ERROR: dummy.0 in aos_rpc_lmp_setup_channel() /source//lib/aos/aos_rpc_lmp.c:442
ERROR: Destination slot is occupied for cap transfer
dummy.0.0: lmp_chan_send0() failed: Destination slot is occupied for cap transfer
dummy.0.0: Error while setting up channel for init
dummy.0.0: aos_rpc_lmp_setup_channel() failed
dummy.0.0: A transient error occured 10 times, retries exceeded
ERROR: dummy.0 in aos_rpc_lmp_setup_channel() /source//lib/aos/aos_rpc_lmp.c:442
ERROR: Destination slot is occupied for cap transfer
dummy.0.0: A transient error occured 10 times, retries exceeded
ERROR: dummy.0 in aos_rpc_lmp_setup_channel() /source//lib/aos/aos_rpc_lmp.c:442
ERROR: Destination slot is occupied for cap transfer
dummy.0.0: lmp_chan_send0() failed: Destination slot is occupied for cap transfer
dummy.0.0: Error while setting up channel for init
dummy.0.0: aos_rpc_lmp_setup
abertschi commented 4 years ago
/*
 * Solution brainstorming
 *
 * - adapt malloc
 * - use slab, and replace calls to malloc with calls to slab
 * - paging does not use heap, but keeps new data in static buffer,
 *   and copies it at the end once malloc available
 */