barrelfish
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.

7 years agoWorking on kaluga starting x86 boot drivers the right way.
Gerd Zellweger [Fri, 20 Dec 2013 15:07:58 +0000]
Working on kaluga starting x86 boot drivers the right way.

7 years agoAdded code to make it possible to switch between kernels with different schedulers.
Simon Gerber [Fri, 20 Dec 2013 16:57:38 +0000]
Added code to make it possible to switch between kernels with different schedulers.

This currently works by having the 'up' argument to x86boot optionally have
the form 'up=<scheduler strategy>', e.g. 'up=rbed'.  Currently you need to
build each version of the cpu driver by hand, and copy the resulting binary to
'cpu_<scheduler strategy>'.  You also need to add multiboot modules for each
of these (module /x86_64/sbin/cpu_rbed nospawn).