Changes between Version 41 and Version 42 of WikiStart

Timestamp:

Aug 4, 2017, 2:45:56 PM (7 years ago)

Author:

max@…

Comment:

--

WikiStart

@@ -35 +35 @@
 == C) [wiki:replication_distribution Data replication & distribution policy] ==
 
-This section describes the general policy for replication/distribution of the informations on the various physical memory banks.
+This section describes the general policy for replication/distribution of the information on the various physical memory banks.
 We have two main goals: enforce memory access locality, and avoid contention when several threads access simultaneously the same information. To control the placement and the replication of the physical memory banks, the kernel uses the paged virtual memory.
 
@@ -44 +44 @@
 == E) [wiki:thead_scheduling Trans-Cluster lists of threads] ==
 
-ALMOS_MK uses double linked list to represent  a set of threads. For example ALMOS-MK must build the set of all threads waiting to access a given resource, such as a given peripheral device.
-As these threads can be running on any cluster, these linked lists are ''trans-cluster'', and requires specifictechnics in a multi kernel OS, where each kernel instance is handling only resources localized in a single cluster.
+ALMOS_MK uses a double linked list to represent a set of threads. For example ALMOS-MK must build the set of all threads waiting to access a given resource, such as a given peripheral device.
+As these threads can be running on any cluster, these linked lists are ''trans-cluster'', and require specific technics in a multi kernel OS, where each kernel instance is handling only resources localized in a single cluster.
 
 == F) [wiki:rpc_implementation Remote Procedure Call] ==
@@ -55 +55 @@
 This section describes the ALMOS-MK boot procedure.
 
-== I) [wiki:scheduler Ordonnanceur] ==
+== I) [wiki:scheduler Scheduling] ==