Removed locking meta-code and respective DSL definitions.
Now using Linux kernel's stop_machine().
Basic tests successful.
Retrieving more accurate process state plus checks for stripping
array definitions from pico_ql_search.c boilerplate directives.
Observe process context switches while in stop_machine().
Indeed they remain unchanged.
Removed stop_machine()
verification code.
[picoQL kernel] Porting to kernel version 3.14.4.
Work in progress.
Enhanced and extended DSL
compiler to understand mulitple conditions on kernel
versions. Ported to kernel 3.14.4 (current).
Regression testing required to make sure it still
works for other kernels.
Removed useless debug print, changed
test query to work with kernel version 3.14.4, and corrected a debug print.
Removed separate experimental configuration for
acquiring consistent views of the kernel state. This is a given now thanks to 'stop_machine()'.
Porting to kernel 3.14.4 (latest at the time of this commit) continued.
Correct handling of many kernel version conditions in DSL compiler code
and including linux/init.h to get rid of annoying kernel taint error.
NULL checks for access paths without explicit dereference,
also for access paths that are method calls. Looking for a subtle bug; work in progress.
Automatic invoking of test script for continuous testing.