L4Re/departure

Graph

(0) -300 -100 -60 +60 +100 tip
Removed redundant interface generation definitions.
Attempt to handle local capabilities in messages sent within tasks.
Introduced naming conventions for server capabilities.
Changed the internal pager capability name to avoid potential conflicts.
Moved program file opening to the general process creation functionality.
Introduced deallocation of pager/region mapper resources.
Renamed variables to be more obviously informative.
Introduced freeing of imported capabilities that cannot be attached.
Propagated the created task's own capability details to the pager so that it may
Added a convenience function for unmapping capabilities from tasks.
Propagate capability details for the pager and threads in the new task back to
Added close method and resource deallocation.
Added comment.
Fixed region mapper initialisation array sizes to correspond to the program
Allocate payload and stack resources dynamically to permit control over when
Fixed deletion of segments when payloads are deallocated.
Support same-thread resource finalisation, making InternalPager a resource.
Handle termination signals, decoupling programs from their pagers and releasing
Changed the process server to act as a plain Opener object, yielding a context
Moved get_path to the SimplePager class as get_string for broader potential use.
Made the external pager a resource so that it can be managed more conveniently.
Changed the unsubscribe operation in the notification interface to involve an
Create a new pager object for each new process.
Employed a ProcessCreating instance instead of it being a base class.
Simplified the subscribe and unsubscribe interfaces, removing the opaque
Replaced special-case notifier handling with the more general notification
Introduced a process server and a prototype mechanism for starting new processes
Added various docstrings.
Introduced values to the notify operation and notification mechanisms.
Added initial support for communicating process/task signals as notifications.
Introduced generic notifier types to the notification mechanism.
Removed superfluous server interface definitions.
Moved process creation functionality into libexec.
Added client_reopen function details.
Introduced a reopen operation to open new instances of already-opened files,
Parameterised task initialisation methods with the number of initial threads.
Removed superfluous set_parent operation.
Introduced a function for converting to mapping flags from page fault flags.
Added some more generally useful information.
Merged concurrent changes.
Added experimental support for program termination handling.
Made some small documentation improvements.
Updated the documentation, reordering and removing the IPC fix remarks.
Minor adjustments; added headings.
Added PageMapper remarks and diagram.
Attempt to fix the format specifier for the file link count type.
Adjusted the IPC type for device numbers along with various format specifiers,
Updated Makefiles for versions of idl with proper compound interface support.
Fixed parameter names and comments.
Updated the documentation to reflect idl4re and server configuration changes.
Introduced slightly simplified server configuration enabled by idl4re changes.
Fixed various format specifiers.
Improved the documentation in a number of areas.
Added header file descriptions and a script to generate them.
Introduced format specifier macros to avoid output formatting difficulties.
Improved error message details.
Fixed (or at least improved) reserved flexpage generation for larger page sizes.
Reverted ext2fs_flush call removal, this failing due to broken unmap behaviour.
Improved error message details.
Fixed unmap flexpage flags, these being meant to unmap the flexpage completely.
(0) -300 -100 -60 +60 +100 tip