1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/servers/client_file_server.cc Sun Apr 18 22:32:54 2021 +0200
1.3 @@ -0,0 +1,88 @@
1.4 +/*
1.5 + * A dataspace server exposing file contents accessed via the filesystem client
1.6 + * interface.
1.7 + *
1.8 + * Copyright (C) 2020, 2021 Paul Boddie <paul@boddie.org.uk>
1.9 + *
1.10 + * This program is free software; you can redistribute it and/or
1.11 + * modify it under the terms of the GNU General Public License as
1.12 + * published by the Free Software Foundation; either version 2 of
1.13 + * the License, or (at your option) any later version.
1.14 + *
1.15 + * This program is distributed in the hope that it will be useful,
1.16 + * but WITHOUT ANY WARRANTY; without even the implied warranty of
1.17 + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1.18 + * GNU General Public License for more details.
1.19 + *
1.20 + * You should have received a copy of the GNU General Public License
1.21 + * along with this program; if not, write to the Free Software
1.22 + * Foundation, Inc., 51 Franklin Street, Fifth Floor,
1.23 + * Boston, MA 02110-1301, USA
1.24 + */
1.25 +
1.26 +#include <l4/sys/err.h>
1.27 +
1.28 +#include <ipc/thread.h>
1.29 +
1.30 +#include <stdio.h>
1.31 +#include <stdlib.h>
1.32 +
1.33 +#include <mem/memory_incremental.h>
1.34 +#include <fsserver/page_queue_shared.h>
1.35 +#include <fsserver/pages.h>
1.36 +#include <fsserver/resource_server.h>
1.37 +#include <fsserver/client_file_opener.h>
1.38 +
1.39 +
1.40 +
1.41 +/* Default number of pages for files. */
1.42 +
1.43 +const unsigned int MEMORY_PAGES = 20;
1.44 +
1.45 +
1.46 +
1.47 +/* Server program. */
1.48 +
1.49 +int main(int argc, char *argv[])
1.50 +{
1.51 + long err;
1.52 +
1.53 + /* Introduce concurrency control. */
1.54 +
1.55 + err = ipc_thread_init();
1.56 +
1.57 + if (err)
1.58 + {
1.59 + printf("Initialisation error: %s\n", l4sys_errtostr(err));
1.60 + return 1;
1.61 + }
1.62 +
1.63 + unsigned int memory_pages = MEMORY_PAGES;
1.64 +
1.65 + if (argc > 1)
1.66 + memory_pages = atoi(argv[1]);
1.67 +
1.68 + /* Some memory plus infrastructure. */
1.69 +
1.70 + MemoryIncremental mem(memory_pages);
1.71 + PageQueueShared queue;
1.72 + Pages pages(&mem, &queue);
1.73 + ClientFileOpener opener(&pages);
1.74 +
1.75 + /* Register a server associating it with the given object. */
1.76 +
1.77 + const char *server_name = (argc > 2) ? argv[2] : "server";
1.78 +
1.79 + ResourceServer server(&opener);
1.80 + err = server.bind(server_name);
1.81 +
1.82 + if (err)
1.83 + {
1.84 + printf("Could not bind server: %s\n", l4sys_errtostr(err));
1.85 + return 1;
1.86 + }
1.87 +
1.88 + printf("Starting server using %d pages...\n", memory_pages);
1.89 + server.start();
1.90 + return 0;
1.91 +}