Added table of contents for Tracing Tech Note

Fixed typesetting of an include command in the Tracing TechNote

fix buflen when calling single_slot_alloc_raw()

Here's my understanding (this is from reading the code):
 - single_slot_alloc manages slots for a single cnode  using a list of
   free nodes. The list is maintained starting with ->head, and each node
   represents a range of slots (slot, space).  The list is initialized
   with a single node with {slot=0, space=nslots}

 - The worst case scenario for the size of the list is when only the odd
   (or even) slots are free. This is the worst case because for all nodes
   in the list space=1. Adding nodes should result in smaller number of
   nodes but with higher ->space values.

 - The list nodes are allocated/freed using a (simple) slab allocator.
   Hence, the slab allocator should be initialized so that it contains
   nslots/2 objects to accommodate for the worst case.

The problem is that this does not happen: the slab allocator requires some
additional memory for adding headers to objects which is not accounted for.
This is why in your case the allocator does not have additional objects to
provide in slab_alloc().

This commit allocates appropriately sized buffers for the slab allocator and
hopefully fixes your problem.

Many thanks to Georgios Varisteas <yorgos@kth.se> for reporting the bug and
help us debug the problem.

slab: do not use extra space for block header

Do proper filtering of unneeded files in Hake. This avoids running into stack overflow: use +RTS -K<size> to increase it when having a build directory inside your tree.

Disable kvm using the -no-kvm option of QEMU. Avoids having to unload / blacklist the module all the time in your Linux distribution.

hake: make hake work with ghc 7.4.2

tracing: fix trace_defs.h dependency

kaluga/octopus: make it compile for arm

thc: port eager THC to ARMv7

- I assume ARMv7, haven't look at possible differences with ARMv5
- thctest, thcminitest, thcidctest seem to work on pandaboard
- lazy THC is more tricky, I've added some notes for now
- should be possible to improve/optimize the functions

thc/x86: comments/cleanups to help ARM porting

add a spawn_wait_coreid() function

Patch by Mateusz Olczak <mateusz@olczak.se>

lshw: minor fix

Patch by Mateusz Olczak <mateusz@olczak.se>

Fixed syntax error in omap44xx file.
---
 devices/omap/omap44xx_mmu.dev |   14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

Fix indenting.
---
 devices/omap/omap44xx_mmu.dev |  356 ++++++++++++++++++++---------------------
 1 file changed, 178 insertions(+), 178 deletions(-)

Register names conform with manual, completed bit description for all registers.
---
 devices/omap/omap44xx_mmu.dev |   36 +++++++++++++++++++++++-------------
 1 file changed, 23 insertions(+), 13 deletions(-)

More work on MMU mackerel file.
---
 devices/omap/omap44xx_mmu.dev |   81 ++++++++++++++++++++++++++++++++++-------
 1 file changed, 68 insertions(+), 13 deletions(-)

More complete MMU file.
---
 devices/omap/omap44xx_mmu.dev |   78 +++++++++++++++++++++++++++++++++++------
 1 file changed, 67 insertions(+), 11 deletions(-)

Fixed syntax error in mackerel file.
---
 devices/omap/omap44xx_mmu.dev |   25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

Some more changes to omap44xx MMU mackerel files.
---
 devices/omap/omap44xx_mmu.dev |   24 +++++++++++++++++++-----
 1 file changed, 19 insertions(+), 5 deletions(-)

Add pandammu file to kernel Hakefile.
---
 kernel/Hakefile |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Add pandammu.
---
 devices/Hakefile |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Fix whitespace in devices Hakefile.
---
 devices/Hakefile |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

Initial Mackerel File for the Pandaboard MMU.
Contains a complete list of all the registers, however it is not complete in terms
of the individual register mappins.
---
 devices/omap/omap44xx_mmu.dev |   81 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 81 insertions(+)
 create mode 100644 devices/omap/omap44xx_mmu.dev

TN-008 not building with blessed toolchain when bitwidth argument given to bytefield environment

adding a tag for release 2013-03-22

lshw/Hakefile: add flounderTHCStubs

trace: make it compile for x86_32

trace: make it compile for arm

Due to a string.h include, had to rename some index variables to idx, because
they shadow index(3).

lshw: compile it only for archs with THC support

revert some definitions from 1282:0462cc0046e3

Compiling for ARM resulted in:
In file included from ../src/kernel/arch/omap44xx/omap_uart.c:21:0:
./armv7/include/dev/omap/omap_uart_dev.h: In function 'omap_uart_THR__anon8_rdf':
./armv7/include/dev/omap/omap_uart_dev.h:3331:5: error: implicit declaration of function 'omap_uart_THR__anon8_extract' [-Werror=implicit-function-declaration]
./armv7/include/dev/omap/omap_uart_dev.h: In function 'omap_uart_RHR__anon8_rdf':
./armv7/include/dev/omap/omap_uart_dev.h:3414:5: error: implicit declaration of function 'omap_uart_RHR__anon8_extract' [-Werror=implicit-function-declaration]
[ ... and many more ...]

This change seems to fix this problem.

New tracing infrastructure documentation

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and  David Stolz <stolzda@ethz.ch>

New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and  David Stolz <stolzda@ethz.ch>

x86: fixed paging_dump_tables potentially falsely sign extending paddrs.

usr/lshw: utility to list hardware devices

patch provided by Mateusz Olczak <mateusz@olczak.se>

ipi_notify: allocate sufficient space in notify page

x86_64/irq.c: print SP on page fault error message

net_queue_manager: fix issue in de-fragmentation

Some de-fragmented packets may cause the ethernet server will crash.
I suggest attached patch as fix.

to recreate segfault:
ping barrelfish.host -s 1473

Mackerel quick reference page.
Fixed some bugs in the Mackerel documentation.
Changed more of the copyright addresses while I'm at it.

Tulip now builds again (but doesn't work)

Work around octopus dependency bug by disabling implicit lex and yacc rules explicitly

Completeness of definitions

Fixed copyright address

Disable error message on ram_alloc failure. The x86 monitor bootup code
probes for available memory regions using ram_alloc and in certain cases triggers this message,
confusing the users.

adding a tag for release 2013-03-01

Added a harness test for spanning programs.

changeset: 1270:aa365ea1f4c0
user: Stefan Kaestle <stefan.kaestle@inf.ethz.ch>
date: Thu Feb 28 10:37:59 2013 +0100
summary: Added a harness test for spawning programs.

libbarrelfish: Simplified logic and fixed infinite loop on cap_destroy error in span_domain_reply().

armv5: fixed calculation of src_lpaddr in caps_map_l2().

libbarrelfish: Moved cap_destroy() into error case in span_domain_reply.

hake: Removed unused config option from Config.hs.template.

arm: fixed wrong is_root_pt predicate.

Use get_address(cap) and get_size(cap) in various places in the kernel.

xscale: Added code for new memory kernel interface.

vmkitmon: added creating separate copy of caps that are mapped in host and guest.

x86: Fixed detection of whether a address region spans multiple leaf page tables.

Merged Simon's Master's thesis code.

Changes include:
* new interface for manipulating hardware page tables
* Removal of mappings when underlying capability gets deleted
* Functionality to dump hardware page tables and state in libbarrelfish pmaps

For more details see http://www.barrelfish.org/gerber-master-vm.pdf

Wait longer for gem5 to come up and remove useless telnet debug option.

More debug output

Merge

Additional output for telnet to debug armv7_gem5 build error

Missing separator in pathor molly_ld_script.in for Pandaboard build

Move declaration of timegm to //include/time.h

Fixes a build error when using oldc.

include/libgen.h: remove sys/reent.h

posixcompat: add 'basename' and 'dirname'.

Taken from newlib/unix with minimal changes to follow Barrelfish style.

Clang: resolve several minor warnings.

kernel (x86_64): fix ambiguous operand size with 'cmp' and constant.

http://clang.llvm.org/compatibility.html#inline-asm

Fixed several bugs where 'sizeof' applied to pointer instead of underlying struct.

Found with Clang - example warning:
  ../kernel/syscall.c:411:27: error: 'memset' call operates on objects of type 'struct cte' while the size is based on a different type 'struct cte *' [-Werror,-Wsizeof-pointer-memaccess]
     memset(cte, 0, sizeof(cte));
            ~~~            ^~~
  ../kernel/syscall.c:411:27: note: did you mean to dereference the argument to 'sizeof' (and multiply it by the number of elements)?
     memset(cte, 0, sizeof(cte));
                           ^~~

thread: fix condition for stack overflow warning.

thread_check_stack_bounds() has a very odd condition.  It will always return
true because bottom <= top.  This results in a warning regardless of whether
the stack pointer is valid or not, for instance:
    Error: stack bounds exceeded: sp = 0x880b00 but [bottom, top] = [0x873000, 0x883000]

We cannot simply patch the condition to instead read:
    return sp > (lvaddr_t)thread->stack &&
           sp <= (lvaddr_t)thread->stack_top;

because that results in failures during bootup:
    >> INFO: stack bounds exceeded: sp = 0x5c1a50 but [bottom, top] = [0x592000, 0x5a2000]
    Dispatcher warning in kernel 0: user trap #13 WHILE DISABLED in 'acpi': IP 477be8, error 0
    skb.0: waiting for: all_spawnds_up
    >> INFO: stack bounds exceeded: sp = 0x631a50 but [bottom, top] = [0x602000, 0x612000]
    Dispatcher warning in kernel 0: user trap #13 WHILE DISABLED in 'kaluga': IP 4a4368, error 0

thread: on unhandled exceptions warn if stack pointer is out-of-bounds.

registers: add helper function to retrieve stack pointer.

nfs: include failure reason in error messages.

posixcompat: add non-standard GNU function 'timegm' (inverse of 'gmtime').

This implementation is borrowed from musl libc (MIT licensed).

posixcompat (dlfcn): improve C++ compatibility and document how to use.

Note: a minor API change was necessary to fix an incompatibility between C and
C++, which requires array sizes to be fixed:
    void bar(struct foo (*f)[], int size);

This results in the following error:
    error: parameter 'f' includes pointer to array of unknown bound 'foo []'
    error: cannot convert 'foo (*)[3]' to 'foo (*)[]' for argument '1' to 'void bar(foo (*)[], int)'

Instead we simply pass the array as a pointer to its first element:
    void bar(struct foo *f, int size);

posixcompat: implement creat().

http://pubs.opengroup.org/onlinepubs/009604599/functions/creat.html

VMkit: replace old-style GNU field designator with C99 syntax.

headers: remove C99 designated initializers; not supported by C++.

Only looked at header files in //include. Matches were found with:
    $ ack --hh '(?<!\w)\.\w+\s*\='

<barrelfish/lmp_chan.h>: explicit cast back to enum type after bitwise operation.

Resolves this error when compiling from C++:
    error: invalid conversion from 'int' to 'lmp_send_flags_t {aka lmp_send_flag}' [-fpermissive]

headers: add missing #includes.

<netinet/in.h>: add missing declaration of in_port_t and in_addr_t.

lwip just uses u16_t/u32_t directly (see <ipv4/lwip/inet.h>).

headers: move definition of mkdir and chmod to <sys/stat.h>.

headers: wrap declarations in extern "C".

Note: this change is not exhaustive and only touches some headers in //include

armv7: added new modify_flags invocation.

armv5: implemented new modify_flags invocation.

x86_64: removed duplicate return statement in page_mappings_modify_flags.

x86_32: Implemented new modify_flags invocation and associated functionality.

x86_64: removed commented out unused code in pmap_target.

x86_64: Implemented modifying flags for parts of mapped regions.

Cleanup function names and converted printfs to debug() in kernel component of new memory interface.

armv7: fixed merge errors and implemented new memory interface for omap44xx.

armv7: removed unused generated dependency "romfs_size.h"

armv7: changed memory bits in kernel to new interface with kernel mappings.

arm: pmap code cleanup and fixed new kernel memory interface.

arm: Implemented kernel-side parts of dumping hw page tables.

Fixed unmap_capability to correctly calculate slot number.

Fixed vspace_dump to have nop sorting function when not implemented specifically.

More ARM code.

Incomplete ARM implementation.

x86_32: Cleanup merge errors in pmap_target.c.

Fixed missing comma in kernel Hakefile.