643 Commits

Author SHA1 Message Date
Gerrit Code Review
800f966d8f Update notes for submitted changes
* VM: fix mmap region transfer range bug
2015-09-23 15:54:41 +02:00
Gerrit Code Review
fc9aa3b419 Update notes for submitted changes
* VM: live update - check for regions above stack
2015-09-23 15:54:38 +02:00
Gerrit Code Review
d3f40ca25b Update notes for submitted changes
* RS: synchronize priv from kernel after swap
2015-09-23 15:54:32 +02:00
Gerrit Code Review
fbf9daa3bd Update notes for submitted changes
* SEF: query VM about holes during state transfer
2015-09-23 15:54:29 +02:00
Gerrit Code Review
9671a3ac78 Update notes for submitted changes
* vm: restartability improvements (#2)
2015-09-23 15:54:24 +02:00
Gerrit Code Review
6afda40dab Update notes for submitted changes
* vm: restartability improvements (#1)
2015-09-23 15:54:19 +02:00
Gerrit Code Review
a31c420af9 Update notes for submitted changes
* Kernel: delivermsg improvements
2015-09-23 15:54:14 +02:00
Gerrit Code Review
7769c7c8ba Update notes for submitted changes
* vm: Allow in-band metadata for cache blocks
2015-09-23 15:54:10 +02:00
Gerrit Code Review
6cf5e80761 Update notes for submitted changes
* libmthread: Fix guard page mapping.
2015-09-23 15:54:05 +02:00
Gerrit Code Review
99e59c9597 Update notes for submitted changes
* testrelpol: let test specific services
2015-09-23 15:54:00 +02:00
Gerrit Code Review
417d506fb0 Update notes for submitted changes
* tests: Expand the reliability test suite.
2015-09-23 15:53:55 +02:00
Gerrit Code Review
6a1f980583 Update notes for submitted changes
* sef: Support for LLVM ltckpt instrumentation.
2015-09-23 15:53:51 +02:00
Gerrit Code Review
70afbd634e Update notes for submitted changes
* services: Selectively enable stateful restart.
2015-09-23 15:53:47 +02:00
Gerrit Code Review
a285a44e90 Update notes for submitted changes
* rs: Update recovery policies for sched and mfs.
2015-09-23 15:53:42 +02:00
Gerrit Code Review
5bce172de8 Update notes for submitted changes
* rs: Add support for RS_FI.
2015-09-23 15:53:37 +02:00
Gerrit Code Review
82479bd37e Update notes for submitted changes
* vm: Fix heap preallocation.
2015-09-23 15:53:33 +02:00
Gerrit Code Review
e25065e468 Update notes for submitted changes
* vm: Fix vm cloning.
2015-09-23 15:53:29 +02:00
Gerrit Code Review
77d00b3c43 Update notes for submitted changes
* Resolve boot-time VM/RS deadlock
2015-09-23 15:53:25 +02:00
Gerrit Code Review
ff6ac6d2cf Update notes for submitted changes
* Switch to stateful restart.
2015-09-23 15:53:21 +02:00
Gerrit Code Review
b20e99c3d3 Update notes for submitted changes
* ds: Add live update extensions.
2015-09-23 15:53:16 +02:00
Gerrit Code Review
ccd2350825 Update notes for submitted changes
* Add live update-friendly annotations.
2015-09-23 15:53:04 +02:00
Gerrit Code Review
4ad14c28ce Update notes for submitted changes
* libsys: mark regions allocated for DMA as special
2015-09-23 15:53:00 +02:00
Gerrit Code Review
17b39c2834 Update notes for submitted changes
* vm: Let SEF know about special mmapped regions.
2015-09-23 15:52:55 +02:00
Gerrit Code Review
74c69f752e Update notes for submitted changes
* RS: clean up dead services during shutdown
2015-09-23 15:52:50 +02:00
Gerrit Code Review
db6c0db2e7 Update notes for submitted changes
* RS: reset heartbeat status after rollback
2015-09-23 15:52:45 +02:00
Gerrit Code Review
05030cc7bc Update notes for submitted changes
* RS: use IPC filters to do a timed receive
2015-09-23 15:52:40 +02:00
Gerrit Code Review
f035ec2c9e Update notes for submitted changes
* rs: New RS.
2015-09-23 15:52:35 +02:00
Gerrit Code Review
1c1afc70d3 Update notes for submitted changes
* sef: Extensions for new RS.
2015-09-23 15:52:30 +02:00
Gerrit Code Review
aff790b8dd Update notes for submitted changes
* sef: New definitions and event loop refactory.
2015-09-23 15:52:24 +02:00
Gerrit Code Review
ad850d36de Update notes for submitted changes
* service: Extensions for new RS.
2015-09-23 15:52:20 +02:00
Gerrit Code Review
95d5bbcb70 Update notes for submitted changes
* include: Header file changes for new RS.
2015-09-23 15:52:16 +02:00
Gerrit Code Review
22168ebcc1 Update notes for submitted changes
* sef: Naming refactory.
2015-09-23 15:52:10 +02:00
Gerrit Code Review
610d4a9f7e Update notes for submitted changes
* sef: GCOV cleanup.
2015-09-23 15:52:03 +02:00
Gerrit Code Review
8772cbbc4e Update notes for submitted changes
* vm: Allow VM to make self calls when needed.
2015-09-23 15:51:59 +02:00
Gerrit Code Review
efe5074f6c Update notes for submitted changes
* vm: Improve live update support.
2015-09-23 15:51:54 +02:00
Gerrit Code Review
a578b407c1 Update notes for submitted changes
* vm: Separate mmap regions.
2015-09-23 15:51:49 +02:00
Gerrit Code Review
9eaac094e8 Update notes for submitted changes
* vm: Extend the vm_memctl() interface.
2015-09-23 15:51:43 +02:00
Gerrit Code Review
e07ec69e63 Update notes for submitted changes
* rs: Ditch dead code to munmap zero pages.
2015-09-23 15:51:38 +02:00
Gerrit Code Review
25c6ae0b21 Update notes for submitted changes
* libsys: Increase number of static grants.
2015-09-23 15:51:33 +02:00
Gerrit Code Review
21e25ffb0f Update notes for submitted changes
* libsys: Support for senda_reload().
2015-09-23 15:51:26 +02:00
Gerrit Code Review
7889329258 Update notes for submitted changes
* libsys: Change SEF Live Update state callback API.
2015-09-23 15:51:21 +02:00
Gerrit Code Review
92ea0e24f2 Update notes for submitted changes
* kernel: Debug printing at live update time.
2015-09-23 15:51:15 +02:00
Gerrit Code Review
39b2b12f35 Update notes for submitted changes
* kernel: Handle IPC properly at live update time.
2015-09-23 15:51:08 +02:00
Gerrit Code Review
35c381abc1 Update notes for submitted changes
* kernel: Inherit allowed memory, IRQ & I/O ranges
2015-09-23 15:51:01 +02:00
Gerrit Code Review
da1cb5c0d8 Update notes for submitted changes
* kernel: Allow kernel calls to return ENOTREADY.
2015-09-23 15:50:55 +02:00
Gerrit Code Review
c25ec53931 Update notes for submitted changes
* kernel: Add support for IPC filters.
2015-09-23 15:50:49 +02:00
Gerrit Code Review
2fc86d6671 Update notes for submitted changes
* kernel: Add SYS_PRIV_CLEAR_IPC_REFS support.
2015-09-23 15:50:40 +02:00
Gerrit Code Review
3e8247a70c Update notes for submitted changes
* kernel: Extend the {sys,vm}_update() interfaces.
2015-09-23 15:50:34 +02:00
Gerrit Code Review
51edcc1b6d Update notes for submitted changes
* kernel: Extend the sys_whoami() interface.
2015-09-23 15:50:29 +02:00
Gerrit Code Review
5598e8eaa7 Update notes for submitted changes
* kernel: Extend the sys_statectl() interface.
2015-09-23 15:50:24 +02:00