L4Re/departure

libfsserver/include/fsserver/provider_registry.h

618:7123a7307a82
8 months ago Paul Boddie Introduced some debugging output control.
     1 /*     2  * A registry of filesystem object providers.     3  *     4  * Copyright (C) 2021, 2022 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 <map>    25 #include <mutex>    26     27 #include <mem/types.h>    28     29     30     31 /* Forward declaration. */    32     33 class Provider;    34     35     36     37 /* Mapping type from file identifiers to providers. */    38     39 typedef std::map<fileid_t, Provider *> ProviderMapping;    40 typedef std::pair<fileid_t, Provider *> ProviderMappingEntry;    41     42     43     44 /* A registry of filesystem object providers. */    45     46 class ProviderRegistry    47 {    48 protected:    49     ProviderMapping _providers;    50     std::mutex _lock;    51     52 public:    53     /* Filesystem object access. */    54     55     Provider *get(fileid_t fileid);    56     57     void remove(fileid_t fileid, Provider *provider);    58     59     void set(fileid_t fileid, Provider *provider);    60     61     /* Methods for resources. */    62     63     void detach(fileid_t fileid, Provider *provider);    64 };    65     66 // vim: tabstop=4 expandtab shiftwidth=4