L4Re/departure

Shortlog

(0) -300 -100 -60 +60 +100 tip
2023-04-09 Paul Boddie Updated program loading and roadmap notes.
2023-04-07 Paul Boddie Merged concurrent changes.
2023-04-07 Paul Boddie Updated notification details.
2023-03-29 Paul Boddie Merged concurrent changes.
2023-03-29 Paul Boddie Added notes about program initialisation and the use of external pagers.
2023-03-29 Paul Boddie Added output directory selection.
2023-03-20 Paul Boddie Fixed diagram URLs.
2023-04-06 Paul Boddie Attempted to fix detach operation behaviour due to the inscrutable L4Re API.
2023-04-06 Paul Boddie Introduced error handling when the desired lines cannot be located.
2023-04-04 Paul Boddie Attempt to deal with programs terminating before a capability can be issued to
2023-04-03 Paul Boddie Record the number of segments when initialising a payload variant, since various
2023-04-03 Paul Boddie Simplified the notifier architecture, attempting to address concurrency issues.
2023-04-03 Paul Boddie Fixed pipe numbering in messages.
2023-04-03 Paul Boddie Changed the notifier arrangement to employ per-thread notifier resources that
2023-03-29 Paul Boddie Moved flexpage-related IPC functions into libmem, also incorporating the
2023-03-28 Paul Boddie Work around region mapper issues when detaching and attaching dataspaces.
2023-03-28 Paul Boddie Updated the file opening test.
2023-03-28 Paul Boddie Make the pagers loop forever when encountering an exception.
2023-03-26 Paul Boddie Removed the deallocation of dataspace capabilities from the internal pager since
2023-03-26 Paul Boddie Propagate errors when failing to detach dataspaces.
2023-03-26 Paul Boddie Removed the indicated notifier from unsubscribe operations since it cannot be
2023-03-26 Paul Boddie Restored the intuitive ordering of unsubscribing and closing.
2023-03-26 Paul Boddie Added a reference to the L4Re code describing the interface.
2023-03-25 Paul Boddie Added initial support for detaching regions. Without this, it is likely that
2023-03-24 Paul Boddie Sought to prevent a race condition when deleting pipe paging coordinators.
2023-03-24 Paul Boddie Changed the process monitoring architecture, separating monitoring of the actual
2023-03-23 Paul Boddie Made the notify operation one-way, meaning that it does not produce a reply.
2023-03-22 Paul Boddie Permit re-entry, needed when subscribing to receive deferred notifications.
2023-03-22 Paul Boddie Obtain the task-level notifier at the start, closing it at the end of the test.
2023-03-22 Paul Boddie Introduced support for stopping a notifier.
2023-03-22 Paul Boddie Separated auto-deletion from general notifications related to IPC.
2023-03-22 Paul Boddie Record all server details to permit their deallocation.
2023-03-22 Paul Boddie Obtain the task-level notifier only one, closing it at the end of the test.
2023-03-22 Paul Boddie Introduced a separate library for the resource and resource server abstractions.
2023-03-21 Paul Boddie Changed notifier support to use resources instead of its own IPC handler.
2023-03-21 Paul Boddie Introduced a new method to start a resource in an existing thread, also
2023-03-20 Paul Boddie Removed superfluous interfaces and includes.
2023-03-20 Paul Boddie Moved notifier support into its own library.
2023-03-20 Paul Boddie Changed IPC message handling to interpret gate labels as generic endpoint ipc-config-endpoints
2023-03-20 Paul Boddie Added a separate prepare operation distinct from starting any server.
2023-03-20 Paul Boddie Reordered pager capability freeing to avoid warnings about invalid pagers.
2023-03-19 Paul Boddie Moved opening of the region mapper program file to the process server
2023-03-19 Paul Boddie Close the principal file structure after having constructed the program payload.
2023-03-19 Paul Boddie Made a separate test payload and program for file-related testing.
2023-03-19 Paul Boddie Made the process creation activity sequential and introduced a missing reset
2023-03-19 Paul Boddie Added missing include statements and introduced an explicit verbose mode.
2023-03-19 Paul Boddie Employ a more general way of including programs in the generated filesystem.
2023-03-18 Paul Boddie Fixed unwanted mapped region growth due to adjustment of region boundaries.
2023-03-18 Paul Boddie Fixed file member initialisation.
2023-03-17 Paul Boddie Added debugging support to show a name for each server in jdb.
2023-03-17 Paul Boddie Added a remark about file structure deallocation.
2023-03-16 Paul Boddie On MIPS32, at least, in a payload started by libexec, the main thread is not
2023-03-15 Paul Boddie Fixed memchr invocation when searching for the end of line.
2023-03-15 Paul Boddie Introduced support for reserve_area in the internal pager along with different
2023-03-14 Paul Boddie Fixed the first free UTCB address and thus pthread initialisation.
2023-03-13 Paul Boddie Expanded the execution test payload to test filesystem access.
2023-03-10 Paul Boddie Made use of a utility function for binding the IRQ to a thread.
2023-03-10 Paul Boddie Provide the filesystem capability to the new process.
2023-03-10 Paul Boddie Augmented comment with more details.
2023-03-10 Paul Boddie Removed redundant interface generation definitions.
(0) -300 -100 -60 +60 +100 tip