Changes between Version 44 and Version 45 of WikiStart

Timestamp:

Oct 6, 2017, 12:43:18 PM (7 years ago)

Author:

alain

Comment:

--

WikiStart

@@ -42 +42 @@
 To avoid contention when several threads access the same page table to handle TLB miss, ALMOS-MK replicates the page tables. For each multi-threaded user application P, the Generic Page Table (GPT), and the Virtual Segments List (VSL) are replicated in each cluster K containing at least one thread of the application. According to the "on-demand paging" principle, these replicated structures GPT(K,P) and  VSL(K,P) are dynamically updated when page faults are detected. This section describes this building mechanism and the coherence protocol required by these multiple copies.
 
-== E) [wiki:thead_scheduling Trans-Cluster lists of threads] ==
+== E) [wiki:thead_scheduling Trans-cluster lists of threads] ==
 
-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.
+ALMOS-MKH must handle dynamic sets of threads, such as the set of all threads waiting to access a given peripheral device. These sets of threads are implemented as circular double linked lists. 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 Calls] ==