Skip to content

Commit 4383532

Browse files
danbugsdanbugs
committed
ci: point kraft.yaml at unikraft fork with demand-page heap fix
Temporarily point all examples' unikraft source at danbugs/unikraft:perf/demand-page-heap to validate the boot.c heap unmap fix across all examples. This branch adds a uk_paging_page_unmap call after uk_vma_map_anon in heap_init(), tearing down boot-provided identity-mapped PTEs so demand paging works correctly. Reduces snapshot size from 3.0 GiB to 654 MiB for Python guests. Signed-off-by: danbugs <danilochiarlone@gmail.com>
1 parent 62b54cd commit 4383532

18 files changed

Lines changed: 54 additions & 54 deletions

File tree

‎examples/dotnet-http/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: dotnet-http-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
# Platform
99
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -91,7 +91,7 @@ unikraft:
9191
libraries:
9292
app-elfloader:
9393
source: https://github.com/unikraft/app-elfloader.git
94-
version: plat-hyperlight
94+
version: perf/demand-page-heap
9595
libelf:
9696
source: https://github.com/unikraft/lib-libelf.git
9797
version: staging

‎examples/dotnet-nativeaot/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: dotnet-nativeaot-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
CONFIG_PLAT_HYPERLIGHT: 'y'
99
CONFIG_PAGING: 'n'
@@ -57,7 +57,7 @@ unikraft:
5757
libraries:
5858
app-elfloader:
5959
source: https://github.com/unikraft/app-elfloader.git
60-
version: plat-hyperlight
60+
version: perf/demand-page-heap
6161
libelf:
6262
source: https://github.com/unikraft/lib-libelf.git
6363
version: staging

‎examples/dotnet/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: dotnet-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
# Platform
99
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -79,7 +79,7 @@ unikraft:
7979
libraries:
8080
app-elfloader:
8181
source: https://github.com/unikraft/app-elfloader.git
82-
version: plat-hyperlight
82+
version: perf/demand-page-heap
8383
libelf:
8484
source: https://github.com/unikraft/lib-libelf.git
8585
version: staging

‎examples/go-http/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: go-http-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
# Platform
99
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -80,7 +80,7 @@ unikraft:
8080
libraries:
8181
app-elfloader:
8282
source: https://github.com/unikraft/app-elfloader.git
83-
version: plat-hyperlight
83+
version: perf/demand-page-heap
8484
libelf:
8585
source: https://github.com/unikraft/lib-libelf.git
8686
version: staging

‎examples/go/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ specification: '0.6'
33
name: go-hyperlight
44

55
unikraft:
6-
source: https://github.com/unikraft/unikraft.git
7-
version: plat-hyperlight
6+
source: https://github.com/danbugs/unikraft.git
7+
version: perf/demand-page-heap
88
kconfig:
99
# Platform
1010
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -65,7 +65,7 @@ unikraft:
6565
libraries:
6666
app-elfloader:
6767
source: https://github.com/unikraft/app-elfloader.git
68-
version: plat-hyperlight
68+
version: perf/demand-page-heap
6969
libelf:
7070
source: https://github.com/unikraft/lib-libelf.git
7171
version: staging

‎examples/helloworld-c/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: helloworld-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
CONFIG_PLAT_HYPERLIGHT: 'y'
99
CONFIG_PAGING: 'n'
@@ -56,7 +56,7 @@ unikraft:
5656
libraries:
5757
app-elfloader:
5858
source: https://github.com/unikraft/app-elfloader.git
59-
version: plat-hyperlight
59+
version: perf/demand-page-heap
6060
libelf:
6161
source: https://github.com/unikraft/lib-libelf.git
6262
version: staging

‎examples/hostfs-posix-c/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: hostfs-posix-c-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
# Platform
99
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -72,7 +72,7 @@ unikraft:
7272
libraries:
7373
app-elfloader:
7474
source: https://github.com/unikraft/app-elfloader.git
75-
version: plat-hyperlight
75+
version: perf/demand-page-heap
7676
libelf:
7777
source: https://github.com/unikraft/lib-libelf.git
7878
version: staging

‎examples/hostfs-posix-py/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: hostfs-posix-py-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
# Platform
99
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -77,7 +77,7 @@ unikraft:
7777
libraries:
7878
app-elfloader:
7979
source: https://github.com/unikraft/app-elfloader.git
80-
version: plat-hyperlight
80+
version: perf/demand-page-heap
8181
libelf:
8282
source: https://github.com/unikraft/lib-libelf.git
8383
version: staging

‎examples/multifn-c/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: multifn-c-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
CONFIG_PLAT_HYPERLIGHT: 'y'
99
CONFIG_PAGING: 'n'
@@ -50,7 +50,7 @@ unikraft:
5050
libraries:
5151
app-elfloader:
5252
source: https://github.com/unikraft/app-elfloader.git
53-
version: plat-hyperlight
53+
version: perf/demand-page-heap
5454
libelf:
5555
source: https://github.com/unikraft/lib-libelf.git
5656
version: staging

‎examples/networking-py/kraft.yaml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ specification: '0.6'
22
name: networking-py-hyperlight
33

44
unikraft:
5-
source: https://github.com/unikraft/unikraft.git
6-
version: plat-hyperlight
5+
source: https://github.com/danbugs/unikraft.git
6+
version: perf/demand-page-heap
77
kconfig:
88
# Platform
99
CONFIG_PLAT_HYPERLIGHT: 'y'
@@ -73,7 +73,7 @@ unikraft:
7373
libraries:
7474
app-elfloader:
7575
source: https://github.com/unikraft/app-elfloader.git
76-
version: plat-hyperlight
76+
version: perf/demand-page-heap
7777
libelf:
7878
source: https://github.com/unikraft/lib-libelf.git
7979
version: staging

0 commit comments

Comments
 (0)