Fiasco.OCFile SystemGenodeL4/FiascoL4ka::Pistachiomicrokernelokl4seL4

FS 相關的測試結果概況

Overview

fiasco_x86 foc_x86_32 pistachio_x86 okl4_x86 sel4_x86_32
blk Pass Pass Pass Pass Fail
blk_cache Pass Pass Pass Pass Fail
fs_log Pass Pass Pass Fail Fail
vfs_stress_fs Pass Pass Pass Fail Fail
vfs_stress_ram Pass Pass Pass Fail Fail
rom_blk Pass Pass Pass Pass Fail
rom_filter Pass Pass Pass Pass Fail
tar_rom Pass Pass Pass Pass Fail
report_rom Pass Fail Pass Pass Fail
ram_fs_chunk Fail Fail Fail Fail Fail
sd_card Fail Fail Fail Fail Fail
sd_card_bench Fail Fail Fail Fail Fail

fiasco_x86

 Test Case Name Red Text Output Message
blk
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
blk_cache
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
fs_log
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
vfs_stress_fs
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • Ipc error 30, ignored
vfs_stress_ram
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init -> vfs_stress] 5104KB not freed after unlink and sync!
  • Ipc error 30, ignored
rom_blk
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
rom_filter
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
tar_rom
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> tar_rom] couldn’t find file ‘ld.lib.so’, empty result
  • [init -> init] Could not open ROM session for module “ld.lib.so"
report_rom
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-report_rom] — test-report_rom finished —
    Ipc error 30, ignored
ram_fs_chunk
  • Performance-critical config option(s) detected:
    CONFIG_ASSEMBLER_IPC_SHORTCUT is off
    CONFIG_NDEBUG is off
    CONFIG_NO_FRAME_PTR is off
    CONFIG_FINE_GRAINED_CPUTIME is on
  • [init] Could not open ROM session for module “ld.lib.so"
  • Line 40 of output is unexpected
    expected: ‘[init -> test-ram_fs_chunk] allocator: sum=0’
    got: ‘[init -> test-ram_fs_chunk] allocator: sum=456’
    Error: Test failed, 1 unexpected lines of output
    make: *** [run/ram_fs_chunk] Error 255
sd_card
  • cp: cannot stat ‘bin/sd_card_drv’: No such file or directory
sd_card_bench
  • cp: cannot stat ‘bin/sd_card_bench’: No such file or directory

foc_x86_32

 Test Case Name Red Text Output Message
blk
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
blk_cache
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
fs_log
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
vfs_stress_fs
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
vfs_stress_ram
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init -> vfs_stress] 5104KB not freed after unlink and sync!
rom_blk
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init] Could not open ROM session for module “ld.lib.so"
rom_filter
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init] Could not open ROM session for module “ld.lib.so"
tar_rom
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> tar_rom] couldn’t find file ‘ld.lib.so’, empty result
  • [init -> init] Could not open ROM session for module “ld.lib.so"
report_rom
  • L4 Bootstrapper
    Build: #1 四 1Error: Spawned process died unexpectedly
    make: *** [run/report_rom] Error 253
ram_fs_chunk
  • Performance-critical config option(s) detected:
    CONFIG_NDEBUG is off
  • [init] Could not open ROM session for module “ld.lib.so"
  • Line 40 of output is unexpected
    expected: ‘[init -> test-ram_fs_chunk] allocator: sum=0’
    got: ‘[init -> test-ram_fs_chunk] allocator: sum=456’
    Error: Test failed, 1 unexpected lines of output
    make: *** [run/ram_fs_chunk] Error 255
sd_card
  • cp: cannot stat ‘bin/sd_card_drv’: No such file or directory
sd_card_bench
  • cp: cannot stat ‘bin/sd_card_bench’: No such file or directory

pistachio_x86

 Test Case Name Red Text Output Message
blk
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
blk_cache
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
fs_log

– – – – – –

vfs_stress_fs
  • Warning
  • Ipc error 30, ignored
vfs_stress_ram
  • [init -> vfs_stress] 5104KB not freed after unlink and sync!
  • ipc error in _reply, ignored
rom_blk
  • [init] Could not open ROM session for module “ld.lib.so"
rom_filter
  • [init] Could not open ROM session for module “ld.lib.so"
tar_rom
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> tar_rom] couldn’t find file ‘ld.lib.so’, empty result
  • [init -> init] Could not open ROM session for module “ld.lib.so"
report_rom
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-report_rom] — test-report_rom finished —
    Ipc error 30, ignored
ram_fs_chunk
  • [init] Could not open ROM session for module “ld.lib.so"
  • Line 40 of output is unexpected
    expected: ‘[init -> test-ram_fs_chunk] allocator: sum=0’
    got: ‘[init -> test-ram_fs_chunk] allocator: sum=456’
    Error: Test failed, 1 unexpected lines of output
    make: *** [run/ram_fs_chunk] Error 255
sd_card
  • cp: cannot stat ‘bin/sd_card_drv’: No such file or directory
sd_card_bench
  • cp: cannot stat ‘bin/sd_card_bench’: No such file or directory

okl4_x86

 Test Case Name Red Text Output Message
blk
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
blk_cache
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> test-blk-srv] Could not open ROM session for module “config"
  • [init -> test-blk-srv] Could not obtain config file
  • [init -> test-blk-cli] Could not open ROM session for module “config"
  • [init -> test-blk-cli] Could not obtain config file
fs_log
  • [init -> timer] Uncaught exception of type ‘N6Genode6Parent14Service_deniedE’ (use ‘c++filt -t’ to demangle)
  • [init -> vfs] — bomb started —
vfs_stress_fs
  • [init -> timer] Uncaught exception of type ‘N6Genode6Parent14Service_deniedE’ (use ‘c++filt -t’ to demangle)
vfs_stress_ram
  • [init -> timer] Uncaught exception of type ‘N6Genode6Parent14Service_deniedE’ (use ‘c++filt -t’ to demangle)
rom_blk
  • [init] Could not open ROM session for module “ld.lib.so"
rom_filter
  • [init] Could not open ROM session for module “ld.lib.so"
tar_rom
  • [init] Could not open ROM session for module “ld.lib.so"
  • [init -> tar_rom] couldn’t find file ‘ld.lib.so’, empty result
  • [init -> init] Could not open ROM session for module “ld.lib.so"
report_rom
  • [init] Could not open ROM session for module “ld.lib.so"
  • ipc error in _reply – gets ignored
ram_fs_chunk
  • [init] Could not open ROM session for module “ld.lib.so"
  • Line 40 of output is unexpected
    expected: ‘[init -> test-ram_fs_chunk] allocator: sum=0’
    got: ‘[init -> test-ram_fs_chunk] allocator: sum=456’
    Error: Test failed, 1 unexpected lines of output
    make: *** [run/ram_fs_chunk] Error 255
sd_card
  • cp: cannot stat ‘bin/sd_card_drv’: No such file or directory
sd_card_bench
  • cp: cannot stat ‘bin/sd_card_bench’: No such file or directory

sel4_x86_32

 Test Case Name Red Text Output Message
blk
  • cp: cannot stat ‘bin/timer’: No such file or directory
blk_cache
  • cp: cannot stat ‘bin/timer’: No such file or directory
fs_log
  • cp: cannot stat ‘bin/timer’: No such file or directory
vfs_stress_fs
  • Warning
  • cp: cannot stat ‘bin/timer’: No such file or directory
vfs_stress_ram
  • cp: cannot stat ‘bin/timer’: No such file or directory
rom_blk
  • [init] Could not open ROM session for module “ld.lib.so"
  • Boot process timed out
    error writing “stdout": bad file number
rom_filter
  • cp: cannot stat ‘bin/timer’: No such file or directory
tar_rom
  • cp: cannot stat ‘bin/timer’: No such file or directory
report_rom
  • cp: cannot stat ‘bin/timer’: No such file or directory
ram_fs_chunk
  • [init] Could not open ROM session for module “ld.lib.so"
  • Boot process timed out
    error writing “stdout": bad file number
sd_card
  • cp: cannot stat ‘bin/timer’: No such file or directory
sd_card_bench
  • cp: cannot stat ‘bin/timer’: No such file or directory

– 完 –

 

標準