L4Re/departure

Graph

(0) -100 -60 +60 +100 +300 tip
Removed superfluous includes.
Introduced a method for common functionality.
Added initial support for notifications and blocking operations on pipes.
Return errors from region navigation functions instead of memory addresses.
Make page flushing depend on whether flexpages experience write accesses.
Produce different error codes depending on whether endpoints have been closed.
Somewhat reorganised and also renamed the internal flush/access function.
Moved libext2fs_blockserver into this distribution.
Tidied, introducing functions, and adding node definitions and colouring.
Added documentation strings for various methods.
Removed redundant region state size and validity method, implementing a flush
Introduced filesystem client support for pipes, along with the notion of a file
Fixed region allocation when no more regions are available.
Replaced the filesystem client accessor and opener with ext2-based equivalents.
Added support for testing access to an Ext2 filesystem stored in a host file.
Allow the client library to automatically map memory for the file.
Added a function for opening files via a named capability.
Added a file implementation using the filesystem client interface as a basis of
Moved the size member from the generic accessor since not all accessors may
Added automatic memory mapping for reading and writing if not already performed.
Fixed the include to use a qualified, global filename.
Added missing pragma and fixed transfer length types.
Permit overriding of the server capability name.
Removed superfluous includes.
Added a header dependency graph generation tool.
Reorganised into a collection of packages for each area of functionality.
Added copyright and licensing information.
Introduced an address type and used the offset type more thoroughly. Unlike
Introduced distinct types instead of using the file offset type throughout. This
Changed mmap to return the file size, not the populated extent of the region.
Ensure two allocated regions for pipes by rounding up to the region size.
Removed automatic instantiation of memory objects in various classes.
Fixed conversion to map-compatible flags, also introducing basic enforcement of
Employ map request flags instead of the maximal flags when sending flexpages.
Introduced file opening flags to various operations.
Moved server programs, also making their memory usage somewhat configurable.
Moved resource server files to the generic subdirectory.
Moved various files into subdirectories.
Moved various files into subdirectories. Renamed Paging to FilePaging along with
Moved method between sections.
Incorporated the paging abstraction in opener abstractions, introducing critical
Removed the largely superfluous accessing abstraction. Since each accessor will
Moved more memory-related functionality into the memory subdirectory.
Moved file-related openers into the files subdirectory.
Moved page collections and queues into their own subdirectory.
Fixed the remove operation in the partitioned queue: flexpages will be added
Support the release of preallocated memory.
Introduced a preallocated memory object alongside the existing incremental
Moved file and pipe functionality into separate subdirectories.
Introduced generic page collection and page queue base classes, with distinct
Added comment.
Added completion message.
Introduced support for closing pipe resources.
Introduced a size parameter when opening pipes, reorganising the architecture to
Introduced initial pipe support using a special "conserving" page collection
Removed superfluous includes.
Added a method exposing the default region size.
Removed erroneous deletion of resources upon thread initiation failure. The
Added a method to indicate whether memory was actually allocated.
Changed the preallocated memory pool to obtain all its memory at once. Moved the
(0) -100 -60 +60 +100 +300 tip