source: trunk/hal/generic/hal_gpt.h @ 556

Last change on this file since 556 was 457, checked in by alain, 6 years ago

This version modifies the exec syscall and fixes a large number of small bugs.
The version number has been updated (0.1)

File size: 13.2 KB
RevLine 
[1]1/*
2 * hal_gpt.h - Generic Page Table API definition.
3 *
4 * Authors  Alain Greiner (2016)
5 *
6 * Copyright (c) UPMC Sorbonne Universites
7 *
8 * This file is part of ALMOS-MKH.
9 *
10 * ALMOS-MKH is free software; you can redistribute it and/or modify it
11 * under the terms of the GNU General Public License as published by
12 * the Free Software Foundation; version 2.0 of the License.
13 *
14 * ALMOS-MKH is distributed in the hope that it will be useful, but
15 * WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17 * General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
21 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
22 */
23
24#ifndef _GPT_H_
25#define _GPT_H_
26
[457]27#include <hal_kernel_types.h>
[1]28
29/////////////////////////////////////////////////////////////////////////////////////////
30//           Generic Page Table Definition (implementation in hal_gpt.c)
31//
[17]32// It is specified as a simple (one dimensional) array indexed by the VPN (vpn_t type),
33// even if implementations can use a more sophisticated organisation (two-levels or more).
34// - The number of entries (number of pages in a virtual space) is architecture
35//   dependent, and is defined as (CONFIG_USER_SPACE_SIZE / CONFIG_PPM_PAGE_SIZE).
36// - Each entry contains a Physical Page Number (ppn_t type), and a set of attributes,
[408]37//   defined as a 32 bits-vector.
[1]38//
[17]39// Any arch-specific implementation must implement this API.
[1]40/////////////////////////////////////////////////////////////////////////////////////////
41
42/****  Forward declarations  ****/
43
44struct page_s;
[407]45struct process_s;
[1]46
47/****************************************************************************************
[383]48 * These macros define the masks for the Generic Page Table Entry attributes.
[1]49 ***************************************************************************************/
50
[407]51#define GPT_MAPPED      0x0001       /*! PTE is mapped                                 */
52#define GPT_SMALL       0x0002       /*! PTE is a small page                           */
53#define GPT_READABLE    0x0004       /*! PTE is readable                               */
54#define GPT_WRITABLE    0x0008       /*! PTE is writable                               */
55#define GPT_EXECUTABLE  0x0010       /*! PTE is executable                             */
56#define GPT_CACHABLE    0x0020       /*! PTE can be cached                             */
57#define GPT_USER        0x0040       /*! PTE is user accessible                        */
58#define GPT_DIRTY       0x0080       /*! PTE has been "recently" written               */
59#define GPT_ACCESSED    0x0100       /*! PTE has been "recently" accessed              */
60#define GPT_GLOBAL      0x0200       /*! PTE is kept in TLB at context switch          */
61#define GPT_COW         0x0400       /*! PTE must be copied on write                   */
62#define GPT_SWAP        0x0800       /*! PTE swapped on disk (not implemented yet)     */
63#define GPT_LOCKED      0x1000       /*! PTE is protected against concurrent access    */
[1]64
65/****************************************************************************************
[41]66 * This structure defines the Generic Page Table descriptor.
[1]67 ***************************************************************************************/
68
69typedef struct gpt_s
70{
[315]71        void           * ptr;    /*! local pointer on GPT root                             */
[1]72        ppn_t            ppn;    /*! PPN of GPT root                                       */
73}
74gpt_t;
75
76
77/****************************************************************************************
[41]78 * This function allocates physical memory for first level page table (PT1),
[17]79 * and initializes the page table descriptor.
[1]80 ****************************************************************************************
81 * @ gpt     : pointer on generic page table descriptor.
82 * @ returns 0 if success / returns ENOMEM if error.
83 ***************************************************************************************/
84error_t hal_gpt_create( gpt_t * gpt );
85
86/****************************************************************************************
87 * This function releases all memory dynamically allocated for a generic page table.
88 * For a multi-levels radix tree implementation, it includes all nodes in the tree.
[17]89 * If the calling thread is running in the reference cluster, it checks that user PTE
[41]90 * entries are unmapped, and releases the mapped physical pages.
[1]91 * The kernel pages are not released.
92 ****************************************************************************************
93 * @ gpt     : pointer on generic page table descriptor.
94 ***************************************************************************************/
95void hal_gpt_destroy( gpt_t * gpt);
96
97/****************************************************************************************
[41]98 * This function prints on the kernel terminal the content of a generic page table.
[1]99 ****************************************************************************************
[407]100 * @ process : pointer on local process descriptor.
[1]101 ***************************************************************************************/
[407]102void hal_gpt_display( struct process_s * process );
[1]103
104/****************************************************************************************
[41]105 * This blocking function gets a lock on a PTE (Page Table Entry) identified
[1]106 * by its VPN, and returns only when the PTE has been successfully locked.
[17]107 * If the target PTE is not present, it allocates and maps a physical page.
[1]108 * A big page cannot be locked.
109 ****************************************************************************************
[17]110 * @ gpt     : pointer on the generic page table
[1]111 * @ vpn     : virtual page number of the target PTE.
[17]112 * @ returns 0 if success / return ENOMEM or EINVAL if error.
[1]113 ***************************************************************************************/
114error_t hal_gpt_lock_pte( gpt_t * gpt,
115                          vpn_t   vpn );
116
117/****************************************************************************************
118 * This function releases the lock on a PTE identified by its VPN.
119 ****************************************************************************************
[17]120 * @ gpt     : pointer on the generic page table
[1]121 * @ vpn     : virtual page number of the target PTE.
[17]122 * @ returns 0 if success / returns EINVAL if error.
[1]123 ***************************************************************************************/
[17]124error_t hal_gpt_unlock_pte( gpt_t * gpt,
125                            vpn_t   vpn );
[1]126
127/****************************************************************************************
[408]128 * This function map a local GPT entry identified by its VPN, from values defined
[1]129 * by the ppn and attr arguments. It allocates physical memory for the local generic
130 * page table itself if required.
131 ****************************************************************************************
132 * @ gpt       : [in] pointer on the page table
133 * @ vpn       : [in] virtual page number
[408]134 * @ attr      : [in] generic attributes
[17]135 * @ ppn       : [in] physical page number
[1]136 * @ returns 0 if success / returns ENOMEM if error
137 ***************************************************************************************/
138error_t hal_gpt_set_pte( gpt_t    * gpt,
139                         vpn_t      vpn,
[408]140                         uint32_t   attr,
141                         ppn_t      ppn );
[1]142
143/****************************************************************************************
[401]144 * This function unmaps a page table entry identified by the <vpn> argument in the
145 * local page table identified by the <gpt> argument.
146 * It does NOT release the physical memory allocated for the unmapped page.
[1]147 ****************************************************************************************
[401]148 * @ gpt       : [in] pointer on the local page table
[1]149 * @ vpn       : [in] virtual page number
150 ***************************************************************************************/
151void hal_gpt_reset_pte( gpt_t * gpt,
152                        vpn_t   vpn );
153
154/****************************************************************************************
[408]155 * This function returns in the <attr> and <ppn> arguments the current values
156 * stored in a GPT entry, identified by the <gpt> and <vpn> arguments.
[1]157 ****************************************************************************************
[408]158 * @ gpt_xp    : [in]  pointer on the page table
[1]159 * @ vpn       : [in]  virtual page number
160 * @ attr      : [out] generic attributes
[17]161 * @ ppn       : [out] physical page number
[1]162 ***************************************************************************************/
163void hal_gpt_get_pte( gpt_t    * gpt,
164                      vpn_t      vpn,
165                      uint32_t * attr,
166                      ppn_t    * ppn );
[41]167
[23]168/****************************************************************************************
[408]169 * This function is used to implement the "fork" system call: It copies one GPT entry
170 * identified by the <vpn> argument, from a remote <src_gpt_xp> to a local <dst_gpt>.
171 * It does nothing if the source PTE is not MAPPED and SMALL.
[407]172 * It optionnally activates the "Copy on Write" mechanism: when the <cow> argument is
[408]173 * true: the GPT_WRITABLE flag is reset, and the GPT_COW flag is set.
174 * A new second level PT2(s) is allocated for destination GPT if required.
175 * It returns in the <ppn> and <mapped> arguments the PPN value for the copied PTE,
176 * and a boolean indicating if the PTE is mapped and small, and was actually copied.
[23]177 ****************************************************************************************
[408]178 * @ dst_gpt      : [in]  local pointer on the local destination GPT.
179 * @ src_gpt_xp   : [in]  extended pointer on the remote source GPT.
180 * @ vpn_base     : [in]  vpn defining the PTE to be copied.
181 * @ cow          : [in]  activate the COPY-On-Write mechanism if true.
182 * @ ppn          : [out] PPN value (only if mapped is true).
183 * @ mapped       : [out] true if src_gpt[vpn] actually copied to dst_gpt[vpn].
184 * @ return 0 if success / return -1 if no memory for a new PT2.
[23]185 ***************************************************************************************/
[408]186error_t hal_gpt_pte_copy( gpt_t    * dst_gpt,
187                          xptr_t     src_gpt_xp,
188                          vpn_t      vpn,
189                          bool_t     cow,
190                          ppn_t    * ppn,
191                          bool_t   * mapped );
[1]192
[407]193/****************************************************************************************
[408]194 * This function returns true if the MAPPED and SMALL flags are both set
195 * for a PTE defined by <gpt> and <vpn> arguments.
[407]196 ****************************************************************************************
197 * @ gpt       : [in]  pointer on the page table
198 * @ vpn       : [in]  virtual page number
[408]199 * @ returns true if MAPPED is set.
[407]200 ***************************************************************************************/
[408]201bool_t hal_gpt_pte_is_mapped( gpt_t * gpt,
202                              vpn_t   vpn );
203
204/****************************************************************************************
205 * This function returns true if the MAPPED, SMALL, and COW flags are all set
206 * for a PTE defined by <gpt> and <vpn> arguments.
207 ****************************************************************************************
208 * @ gpt       : [in]  pointer on the page table
209 * @ vpn       : [in]  virtual page number
210 * @ returns true if COW is set.
211 ***************************************************************************************/
[407]212bool_t hal_gpt_pte_is_cow( gpt_t * gpt,
213                           vpn_t   vpn );
[17]214
[408]215/****************************************************************************************
[432]216 * This function atomically set the COW flag and reset the WRITABLE flag for all PTEs
[408]217 * of a remote GPT identified by the <gpt_xp>, <vpn_base>, and <vpn_size arguments.
218 * It does nothing if the remote PTE is not MAPPED and SMALL.
219 ****************************************************************************************
220 * @ gpt_xp    : [in]  extended pointer on the remote GPT.
221 * @ vpn_base  : [in]  first virtual page.
222 * @ vpn_size  : [in]  number of pages.
223 ***************************************************************************************/
[432]224void hal_gpt_set_cow( xptr_t  gpt_xp,
225                      vpn_t   vpn_base,
226                      vpn_t   vpn_size );
[407]227
[408]228/****************************************************************************************
229 * This function is used to maintain coherence amongst the multiple GPT copies.
230 * It modifies an existing entry identified by the <vpn> argument in a remote GPT
231 * identified by the <gpt_xp> argument, using remote accesses.
232 * It cannot fail, because only MAPPED & SMALL entries are modified.
233 ****************************************************************************************
234 * @ gpt_xp    : [in] extended pointer on the page table
235 * @ vpn       : [in] virtual page number
236 * @ attr      : [in] generic attributes
237 * @ ppn       : [in] physical page number
238 ***************************************************************************************/
239void hal_gpt_update_pte( xptr_t     gpt_xp,
240                         vpn_t      vpn,
241                         uint32_t   attr,
242                         ppn_t      ppn );
243
244
[1]245#endif  /* _GPT_H_ */
[408]246
Note: See TracBrowser for help on using the repository browser.