use jemalloc. user-space microbenchmark scales better now.

5ba7de3d · Nickolai Zeldovich · 085b8849 · 5ba7de3d · 5ba7de3d · 5ba7de3d
--- a/README
+++ b/README
@@ -54,5 +54,6 @@

 * user-space version

+  $ apt-get install libjemalloc-dev
  $ make HW=user o.user/utest

--- a/user/Makefrag.user
+++ b/user/Makefrag.user
@@ -6,5 +6,5 @@ $(O)/utest: $(O)/kernel/crange.o \
            $(O)/user/umain.o
 	@echo "  LD     $@"
 	$(Q)mkdir -p $(@D)
-	$(Q)$(CXX) -o $@ $^ -lpthread -lrt
+	$(Q)$(CXX) -o $@ $^ -lpthread -lrt -ljemalloc

--- a/user/umain.cc
+++ b/user/umain.cc
@@ -87,7 +87,7 @@ struct my_range : public range {

 static pthread_barrier_t worker_b, populate_b;

-enum { iter_total = 1000000 };
+enum { iter_total = 10000000 };
 enum { crange_items = 1024 };

 static void