9 years agoAdded possibility of running bibtex for tech notes.
Simon Gerber [Tue, 10 Jan 2012 12:00:38 +0000]
Added possibility of running bibtex for tech notes.

9 years agoterminal.c: Added event_dispatch on the default waitset
Simon Gerber [Tue, 10 Jan 2012 12:00:32 +0000]
terminal.c: Added event_dispatch on the default waitset
 in terminal_want_stdin() to allow serial_bind to

9 years agoAdded do { ... } while(0) around USER_PANIC_ERR macro.
Simon Gerber [Tue, 10 Jan 2012 12:00:09 +0000]
Added do { ... } while(0) around USER_PANIC_ERR macro.

9 years agoflounder: fix "Irrefutable pattern failed for pattern" with more meaningful runtime...
Andrew Baumann [Tue, 3 Jan 2012 18:48:05 +0000]
flounder: fix "Irrefutable pattern failed for pattern" with more meaningful runtime error messages

9 years agohake: make flounderExtraDefs imply flounderDefs for a given interface
Andrew Baumann [Fri, 30 Dec 2011 18:26:28 +0000]
hake: make flounderExtraDefs imply flounderDefs for a given interface

IMO this makes sense, since the extended interfaces (RPC) always
depend on including the base ones, and it's cleaner than adding the
base interface to each Hakefile.

9 years agoadded some missing dependencies on the monitor_blocking interface
Andrew Baumann [Fri, 30 Dec 2011 17:01:17 +0000]
added some missing dependencies on the monitor_blocking interface

9 years agofix beehive and scc builds of monitor (missing from previous change)
Andrew Baumann [Fri, 30 Dec 2011 00:00:16 +0000]
fix beehive and scc builds of monitor (missing from previous change)

9 years agogeneral cleanup of monitor internals
Andrew Baumann [Thu, 29 Dec 2011 22:52:23 +0000]
general cleanup of monitor internals

 * start to abtract management of bindings to other monitors
   (in preparation for multihop support)

 * move code out of header files -- if the inlining is such a big
   win, we can put it back later, but it seemed excessive

 * fix a lot of irritating misnamed variables and
   fields: most "closure" objects, and a lot of "st" pointers,
   were in fact pointers to bindings

 * deprecated num_cores_request message

 * removed pingpong code from intermon interface

 * removed some dead code

there should be no changes to runtime behaviour or APIs/interfaces
outside the monitor

rename : usr/monitor/iref.h => usr/monitor/iref.c

9 years agolibmm: if asked to allocate more memory than we are configured to store, return a...
Andrew Baumann [Thu, 29 Dec 2011 22:33:30 +0000]
libmm: if asked to allocate more memory than we are configured to store, return a reasonable error code rather than dying on an internal assertion later

9 years agolimit pre-allocated trace buffers to the first 64 cores
Andrew Baumann [Thu, 29 Dec 2011 22:29:31 +0000]
limit pre-allocated trace buffers to the first 64 cores

Since increasing MAX_CPUS, tracing code which tries to allocate a
buffer for every possible core was running out of memory early in
boot. This is a kludgy quick fix; better ones include:

 * allocating the memory either in the kernel before starting init, or
   later when the memory server is up
 * allocating a trace buffer for a core dynamically when that core boots

9 years agoremove bogus get_input_signal stuff which seems to be left over from paper deadline...
Andrew Baumann [Thu, 29 Dec 2011 22:22:48 +0000]
remove bogus get_input_signal stuff which seems to be left over from paper deadline hacking

9 years agouse typedefs in multihop code
Andrew Baumann [Wed, 28 Dec 2011 18:57:29 +0000]
use typedefs in multihop code

9 years agorename MAX_CPUS to MAX_COREID, and increase it to 254 (to match an 8-bit coreid_t)
Andrew Baumann [Tue, 27 Dec 2011 23:49:55 +0000]
rename MAX_CPUS to MAX_COREID, and increase it to 254 (to match an 8-bit coreid_t)

 * Kludged around the limitations of coremask_t enough to keep rcap_db_null compiling.
 * Removed the config option that allowed users to lower it. this
   doesn't make much sense any more, unless we are going in for really
   silly compile-time optimisations. This change requires updating

9 years agomerge
Andrew Baumann [Tue, 27 Dec 2011 19:30:34 +0000]

9 years agoRemove old routing/group communication library.
Andrew Baumann [Tue, 27 Dec 2011 19:19:57 +0000]
Remove old routing/group communication library.

As discussed briefly on the list (22.{02,12}.2011), the library was
unused since early this year, and has been deprecated because it:
 * is unable to interface to flounder/THC
 * assumes that a set of core IDs can be expressed in a single-word bitmap
 * doesn't work on machines with large (> 32?) numbers of cores (but
   this is probably just a bug?)

Since we have the new multihop code in the tree, and seem to have
decided that this is an architectural dead-end, I'm removing this code
in the interest of least confusion as we start building functionality
on the new multihop code.

The one major side-effect of this change is that it is no longer
possible to compile the non-NULL remote cap management database
implementations (rcap_db_central, rcap_db_twopc). The code remains in
the tree for future resurrection, however.

9 years agoremove stale/unused group communication interfaces
Andrew Baumann [Tue, 27 Dec 2011 18:12:38 +0000]
remove stale/unused group communication interfaces

9 years agoremove dead code that was there to support the previous IDC system
Andrew Baumann [Wed, 21 Dec 2011 23:56:25 +0000]
remove dead code that was there to support the previous IDC system

9 years agoMinor fix: non-existent variable was linked in eMAC driver
pravin [Wed, 21 Dec 2011 03:43:06 +0000]
Minor fix: non-existent variable was linked in eMAC driver

9 years agoFixed small error which was missed for scc_qemu case
pravin [Wed, 21 Dec 2011 03:20:15 +0000]
Fixed small error which was missed for scc_qemu case

9 years agoDisabled the SCC Fastcopy code which was breaking the SCC qemu build test
pravin [Wed, 21 Dec 2011 03:04:15 +0000]
Disabled the SCC Fastcopy code which was breaking the SCC qemu build test

9 years agoRemoved the debug print which occurs only on high load
pravin [Wed, 21 Dec 2011 02:32:55 +0000]
Removed the debug print which occurs only on high load

9 years agoSmall fix in rtl8029 driver due to the merge
pravin [Wed, 21 Dec 2011 02:03:40 +0000]
Small fix in rtl8029 driver due to the merge

9 years agoMerge
pravin [Wed, 21 Dec 2011 01:38:48 +0000]

9 years agoRemoved the use of disp_name() from debugging in procon.c to avoid compilation
pravin [Wed, 21 Dec 2011 01:02:50 +0000]
Removed the use of disp_name() from debugging in procon.c to avoid compilation

9 years agoFixed the issue with loading large files over NFS.
pravin [Wed, 21 Dec 2011 00:56:08 +0000]
Fixed the issue with loading large files over NFS.
The problem was mainly due to the way notifications from the driver were
handled by the application.  Now, every notification from driver triggers
both handle_tx_done and handle_incoming_packets.

The NFS is still slow, but most probably due to the use of inefficient pbuf

9 years agomove bootinfo request messages to monitor's RPC interface; introduce flounderExtraDefs
Andrew Baumann [Tue, 20 Dec 2011 22:40:02 +0000]
move bootinfo request messages to monitor's RPC interface; introduce flounderExtraDefs

flounderExtraDefs fixes the problem of needing a dependency on the
header files for an RPC interface, without causing the code for that
interface to be generated (e.g. because it is already part of

9 years agotrivial update to misleading comments
Andrew Baumann [Tue, 20 Dec 2011 22:37:44 +0000]
trivial update to misleading comments

9 years agoFixed missing format specifier which failed builds on 32-bit architectures.
Mothy [Tue, 20 Dec 2011 15:11:23 +0000]
Fixed missing format specifier which failed builds on 32-bit architectures.

9 years agoMoved current page counter to be static to the select function.
Mothy [Tue, 20 Dec 2011 13:02:21 +0000]
Moved current page counter to be static to the select function.

9 years agoSmall fix to remove the usage of assert from cache.c
pravin [Tue, 20 Dec 2011 00:45:51 +0000]
Small fix to remove the usage of assert from cache.c

9 years agoFixed some compilation problems and modified the use of functions
pravin [Mon, 19 Dec 2011 18:04:33 +0000]
Fixed some compilation problems and modified the use of functions
inside asserts as asserts are not compiled in production level deployments
(harness deployments)

9 years agoPorted RTL driver to Mackerel shift driver - but not yet tested.
Mothy [Mon, 19 Dec 2011 14:02:33 +0000]
Ported RTL driver to Mackerel shift driver - but not yet tested.

9 years agoMerge
pravin [Mon, 19 Dec 2011 10:02:19 +0000]

9 years agoMinor changes to get net_throughput working
pravin [Mon, 19 Dec 2011 09:59:04 +0000]
Minor changes to get net_throughput working

9 years agoRemoved most of the debugging code which was breaking the compilation for arm
pravin [Thu, 15 Dec 2011 22:18:15 +0000]
Removed most of the debugging code which was breaking the compilation for arm

9 years agoMinor changes
pravin [Thu, 15 Dec 2011 16:48:32 +0000]
Minor changes
udp_test.c now take test type as parameter over command line
Minor cleanup in contmng.c

9 years agoFixed acpi code to use new Mackerel driver.
Mothy [Wed, 14 Dec 2011 16:17:33 +0000]
Fixed acpi code to use new Mackerel driver.

9 years agoConverted the pic and xapic drivers to use the Mackerel shift driver syntax.
Mothy [Tue, 13 Dec 2011 14:20:53 +0000]
Converted the pic and xapic drivers to use the Mackerel shift driver syntax.

9 years agoMackerel now allows "noaddr" registers, which can model co-processors, etc.
Mothy [Mon, 12 Dec 2011 16:03:18 +0000]
Mackerel now allows "noaddr" registers, which can model co-processors, etc.
This allows considerable cleanup in the x86 code; 32-bit on the way soon.
Redundant ia32_spaces header, since this was not used.
Documented extensions to Mackerel syntax.

9 years agoFixed long-standing 64-bit constants bug, by dropping C enumerations in favor of...
Mothy [Fri, 9 Dec 2011 16:53:58 +0000]
Fixed long-standing 64-bit constants bug, by dropping C enumerations in favor of CPP macros.
Updated documentation.

9 years agoRemoved a per-file print from webserver to reduce the console output
pravin [Thu, 8 Dec 2011 09:03:56 +0000]
Removed a per-file print from webserver to reduce the console output

9 years agoFixed bad Mackerel dependency due to file renaming.
Mothy [Wed, 7 Dec 2011 20:07:07 +0000]
Fixed bad Mackerel dependency due to file renaming.

9 years agoFixed weird crashing bug.
Mothy [Wed, 7 Dec 2011 16:25:20 +0000]
Fixed weird crashing bug.

rename : devices/ => devices/

9 years agoCleaned up the debug print statement to reduce the noise in boot process.
pravin [Wed, 7 Dec 2011 00:27:38 +0000]
Cleaned up the debug print statement to reduce the noise in boot process.

9 years agoFixed the performance bug. Now incoming traffic is working at hardware speed
pravin [Tue, 6 Dec 2011 23:36:42 +0000]
Fixed the performance bug.  Now incoming traffic is working at hardware speed

9 years agoHalf working state. For some reasons, RX benchmark is working very fast (but
pravin [Mon, 5 Dec 2011 23:37:28 +0000]
Half working state.  For some reasons, RX benchmark is working very fast (but
incorrect).  Can't figure out why.

9 years agoMinor improvements to speedup the RX benchmark, added more code
pravin [Mon, 5 Dec 2011 23:26:06 +0000]
Minor improvements to speedup the RX benchmark, added more code
for measurements.

9 years agoChanges to get RX benchmark working.
pravin [Mon, 5 Dec 2011 22:20:52 +0000]
Changes to get RX benchmark working.
There are lot of small changes in this commit and also extra code for debugging
and performance evaluation which will be cleaned in future versions.

9 years agolib/c: fix return value for snprintf (following c99)
Zellweger Gerd [Thu, 24 Nov 2011 10:22:47 +0000]
lib/c: fix return value for snprintf (following c99)

extra : rebase_source : 0c22dde48e0de011d00a4d000dce1722a784d5f4

9 years agomerge
Mothy [Wed, 23 Nov 2011 13:32:14 +0000]

9 years agocommented out webserver benchmarking code
pravin [Wed, 16 Nov 2011 10:54:53 +0000]
commented out webserver benchmarking code

9 years agoCode refactoring: split the idc_barrelfish.c in lwip into two files and creating
pravin [Wed, 16 Nov 2011 09:30:49 +0000]
Code refactoring: split the idc_barrelfish.c in lwip into two files and creating
new idc_net_control.c with all the code related to talking with netd service

9 years agoPrecursor to the factoring of ide_barrelfish.c
pravin [Mon, 14 Nov 2011 18:09:15 +0000]
Precursor to the factoring of ide_barrelfish.c
Just rearranged the code as per functionality.
Next step is to put them in separate files

9 years agoFactored out some more code from ethersrv.c into ethersrv_support.*
pravin [Mon, 14 Nov 2011 17:44:51 +0000]
Factored out some more code from ethersrv.c into ethersrv_support.*

9 years agoMoved most of the benchmarking code out from ethersrv as well
pravin [Mon, 14 Nov 2011 16:11:01 +0000]
Moved most of the benchmarking code out from ethersrv as well

9 years agoAdded netbench related files that I forgot to add before
pravin [Mon, 14 Nov 2011 15:32:28 +0000]
Added netbench related files that I forgot to add before

9 years agoMoved the network benchmarking code from lwip/init.* into contmng/netbench.*
pravin [Mon, 14 Nov 2011 14:50:15 +0000]
Moved the network benchmarking code from lwip/init.* into contmng/netbench.*
Still to move the code from the driver part ethersrv.c

9 years agoCleaned up the ether.if and removed the unused code
pravin [Sun, 13 Nov 2011 18:39:54 +0000]
Cleaned up the ether.if and removed the unused code

9 years agoRefactoring of code:
pravin [Sun, 13 Nov 2011 18:12:03 +0000]
Refactoring of code:
Added ethersrv_ctl.c to separate out the code dealing with ether_ctl.if
Removed vnic_service.c which was not in use anyways.

9 years agoMerge [Sun, 13 Nov 2011 15:49:56 +0000]

9 years agoFixed the problem of random retransmits happening in send path.
pravin [Sun, 13 Nov 2011 15:41:13 +0000]
Fixed the problem of random retransmits happening in send path.
The problem was in the way tx_notify was handled and the assumption that
hardware might return notification out-of-order.

9 years agoadding a tag for release 2011-11-10
Stefan Kästle [Fri, 11 Nov 2011 13:33:00 +0000]
adding a tag for release 2011-11-10

9 years agoadding a tag for release 2011-09-02
Stefan Kästle [Fri, 11 Nov 2011 13:32:12 +0000]
adding a tag for release 2011-09-02

9 years agomerge
Mothy [Wed, 9 Nov 2011 13:45:46 +0000]

9 years agoFixed several serious Mackerel bugs (including access to fields in datatypes larger...
Mothy [Wed, 9 Nov 2011 13:45:40 +0000]
Fixed several serious Mackerel bugs (including access to fields in datatypes larger than 64 bits)
Added support for register types to be constant types.
Converted ia32_dev to the Shift driver rather than the old Bitfield driver.

9 years agoschedule_rbed.c: move include of timer.h so that simulator compiles release2011-11-10
Kornilios Kourtis [Wed, 9 Nov 2011 10:38:16 +0000]
schedule_rbed.c: move include of timer.h so that simulator compiles

9 years agoadd support for one-shot timers
Kornilios Kourtis [Wed, 9 Nov 2011 10:15:49 +0000]
add support for one-shot timers

- Only for x86_64, and disabled by default using a config variable
- changes in existing code are guarded by #ifdefs

9 years agoAdd some scheduling related comments
Kornilios Kourtis [Wed, 9 Nov 2011 09:47:55 +0000]
Add some scheduling related comments

9 years agoReverted commit 34798966b84b, which was mistakenly applied twice.
Simon Peter [Tue, 8 Nov 2011 22:14:20 +0000]
Reverted commit 34798966b84b, which was mistakenly applied twice.

9 years agoFixed the issue of assert(!"Slot not clear"); Even though the solution is not
pravin [Tue, 8 Nov 2011 00:37:20 +0000]
Fixed the issue of assert(!"Slot not clear"); Even though the solution is not
elegant, it is working in web-server test case.
The issue of Unknown XID still remains

9 years agoPartially working version with two bugs
pravin [Tue, 8 Nov 2011 00:13:05 +0000]
Partially working version with two bugs
1. Assertion failure about "Slot not clear" due to the unclear logic in
2. Same packet getting delivered twice and hence generating Unknown XID warning
    in rpc.c code

9 years agoWebserver is working with new bulk transport with exception of warning
pravin [Mon, 7 Nov 2011 14:26:40 +0000]
Webserver is working with new bulk transport with exception of warning
of Unknown XID dropped

9 years agoMostly working version of new bulk transport
pravin [Sun, 6 Nov 2011 21:12:09 +0000]
Mostly working version of new bulk transport

9 years agoAdded the support to send the packets from different buffer than one which
pravin [Sat, 5 Nov 2011 01:32:14 +0000]
Added the support to send the packets from different buffer than one which
is registered with the channel.  This resolved the issues associated with
lwip reusing the pbufs to send out the packet and hence corrupting the state
of my spp registers.

9 years agoCleaned up most of the debugging code in procon and mem_barrelfish
pravin [Wed, 2 Nov 2011 00:05:18 +0000]
Cleaned up most of the debugging code in procon and mem_barrelfish
Still there is a debugging code in ethersrv  and also, mem_free is still wedging

9 years agoFixed the memory overwriting problem. Now the netd is getting the IP
pravin [Tue, 1 Nov 2011 23:50:33 +0000]
Fixed the memory overwriting problem.  Now the netd is getting the IP
but pbuf free is going crazy.  Also I need to cleanup all the debugging code
added to find the memory overwriting problem.

9 years agomerge
Mothy [Tue, 1 Nov 2011 08:26:41 +0000]

9 years agoUpdated bugs file to reflect changes.
Mothy [Tue, 1 Nov 2011 08:26:00 +0000]
Updated bugs file to reflect changes.

9 years agoFound temporary fix for the assertion failure in pbuf initialization code [Mon, 31 Oct 2011 21:37:36 +0000]
Found temporary fix for the assertion failure in pbuf initialization code
Somehow, adding slots into shared_pool is somehow leading to the changes
in the variable buffer_list and corrupting it.

9 years agoDocumented new Mackerel features.
Mothy [Wed, 26 Oct 2011 11:23:52 +0000]
Documented new Mackerel features.

9 years agoFixed nasty looping bug in user-defined register space handling code.
Mothy [Tue, 25 Oct 2011 16:57:45 +0000]
Fixed nasty looping bug in user-defined register space handling code.
Now handles const-defined register reads and writes correctly.

9 years agoCheck for using constants with an undefined width specifier.
Mothy [Tue, 25 Oct 2011 13:38:28 +0000]
Check for using constants with an undefined width specifier.

9 years agoRemoved obsolete constants table.
Mothy [Mon, 24 Oct 2011 09:33:57 +0000]
Removed obsolete constants table.

9 years agoAdded syntax (at least) for width specifier for constants.
Mothy [Mon, 24 Oct 2011 09:33:20 +0000]
Added syntax (at least) for width specifier for constants.

9 years agoFixed several typos (thanks to Raphael Fuchs)
Mothy [Sun, 23 Oct 2011 14:05:45 +0000]
Fixed several typos (thanks to Raphael Fuchs)
Added '1s' as a numeric literal.
Fixed long-standing bug in datatype handling Mackerel (thanks to Simon Gerber)

9 years agoSmall fix to map the memory properly in the ethersrv for SCC [Thu, 13 Oct 2011 19:29:49 +0000]
Small fix to map the memory properly in the ethersrv for SCC

9 years agoFixed issue of using non-cachable memory for buffers [Thu, 13 Oct 2011 15:33:35 +0000]
Fixed issue of using non-cachable memory for buffers

9 years agoFixed some issues with benchmark to make it more suitable as TX benchmark [Wed, 12 Oct 2011 19:53:02 +0000]
Fixed some issues with benchmark to make it more suitable as TX benchmark

9 years agoFixed the issue of TX-performance when application is blindly sending data [Wed, 12 Oct 2011 18:08:19 +0000]
Fixed the issue of TX-performance when application is blindly sending data

9 years agoChanged the benchmarking code to suit the new bulk transport [Wed, 12 Oct 2011 11:52:59 +0000]
Changed the benchmarking code to suit the new bulk transport

9 years agoFixed small bug which was creating issues for webserver [Tue, 11 Oct 2011 03:46:01 +0000]
Fixed small bug which was creating issues for webserver

9 years agoFixed the issues which were affecting the performance during measurements [Tue, 11 Oct 2011 03:21:10 +0000]
Fixed the issues which were affecting the performance during measurements

9 years agoadded some code for performance measurement, but this code reduced the [Tue, 11 Oct 2011 02:52:47 +0000]
added some code for performance measurement, but this code reduced the
performance to great extend

9 years agoWorking version with use of shared pools for TX path [Tue, 11 Oct 2011 02:19:02 +0000]
Working version with use of shared pools for TX path

9 years agoFixed some subtle bugs in procon library [Tue, 11 Oct 2011 00:54:26 +0000]
Fixed some subtle bugs in procon library

9 years agoMost of the code needed to use shared_pools for tx_done messages is there [Mon, 10 Oct 2011 14:39:38 +0000]
Most of the code needed to use shared_pools for tx_done messages is there
but not using it yet.

9 years agoadded cryptotest to ensure the library is built.
Adrian Schuepbach [Mon, 10 Oct 2011 13:40:22 +0000]
added cryptotest to ensure the library is built.

9 years agoadded OpenSSL
Adrian Schuepbach [Mon, 10 Oct 2011 13:30:22 +0000]
added OpenSSL

9 years agoreverted the changes to get the working state of network stack [Mon, 10 Oct 2011 13:29:59 +0000]
reverted the changes to get the working state of network stack

9 years agominor tweeks to OpenSSL
Adrian Schuepbach [Mon, 10 Oct 2011 12:42:35 +0000]
minor tweeks to OpenSSL