L4Re/departure

libfsserver/include/fsserver/file_pager.h

618:7123a7307a82
8 months ago Paul Boddie Introduced some debugging output control.
     1 /*     2  * File-specific pager functionality.     3  *     4  * Copyright (C) 2021, 2022, 2023 Paul Boddie <paul@boddie.org.uk>     5  *     6  * This program is free software; you can redistribute it and/or     7  * modify it under the terms of the GNU General Public License as     8  * published by the Free Software Foundation; either version 2 of     9  * the License, or (at your option) any later version.    10  *    11  * This program is distributed in the hope that it will be useful,    12  * but WITHOUT ANY WARRANTY; without even the implied warranty of    13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the    14  * GNU General Public License for more details.    15  *    16  * You should have received a copy of the GNU General Public License    17  * along with this program; if not, write to the Free Software    18  * Foundation, Inc., 51 Franklin Street, Fifth Floor,    19  * Boston, MA  02110-1301, USA    20  */    21     22 #pragma once    23     24 #include <fsserver/mapped_file_object_interface.h>    25 #include <fsserver/pager.h>    26 #include <fsserver/file_provider.h>    27     28     29     30 /* A pager abstraction for a file. */    31     32 class FilePager : public Pager, public MappedFileObject    33 {    34 protected:    35     FileProvider *_provider;    36     flags_t _flags;    37     38     /* Notification endpoint for event subscription. */    39     40     l4_cap_idx_t _notifier = L4_INVALID_CAP;    41     42     /* Resize flag for notification. */    43     44     bool _resized = false;    45     46     /* Helper methods. */    47     48     bool copy_on_write();    49     50 public:    51     fileid_t fileid;    52     53     explicit FilePager(fileid_t fileid, FileProvider *provider, flags_t flags);    54     55     virtual void close();    56     57     /* Server details. */    58     59     ipc_server_default_config_type config();    60     61     void *interface()    62     { return static_cast<MappedFileObject *>(this); }    63     64     /* File methods. */    65     66     virtual long flush(offset_t populated_size, offset_t *size);    67     68     virtual long reopen(flags_t flags, offset_t *size, l4_cap_idx_t *file,    69                         object_flags_t *object_flags);    70     71     virtual long resize(offset_t *size);    72     73     /* Pager and mapped file methods. */    74     75     virtual long map(offset_t offset, map_address_t hot_spot, map_flags_t flags,    76                      l4_snd_fpage_t *region);    77     78     virtual long mmap(offset_t position, offset_t length,    79                       offset_t start_visible, offset_t end_visible,    80                       offset_t *start_pos, offset_t *end_pos, offset_t *size);    81     82     /* Notification methods. */    83     84     virtual long subscribe(l4_cap_idx_t notifier, notify_flags_t flags);    85     86     virtual long unsubscribe();    87 };    88     89 // vim: tabstop=4 expandtab shiftwidth=4