barrelfish
7 years agoWarning to pleco file added.
Gerd Zellweger [Sat, 5 Apr 2014 17:33:49 +0000]
Warning to pleco file added.

7 years agoTraceing: Export all event info in JSON
Gerd Zellweger [Sat, 5 Apr 2014 17:19:46 +0000]
Traceing: Export all event info in JSON

Before Pleco exported either DESC if set or NAME of event when
writing the JSON. This makes it awkward to write Javascript
programs to parse the trace in aquarium. Now we export both
with means we can always rely on event NAME in javascript.

7 years agoAdd dedicated trace events for benchmarking.
Gerd Zellweger [Sat, 5 Apr 2014 16:39:37 +0000]
Add dedicated trace events for benchmarking.

7 years agoTracing for capabilities.
Gerd Zellweger [Sat, 5 Apr 2014 18:29:40 +0000]
Tracing for capabilities.

7 years agoAdd TRACE macro to make writing trace_events less verbose.
Gerd Zellweger [Sat, 5 Apr 2014 16:38:31 +0000]
Add TRACE macro to make writing trace_events less verbose.

7 years agoDisable autoflush in monitor.
Gerd Zellweger [Sat, 5 Apr 2014 13:34:07 +0000]
Disable autoflush in monitor.

This breaks tracing infrastructure.

7 years agoWorking on tracing.
Gerd Zellweger [Sat, 5 Apr 2014 10:32:32 +0000]
Working on tracing.

7 years agoFixed benchmark.
Simon Gerber [Fri, 4 Apr 2014 09:42:01 +0000]
Fixed benchmark.

7 years agoMinor changes.
Simon Gerber [Thu, 3 Apr 2014 14:38:22 +0000]
Minor changes.

7 years agoMemeasy benchmark.
Gerd Zellweger [Thu, 3 Apr 2014 13:56:39 +0000]
Memeasy benchmark.

7 years agoAdded memeasy benchmark.
Gerd Zellweger [Thu, 3 Apr 2014 13:09:02 +0000]
Added memeasy benchmark.

7 years agoVersion used to benchmark the postgres.
Gerd Zellweger [Fri, 31 Jan 2014 00:10:30 +0000]
Version used to benchmark the postgres.

7 years agoRevert "Waitset dispatching changed to blocking in varios areaas."
Gerd Zellweger [Thu, 30 Jan 2014 13:13:26 +0000]
Revert "Waitset dispatching changed to blocking in varios areaas."

This reverts commit 83c1df23a7b77e7d1eed61f5e5d430b81b02b5e4.

7 years agoFixed "upwith" command.
Simon Gerber [Wed, 29 Jan 2014 14:23:49 +0000]
Fixed "upwith" command.

7 years agoAdded preprocessor mechanism for toggling debug printfs. Fixed parsing of coreid...
Simon Gerber [Wed, 29 Jan 2014 14:15:38 +0000]
Added preprocessor mechanism for toggling debug printfs. Fixed parsing of coreid arguments.

7 years agoFix forgotten ;
Gerd Zellweger [Tue, 28 Jan 2014 16:03:46 +0000]
Fix forgotten ;

7 years agoSane error handling for oct_leave.
Gerd Zellweger [Tue, 28 Jan 2014 14:17:20 +0000]
Sane error handling for oct_leave.

7 years agoOnly send back somethign if binding looks valid.
Gerd Zellweger [Tue, 28 Jan 2014 14:16:28 +0000]
Only send back somethign if binding looks valid.

7 years agox86boot upwith command, give existing KCB to a new core.
Gerd Zellweger [Tue, 28 Jan 2014 14:15:16 +0000]
x86boot upwith command, give existing KCB to a new core.

7 years agoUpdated kcb selection logic in send_user_interrupt(). Added clarifying comment in...
Simon Gerber [Tue, 28 Jan 2014 12:11:03 +0000]
Updated kcb selection logic in send_user_interrupt(). Added clarifying comment in kcb_remove().

7 years agoBoot cores using Kaluga again.
Gerd Zellweger [Mon, 27 Jan 2014 17:13:14 +0000]
Boot cores using Kaluga again.

7 years agoEnable interrupt re-routing in e1000.
Gerd Zellweger [Mon, 27 Jan 2014 17:12:58 +0000]
Enable interrupt re-routing in e1000.

7 years agoEnable watch_for_cores in kaluga.
Gerd Zellweger [Mon, 27 Jan 2014 16:17:33 +0000]
Enable watch_for_cores in kaluga.

7 years agoFixed deferred events when migrating onto running cpu driver.
Simon Gerber [Mon, 27 Jan 2014 16:21:48 +0000]
Fixed deferred events when migrating onto running cpu driver.

7 years agoAdded code to make deferred events fairly accurate and added shutdown to update opera...
Simon Gerber [Mon, 27 Jan 2014 16:12:02 +0000]
Added code to make deferred events fairly accurate and added shutdown to update operation in cpuboot.

7 years agoFixed various interrupt bits.
Simon Gerber [Mon, 27 Jan 2014 16:10:51 +0000]
Fixed various interrupt bits.

7 years agoMove IRQ for halt() to handle_irq.
Gerd Zellweger [Mon, 27 Jan 2014 11:00:02 +0000]
Move IRQ for halt() to handle_irq.

7 years agoChange hellotest to report #ops/time.
Gerd Zellweger [Sun, 26 Jan 2014 16:42:05 +0000]
Change hellotest to report #ops/time.

7 years agoRe-enable the caching.
Gerd Zellweger [Sun, 26 Jan 2014 16:41:52 +0000]
Re-enable the caching.

7 years agoNo caching of bianries, no berakdown.
Gerd Zellweger [Sun, 26 Jan 2014 15:42:12 +0000]
No caching of bianries, no berakdown.

7 years agoRevert "Breakdown of x86boot."
Gerd Zellweger [Sun, 26 Jan 2014 15:37:46 +0000]
Revert "Breakdown of x86boot."

This reverts commit 9f74213c755f407cec223631c71eb8c9ca45966c.

7 years agoDisable caching of binaries in x86boot.
Gerd Zellweger [Sun, 26 Jan 2014 15:36:33 +0000]
Disable caching of binaries in x86boot.

7 years agoRevert "Breakdown of lookup-module."
Gerd Zellweger [Sun, 26 Jan 2014 15:34:13 +0000]
Revert "Breakdown of lookup-module."

This reverts commit f423c51f7def8457440e68d8ccb193fb84db6f57.

7 years agoBreakdown of lookup-module.
Gerd Zellweger [Sun, 26 Jan 2014 15:33:13 +0000]
Breakdown of lookup-module.

7 years agoBreakdown of x86boot.
Gerd Zellweger [Sun, 26 Jan 2014 14:53:03 +0000]
Breakdown of x86boot.

7 years agoMeasure ticks inside kernel during update.
Gerd Zellweger [Sun, 26 Jan 2014 14:25:12 +0000]
Measure ticks inside kernel during update.

7 years agoBenchmarking x86boot portion of time.
Gerd Zellweger [Sun, 26 Jan 2014 13:45:44 +0000]
Benchmarking x86boot portion of time.

7 years agoChanged take to not reboot target core.
Gerd Zellweger [Sun, 26 Jan 2014 12:25:06 +0000]
Changed take to not reboot target core.

7 years agoBuild all benchmark programs at once.
Gerd Zellweger [Sat, 25 Jan 2014 22:36:52 +0000]
Build all benchmark programs at once.

7 years agoAdded functionality to stop core using IPIs.
Gerd Zellweger [Sat, 25 Jan 2014 21:27:01 +0000]
Added functionality to stop core using IPIs.

7 years agoAssert that kcb is set.
Gerd Zellweger [Sat, 25 Jan 2014 18:24:15 +0000]
Assert that kcb is set.

7 years agoVersion for Benchmarking.
Gerd Zellweger [Sat, 25 Jan 2014 10:09:10 +0000]
Version for Benchmarking.

- Added ap_dispatch lock to measure time to update.
- Benchmark main in x86boot.

7 years agoInform other monitors of new monitor again.
Gerd Zellweger [Fri, 24 Jan 2014 14:43:41 +0000]
Inform other monitors of new monitor again.

7 years agoAdded current core_id so we can properly reroute interrupts after moving kcb.
Simon Gerber [Fri, 24 Jan 2014 13:29:59 +0000]
Added current core_id so we can properly reroute interrupts after moving kcb.

7 years agoFixed problem with urpc channel between monitor.
Gerd Zellweger [Fri, 24 Jan 2014 12:37:38 +0000]
Fixed problem with urpc channel between monitor.

Give intermon channel to local monitor before we start up the new
monitor.

7 years agoHellotest does call to monitor as well.
Gerd Zellweger [Thu, 23 Jan 2014 21:44:18 +0000]
Hellotest does call to monitor as well.

7 years agoImplemented give.
Gerd Zellweger [Thu, 23 Jan 2014 21:44:03 +0000]
Implemented give.

7 years agoGive KCB should work like this.
Gerd Zellweger [Thu, 23 Jan 2014 18:11:55 +0000]
Give KCB should work like this.

7 years agoAdded missing pieces for enabling moving kcbs with domains that are taking interrupts.
Simon Gerber [Thu, 23 Jan 2014 17:32:23 +0000]
Added missing pieces for enabling moving kcbs with domains that are taking interrupts.

7 years agoAdded clearing of bsp kcb.
Simon Gerber [Thu, 23 Jan 2014 17:09:15 +0000]
Added clearing of bsp kcb.

7 years agoFixed libbarrelfish modify_flags code to do correct inside_region() calls.
Simon Gerber [Wed, 22 Jan 2014 14:54:48 +0000]
Fixed libbarrelfish modify_flags code to do correct inside_region() calls.

7 years agoImplemented call chain for making interrupts movable.
Simon Gerber [Thu, 23 Jan 2014 10:36:52 +0000]
Implemented call chain for making interrupts movable.

7 years agoAdded modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.
Simon Gerber [Wed, 22 Jan 2014 14:46:43 +0000]
Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.

7 years agoMoved interrupt vector allocation into cpu driver.
Simon Gerber [Wed, 22 Jan 2014 12:50:50 +0000]
Moved interrupt vector allocation into cpu driver.

7 years agoAdded test programs.
Simon Gerber [Wed, 22 Jan 2014 12:24:16 +0000]
Added test programs.

7 years agoUse core_id instead of 1 :-(
Gerd Zellweger [Thu, 23 Jan 2014 16:38:38 +0000]
Use core_id instead of 1 :-(

7 years agoDisable debugging in kaluga.
Gerd Zellweger [Thu, 23 Jan 2014 16:21:59 +0000]
Disable debugging in kaluga.

7 years agoRemove debug tscs and add barrelfish boot msg again.
Gerd Zellweger [Thu, 23 Jan 2014 16:19:09 +0000]
Remove debug tscs and add barrelfish boot msg again.

7 years agoRemove most of the printfs for debugging.
Gerd Zellweger [Wed, 22 Jan 2014 22:02:02 +0000]
Remove most of the printfs for debugging.

7 years agoDebug print for accept calls.
Gerd Zellweger [Tue, 21 Jan 2014 16:30:54 +0000]
Debug print for accept calls.

7 years agoVerbose debug prints in select code.
Gerd Zellweger [Tue, 21 Jan 2014 16:29:32 +0000]
Verbose debug prints in select code.

7 years agoFix case where unpack_fds actually works.
Gerd Zellweger [Tue, 21 Jan 2014 14:58:56 +0000]
Fix case where unpack_fds actually works.

7 years agoChanged debug print in posixcompat.
Gerd Zellweger [Mon, 20 Jan 2014 18:43:57 +0000]
Changed debug print in posixcompat.

7 years agoAdded error check to bomp callback fn.
Gerd Zellweger [Mon, 20 Jan 2014 18:42:28 +0000]
Added error check to bomp callback fn.

7 years agoFixed posixcompat_unpack_fds to not try to map an empty slot.
Simon Gerber [Mon, 20 Jan 2014 14:54:51 +0000]
Fixed posixcompat_unpack_fds to not try to map an empty slot.

7 years agoDEBUG printfs in posixcompat.
Gerd Zellweger [Mon, 20 Jan 2014 09:46:52 +0000]
DEBUG printfs in posixcompat.

7 years agoRemove debug print in monitor.
Gerd Zellweger [Sun, 19 Jan 2014 21:05:55 +0000]
Remove debug print in monitor.

7 years agotrying to add a single command to which will reboot core with
Pravin [Fri, 17 Jan 2014 13:46:08 +0000]
trying to add a single command to which will reboot core with
new barrelfish kernel.

7 years agoMoving boot_core_request down again...
Gerd Zellweger [Thu, 16 Jan 2014 15:10:11 +0000]
Moving boot_core_request down again...

7 years agos/rdtscp/rdtsc/
Gerd Zellweger [Thu, 16 Jan 2014 15:05:51 +0000]
s/rdtscp/rdtsc/

7 years agoup & down works again.
Gerd Zellweger [Thu, 16 Jan 2014 14:51:22 +0000]
up & down works again.

7 years agoRevert "[HACK] changes some measurements and makes code compile."
Gerd Zellweger [Thu, 16 Jan 2014 11:13:00 +0000]
Revert "[HACK] changes some measurements and makes code compile."

This reverts commit a5704d79a0ec8fb150b27c7e200708bb448b43ba.
Was not intended to push this.

7 years ago[HACK] changes some measurements and makes code compile.
Gerd Zellweger [Wed, 15 Jan 2014 17:05:34 +0000]
[HACK] changes some measurements and makes code compile.

DO not commit upstream.

7 years agoCreating a KCB for the BSP instead of having a static struct.
Gerd Zellweger [Thu, 16 Jan 2014 11:07:53 +0000]
Creating a KCB for the BSP instead of having a static struct.

7 years agoDo tscperms calculations only once.
Gerd Zellweger [Wed, 15 Jan 2014 17:03:24 +0000]
Do tscperms calculations only once.

Saves the 100 ms per core-boot for measuring the exact tick rate.
We assume here that all APIC timer frequencies are the same in a system.

7 years agoBand-aid fix for IRQ 222 troubles we've had.
Simon Gerber [Wed, 15 Jan 2014 16:39:19 +0000]
Band-aid fix for IRQ 222 troubles we've had.

7 years agos/printf/DEBUG/
Gerd Zellweger [Wed, 15 Jan 2014 14:31:54 +0000]
s/printf/DEBUG/

7 years agoHack to do skb_add_facts(corename... again in Kaluga.
Gerd Zellweger [Wed, 15 Jan 2014 14:30:34 +0000]
Hack to do skb_add_facts(corename... again in Kaluga.

Allows us to do IRQ routing to different cores than BSP.

7 years agoFixed x86boot 'take' operation implementation.
Simon Gerber [Wed, 15 Jan 2014 14:01:42 +0000]
Fixed x86boot 'take' operation implementation.

7 years agoAdded missing function.
Simon Gerber [Wed, 15 Jan 2014 09:13:51 +0000]
Added missing function.

7 years agoAdded moving kcb off shared cpu driver, currently crashes in newly started kernel...
Simon Gerber [Tue, 14 Jan 2014 16:36:20 +0000]
Added moving kcb off shared cpu driver, currently crashes in newly started kernel on target core.

7 years agoAdded home kcb which is used for interrupt handling.
Simon Gerber [Tue, 14 Jan 2014 13:09:01 +0000]
Added home kcb which is used for interrupt handling.

7 years agoAdded invocation to remove kcb from kcb scheduling ring.
Simon Gerber [Tue, 14 Jan 2014 10:39:08 +0000]
Added invocation to remove kcb from kcb scheduling ring.

7 years agoChange hellotest to measure performance of a loop.
Gerd Zellweger [Tue, 14 Jan 2014 10:08:06 +0000]
Change hellotest to measure performance of a loop.

Shows that we half the performance of a program after we give the kcb to another
core.

7 years agoFix x86boot, for sending kcb we receive two messages.
Gerd Zellweger [Tue, 14 Jan 2014 10:07:38 +0000]
Fix x86boot, for sending kcb we receive two messages.

7 years agoBoot core request, should fix cap not found error.
Gerd Zellweger [Mon, 13 Jan 2014 17:50:57 +0000]
Boot core request, should fix cap not found error.

7 years agoFixed caps_copy_to_cte to insert new cap after minting.
Simon Gerber [Mon, 13 Jan 2014 17:20:58 +0000]
Fixed caps_copy_to_cte to insert new cap after minting.

7 years agoVarious debugging and disabled mdb sanity checks.
Simon Gerber [Mon, 13 Jan 2014 16:43:20 +0000]
Various debugging and disabled mdb sanity checks.

7 years agoReverted kernel_add_kcb to take a kernel-local address again.
Simon Gerber [Mon, 13 Jan 2014 14:55:08 +0000]
Reverted kernel_add_kcb to take a kernel-local address again.

This reverts commit 3e872068eff416694c585511539172f11858daf1.

7 years agox86boot can give kcb from a core to core 0.
Gerd Zellweger [Mon, 13 Jan 2014 14:43:45 +0000]
x86boot can give kcb from a core to core 0.

invoke by calling: x86boot auto give 1 0
Give kcb to other cores than 0 currently untested, and probably does not yet
work.

7 years agoMake kernel_add_kcb take a physical instead of a kernel-local address.
Simon Gerber [Mon, 13 Jan 2014 14:10:08 +0000]
Make kernel_add_kcb take a physical instead of a kernel-local address.

7 years agoAdded switching of kcb on timer interrupt and added invocation to add kcb to ring.
Simon Gerber [Mon, 13 Jan 2014 14:03:17 +0000]
Added switching of kcb on timer interrupt and added invocation to add kcb to ring.

7 years agoRenamed kernel global kcb to kcb_current. Fixed wakeup code to directly reference...
Simon Gerber [Mon, 13 Jan 2014 12:07:13 +0000]
Renamed kernel global kcb to kcb_current. Fixed wakeup code to directly reference kcb->wakeup_queue_head.

7 years agoFixed save_suspend_resume.
Simon Gerber [Mon, 13 Jan 2014 10:39:27 +0000]
Fixed save_suspend_resume.

7 years agoRemoved statically cached copies of scheduler data structures and use kcb values...
Simon Gerber [Fri, 10 Jan 2014 13:46:49 +0000]
Removed statically cached copies of scheduler data structures and use kcb values directly.

7 years agoFix some code, able to do benchmarks.
Gerd Zellweger [Thu, 9 Jan 2014 15:46:02 +0000]
Fix some code, able to do benchmarks.

7 years agox86boot replace printfs with DEBUG macro.
Gerd Zellweger [Wed, 8 Jan 2014 15:36:31 +0000]
x86boot replace printfs with DEBUG macro.

7 years agoMake sure kaluga starts core the right way.
Gerd Zellweger [Wed, 8 Jan 2014 15:35:41 +0000]
Make sure kaluga starts core the right way.

7 years agoAdded microbenchmarks for SIPI and INIT IPI.
Gerd Zellweger [Wed, 8 Jan 2014 15:35:07 +0000]
Added microbenchmarks for SIPI and INIT IPI.

7 years agoRemove debug output for IPIs.
Gerd Zellweger [Wed, 8 Jan 2014 15:34:42 +0000]
Remove debug output for IPIs.