From 82f41696187459bb349fe19dd95d477cad38b88a Mon Sep 17 00:00:00 2001
From: WangRunji <wangrunji0408@163.com>
Date: Fri, 12 Apr 2019 16:54:49 +0800
Subject: [PATCH] enlarge preallocated space. sync file system on exit.

---
 src/libos/src/entry.rs                 | 6 ++++++
 src/libos/src/vm/vm_space_prealloced.c | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/libos/src/entry.rs b/src/libos/src/entry.rs
index 719c07e0..f299d51e 100644
--- a/src/libos/src/entry.rs
+++ b/src/libos/src/entry.rs
@@ -78,5 +78,11 @@ fn do_boot(path_str: &str, argv: &Vec<CString>) -> Result<(), Error> {
 // TODO: make sure do_run() cannot be called after do_boot()
 fn do_run() -> Result<i32, Error> {
     let exit_status = process::run_task()?;
+
+    // sync file system
+    // TODO: only sync when all processes exit
+    use rcore_fs::vfs::FileSystem;
+    crate::fs::ROOT_INODE.fs().sync()?;
+
     Ok(exit_status)
 }
diff --git a/src/libos/src/vm/vm_space_prealloced.c b/src/libos/src/vm/vm_space_prealloced.c
index cfcd0abd..62fba785 100644
--- a/src/libos/src/vm/vm_space_prealloced.c
+++ b/src/libos/src/vm/vm_space_prealloced.c
@@ -1,6 +1,6 @@
 #include <stddef.h>
 
-#define DATA_SPACE_SIZE (32*1024*1024)
+#define DATA_SPACE_SIZE (96*1024*1024)
 
 static char __prealloced_data_space[DATA_SPACE_SIZE]
     __attribute__ ((