noname

Improve Kprobe with symbol table to provide real dynamic tracing

1

At this moment, f9-kernel Kprobe approach was using function address in kernel, we can saw it at kernel/sampling-kdb.c for the example. Compare to Linux kernel Kprobe, it was using symbol...

stm32p103 can't work in tickless mode

1

As a try to config for stm32p103 in tick schedule mode, QEMU-stm32 work will. But in tickless mode, it goes to "Reached end of schedule()"

kprobes: Make kprobe register via symbol name

3

In Linux kernel, kprobe can choose to register by address or symbol name, but currently F9 microkernel can only register by address. In F9 microkernel, it can include ksymbols when...

* Update IPC test cases * Add KIP test cases * Add mem test cases

It seems in f9-kernel, it didn't provide any function for timing measurement. And there isn't an asm instruction like `rdtsc`, maybe need to think a method to provide this function.

Things in memory management such as MPU, fpages, address space can improve their documentation in Docs [Managing memory protection unit (MPU) in STM32 MCUs](http://www.st.com/resource/en/application_note/dm00272912.pdf) [mbed-uVisor](http://events.linuxfoundation.org/sites/events/files/slides/mbed-uvisor.pdf) [ARMv7-M Architecture Reference Manual](https://web.eecs.umich.edu/~prabal/teaching/eecs373-f10/readings/ARMv7-M_ARM.pdf)

This is a round-robin scheduler implement for normal thread (user-thread) create by pager or pthread lib, and using timeslice, we can prevent user-space thread starvation trigger by busy loop. This...

pthread_mutex_lock stuck when acquiring a locked mutex

1

assume ping and pong thread was create, and have following code. ping_thread ``` c __USER_TEXT void *ping_thread(void *arg) { pthread_mutex_lock(&p); printf("PING...\n"); value = 10; L4_Sleep(L4_TimePeriod(1000 * 1000)); printf("I'm a sleepy...

Make mutation generation and execution phase seperate?

6

As now `cosmic-ray` using occurrence to trigger source code mutation, and execution at the same time (in `worker.py`). This lets the program can't using the plugin to change the strategy...

I'm on archlinux with gcc, g++ 6.1.1 when I use `make` , I got those response ``` [ 50%] Building CXX object CMakeFiles/quickstack.dir/quickstack.cc.o In file included from /home/kernel/quickstack/quickstack.h:4:0, from /home/kernel/quickstack/quickstack.cc:1:...