Simon Pickartz
3dadcdc6b0
fix RDMA migration for guests greater/equal to the IO gap ( #90 )
...
-- omit IO gap when registering MRs
-- split MRs during COMPLETE_DUMP in chunks of port_attr.max_msg_sz
2018-05-17 12:25:00 +02:00
Stefan Lankes
0c6061bc6c
add also the option to map bss section on demand
2018-05-16 22:54:34 +02:00
Stefan Lankes
0b1c47092a
rename macros in more meaningfull names
2018-05-16 21:36:42 +02:00
Stefan Lankes
d96e9069db
revise code, increase the readability
2018-05-16 19:28:41 +02:00
Stefan Lankes
ec7f5182da
fix start address of the kvm memory region
2018-05-16 19:27:33 +02:00
Stefan Lankes
04db2dfc87
remove obsolete debug message
2018-05-15 23:39:40 +02:00
Stefan Lankes
7c89671721
rename macros to improve the readability
2018-05-15 23:05:56 +02:00
Stefan Lankes
f5fa1569d7
reserve larger heap, add gap for pci devices
2018-05-15 00:54:13 +02:00
Stefan Lankes
b85ff4c333
remove redefinitions of macros
2018-05-15 00:53:15 +02:00
Stefan Lankes
a71e24a4e1
update version number
2018-04-30 08:15:08 +02:00
Stefan Lankes
0bd1df6052
move benchmark to libhermit to avoid side effects with LwIP
2018-04-30 08:02:45 +02:00
Stefan Lankes
7cf050cf30
remove obsolete makefiles
2018-04-30 07:19:15 +02:00
Stefan Lankes
d33afa25c3
update version number
2018-04-29 23:52:31 +02:00
Stefan Lankes
807c210111
update timer after updating the timer list
...
- revise code, increase the readability
2018-04-29 23:50:02 +02:00
Stefan Lankes
c745503102
switch back to the orginial regular expression
2018-04-29 13:59:59 +02:00
Stefan Lankes
5026385e7b
prevent Travis CI from resetting the working directory
2018-04-29 13:34:58 +02:00
Stefan Lankes
f8e2d3194f
add repository name to the include path
2018-04-29 13:09:23 +02:00
Stefan Lankes
7fab80e461
Merge branch 'devel'
2018-04-29 12:27:14 +02:00
Stefan Lankes
fb4eae02bc
simplify regular expression
2018-04-29 11:57:21 +02:00
Stefan Lankes
558311bc40
simplify code to send an IPI
2018-04-29 11:45:39 +02:00
Stefan Lankes
d520f1ee43
use reduce the number of threads for the tests
2018-04-29 11:44:41 +02:00
Stefan Lankes
d19100b504
remove netio files after tests
2018-04-29 10:50:02 +02:00
Stefan Lankes
2d0726ce05
list the directory before deploying the package
2018-04-29 08:52:15 +02:00
Stefan Lankes
094eabba05
udelay reschedules within the busy waiting loop to avoid deadlocks
2018-04-29 08:46:31 +02:00
Stefan Lankes
b91a1d5ce3
change directory to TRAVIS_BUILD_DIR before deploying HermitCore
2018-04-29 07:49:53 +02:00
Stefan Lankes
76a4eedf38
update version number
2018-04-29 07:13:43 +02:00
Stefan Lankes
aa768aeadd
Merge branch 'devel'
2018-04-29 01:58:51 +02:00
Stefan Lankes
e6558c0b9b
use uart device to dump kernel messages
2018-04-28 23:29:36 +00:00
Stefan Lankes
7a6efe3256
add dummy migration implementation for aarch64
2018-04-28 15:25:22 +00:00
Stefan Lankes
98357b9537
remove compiler warnings
2018-04-28 15:38:16 +02:00
Stefan Lankes
00270b84ef
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
2018-04-28 15:31:47 +02:00
Stefan Lankes
e26ec98b5a
revise code to increase the readability
2018-04-28 15:28:15 +02:00
Stefan Lankes
ebce6e7221
add helper functions to proctect newlib's environment and heap
2018-04-28 15:26:42 +02:00
Stefan Lankes
94499b33b8
simplify spinlock code to improve the readability
2018-04-28 15:24:44 +02:00
Stefan Lankes
411a99c27f
remove irq save locks to avoid deadlocks
2018-04-28 15:22:45 +02:00
Stefan Lankes
7009fd5370
remove obsolete code
2018-04-28 15:21:44 +02:00
Stefan Lankes
c5ecc2beec
only the multi-kernel version supports the kernel message buffer
...
=> remove dumping messages for the single-kernel version
2018-04-28 10:21:53 +02:00
Stefan Lankes
f11c948347
use UART device to print kernel messages
...
- HermitCore's message buffer isn't longer supported by uhyve
2018-04-28 10:13:06 +02:00
Simon Pickartz
59d0bfa956
uhyve migration support ( #89 )
...
- incremental/complete guest memory transfer via RDMA
- cold migration via RDMA
- live migration via RDMA (currently fixed number of iterations)
- complete guest memory transfer via TCP/IP (for compatibility)
2018-04-26 20:57:05 +02:00
Stefan Lankes
b789360af2
add basic SMP support, just jumping to smp_start
2018-04-24 20:45:28 +00:00
Stefan Lankes
15b5495f31
fix incompatibility issues to KVM API on a x86_64 processors
2018-04-24 22:14:41 +02:00
Stefan Lankes
7a6b06cb91
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
2018-04-24 21:53:41 +02:00
Stefan Lankes
a7707f46e3
initialize irq controller after all vcpu
...
- this is required to support aarch64
2018-04-24 19:48:55 +00:00
Stefan Lankes
80d5a008fc
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
2018-04-22 23:01:12 +02:00
Stefan Lankes
492cde7275
determine default architecture via uname
2018-04-22 16:47:28 +00:00
Stefan Lankes
288647de06
initialize seed for the generation of random numbers in sys_init
2018-04-21 07:23:57 +02:00
Stefan Lankes
2988496ef9
add some additional debug messages
2018-04-17 16:26:53 +02:00
Stefan Lankes
6028d05a41
wakeup remote core, if idle task is running on the remote core
...
=> avoid race by checking the status of the running task
2018-04-17 15:50:44 +02:00
Stefan Lankes
9d9e4d5395
by setting ecx to 0, mwait handles the IRQ and not just wait from it
2018-04-17 13:49:52 +02:00
Stefan Lankes
4d694dcc68
avoid race between checking workqueues and calling halt
...
between checking the workqueues and the calling halt instruction, a
process and the corresponding interrupt is able arrive and lost
2018-04-17 12:00:12 +02:00