[Barrelfish-users] set the number of cores
Gerd Zellweger
gerd.zellweger at inf.ethz.ch
Wed Nov 26 11:07:41 CET 2014
Hi Antonio,
If you are running Kaluga it will automatically listen for new core
events from ACPI and start the cores accordingly.
Have a look at
http://git.barrelfish.org/?p=barrelfish;a=blob_plain;f=usr/kaluga/start_cpu.c;hb=HEAD
if you want to tune the behaviour or suppress cores being booted.
If you want to directly modify the core discovery in ACPI, it is done
here (line 182ff):
http://git.barrelfish.org/?p=barrelfish;a=blob;f=usr/acpi/interrupts.c;h=87a1dbc95340485c11db3ebb63e6d407c5f57dcc;hb=HEAD
Also note that we will shortly release a new core management
infrastructure based on our work for OSDI this year that will make core
management much simpler.
Hope this helps,
Gerd
On 2014-11-26 00:44, Antonio Barbalace wrote:
> Dear all,
>
> I am trying to boot Barrelfish on a reduced number of cores.
>
> The following line in the menu.lst does not have any effect:
> module /barrelfish/x86_64/sbin/spawnd boot bootapic-x86_64=1-8
>
> I also try to manually modify different source files but without any
> luck.
> For example I modified the macro MAX_COREID but it was giving a
> compiler error,
> I also modified usr/spawnd/bsp_bootup.c in different ways, again
> nothing.
>
> any suggestion is very welcome!
> thanks,
> Antonio
>
> --
>
> Dr. Eng. Antonio Barbalace, PhD
> Systems Software Research Group (SSRG)
> Bradley Department of Electrical and Computer Engineering
> Virginia Tech
> 453 Durham Hall (0111)
> Blacksburg, VA 24061
> phone: +1 (540) 231-2494 [1]
> email: antoniob at vt.edu
>
> Links:
> ------
> [1] tel:%2B1%20%28540%29%20231-2494
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
More information about the Barrelfish-users
mailing list