|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-devel] [PATCH XTF 4/4] xtf: Add emul-unimpl test
Add a new test to verify if XEN can correctly handle the
X86EMUL_UNIMPLEMENTED event.
The XTF DomU test image just executes a instruction not implemented by
the XEN X86 emulator (fstenv) and checks if the execution was
successfull. This instruction will be the first one in a custom .text
section.
In order to instruct XEN to try to emulate that instruction the monitor
application changes the attributes of that specific page in order to
inhibit execution. This will trigger a MEM_ACCESS request that will be
responded by toggling the EMULATE flag.
The emulation will fail, which will trigger an EMUL_UNIMPLEMENTED
request which will be handled by enabling execution on that specific
page (altp2m) and singlestepping that instruction.
The test will be successfull if the instruction can be executed
correctly.
Signed-off-by: Petre Pircalabu <ppircalabu@xxxxxxxxxxxxxxx>
---
docs/all-tests.dox | 2 +-
tests/emul-unimpl/Makefile | 15 ++
tests/emul-unimpl/extra.cfg.in | 3 +
tests/emul-unimpl/main.c | 59 ++++++++
tests/emul-unimpl/monitor.c | 310 +++++++++++++++++++++++++++++++++++++++++
5 files changed, 388 insertions(+), 1 deletion(-)
create mode 100644 tests/emul-unimpl/Makefile
create mode 100644 tests/emul-unimpl/extra.cfg.in
create mode 100644 tests/emul-unimpl/main.c
create mode 100644 tests/emul-unimpl/monitor.c
diff --git a/docs/all-tests.dox b/docs/all-tests.dox
index 3ee552e..b7457be 100644
--- a/docs/all-tests.dox
+++ b/docs/all-tests.dox
@@ -149,5 +149,5 @@ enable BTS.
@section index-monitor Monitor
-@subpage test-emul_unimplemented - @Test EMUL_UNIMPLEMENTED event generation
+@subpage test-emul-unimpl - @Test EMUL_UNIMPLEMENTED event generation
*/
diff --git a/tests/emul-unimpl/Makefile b/tests/emul-unimpl/Makefile
new file mode 100644
index 0000000..5d79e42
--- /dev/null
+++ b/tests/emul-unimpl/Makefile
@@ -0,0 +1,15 @@
+include $(ROOT)/build/common.mk
+
+NAME := emul-unimpl
+CATEGORY := monitor
+TEST-ENVS := hvm64
+CLASS := xtf.monitor_test.MonitorTestInfo
+TEST-EXTRA-INFO := monitor_args='--address=0x\$$(nm --defined-only
@@VM_PATH@@ | grep test_fn | cut -d \ -f 1)'
+
+TEST-EXTRA-CFG := extra.cfg.in
+
+obj-perenv += main.o
+
+obj-monitor += monitor.o
+
+include $(ROOT)/build/gen.mk
diff --git a/tests/emul-unimpl/extra.cfg.in b/tests/emul-unimpl/extra.cfg.in
new file mode 100644
index 0000000..e432a0c
--- /dev/null
+++ b/tests/emul-unimpl/extra.cfg.in
@@ -0,0 +1,3 @@
+# Enable altp2m
+altp2m = "mixed"
+altp2mhvm = 1
diff --git a/tests/emul-unimpl/main.c b/tests/emul-unimpl/main.c
new file mode 100644
index 0000000..63a52cc
--- /dev/null
+++ b/tests/emul-unimpl/main.c
@@ -0,0 +1,59 @@
+/**
+ * @file tests/emul-unimpl/main.c
+ * @ref test-emul-unimpl
+ *
+ * @page test-emul-unimpl emul-unimpl
+ *
+ * @todo Docs for test-emul-unimpl
+ *
+ * @see tests/emul-unimpl/main.c
+ */
+#include <xtf.h>
+
+const char test_title[] = "Test emul-unimpl";
+
+static char fpu_env[128];
+
+static void __attribute__((section(".text.secondary"))) __attribute__
((noinline)) test_fn(void)
+{
+ __asm__ __volatile__("fstenv %0"
+ : "=m" (fpu_env)
+ :
+ : "memory");
+ __asm__ __volatile__("fwait");
+}
+
+void test_main(void)
+{
+ int i;
+
+ __asm__ __volatile__ ("pushf");
+ __asm__ __volatile__ ("cli");
+ test_fn();
+ __asm__ __volatile__ ("popf");
+
+ for ( i = 0; i < 14 ; i++ )
+ {
+ if ( fpu_env[i] != 0 )
+ break;
+ }
+
+ if ( i == 14 )
+ {
+ xtf_error(NULL);
+ }
+ else
+ {
+ xtf_success(NULL);
+ }
+}
+
+/*
+ * Local variables:
+ * mode: C
+ * c-file-style: "BSD"
+ * c-basic-offset: 4
+ * tab-width: 4
+ * indent-tabs-mode: nil
+ * End:
+ */
diff --git a/tests/emul-unimpl/monitor.c b/tests/emul-unimpl/monitor.c
new file mode 100644
index 0000000..4302e51
--- /dev/null
+++ b/tests/emul-unimpl/monitor.c
@@ -0,0 +1,310 @@
+/**
+ * @file tests/emul-unimpl/monitor.c
+ */
+
+#include <errno.h>
+#include <getopt.h>
+#include <inttypes.h>
+#include <monitor.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <sys/mman.h>
+#include <unistd.h>
+
+typedef enum
+{
+ INIT,
+ MEM_ACCESS,
+ SINGLESTEP,
+ EMUL_UNIMPL
+} emul_unimpl_state_t;
+
+typedef struct emul_unimpl_monitor
+{
+ xtf_monitor_t mon;
+ domid_t domain_id;
+ uint64_t address;
+ uint16_t altp2m_view_id;
+ unsigned long gfn;
+ emul_unimpl_state_t state;
+} emul_unimpl_monitor_t;
+
+const char monitor_test_help[] = \
+ "Usage: test-monitor-emul-unimpl [options] <domid>\n"
+ "\t -a <address>: the address where an invalid instruction will be
injected\n"
+ ;
+
+static int emul_unimpl_setup(int argc, char *argv[]);
+static int emul_unimpl_init();
+static int emul_unimpl_run();
+static int emul_unimpl_cleanup();
+static int emul_unimpl_get_result();
+
+static emul_unimpl_monitor_t monitor_instance =
+{
+ .mon =
+ {
+ .setup = emul_unimpl_setup,
+ .init = emul_unimpl_init,
+ .run = emul_unimpl_run,
+ .cleanup = emul_unimpl_cleanup,
+ .get_result = emul_unimpl_get_result,
+ }
+};
+
+static int emul_unimpl_mem_access(domid_t domain_id, vm_event_request_t *req,
vm_event_response_t *rsp);
+static int emul_unimpl_singlestep(domid_t domain_id, vm_event_request_t *req,
vm_event_response_t *rsp);
+static int emul_unimpl_emul_unimpl(domid_t domain_id, vm_event_request_t *req,
vm_event_response_t *rsp);
+
+static xtf_evtchn_t evtchn_instance =
+{
+ .ops =
+ {
+ .mem_access_handler = emul_unimpl_mem_access,
+ .singlestep_handler = emul_unimpl_singlestep,
+ .emul_unimpl_handler = emul_unimpl_emul_unimpl,
+ }
+};
+
+static int emul_unimpl_setup(int argc, char *argv[])
+{
+ int ret, c;
+ static struct option long_options[] = {
+ {"help", no_argument, 0, 'h'},
+ {"address", required_argument, 0, 'a'},
+ {0, 0, 0, 0}
+ };
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+
+ if ( !pmon )
+ return -EINVAL;
+
+ if ( argc == 1 )
+ {
+ usage();
+ return -EINVAL;
+ }
+ while ( 1 )
+ {
+ int option_index = 0;
+ c = getopt_long(argc, argv, "ha:", long_options, &option_index);
+ if ( c == -1 ) break;
+
+ switch ( c )
+ {
+ case 'h':
+ usage();
+ exit(0);
+ break;
+ case 'a':
+ pmon->address = strtoul(optarg, NULL, 0);
+ break;
+ default:
+ XTF_MON_ERROR("%s: Invalid option %s\n", argv[0], optarg);
+ return -EINVAL;
+ }
+
+ if ( !pmon->address )
+ {
+ XTF_MON_ERROR("%s: Please specify a valid instruction injection
address\n", argv[0]);
+ return -EINVAL;
+ }
+
+ if ( optind != argc - 1 )
+ {
+ XTF_MON_ERROR("%s: Please specify the domain id\n", argv[0]);
+ return -EINVAL;
+ }
+ }
+
+ pmon->domain_id = atoi(argv[optind]);
+
+ if ( pmon->domain_id <= 0 )
+ {
+ XTF_MON_ERROR("%s: Invalid domain id\n", argv[0]);
+ return -EINVAL;
+ }
+
+ pmon->state = INIT;
+
+ add_evtchn(&evtchn_instance, pmon->domain_id);
+
+ return 0;
+}
+
+static int emul_unimpl_init()
+{
+ int rc = 0;
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+
+ if ( !pmon )
+ return -EINVAL;
+
+ rc = xtf_evtchn_init(pmon->domain_id);
+ if ( rc < 0 )
+ return rc;
+
+ rc = xc_domain_set_access_required(xtf_xch, pmon->domain_id, 1);
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d setting mem_access listener required\n", rc);
+ return rc;
+ }
+
+ rc = xc_monitor_emul_unimplemented(xtf_xch, pmon->domain_id, 1);
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d emulation unimplemented with vm_event\n", rc);
+ return rc;
+ }
+
+ rc = xc_altp2m_set_domain_state(xtf_xch, pmon->domain_id, 1);
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d enabling altp2m on domain!\n", rc);
+ return rc;
+ }
+
+ rc = xc_altp2m_create_view(xtf_xch, pmon->domain_id, XENMEM_access_rwx,
+ &pmon->altp2m_view_id );
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d creating altp2m view!\n", rc);
+ return rc;
+ }
+
+ pmon->gfn = xc_translate_foreign_address(xtf_xch, pmon->domain_id, 0,
pmon->address);
+
+ rc = xc_altp2m_set_mem_access(xtf_xch, pmon->domain_id,
pmon->altp2m_view_id,
+ pmon->gfn, XENMEM_access_rw);
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d setting altp2m memory access!\n", rc);
+ return rc;
+ }
+
+ rc = xc_altp2m_switch_to_view(xtf_xch, pmon->domain_id,
pmon->altp2m_view_id );
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d switching to altp2m view!\n", rc);
+ return rc;
+ }
+
+ rc = xc_monitor_singlestep(xtf_xch, pmon->domain_id, 1 );
+ if ( rc < 0 )
+ {
+ XTF_MON_ERROR("Error %d failed to enable singlestep monitoring!\n",
rc);
+ return rc;
+ }
+
+ return 0;
+}
+
+static int emul_unimpl_run()
+{
+ int rc;
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+
+ if ( !pmon )
+ return -EINVAL;
+
+ return xtf_evtchn_loop(pmon->domain_id);
+}
+
+static int emul_unimpl_cleanup()
+{
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+
+ if ( !pmon )
+ return -EINVAL;
+
+ xc_altp2m_switch_to_view(xtf_xch, pmon->domain_id, 0 );
+
+ xc_altp2m_destroy_view(xtf_xch, pmon->domain_id, pmon->altp2m_view_id);
+
+ xc_altp2m_set_domain_state(xtf_xch, pmon->domain_id, 0);
+
+ xc_monitor_singlestep(xtf_xch, pmon->domain_id, 0);
+
+ xtf_evtchn_cleanup(pmon->domain_id);
+
+ return 0;
+}
+
+static int emul_unimpl_get_result()
+{
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+
+ if ( !pmon )
+ return XTF_MON_ERROR;
+
+ return (pmon->state == EMUL_UNIMPL) ? XTF_MON_SUCCESS : XTF_MON_FAILURE;
+
+}
+
+static int emul_unimpl_mem_access(domid_t domain_id, vm_event_request_t *req,
vm_event_response_t *rsp)
+{
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+ volatile unsigned char *p;
+ int i;
+
+ if (!pmon)
+ return -EINVAL;
+
+ rsp->flags |= VM_EVENT_FLAG_EMULATE | VM_EVENT_FLAG_TOGGLE_SINGLESTEP;
+
+ if ( pmon->state == INIT )
+ pmon->state = MEM_ACCESS;
+
+ return 0;
+}
+
+static int emul_unimpl_singlestep(domid_t domain_id, vm_event_request_t *req,
vm_event_response_t *rsp)
+{
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+
+ if (!pmon)
+ return -EINVAL;
+
+ rsp->flags |= VM_EVENT_FLAG_ALTERNATE_P2M |
VM_EVENT_FLAG_TOGGLE_SINGLESTEP;
+ rsp->altp2m_idx = pmon->altp2m_view_id;
+
+ /* Restore the execute rights on the test page. */
+ xc_altp2m_set_mem_access(xtf_xch, pmon->domain_id, pmon->altp2m_view_id,
+ pmon->gfn, XENMEM_access_rwx);
+
+ if ( pmon->state == EMUL_UNIMPL )
+ pmon->state = SINGLESTEP;
+
+ return 0;
+}
+
+static int emul_unimpl_emul_unimpl(domid_t domain_id, vm_event_request_t *req,
vm_event_response_t *rsp)
+{
+ emul_unimpl_monitor_t *pmon = (emul_unimpl_monitor_t *)monitor;
+ volatile unsigned char *p;
+ int i;
+
+ if (!pmon)
+ return -EINVAL;
+
+ rsp->flags |= VM_EVENT_FLAG_ALTERNATE_P2M ;
+ rsp->altp2m_idx = 0;
+
+ if (pmon->state == MEM_ACCESS )
+ pmon->state = EMUL_UNIMPL;
+
+ return 0;
+}
+
+XTF_MONITOR(monitor_instance);
+
+/*
+ * Local variables:
+ * mode: C
+ * c-file-style: "BSD"
+ * c-basic-offset: 4
+ * tab-width: 4
+ * indent-tabs-mode: nil
+ * End:
+ */
--
2.7.4
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel
|
 |
Lists.xenproject.org is hosted with RackSpace, monitoring our |