static void ipc_setup(struct bench_test *test, int args[]) { static bool setup = false; int r; L4_Word_t utcb; fass = (test == &bench_ipc_fass); pagertimer = (test == &bench_ipc_pagemap); pagertimer_simulated = (test == &bench_ipc_pagemap_simulated); inter = (test == &bench_ipc_inter); fass_buffer = ((test == &bench_ipc_fass_buffer) || (test == &bench_ipc_fass_buffer_vspace)); fault_test = (test == &bench_ipc_page_faults); intra_open = (test == &bench_ipc_intra_open); intra_close = (test == &bench_ipc_intra_close); intra_rpc = (test == &bench_ipc_intra_rpc); intra_ovh = (test == &bench_ipc_intra_ovh); intra_async = (test == &bench_ipc_intra_async); intra_async_ovh = (test == &bench_ipc_intra_async_ovh); num_iterations = args[0]; num_mrs = args[1]; ping_space = pong_space = L4_nilspace; if (! setup) { /* Find smallest supported page size. There's better at least one * bit set. */ /* Size for one UTCB */ utcb_size = L4_GetUtcbSize(); /* We need a maximum of two threads per task */ #ifdef NO_UTCB_RELOCATE no_utcb_alloc = 1; utcb_area = L4_Nilpage; if (fass) { pong_utcb_area = L4_Nilpage; } #else no_utcb_alloc = 0; utcb_area = L4_Fpage((L4_Word_t) UTCB_ADDRESS, L4_GetUtcbAreaSize() + 1); if (fass) { pong_utcb_area = L4_Fpage ((L4_Word_t) UTCB_ADDRESS, L4_GetUtcbAreaSize() + 1); } #endif /* Create pager */ master_tid.raw = KBENCH_SERVER.raw; pager_tid.raw = KBENCH_SERVER.raw + 1; ping_tid.raw = KBENCH_SERVER.raw + 2; pong_tid.raw = KBENCH_SERVER.raw + 3; /* VU: calculate UTCB address -- this has to be revised */ /** @todo FIXME: Should put into arch subdir - changhua. */ #if defined(ARCH_ARM) L4_Word_t pager_utcb = (L4_Word_t) __L4_ARM_Utcb(); #elif defined(ARCH_IA32) L4_Word_t pager_utcb = (L4_Word_t) __L4_X86_Utcb(); #elif defined(ARCH_SH) L4_Word_t pager_utcb = (L4_Word_t) L4_GetUtcbBase(); #else #error "Please define arch get_Utcb()" #endif pager_utcb = no_utcb_alloc ? ~0UL : (pager_utcb & ~(utcb_size - 1)) + utcb_size; r = L4_ThreadControl (pager_tid, KBENCH_SPACE, master_tid, master_tid, master_tid, 0, (void*)pager_utcb); if (r == 0) printf("Thread create Error: %lx\n", L4_ErrorCode()); assert(r == 1); L4_KDB_SetThreadName(pager_tid, "pager"); L4_Start_SpIp (pager_tid, (L4_Word_t) pager_stack + sizeof(pager_stack) - 32, START_ADDR (pager)); /* Find some area of memory to page to */ setup = true; } if (pagertimer) { /* Only create ping space and ping thread. */ r = okl4_kspaceid_allocany(spaceid_pool, &ping_space); assert(r == OKL4_OK); r = L4_SpaceControl(ping_space, L4_SpaceCtrl_new, KBENCH_CLIST, utcb_area, 0, NULL); assert(r == 1); utcb = no_utcb_alloc ? ~0UL : UTCB(0); r = L4_ThreadControl(ping_tid, ping_space, master_tid, pager_tid, pager_tid, 0, (void *) utcb); L4_StoreMR(0, &ping_th.raw); assert(r == 1); } else if (fault_test) { /* Only create pong space and pong thread. */ r = okl4_kspaceid_allocany(spaceid_pool, &pong_space); assert(r == OKL4_OK); r = L4_SpaceControl(pong_space, L4_SpaceCtrl_new, KBENCH_CLIST, utcb_area, 0, NULL); assert(r == 1); utcb = no_utcb_alloc ? ~0UL : UTCB(0); r = L4_ThreadControl(pong_tid, pong_space, master_tid, pager_tid, pager_tid, 0, (void *) utcb); L4_StoreMR(0, &pong_th.raw); assert(r == 1); } else if (pagertimer_simulated || inter || fass || fass_buffer) { /* Create both ping, pong space, and create ping, pong thread in their own space */ L4_Word_t ctrl = 0; if (test == &bench_ipc_fass_buffer_vspace) { ctrl = (1 << 16); } r = okl4_kspaceid_allocany(spaceid_pool, &ping_space); assert(r == OKL4_OK); r = L4_SpaceControl(ping_space, L4_SpaceCtrl_new, KBENCH_CLIST, utcb_area, ctrl, NULL); if (r == 0) printf("Space control Error: 0x%lx\n", L4_ErrorCode()); assert( r == 1 ); r = okl4_kspaceid_allocany(spaceid_pool, &pong_space); assert(r == OKL4_OK); r = L4_SpaceControl(pong_space, L4_SpaceCtrl_new, KBENCH_CLIST, (fass ? pong_utcb_area : utcb_area), ctrl, NULL); assert( r == 1); utcb = no_utcb_alloc ? ~0UL : UTCB(0); r = L4_ThreadControl(ping_tid, ping_space, master_tid, pager_tid, pager_tid, 0, (void *) utcb); L4_StoreMR(0, &ping_th.raw); assert( r == 1); utcb = no_utcb_alloc ? ~0UL : fass ? PONGUTCB(1) : UTCB(1); r = L4_ThreadControl(pong_tid, pong_space, master_tid, pager_tid, pager_tid, 0, (void *)utcb); L4_StoreMR(0, &pong_th.raw); } else { /* Only Create ping space, but create both ping, pong thread in that space. */ r = okl4_kspaceid_allocany(spaceid_pool, &ping_space); assert(r == OKL4_OK); r = L4_SpaceControl(ping_space, L4_SpaceCtrl_new, KBENCH_CLIST, utcb_area, 0, NULL); assert( r == 1 ); utcb = no_utcb_alloc ? ~0UL : UTCB(0); r = L4_ThreadControl(ping_tid, ping_space, master_tid, pager_tid, pager_tid, 0, (void *) utcb); L4_StoreMR(0, &ping_th.raw); assert( r == 1); utcb = no_utcb_alloc ? ~0UL : UTCB(1); r = L4_ThreadControl(pong_tid, ping_space, master_tid, pager_tid, pager_tid, 0, (void *) utcb); L4_StoreMR(0, &pong_th.raw); assert( r == 1); } L4_KDB_SetThreadName(ping_tid, "ping"); if (test != &bench_ipc_pagemap) { L4_KDB_SetThreadName(pong_tid, "pong"); } }
/* * Setup L4 architecture requirements: * kip_area, utcb_area, physical memory, current, * Init user address space, ramdisk, console, early consle */ void __init setup_arch (char **command_line) { unsigned long base, area; #if defined(CONFIG_IGUANA) setup_tls(1); #endif /* Return the command line to the rest of the kernel */ boot_command_line[COMMAND_LINE_SIZE-1] = '\0'; *command_line = boot_command_line; if (L4_UtcbIsKernelManaged()) { utcb_area = L4_Nilpage; } else { /* Currently hardcoded to 1024 L4 threads per linux * user address space */ area = L4_GetUtcbSize() * 1024; /* * Find some area to put the utcb in outside user's * area. When the KIP was present, 16 pages were * reserved for it, so keep the same spacing here * because the equation is not fully understood. */ base = PAGE_ALIGN(TASK_SIZE) + 16 * PAGE_SIZE + area; /* Round address to the 'area' boundary. */ base = (base + (area-1)) & (~(area-1)); utcb_area = L4_Fpage(base, L4_GetUtcbSize() * 1024); } /* Initialise our machine name */ setup_machine_name(); /* FIXME: (why?) */ start_phys_mem = __pa(start_phys_mem); end_phys_mem = __pa(end_phys_mem); /* Initialise paging */ paging_init(); /* Thread info setup. */ /* FIXME: remember for SMP startup */ current_tinfo(smp_processor_id()) = (unsigned long)&init_thread_union.thread_info; task_thread_info(current)->user_tid = L4_nilthread; task_thread_info(current)->user_handle = L4_nilthread; #ifdef CONFIG_EARLY_PRINTK /* early console initialisation */ enable_early_printk(); #endif /* Ramdisk setup */ #ifdef CONFIG_BLK_DEV_INITRD /* Board specific code should have set up initrd_start and initrd_end */ ROOT_DEV = Root_RAM0; /* FIXME! */ initrd_start = 0; //naming_lookup("ramdisk"); initrd_end = 0; //naming_lookup("ramdisk_end"); printk("end: %lx\n", initrd_end); initrd_below_start_ok = 1; if (initrd_start) { unsigned long initrd_size = ((unsigned char *)initrd_end) - ((unsigned char *)initrd_start); printk("Initial ramdisk at: 0x%p (%lu bytes)\n", (void *)initrd_start, initrd_size); } #endif /* CONFIG_BLK_DEV_INITRD */ #ifdef CONFIG_VT #if defined(CONFIG_VGA_CONSOLE) __setup_vga(); conswitchp = &vga_con; #elif defined(CONFIG_DUMMY_CONSOLE) conswitchp = &dummy_con; #endif /* CONFIG_VGA_CONSOLE */ screen_info.lfb_base = 0xe000000; screen_info.lfb_size = 600*800; screen_info.lfb_height = 600; screen_info.lfb_width = 800; #endif /* CONFIG_VT */ panic_timeout = 1; #if defined(CONFIG_CELL) /* L4-specific -gl,cvs */ { extern unsigned long TIMER_BASE, SERIAL_BASE; okl4_env_lookup_address("MAIN_TIMER_MEM0", &TIMER_BASE); okl4_env_lookup_address("MAIN_SERIAL_MEM0", &SERIAL_BASE); } #if defined(CONFIG_VERSATILE) { extern unsigned long ETH_BASE, CLCD_BASE, VERSATILE_SYS_BASE, KMI0_BASE, KMI1_BASE; okl4_env_lookup_address("MAIN_ETH_MEM0", Ð_BASE); okl4_env_lookup_address("MAIN_VERSATILESYS_MEM0", &VERSATILE_SYS_BASE); okl4_env_lookup_address("MAIN_CLCD_MEM0", &CLCD_BASE); okl4_env_lookup_address("MAIN_KMI0_MEM0", &KMI0_BASE); okl4_env_lookup_address("MAIN_KMI1_MEM0", &KMI1_BASE); } #endif #if defined(CONFIG_ARCH_GUMSTIX) { extern unsigned long GPIO_BASE, DMAC_BASE; extern unsigned long PXA_CS1_PHYS, PXA_CS1_DMA; extern unsigned long PXA_CS2_PHYS, PXA_CS2_DMA; okl4_env_lookup_address("MAIN_GPIO_MEM0", &GPIO_BASE); okl4_env_lookup_address("MAIN_DMA_MEM0", &DMAC_BASE); okl4_env_lookup_address("MAIN_CS_MEM1", &PXA_CS1_PHYS); okl4_env_lookup_address("MAIN_CS_MEM2", &PXA_CS2_PHYS); PXA_CS1_DMA = *((unsigned long *)okl4_env_get("cs_mem1_physical")); PXA_CS2_DMA = *((unsigned long *)okl4_env_get("cs_mem2_physical")); } #endif #endif /*CELL*/ }
static int CreateMaxThreads(void) { int i; int res = 1; // MIPS32 address space ends at 0x80000000 #if (defined(L4_ARCH_MIPS) && defined(L4_32BIT)) unsigned long utcb_base = 0x70000000; #else unsigned long utcb_base = 0xb0000000; #endif void * utcb = (void *)utcb_base; L4_Fpage_t utcb_area = L4_Fpage(utcb_base, 0x01000000); int max; L4_Word_t result; L4_SpaceId_t space; result = okl4_kspaceid_allocany(spaceid_pool, &space); fail_unless(result == OKL4_OK, "Failed to allocate any space id."); /* Create first thread (and address space) */ #ifdef NO_UTCB_RELOCATE utcb_area = L4_Nilpage; utcb = (void*)-1ul; #endif res = create_address_space(space, utcb_area); i = 3; // start creating threads after controlling space fail_unless(res == 1, "Failed to create controlling space\n"); /* create threads */ do { if (utcb) { utcb = (void *)(utcb_base + i * L4_GetUtcbSize()); } if (!isSystemThread(thread_offset(i))) { res = L4_ThreadControl(thread_offset(i), space, default_thread_handler, L4_nilthread, L4_nilthread, 0, (void *)utcb); } i++; } while (res == 1); max = i-3; /* delete threads */ for (; i >= 3; i--) { if (!isSystemThread(thread_offset(i))) { res = L4_ThreadControl(thread_offset(i), L4_nilspace, L4_nilthread, L4_nilthread, L4_nilthread, 0, (void *)0); } } res = L4_SpaceControl(space, L4_SpaceCtrl_delete, KTEST_CLIST, L4_Nilpage, 0, NULL); okl4_kspaceid_free(spaceid_pool, space); return max; }
static void ipc_irq_setup(struct new_bench_test *test, int args[]) { int r; L4_Word_t utcb; L4_Word_t utcb_size; // L4_Word_t dummy; num_iterations = args[0]; handler_space = L4_nilspace; /* We need a maximum of two threads per task */ utcb_size = L4_GetUtcbSize(); #ifdef NO_UTCB_RELOCATE utcb = ~0UL; #else utcb =(L4_Word_t)L4_GetUtcbBase() + utcb_size; #endif /* Create pager */ master_tid = KBENCH_SERVER; pager_tid.raw = KBENCH_SERVER.raw + 1; handler_tid.raw = KBENCH_SERVER.raw + 2; interrupt = PMU_IRQ; #if SPINNER spinner_tid = L4_GlobalId (L4_ThreadNo (master_tid) + 3, 2); #endif r = L4_ThreadControl (pager_tid, KBENCH_SPACE, master_tid, master_tid, master_tid, 0, (void*)utcb); if (r == 0 && (L4_ErrorCode() == 2)) { r = L4_ThreadControl (pager_tid, L4_nilspace, L4_nilthread, L4_nilthread, L4_nilthread, 0, (void *) 0); assert(r == 1); r = L4_ThreadControl (pager_tid, KBENCH_SPACE, master_tid, master_tid, master_tid, 0, (void*)utcb); assert(r == 1); } L4_KDB_SetThreadName(pager_tid, "pager"); //L4_Schedule(pager_tid, -1, -1, 1, -1, -1, 0, &dummy, &dummy); L4_Set_Priority(pager_tid, 254); L4_Start_SpIp (pager_tid, (L4_Word_t) pager_stack + sizeof(pager_stack) - 32, START_ADDR (pager)); L4_Receive(pager_tid); #ifdef NO_UTCB_RELOCATE utcb = ~0UL; #else utcb += utcb_size; #endif r = L4_ThreadControl(handler_tid, KBENCH_SPACE, master_tid, pager_tid, pager_tid, 0, (void *) utcb); assert(r == 1); L4_KDB_SetThreadName(handler_tid, "handler"); L4_Set_Priority(handler_tid, 100); // Startup notification, start handler thread //printf("register irq %ld, to %lx\n", interrupt, handler_tid.raw); L4_Word_t control = 0 | (0 << 6) | (31<<27); L4_LoadMR(0, interrupt); r = L4_InterruptControl(handler_tid, control); if (r == 0) { printf("Cannot register interrupt %lu\n", interrupt); } L4_Start_SpIp (handler_tid, (L4_Word_t) handler_stack + sizeof(handler_stack) - 32, START_ADDR(handler)); L4_Receive(handler_tid); #if SPINNER //Create spinner thread #ifdef NO_UTCB_RELOCATE utcb = ~0UL; #else utcb += utcb_size; #endif r = L4_ThreadControl (spinner_tid, KBENCH_SPACE, master_tid, pager_tid, pager_tid, 0, (void*) utcb); if (r == 0) printf("create spinner failed %ld\n", L4_ErrorCode()); assert(r == 1); L4_KDB_SetThreadName(spinner_tid, "spinner"); //L4_Schedule(spinner_tid, -1, -1, 1, -1, -1, 0, &dummy, &dummy); //Set priority to the lowest. L4_Set_Priority(spinner_tid, 1); L4_Start_SpIp (spinner_tid, (L4_Word_t) spinner_stack + sizeof(spinner_stack) - 32, START_ADDR (spinner)); #endif }