changed the symbiotic calling interface to a synchronous model

[palacios.releases.git] / palacios / src / palacios / vmm_sym_swap.c

diff --git a/palacios/src/palacios/vmm_sym_swap.c b/palacios/src/palacios/vmm_sym_swap.c
index c22937c..24f2869 100644 (file)
--- a/palacios/src/palacios/vmm_sym_swap.c
+++ b/palacios/src/palacios/vmm_sym_swap.c
@@ -23,6 +23,10 @@
 #include <palacios/vmm_list.h>
 
 
+#ifdef CONFIG_SYMBIOTIC_SWAP_TELEMETRY
+#include <palacios/vmm_telemetry.h>
+#endif
+
 // This is a hack and 32 bit linux specific.... need to fix...
 struct swap_pte {
     uint32_t present    : 1;
@@ -65,9 +69,29 @@ static inline uint32_t get_dev_index(pte32_t * pte) {
 
 
 
+#ifdef CONFIG_SYMBIOTIC_SWAP_TELEMETRY
+static void telemetry_cb(struct guest_info * info, void * private_data, char * hdr) {
+    struct v3_sym_swap_state * swap_state = &(info->swap_state);
+
+    V3_Print("%sSymbiotic Swap:\n", hdr);
+    V3_Print("%s\tRead faults=%d\n", hdr, swap_state->read_faults);
+    V3_Print("%s\tWrite faults=%d\n", hdr, swap_state->write_faults);
+    V3_Print("%s\tFlushes=%d\n", hdr, swap_state->flushes);
+}
+#endif
+
+
 int v3_init_sym_swap(struct guest_info * info) {
-    memset(&(info->swap_state), 0, sizeof(struct v3_sym_swap_state));
-    info->swap_state.shdw_ptr_ht = v3_create_htable(0, swap_hash_fn, swap_eq_fn);
+    struct v3_sym_swap_state * swap_state = &(info->swap_state);
+
+    memset(swap_state, 0, sizeof(struct v3_sym_swap_state));
+    swap_state->shdw_ptr_ht = v3_create_htable(0, swap_hash_fn, swap_eq_fn);
+
+#ifdef CONFIG_SYMBIOTIC_SWAP_TELEMETRY
+    if (info->enable_telemetry) {
+       v3_add_telemetry_cb(info, telemetry_cb, NULL);
+    }
+#endif
 
     PrintDebug("Initialized Symbiotic Swap\n");
 
@@ -126,6 +150,10 @@ int v3_swap_flush(struct guest_info * info) {
 
     PrintDebug("Flushing Symbiotic Swap table\n");
 
+#ifdef CONFIG_SYMBIOTIC_SWAP_TELEMETRY
+    swap_state->flushes++;
+#endif
+
     while (ht_iter->entry) {
        struct shadow_pointer * tmp_shdw_ptr = NULL;
        struct shadow_pointer * shdw_ptr = NULL;
@@ -150,6 +178,14 @@ int v3_swap_flush(struct guest_info * info) {
 }
 
 
+int v3_sym_get_addr_info(struct guest_info * info, addr_t vaddr,
+                           int (*cb)(struct guest_info * info)) {
+    return 0;
+
+}
+
+
+
 addr_t v3_get_swapped_pg_addr(struct guest_info * info, pte32_t * shadow_pte, pte32_t * guest_pte) {
     struct list_head * shdw_ptr_list = NULL;
     struct v3_sym_swap_state * swap_state = &(info->swap_state);