source: trunk/kernel/mm/mapper.h @ 220

Last change on this file since 220 was 204, checked in by alain, 7 years ago

Bug fix in kernel_init
-This line, and those below, will be ignored--

M params.mk
M kernel_config.h
M Makefile
M hdd/virt_hdd.dmg
M tools/bootloader_tsar/boot.c
M kernel/libk/bits.h
M kernel/libk/elf.c
M kernel/libk/xhtab.c
M kernel/libk/elf.h
M kernel/libk/xhtab.h
M kernel/devices/dev_pic.c
M kernel/mm/vmm.c
M kernel/mm/mapper.c
M kernel/mm/mapper.h
M kernel/vfs/devfs.h
M kernel/vfs/vfs.c
M kernel/vfs/vfs.h
M kernel/vfs/devfs.c
M kernel/kern/chdev.h
M kernel/kern/kernel_init.c
M kernel/kern/process.c
M kernel/kern/process.h
M hal/tsar_mips32/core/hal_remote.c
M hal/tsar_mips32/drivers/soclib_pic.c

File size: 8.8 KB
Line 
1/*
2 * mapper.h - Map memory, file or device in process virtual address space.
3 *
4 * Authors   Mohamed Lamine Karaoui (2015)
5 *           Alain Greiner (2016)
6 *
7 * Copyright (c)  UPMC Sorbonne Universites
8 *
9 * This file is part of ALMOS-MKH.
10 *
11 * ALMOS-MKH is free software; you can redistribute it and/or modify it
12 * under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; version 2.0 of the License.
14 *
15 * ALMOS-MKH is distributed in the hope that it will be useful, but
16 * WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18 * General Public License for more details.
19 *
20 * You should have received a copy of the GNU General Public License
21 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
22 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
23 */
24
25#ifndef _MAPPER_H_
26#define _MAPPER_H_
27
28#include <hal_types.h>
29#include <hal_atomic.h>
30#include <xlist.h>
31#include <grdxt.h>
32#include <rwlock.h>
33
34/****  Forward declarations ****/
35
36struct page_s;
37struct vfs_inode_s;
38
39/*******************************************************************************************
40 * The mapper implements the kernel cache for a given file or directory.
41 * There is one mapper per file/dir. It is implemented as a three levels radix tree,
42 * entirely stored in the same cluster as the inode representing the file/dir.
43 * - The fast retrieval key is the page index in the file.
44 *   The ix1_width, ix2_width, ix3_width sub-indexes are configuration parameters.
45 * - The leaves are pointers on physical page descriptors, dynamically allocated
46 *   in the local cluster.
47 * - In a given cluster, a mapper is a "private" structure: a thread accessing the mapper
48 *   must be running in the cluster containing it (can be a local thread or a RPC thread).
49 * - The mapper is protected by a blocking "rwlock", to support several simultaneous
50 *   readers, and only one writer. This lock implement a busy waiting policy.
51 * - The two functions vfs_move_page_to_mapper() and vfs_move_page_from_mapper() define
52 *   the generic API used to move pages to or from the relevant file system.
53 * - the mapper_move() function is used to move data to or from a, possibly distributed
54 *   user buffer in user space.
55 * - The mapper_get_page() function that return a page descriptor pointer from a page
56 *   index in file is in charge of handling the miss on the mapper cache.
57 * - In the present implementation the cache size increases on demand, and the
58 *   allocated memory is only released when the mapper/inode is destroyed.
59 ******************************************************************************************/
60
61
62/*******************************************************************************************
63 * This structure defines the mapper descriptor.
64 ******************************************************************************************/
65
66typedef struct mapper_s
67{
68        struct vfs_inode_s * inode;           /*! owner inode                                     */
69        grdxt_t              radix;           /*! pages cache implemented as a radix tree         */
70        rwlock_t             lock;        /*! several readers / only one writer               */
71        uint32_t                 refcount;    /*! several vsegs can refer the same file           */
72        xlist_entry_t        vsegs_root;  /*! root of list of vsegs refering this mapper      */
73        xlist_entry_t        wait_root;   /*! root of list of threads waiting on mapper       */
74    list_entry_t         dirty_root;  /*! root of list of dirty pages                     */
75}
76mapper_t;
77
78/*******************************************************************************************
79 * This structure defines a "fragment". It is used to move data between the kernel mapper,
80 * and an user buffer, that can be split in several distributed physical pages located
81 * in different clusters. A fragment is a set of contiguous bytes in the file.
82 * - It can be stored in one single physical page in the user buffer.
83 * - It can spread two successive physical pages in the kernel mapper.
84 ******************************************************************************************/
85
86typedef struct fragment_s
87{
88    uint32_t    file_offset;         /*! offset of fragment in file (i.e. in mapper)      */
89    uint32_t    size;                /*! number of bytes in fragment                      */
90    cxy_t       buf_cxy;             /*! user buffer cluster identifier                   */
91    void      * buf_ptr;             /*! local pointer on first byte in user buffer       */
92}
93fragment_t;
94
95/*******************************************************************************************
96 * This function allocates physical memory for a mapper descriptor, and initializes it
97 * (refcount <= 0) / inode <= NULL).
98 * It must be executed by a thread running in the cluster containing the mapper.
99 *******************************************************************************************
100 * @ return pointer on created mapper if success / return NULL if no memory
101 ******************************************************************************************/
102mapper_t * mapper_create();
103
104/*******************************************************************************************
105 * This function releases all physical pages allocated for the mapper.
106 * It synchronizes all dirty pages (i.e. update the file on disk) if required.
107 * The mapper descriptor and the radix tree themselves are released.
108 * It must be executed by a thread running in the cluster containing the mapper.
109 *******************************************************************************************
110 * @ mapper      : target mapper.
111 * @ return 0 if success / return EIO if a dirty page cannot be updated on device.
112 ******************************************************************************************/
113error_t mapper_destroy( mapper_t * mapper );
114
115/*******************************************************************************************
116 * This function move data between a kernel mapper and an user buffer.
117 * It must be called by a thread running in the cluster containing the mapper.
118 * It split the data in fragments : one fragment is a set of contiguous bytes
119 * stored in the same mapper page. 
120 * It uses "hal_uspace" accesses to move fragments to/from the user buffer.
121 * In case of write, the dirty bit is set for all pages written in the mapper.
122 * The offset in the file descriptor is not modified by this function.
123 *******************************************************************************************
124 * @ mapper       : local pointer on local mapper.
125 * @ to_buffer    : move data from mapper to buffer if true.
126 * @ file_offset  : first byte to move in file.
127 * @ buffer       : buffer address in user space.
128 * @ size         : number of bytes to move.
129 * returns O if success / returns EINVAL if error.
130 ******************************************************************************************/
131error_t mapper_move( mapper_t * mapper,
132                     bool_t     to_buffer,
133                     uint32_t   file_offset,
134                     void     * buffer,
135                     uint32_t   size );
136
137/*******************************************************************************************
138 * This function removes a physical page from the mapper, update the FS if the page
139 * is dirty, and releases the page to PPM. It is called by the mapper_destroy() function.
140 * It must be executed by a thread running in the cluster containing the mapper.
141 * It takes both the page lock and the mapper lock in WRITE_MODE to release the page.
142 *******************************************************************************************
143 * @ mapper     : local pointer on the mapper.
144 * @ page       : pointer on page to remove.
145 * @ return 0 if success / return EIO if a dirty page cannot be copied to FS.
146 ******************************************************************************************/
147error_t mapper_release_page( mapper_t      * mapper,
148                             struct page_s * page );
149
150/*******************************************************************************************
151 * This function searches a physical page descriptor from its index in mapper.
152 * It must be executed by a thread running in the cluster containing the mapper.
153 * In case of miss, it takes the mapper lock in WRITE_MODE, load the missing
154 * page from device to the mapper, and release the mapper lock.
155 *******************************************************************************************
156 * @ mapper     : local pointer on the mapper.
157 * @ index      : page index in file
158 * @ returns pointer on page descriptor if success / return NULL if error.
159 ******************************************************************************************/
160struct page_s * mapper_get_page( mapper_t * mapper,
161                                 uint32_t   index );
162
163 
164
165#endif /* _MAPPER_H_ */
Note: See TracBrowser for help on using the repository browser.