Luca Mottola / Mbed OS IOTAtelier1819-FileSystem

Example of Mbed filesystem using HeapBlockDevice

Dependents:   TemperatureButtonFile AccelleratorRead

main.cpp@12:a07d0af60cc6, 2018-04-05 (annotated)

Committer:
mbed_official
Date:
Thu Apr 05 15:30:17 2018 +0100
Revision:
12:a07d0af60cc6
Parent:
10:38d6b74b0eb7
Child:
25:65a9183a2178
Merge pull request #41 from ARMmbed/g-event-queue



Moved erase callback into event queue context

.

Commit copied from https://github.com/ARMmbed/mbed-os-example-filesystem

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 0:8e251d9511b8 1 /* mbed Microcontroller Library
mbed_official 0:8e251d9511b8 2 * Copyright (c) 2006-2013 ARM Limited
mbed_official 0:8e251d9511b8 3 *
mbed_official 0:8e251d9511b8 4 * Licensed under the Apache License, Version 2.0 (the "License");
mbed_official 0:8e251d9511b8 5 * you may not use this file except in compliance with the License.
mbed_official 0:8e251d9511b8 6 * You may obtain a copy of the License at
mbed_official 0:8e251d9511b8 7 *
mbed_official 0:8e251d9511b8 8 * http://www.apache.org/licenses/LICENSE-2.0
mbed_official 0:8e251d9511b8 9 *
mbed_official 0:8e251d9511b8 10 * Unless required by applicable law or agreed to in writing, software
mbed_official 0:8e251d9511b8 11 * distributed under the License is distributed on an "AS IS" BASIS,
mbed_official 0:8e251d9511b8 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
mbed_official 0:8e251d9511b8 13 * See the License for the specific language governing permissions and
mbed_official 0:8e251d9511b8 14 * limitations under the License.
mbed_official 0:8e251d9511b8 15 */
mbed_official 0:8e251d9511b8 16 #include "mbed.h"
mbed_official 0:8e251d9511b8 17 #include <stdio.h>
mbed_official 0:8e251d9511b8 18 #include <errno.h>
mbed_official 0:8e251d9511b8 19
mbed_official 0:8e251d9511b8 20 // Block devices
mbed_official 0:8e251d9511b8 21 #include "SPIFBlockDevice.h"
mbed_official 1:2bfc377bcc2a 22 #include "DataFlashBlockDevice.h"
mbed_official 0:8e251d9511b8 23 #include "SDBlockDevice.h"
mbed_official 0:8e251d9511b8 24 #include "HeapBlockDevice.h"
mbed_official 0:8e251d9511b8 25
mbed_official 0:8e251d9511b8 26 // File systems
mbed_official 0:8e251d9511b8 27 #include "LittleFileSystem.h"
mbed_official 0:8e251d9511b8 28 #include "FATFileSystem.h"
mbed_official 0:8e251d9511b8 29
mbed_official 0:8e251d9511b8 30
mbed_official 0:8e251d9511b8 31 // Physical block device, can be any device that supports the BlockDevice API
mbed_official 0:8e251d9511b8 32 SPIFBlockDevice bd(
mbed_official 0:8e251d9511b8 33 MBED_CONF_SPIF_DRIVER_SPI_MOSI,
mbed_official 0:8e251d9511b8 34 MBED_CONF_SPIF_DRIVER_SPI_MISO,
mbed_official 0:8e251d9511b8 35 MBED_CONF_SPIF_DRIVER_SPI_CLK,
mbed_official 0:8e251d9511b8 36 MBED_CONF_SPIF_DRIVER_SPI_CS);
mbed_official 0:8e251d9511b8 37
mbed_official 0:8e251d9511b8 38 // File system declaration
mbed_official 0:8e251d9511b8 39 LittleFileSystem fs("fs");
mbed_official 0:8e251d9511b8 40
mbed_official 0:8e251d9511b8 41
mbed_official 0:8e251d9511b8 42 // Set up the button to trigger an erase
mbed_official 0:8e251d9511b8 43 InterruptIn irq(BUTTON1);
mbed_official 0:8e251d9511b8 44 void erase() {
mbed_official 0:8e251d9511b8 45 printf("Initializing the block device... ");
mbed_official 0:8e251d9511b8 46 fflush(stdout);
mbed_official 0:8e251d9511b8 47 int err = bd.init();
mbed_official 0:8e251d9511b8 48 printf("%s\n", (err ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 49 if (err) {
mbed_official 0:8e251d9511b8 50 error("error: %s (%d)\n", strerror(-err), err);
mbed_official 0:8e251d9511b8 51 }
mbed_official 0:8e251d9511b8 52
mbed_official 0:8e251d9511b8 53 printf("Erasing the block device... ");
mbed_official 0:8e251d9511b8 54 fflush(stdout);
mbed_official 0:8e251d9511b8 55 err = bd.erase(0, bd.size());
mbed_official 0:8e251d9511b8 56 printf("%s\n", (err ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 57 if (err) {
mbed_official 0:8e251d9511b8 58 error("error: %s (%d)\n", strerror(-err), err);
mbed_official 0:8e251d9511b8 59 }
mbed_official 0:8e251d9511b8 60
mbed_official 0:8e251d9511b8 61 printf("Deinitializing the block device... ");
mbed_official 0:8e251d9511b8 62 fflush(stdout);
mbed_official 0:8e251d9511b8 63 err = bd.deinit();
mbed_official 0:8e251d9511b8 64 printf("%s\n", (err ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 65 if (err) {
mbed_official 0:8e251d9511b8 66 error("error: %s (%d)\n", strerror(-err), err);
mbed_official 0:8e251d9511b8 67 }
mbed_official 0:8e251d9511b8 68 }
mbed_official 0:8e251d9511b8 69
mbed_official 0:8e251d9511b8 70
mbed_official 0:8e251d9511b8 71 // Entry point for the example
mbed_official 0:8e251d9511b8 72 int main() {
mbed_official 0:8e251d9511b8 73 printf("--- Mbed OS filesystem example ---\n");
mbed_official 0:8e251d9511b8 74
mbed_official 12:a07d0af60cc6 75 // Setup the erase event on button press, use the event queue
mbed_official 12:a07d0af60cc6 76 // to avoid running in interrupt context
mbed_official 12:a07d0af60cc6 77 irq.fall(mbed_event_queue()->event(erase));
mbed_official 0:8e251d9511b8 78
mbed_official 0:8e251d9511b8 79 // Try to mount the filesystem
mbed_official 0:8e251d9511b8 80 printf("Mounting the filesystem... ");
mbed_official 0:8e251d9511b8 81 fflush(stdout);
mbed_official 0:8e251d9511b8 82 int err = fs.mount(&bd);
mbed_official 0:8e251d9511b8 83 printf("%s\n", (err ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 84 if (err) {
mbed_official 0:8e251d9511b8 85 // Reformat if we can't mount the filesystem
mbed_official 0:8e251d9511b8 86 // this should only happen on the first boot
mbed_official 0:8e251d9511b8 87 printf("No filesystem found, formatting... ");
mbed_official 0:8e251d9511b8 88 fflush(stdout);
mbed_official 0:8e251d9511b8 89 err = fs.reformat(&bd);
mbed_official 0:8e251d9511b8 90 printf("%s\n", (err ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 91 if (err) {
mbed_official 0:8e251d9511b8 92 error("error: %s (%d)\n", strerror(-err), err);
mbed_official 0:8e251d9511b8 93 }
mbed_official 0:8e251d9511b8 94 }
mbed_official 0:8e251d9511b8 95
mbed_official 0:8e251d9511b8 96 // Open the numbers file
mbed_official 0:8e251d9511b8 97 printf("Opening \"/fs/numbers.txt\"... ");
mbed_official 0:8e251d9511b8 98 fflush(stdout);
mbed_official 0:8e251d9511b8 99 FILE *f = fopen("/fs/numbers.txt", "r+");
mbed_official 0:8e251d9511b8 100 printf("%s\n", (!f ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 101 if (!f) {
mbed_official 0:8e251d9511b8 102 // Create the numbers file if it doesn't exist
mbed_official 0:8e251d9511b8 103 printf("No file found, creating a new file... ");
mbed_official 0:8e251d9511b8 104 fflush(stdout);
mbed_official 0:8e251d9511b8 105 f = fopen("/fs/numbers.txt", "w+");
mbed_official 0:8e251d9511b8 106 printf("%s\n", (!f ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 107 if (!f) {
mbed_official 0:8e251d9511b8 108 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 109 }
mbed_official 0:8e251d9511b8 110
mbed_official 0:8e251d9511b8 111 for (int i = 0; i < 10; i++) {
mbed_official 0:8e251d9511b8 112 printf("\rWriting numbers (%d/%d)... ", i, 10);
mbed_official 0:8e251d9511b8 113 fflush(stdout);
mbed_official 0:8e251d9511b8 114 err = fprintf(f, " %d\n", i);
mbed_official 0:8e251d9511b8 115 if (err < 0) {
mbed_official 0:8e251d9511b8 116 printf("Fail :(\n");
mbed_official 0:8e251d9511b8 117 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 118 }
mbed_official 0:8e251d9511b8 119 }
mbed_official 0:8e251d9511b8 120 printf("\rWriting numbers (%d/%d)... OK\n", 10, 10);
mbed_official 0:8e251d9511b8 121
mbed_official 0:8e251d9511b8 122 printf("Seeking file... ");
mbed_official 0:8e251d9511b8 123 fflush(stdout);
mbed_official 0:8e251d9511b8 124 err = fseek(f, 0, SEEK_SET);
mbed_official 0:8e251d9511b8 125 printf("%s\n", (err < 0 ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 126 if (err < 0) {
mbed_official 0:8e251d9511b8 127 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 128 }
mbed_official 0:8e251d9511b8 129 }
mbed_official 0:8e251d9511b8 130
mbed_official 0:8e251d9511b8 131 // Go through and increment the numbers
mbed_official 0:8e251d9511b8 132 for (int i = 0; i < 10; i++) {
mbed_official 0:8e251d9511b8 133 printf("\rIncrementing numbers (%d/%d)... ", i, 10);
mbed_official 0:8e251d9511b8 134 fflush(stdout);
mbed_official 0:8e251d9511b8 135
mbed_official 0:8e251d9511b8 136 // Get current stream position
mbed_official 0:8e251d9511b8 137 long pos = ftell(f);
mbed_official 0:8e251d9511b8 138
mbed_official 0:8e251d9511b8 139 // Parse out the number and increment
mbed_official 0:8e251d9511b8 140 int32_t number;
mbed_official 0:8e251d9511b8 141 fscanf(f, "%d", &number);
mbed_official 0:8e251d9511b8 142 number += 1;
mbed_official 0:8e251d9511b8 143
mbed_official 0:8e251d9511b8 144 // Seek to beginning of number
mbed_official 0:8e251d9511b8 145 fseek(f, pos, SEEK_SET);
mbed_official 0:8e251d9511b8 146
mbed_official 0:8e251d9511b8 147 // Store number
mbed_official 0:8e251d9511b8 148 fprintf(f, " %d\n", number);
mbed_official 10:38d6b74b0eb7 149
mbed_official 10:38d6b74b0eb7 150 // Flush between write and read on same file
mbed_official 10:38d6b74b0eb7 151 fflush(f);
mbed_official 0:8e251d9511b8 152 }
mbed_official 0:8e251d9511b8 153 printf("\rIncrementing numbers (%d/%d)... OK\n", 10, 10);
mbed_official 0:8e251d9511b8 154
mbed_official 0:8e251d9511b8 155 // Close the file which also flushes any cached writes
mbed_official 0:8e251d9511b8 156 printf("Closing \"/fs/numbers.txt\"... ");
mbed_official 0:8e251d9511b8 157 fflush(stdout);
mbed_official 0:8e251d9511b8 158 err = fclose(f);
mbed_official 0:8e251d9511b8 159 printf("%s\n", (err < 0 ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 160 if (err < 0) {
mbed_official 0:8e251d9511b8 161 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 162 }
mbed_official 0:8e251d9511b8 163
mbed_official 0:8e251d9511b8 164 // Display the root directory
mbed_official 0:8e251d9511b8 165 printf("Opening the root directory... ");
mbed_official 0:8e251d9511b8 166 fflush(stdout);
mbed_official 0:8e251d9511b8 167 DIR *d = opendir("/fs/");
mbed_official 0:8e251d9511b8 168 printf("%s\n", (!d ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 169 if (!d) {
mbed_official 0:8e251d9511b8 170 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 171 }
mbed_official 0:8e251d9511b8 172
mbed_official 0:8e251d9511b8 173 printf("root directory:\n");
mbed_official 0:8e251d9511b8 174 while (true) {
mbed_official 0:8e251d9511b8 175 struct dirent *e = readdir(d);
mbed_official 0:8e251d9511b8 176 if (!e) {
mbed_official 0:8e251d9511b8 177 break;
mbed_official 0:8e251d9511b8 178 }
mbed_official 0:8e251d9511b8 179
mbed_official 0:8e251d9511b8 180 printf(" %s\n", e->d_name);
mbed_official 0:8e251d9511b8 181 }
mbed_official 0:8e251d9511b8 182
mbed_official 0:8e251d9511b8 183 printf("Closing the root directory... ");
mbed_official 0:8e251d9511b8 184 fflush(stdout);
mbed_official 0:8e251d9511b8 185 err = closedir(d);
mbed_official 0:8e251d9511b8 186 printf("%s\n", (err < 0 ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 187 if (err < 0) {
mbed_official 0:8e251d9511b8 188 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 189 }
mbed_official 0:8e251d9511b8 190
mbed_official 0:8e251d9511b8 191 // Display the numbers file
mbed_official 0:8e251d9511b8 192 printf("Opening \"/fs/numbers.txt\"... ");
mbed_official 0:8e251d9511b8 193 fflush(stdout);
mbed_official 0:8e251d9511b8 194 f = fopen("/fs/numbers.txt", "r");
mbed_official 0:8e251d9511b8 195 printf("%s\n", (!f ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 196 if (!f) {
mbed_official 0:8e251d9511b8 197 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 198 }
mbed_official 0:8e251d9511b8 199
mbed_official 0:8e251d9511b8 200 printf("numbers:\n");
mbed_official 0:8e251d9511b8 201 while (!feof(f)) {
mbed_official 0:8e251d9511b8 202 int c = fgetc(f);
mbed_official 0:8e251d9511b8 203 printf("%c", c);
mbed_official 0:8e251d9511b8 204 }
mbed_official 0:8e251d9511b8 205
mbed_official 0:8e251d9511b8 206 printf("\rClosing \"/fs/numbers.txt\"... ");
mbed_official 0:8e251d9511b8 207 fflush(stdout);
mbed_official 0:8e251d9511b8 208 err = fclose(f);
mbed_official 0:8e251d9511b8 209 printf("%s\n", (err < 0 ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 210 if (err < 0) {
mbed_official 0:8e251d9511b8 211 error("error: %s (%d)\n", strerror(errno), -errno);
mbed_official 0:8e251d9511b8 212 }
mbed_official 0:8e251d9511b8 213
mbed_official 0:8e251d9511b8 214 // Tidy up
mbed_official 0:8e251d9511b8 215 printf("Unmounting... ");
mbed_official 0:8e251d9511b8 216 fflush(stdout);
mbed_official 0:8e251d9511b8 217 err = fs.unmount();
mbed_official 0:8e251d9511b8 218 printf("%s\n", (err < 0 ? "Fail :(" : "OK"));
mbed_official 0:8e251d9511b8 219 if (err < 0) {
mbed_official 0:8e251d9511b8 220 error("error: %s (%d)\n", strerror(-err), err);
mbed_official 0:8e251d9511b8 221 }
mbed_official 0:8e251d9511b8 222
mbed_official 0:8e251d9511b8 223 printf("Mbed OS filesystem example done!\n");
mbed_official 0:8e251d9511b8 224 }
mbed_official 0:8e251d9511b8 225