1.1 --- a/docs/tools/make_docs.sh Wed Mar 29 00:32:20 2023 +0200
1.2 +++ b/docs/tools/make_docs.sh Wed Mar 29 17:00:56 2023 +0200
1.3 @@ -2,9 +2,8 @@
1.4
1.5 THISDIR=`dirname "$0"`
1.6 INDIR="$THISDIR/../wiki"
1.7 -OUTDIR="$THISDIR/../html"
1.8
1.9 -ROOT="Filesystems"
1.10 +ROOT="Departure"
1.11
1.12 MAPPING='--mapping WikiPedia https://en.wikipedia.org/wiki/'
1.13 THEME='--theme mercurial'
1.14 @@ -16,6 +15,13 @@
1.15 DOCINDEX='--document-index index.html'
1.16 fi
1.17
1.18 +if [ "$1" = '-o' ] ; then
1.19 + OUTDIR="$2"
1.20 + shift 2
1.21 +else
1.22 + OUTDIR="$THISDIR/../html"
1.23 +fi
1.24 +
1.25 FILENAMES=${*:-'--all'}
1.26
1.27 moinconvert --input-dir "$INDIR" \
2.1 --- a/docs/wiki/Departure Wed Mar 29 00:32:20 2023 +0200
2.2 +++ b/docs/wiki/Departure Wed Mar 29 17:00:56 2023 +0200
2.3 @@ -19,7 +19,7 @@
2.4
2.5 subgraph cluster_client {
2.6 color=none; style=filled; fillcolor="#ccffcc";
2.7 - label="Client library"; URL="../Client_Library";
2.8 + label="Client library"; URL="Client_Library";
2.9
2.10 notifications [label="Notifications"];
2.11 io [label="Input/Output"];
2.12 @@ -27,7 +27,7 @@
2.13
2.14 subgraph cluster_components {
2.15 color=none; style=filled; fillcolor="#ccccff";
2.16 - label="Components"; URL="../Components";
2.17 + label="Components"; URL="Components";
2.18
2.19 pipes [label="Pipes"];
2.20 openers [label="Openers"];
2.21 @@ -38,7 +38,7 @@
2.22
2.23 subgraph cluster_server {
2.24 color=none; style=filled; fillcolor="#ffcccc";
2.25 - label="Server library"; URL="../Server_Library";
2.26 + label="Server library"; URL="Server_Library";
2.27
2.28 resources [label="Resources"];
2.29 registries [label="Registries"];
3.1 --- a/docs/wiki/Program_Loading Wed Mar 29 00:32:20 2023 +0200
3.2 +++ b/docs/wiki/Program_Loading Wed Mar 29 17:00:56 2023 +0200
3.3 @@ -7,6 +7,16 @@
3.4 fault handler configured to provide program file content whenever a region of
3.5 the program payload is encountered that is not currently resident in memory.
3.6
3.7 +<<TableOfContents(2,3)>>
3.8 +
3.9 +== Program Initialisation ==
3.10 +
3.11 +To load and initialise a program, a new task must be created, defining a
3.12 +separate address space for the program and allowing it to operate
3.13 +independently of other programs. For a program to actually run, a thread of
3.14 +execution must be created so that the program's instructions can be read and
3.15 +processed.
3.16 +
3.17 == Internal Page Fault Handlers ==
3.18
3.19 When satisfying page faults for a task, one approach involves situating the
3.20 @@ -86,8 +96,7 @@
3.21
3.22 == External Page Fault Handlers ==
3.23
3.24 -Another approach that may be used to support an internal page fault handler
3.25 -deployed in a task is to employ an external page fault handler in the creating
3.26 +Another approach is to employ an external page fault handler in the creating
3.27 task. When a page fault occurs, the external handler ensures that the
3.28 appropriate content has been brought into its own memory space. It then
3.29 returns a flexpage from the handler routine to resolve the fault.
3.30 @@ -168,6 +177,11 @@
3.31
3.32 ########
3.33
3.34 +This arrangement may be used to support a program deployed in a task. Since an
3.35 +internal page fault handler is just another kind of program, this external
3.36 +pager arrangement can be constrained to only supporting an internal page fault
3.37 +handler deployed in a task.
3.38 +
3.39 == Configuring Programs ==
3.40
3.41 To provide an internal page fault handler alongside an actual program to be