Add tests for sanity GC in ci-test-extended (#267)

Co-authored-by: mmtkgc-bot <[email protected]>

Author: qinsoon

.github/scripts/ci-test-extended.sh

@@ -33,6 +33,10 @@ $cur/ci-test-vo-bit.sh
 MMTK_EXTREME_ASSERTIONS=1 MMTK_MALLOC_MARK_SWEEP=1 $cur/ci-build.sh
 $cur/ci-test-malloc-mark-sweep.sh
 
+# Build with sanity
+MMTK_SANITY=1 $cur/ci-build.sh
+$cur/ci-test-sanity.sh
+
 # Build with mark in header - comment this out as it takes too long.
 # export MMTK_MARK_IN_HEADER=1
 # export MMTK_MALLOC_MARK_SWEEP=1

.github/scripts/ci-test-sanity.sh

@@ -0,0 +1,7 @@
+set -xe
+
+. $(dirname "$0")/common.sh
+
+unset JAVA_TOOL_OPTIONS
+
+MMTK_PLAN=Immix runbms_dacapo2006_with_heap_multiplier fop 4

mmtk/Cargo.lock

@@ -32,7 +32,7 @@ memoffset = "0.9.0"
 # - change branch
 # - change repo name
 # But other changes including adding/removing whitespaces in commented lines may break the CI.
-mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "de454f5b5ad9825e5dd0105e0bdc4ce05895a72a" }
+mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "092b7567fee69736b92c4a08dab89f170893ec06" }
 # Uncomment the following to build locally
 # mmtk = { path = "../repos/mmtk-core" }
 

mmtk/Cargo.toml

@@ -51,6 +51,14 @@ ifeq ($(MMTK_MALLOC_MARK_SWEEP), 1)
   endif
 endif
 
+ifeq ($(MMTK_SANITY), 1)
+  ifndef GC_FEATURES
+    GC_FEATURES=--features mmtk/sanity
+  else
+    GC_FEATURES:=$(strip $(GC_FEATURES))",mmtk/sanity"
+  endif
+endif
+
 LIB_MMTK := $(JVM_LIB_OUTPUTDIR)/libmmtk_openjdk.so
 
 ifeq ($(DEBUG_LEVEL), release)