1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/tests/dstest_file_mapping.cc Sun Jun 05 21:30:59 2022 +0200
1.3 @@ -0,0 +1,143 @@
1.4 +/*
1.5 + * Test dataspace operations.
1.6 + *
1.7 + * Copyright (C) 2020, 2021, 2022 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 +#include <l4/re/env.h>
1.26 +#include <l4/sys/err.h>
1.27 +
1.28 +#include <systypes/fcntl.h>
1.29 +
1.30 +#include <stdio.h>
1.31 +#include <string.h>
1.32 +#include <stdlib.h>
1.33 +
1.34 +#include <fsclient/file.h>
1.35 +#include <mem/memory_utils.h>
1.36 +
1.37 +#include "dataspace_client.h"
1.38 +#include "mapped_file_client.h"
1.39 +
1.40 +
1.41 +
1.42 +/* NOTE: Copied from libfsclient. */
1.43 +
1.44 +static void _update_extent(file_t *file)
1.45 +{
1.46 + /* Handle files ending after or within the region. */
1.47 +
1.48 + if (file->size > file->start_pos)
1.49 + {
1.50 + if (file->size > file->end_pos)
1.51 + file->data_end = file->end_pos - file->start_pos;
1.52 + else
1.53 + file->data_end = file->size - file->start_pos;
1.54 + }
1.55 +
1.56 + /* Handle files ending before the region. */
1.57 +
1.58 + else
1.59 + file->data_end = 0;
1.60 +}
1.61 +
1.62 +
1.63 +
1.64 +int main(int argc, char *argv[])
1.65 +{
1.66 + if (argc < 4)
1.67 + {
1.68 + printf("Need filename, step and sample size.\n");
1.69 + return 1;
1.70 + }
1.71 +
1.72 + /* Obtain filename and access parameters. */
1.73 +
1.74 + char *filename = argv[1];
1.75 + unsigned long step = atoi(argv[2]);
1.76 + unsigned long sample = atoi(argv[3]);
1.77 +
1.78 + /* Allocate a buffer for sampling from the file. */
1.79 +
1.80 + char buf[sample + 1];
1.81 +
1.82 + /* Obtain access to the filesystem. */
1.83 +
1.84 + l4_cap_idx_t server = l4re_env_get_cap("server");
1.85 +
1.86 + /* Invoke the open method to receive the file reference. */
1.87 +
1.88 + file_t file;
1.89 + long err = file_open(&file, filename, O_RDWR, server);
1.90 +
1.91 + if (err)
1.92 + {
1.93 + printf("Could not obtain file: %s\n", l4sys_errtostr(err));
1.94 + return 1;
1.95 + }
1.96 +
1.97 + /* A region of the file is mapped. */
1.98 +
1.99 + client_MappedFile mapped_file(file.ref);
1.100 +
1.101 + err = mapped_file.mmap(0, page(10), 0, 0, &file.start_pos, &file.end_pos, &file.size);
1.102 +
1.103 + if (err)
1.104 + {
1.105 + printf("Could not map file region: %s\n", l4sys_errtostr(err));
1.106 + return 1;
1.107 + }
1.108 +
1.109 + /* Fix up the file data structure manually. */
1.110 +
1.111 + file.memory = (char *) 0x2000000;
1.112 + _update_extent(&file);
1.113 +
1.114 + /* Explicitly map the file into this address space, without region mapper
1.115 + usage. The receive window base must be a multiple of its size. */
1.116 +
1.117 + client_Dataspace dataspace(file.ref);
1.118 + l4_snd_fpage_t region = {0, l4_fpage((l4_addr_t) file.memory, L4_PAGESHIFT + 4, 0)};
1.119 +
1.120 + printf("region = {%lx, {%lx, %d}}\n", region.snd_base, l4_fpage_memaddr(region.fpage), l4_fpage_size(region.fpage));
1.121 +
1.122 + err = dataspace.map(0, 0, L4_FPAGE_RO, ®ion);
1.123 +
1.124 + if (err)
1.125 + {
1.126 + printf("Could not invoke map successfully: %s\n", l4sys_errtostr(err));
1.127 + return 1;
1.128 + }
1.129 +
1.130 + for (unsigned long offset = 0; offset < file_populated_span(&file); offset += step)
1.131 + {
1.132 + unsigned long remaining = file_populated_span(&file) - offset;
1.133 + unsigned long sample_remaining = remaining < sample ? remaining : sample;
1.134 +
1.135 + printf("%ld bytes from %p...\n", sample_remaining, (file.memory + offset));
1.136 + strncpy(buf, (file.memory + offset), sample_remaining);
1.137 + buf[sample_remaining] = '\0';
1.138 + printf("%s\n", buf);
1.139 + }
1.140 +
1.141 + printf("File shown.\n");
1.142 +
1.143 + return 0;
1.144 +}
1.145 +
1.146 +// vim: tabstop=2 expandtab shiftwidth=2