Nix work assignments use RKMs
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 6 Jan 2015 21:01:45 +0000 (16:01 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 6 Jan 2015 21:01:45 +0000 (16:01 -0500)
commitd7b676835ae68c4e01f1ce21f9f5049aac1f70bc
tree036c195a48a08be92c45c8819460619c11bb244a
parent5e1bb5bb128b31ddec9a3bf7cd8e1eed063ddc21
Nix work assignments use RKMs

Instead of one RKM to mwait a host on the core, we send RKMs with the specific
assignments to the core.  These cores need to be assigned to particular nixes.

The user-visible change is that each nix (e.g. #t/nix0) needs to reserve the
CPUs it will use.

$ echo reserve COREID|-1 > \#t/nix0/ctl

-1 reserves any core, in case you don't care which gets used.
kern/drivers/dev/nix.c