|
Employed added support for ahead-of-time reply/completion functions to send |
|
|
Bundled pending set modifications with queue modifications. |
|
|
Introduced concurrency control measures to ensure that flexpages are made |
|
|
Added missing semaphore capability allocation. |
|
|
Added missing semaphore guarding of queue insertion. |
|
|
Fixed queue item retrieval to obtain a copy of the item before removal. |
|
|
Introduced critical sections guarding flexpage retrieval and map accesses in |
|
|
Removed superfluous STL comparison "functor". |
|
|
Removed storage of a computed l4_fpage_t value. |
|
|
Attempt to handle various race conditions by guarding removal from the flexpage |
|
|
Consolidated various methods to simplify the control flow. |
|
|
Switched to queuing and storing pointers to flexpages. This does not look as |
|
|
Moved flexpage management for individual files into accessors. This permits |
|
|
Make sure that generated headers are available when compiling. This becomes much |
|
|
Reorganised the paging mechanism, moving various operations into the accessor. |
|
|
Reorganised the paging code into separate sections of functionality. |
|
|
Renamed ContextSupport to BufferSupport; removed ContextResource since it was |
|
|
Added resources for input/output devices and pipes employed by such devices. |
|
|
Expanded a comment about paging object usage. |
|
|
Introduced a separate buffer type for context state, used also by objects. |
|
|
Replaced resource_start usage with the ResourceServer start_thread method. |
|
|
Replaced separate server classes with use of libipc server configurations, |
|
|
Moved IRQ unmasking into the server loop function. |
|
|
Updated the loop invocation. |
|
|
Delegated IRQ creation to the revised IPC functions. Reordered the handler |
|
|
Moved the server mainloop code to a new IPC library function. |
|
|
Moved server initialisation functionality to libipc. |
|
|
Changed fstat to return a reference to a metadata object acting as a dataspace. |
|
|
Remove accessors from paging coordinator mappings when completely detached. |
|
|
Retain a reference to the paging coordinator in paging accessors. |
|
|
Added a start method to resources, activating accessors in file resources, thus |
|
|
Renamed ContextResource, OpenerContextSupport to PagerResource, ContextResource. |
|
|
Simplified MappedFileResource::flush, utilising the base class method. |
|
|
Removed superfluous includes. |
|
|
Removed support for unmapped files. |
|
|
Removed deallocation of descriptor buffers. Such buffers are now provided by |
|
|
Moved getfs and mount to opener context resources. |
|
|
Treat directories as files, removing dedicated directory interface and server. |
|
|
Used a more appropriate base class when calling inherited methods. |
|
|
Added queue-jumping synchronisation operations. |
|
|
Added missing end method to the mapped file resource. |
|
|
Split various file operations out into a separate synchronisation interface. |
|
|
Removed superfluous include; made trivial edit to comment. |
|
|
Moved queuing-related methods into a separate resource base class. |
|
|
Introduced a convenience function for spawning resource servers. |
|
|
Introduced a dataspace-capable context for opening files and resources. |
|
|
Introduced a separate unmapped file interface, removing the read and write |
|
|
Removed the notification IRQ parameter from open operations. |
|
|
Introduced a common IDL export directory variable. |
|
|
Adopted more descriptive IDL output directory variable naming. |
|
|
Merged concurrent branches. |
|
|
Use IDL Makefile resources directly from idl4re. |
|
|
Introduced the Opener interface and extracted the supporting mechanism. |
|
|
Updated interface variable naming to use language-specific conventions. |
|
|
Added comments and reformatted slightly. |
|
|
Employ filesystem object structure pointers to mutate structure members. |
|
|
Expose another level of object opening for servers acting as proxies. |
|
|
Employ updated filesystem interface signatures. |
|
|
Introduced common functionality within a dedicated user filesystem resource. |
|
|
Updated message handling and introduced queue interface usage requiring support |
|
