1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/generic/resource_server.h Fri Apr 02 22:38:14 2021 +0200
1.3 @@ -0,0 +1,76 @@
1.4 +/*
1.5 + * Common resource server functions.
1.6 + *
1.7 + * Copyright (C) 2018, 2019, 2020 Paul Boddie <paul@boddie.org.uk>
1.8 + *
1.9 + * This program is free software; you can redistribute it and/or
1.10 + * modify it under the terms of the GNU General Public License as
1.11 + * published by the Free Software Foundation; either version 2 of
1.12 + * the License, or (at your option) any later version.
1.13 + *
1.14 + * This program is distributed in the hope that it will be useful,
1.15 + * but WITHOUT ANY WARRANTY; without even the implied warranty of
1.16 + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1.17 + * GNU General Public License for more details.
1.18 + *
1.19 + * You should have received a copy of the GNU General Public License
1.20 + * along with this program; if not, write to the Free Software
1.21 + * Foundation, Inc., 51 Franklin Street, Fifth Floor,
1.22 + * Boston, MA 02110-1301, USA
1.23 + */
1.24 +
1.25 +#pragma once
1.26 +
1.27 +#include "resource.h"
1.28 +#include <ipc/server.h>
1.29 +
1.30 +
1.31 +
1.32 +/* Convenience abstraction for blocking servers. */
1.33 +
1.34 +class ResourceServer
1.35 +{
1.36 +protected:
1.37 + Resource *_resource;
1.38 + ipc_server_config_type *_config;
1.39 +
1.40 +public:
1.41 + explicit ResourceServer(Resource *resource)
1.42 + : _resource(resource)
1.43 + {
1.44 + _config = new ipc_server_config_type;
1.45 + ipc_server_init_config(_config);
1.46 + }
1.47 +
1.48 + /* Access to configuration. */
1.49 +
1.50 + ipc_server_config_type *config()
1.51 + { return _config; }
1.52 +
1.53 + /* Server IPC gate allocation. */
1.54 +
1.55 + long bind(const char *name);
1.56 +
1.57 + /* Server initiation. */
1.58 +
1.59 + long start();
1.60 +
1.61 + long start_thread();
1.62 +};
1.63 +
1.64 +
1.65 +
1.66 +/* Server initialisation. */
1.67 +
1.68 +void resource_init_config(ipc_server_config_type *config, Resource *resource);
1.69 +
1.70 +void resource_set_config_threaded(ipc_server_config_type *config,
1.71 + l4_cap_idx_t thread, int new_thread);
1.72 +
1.73 +/* Server initiation. */
1.74 +
1.75 +long resource_start_config(ipc_server_config_type *config, Resource *resource);
1.76 +
1.77 +/* Server finalisation. */
1.78 +
1.79 +void resource_thread_finaliser(ipc_server_config_type *config);