scripts: update setup_machine.sh to configure ksched
#!/bin/bash
-
# run with sudo
+
+# needed for the iokernel's shared memory
sysctl -w kernel.shm_rmid_forced=1
sysctl -w kernel.shmmax=18446744073692774399
sysctl -w vm.hugetlb_shm_group=27
sysctl -w vm.max_map_count=16777216
sysctl -w net.core.somaxconn=3072
-echo 4096 > /sys/devices/system/node/node0/hugepages/hugepages-2048kB/nr_hugepages
+# set up the ksched module
+rmmod ksched
+rm /dev/ksched
+insmod ./ksched/build/ksched.ko
+mknod /dev/ksched c 280 0
+chmod uga+rwx /dev/ksched
+# reserve huge pages
+echo 8192 > /sys/devices/system/node/node0/hugepages/hugepages-2048kB/nr_hugepages
for n in /sys/devices/system/node/node[1-9]; do
echo 0 > $n/hugepages/hugepages-2048kB/nr_hugepages
done
-
-
