lfs.c 44 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768
  1. /*
  2. * The little filesystem
  3. *
  4. * Copyright (c) 2017 Christopher Haster
  5. * Distributed under the MIT license
  6. */
  7. #include "lfs.h"
  8. #include "lfs_util.h"
  9. #include <string.h>
  10. #include <stdlib.h>
  11. /// Block device operations ///
  12. static int lfs_bd_flush(lfs_t *lfs) {
  13. if (lfs->pcache.off != -1) {
  14. int err = lfs->cfg->prog(lfs->cfg, lfs->pcache.block,
  15. lfs->pcache.off, lfs->pcache.buffer, lfs->cfg->prog_size);
  16. if (err) {
  17. return err;
  18. }
  19. lfs->pcache.off = -1;
  20. }
  21. return 0;
  22. }
  23. static int lfs_bd_read(lfs_t *lfs, lfs_block_t block,
  24. lfs_off_t off, void *buffer, lfs_size_t size) {
  25. uint8_t *data = buffer;
  26. // flush overlapping programs
  27. while (size > 0) {
  28. if (block == lfs->pcache.block && off >= lfs->pcache.off &&
  29. off < lfs->pcache.off + lfs->cfg->prog_size) {
  30. // is already in cache?
  31. lfs_size_t diff = lfs_min(size,
  32. lfs->cfg->prog_size - (off-lfs->pcache.off));
  33. memcpy(data, &lfs->pcache.buffer[off-lfs->pcache.off], diff);
  34. data += diff;
  35. off += diff;
  36. size -= diff;
  37. continue;
  38. } else if (block == lfs->rcache.block && off >= lfs->rcache.off &&
  39. off < lfs->rcache.off + lfs->cfg->read_size) {
  40. // is already in cache?
  41. lfs_size_t diff = lfs_min(size,
  42. lfs->cfg->read_size - (off-lfs->rcache.off));
  43. memcpy(data, &lfs->rcache.buffer[off-lfs->rcache.off], diff);
  44. data += diff;
  45. off += diff;
  46. size -= diff;
  47. continue;
  48. }
  49. // write out pending programs
  50. int err = lfs_bd_flush(lfs);
  51. if (err) {
  52. return err;
  53. }
  54. if (off % lfs->cfg->read_size == 0 &&
  55. size >= lfs->cfg->read_size) {
  56. // bypass cache?
  57. lfs_size_t diff = size - (size % lfs->cfg->read_size);
  58. int err = lfs->cfg->read(lfs->cfg, block, off, data, diff);
  59. if (err) {
  60. return err;
  61. }
  62. data += diff;
  63. off += diff;
  64. size -= diff;
  65. continue;
  66. }
  67. // load to cache, first condition can no longer fail
  68. lfs->rcache.block = block;
  69. lfs->rcache.off = off - (off % lfs->cfg->read_size);
  70. err = lfs->cfg->read(lfs->cfg, lfs->rcache.block,
  71. lfs->rcache.off, lfs->rcache.buffer, lfs->cfg->read_size);
  72. if (err) {
  73. return err;
  74. }
  75. }
  76. return 0;
  77. }
  78. static int lfs_bd_prog(lfs_t *lfs, lfs_block_t block,
  79. lfs_off_t off, const void *buffer, lfs_size_t size) {
  80. const uint8_t *data = buffer;
  81. if (block == lfs->rcache.block) {
  82. // invalidate read cache
  83. lfs->rcache.off = -1;
  84. }
  85. while (size > 0) {
  86. if (block == lfs->pcache.block && off >= lfs->pcache.off &&
  87. off < lfs->pcache.off + lfs->cfg->prog_size) {
  88. // is already in cache?
  89. lfs_size_t diff = lfs_min(size,
  90. lfs->cfg->prog_size - (off-lfs->pcache.off));
  91. memcpy(&lfs->pcache.buffer[off-lfs->pcache.off], data, diff);
  92. data += diff;
  93. off += diff;
  94. size -= diff;
  95. continue;
  96. }
  97. // write out pending programs
  98. int err = lfs_bd_flush(lfs);
  99. if (err) {
  100. return err;
  101. }
  102. if (off % lfs->cfg->prog_size == 0 &&
  103. size >= lfs->cfg->prog_size) {
  104. // bypass cache?
  105. lfs_size_t diff = size - (size % lfs->cfg->prog_size);
  106. int err = lfs->cfg->prog(lfs->cfg, block, off, data, diff);
  107. if (err) {
  108. return err;
  109. }
  110. data += diff;
  111. off += diff;
  112. size -= diff;
  113. continue;
  114. }
  115. // prepare cache, first condition can no longer fail
  116. lfs->pcache.block = block;
  117. lfs->pcache.off = off - (off % lfs->cfg->prog_size);
  118. }
  119. return 0;
  120. }
  121. static int lfs_bd_erase(lfs_t *lfs, lfs_block_t block) {
  122. return lfs->cfg->erase(lfs->cfg, block);
  123. }
  124. static int lfs_bd_sync(lfs_t *lfs) {
  125. int err = lfs_bd_flush(lfs);
  126. if (err) {
  127. return err;
  128. }
  129. return lfs->cfg->sync(lfs->cfg);
  130. }
  131. static int lfs_bd_cmp(lfs_t *lfs, lfs_block_t block,
  132. lfs_off_t off, lfs_size_t size, const void *buffer) {
  133. const uint8_t *data = buffer;
  134. for (lfs_off_t i = 0; i < size; i++) {
  135. uint8_t c;
  136. int err = lfs_bd_read(lfs, block, off+i, &c, 1);
  137. if (err) {
  138. return err;
  139. }
  140. if (c != data[i]) {
  141. return false;
  142. }
  143. }
  144. return true;
  145. }
  146. /// Block allocator ///
  147. static int lfs_alloc_lookahead(void *p, lfs_block_t block) {
  148. lfs_t *lfs = p;
  149. lfs_block_t off = (block - lfs->free.start) % lfs->cfg->block_count;
  150. if (off < lfs->cfg->lookahead) {
  151. lfs->free.lookahead[off / 32] |= 1U << (off % 32);
  152. }
  153. return 0;
  154. }
  155. static int lfs_alloc_scan(lfs_t *lfs, lfs_block_t *block) {
  156. lfs_block_t end = lfs->free.start + lfs->cfg->block_count;
  157. while (true) {
  158. while (lfs->free.off < lfs->cfg->lookahead) {
  159. lfs_block_t off = lfs->free.off;
  160. lfs->free.off += 1;
  161. if (!(lfs->free.lookahead[off / 32] & (1U << (off % 32)))) {
  162. // found a free block
  163. *block = (lfs->free.start + off) % lfs->cfg->block_count;
  164. return 0;
  165. }
  166. }
  167. // could not find block
  168. lfs->free.start += lfs->cfg->lookahead;
  169. lfs->free.off = 0;
  170. if (lfs_scmp(lfs->free.start, end) > 0) {
  171. return LFS_ERR_NOSPC;
  172. }
  173. // find mask of free blocks from tree
  174. memset(lfs->free.lookahead, 0, lfs->cfg->lookahead/8);
  175. int err = lfs_traverse(lfs, lfs_alloc_lookahead, lfs);
  176. if (err) {
  177. return err;
  178. }
  179. }
  180. }
  181. static int lfs_alloc(lfs_t *lfs, lfs_block_t *block) {
  182. // try to scan for free block
  183. int err = lfs_alloc_scan(lfs, block);
  184. if (err != LFS_ERR_NOSPC) {
  185. return err;
  186. }
  187. // still can't allocate a block? check for orphans
  188. err = lfs_deorphan(lfs);
  189. if (err) {
  190. return err;
  191. }
  192. // scan again or die trying
  193. err = lfs_alloc_scan(lfs, block);
  194. if (err) {
  195. LFS_WARN("No more free space%s", "");
  196. return err;
  197. }
  198. return 0;
  199. }
  200. /// Metadata pair and directory operations ///
  201. static inline void lfs_pairswap(lfs_block_t pair[2]) {
  202. lfs_block_t t = pair[0];
  203. pair[0] = pair[1];
  204. pair[1] = t;
  205. }
  206. static inline bool lfs_pairisnull(const lfs_block_t pair[2]) {
  207. return !pair[0] || !pair[1];
  208. }
  209. static inline int lfs_paircmp(
  210. const lfs_block_t paira[2],
  211. const lfs_block_t pairb[2]) {
  212. return !(paira[0] == pairb[0] || paira[1] == pairb[1] ||
  213. paira[0] == pairb[1] || paira[1] == pairb[0]);
  214. }
  215. static int lfs_dir_alloc(lfs_t *lfs, lfs_dir_t *dir) {
  216. // allocate pair of dir blocks
  217. for (int i = 0; i < 2; i++) {
  218. int err = lfs_alloc(lfs, &dir->pair[i]);
  219. if (err) {
  220. return err;
  221. }
  222. }
  223. // we couldn't find unique blocks, we're out of space
  224. if (dir->pair[0] == dir->pair[1]) {
  225. return LFS_ERR_NOSPC;
  226. }
  227. // rather than clobbering one of the blocks we just pretend
  228. // the revision may be valid
  229. int err = lfs_bd_read(lfs, dir->pair[0], 0, &dir->d.rev, 4);
  230. if (err) {
  231. return err;
  232. }
  233. // set defaults
  234. dir->d.rev += 1;
  235. dir->d.size = sizeof(dir->d);
  236. dir->d.tail[0] = 0;
  237. dir->d.tail[1] = 0;
  238. dir->off = sizeof(dir->d);
  239. // don't write out yet, let caller take care of that
  240. return 0;
  241. }
  242. static int lfs_dir_fetch(lfs_t *lfs,
  243. lfs_dir_t *dir, const lfs_block_t pair[2]) {
  244. // copy out pair, otherwise may be aliasing dir
  245. const lfs_block_t tpair[2] = {pair[0], pair[1]};
  246. bool valid = false;
  247. // check both blocks for the most recent revision
  248. for (int i = 0; i < 2; i++) {
  249. struct lfs_disk_dir test;
  250. int err = lfs_bd_read(lfs, tpair[i], 0, &test, sizeof(test));
  251. if (err) {
  252. return err;
  253. }
  254. if (valid && lfs_scmp(test.rev, dir->d.rev) < 0) {
  255. continue;
  256. }
  257. uint32_t crc = 0xffffffff;
  258. crc = lfs_crc(crc, &test, sizeof(test));
  259. for (lfs_off_t j = sizeof(test); j < lfs->cfg->block_size; j += 4) {
  260. uint32_t word;
  261. int err = lfs_bd_read(lfs, tpair[i], j, &word, 4);
  262. if (err) {
  263. return err;
  264. }
  265. crc = lfs_crc(crc, &word, 4);
  266. }
  267. if (crc != 0) {
  268. continue;
  269. }
  270. valid = true;
  271. // setup dir in case it's valid
  272. dir->pair[0] = tpair[(i+0) % 2];
  273. dir->pair[1] = tpair[(i+1) % 2];
  274. dir->off = sizeof(dir->d);
  275. dir->d = test;
  276. }
  277. if (!valid) {
  278. LFS_ERROR("Corrupted dir pair at %d %d", tpair[0], tpair[1]);
  279. return LFS_ERR_CORRUPT;
  280. }
  281. return 0;
  282. }
  283. static int lfs_dir_commit(lfs_t *lfs, lfs_dir_t *dir,
  284. const lfs_entry_t *entry, const void *data) {
  285. dir->d.rev += 1;
  286. lfs_pairswap(dir->pair);
  287. int err = lfs_bd_erase(lfs, dir->pair[0]);
  288. if (err) {
  289. return err;
  290. }
  291. uint32_t crc = 0xffffffff;
  292. crc = lfs_crc(crc, &dir->d, sizeof(dir->d));
  293. err = lfs_bd_prog(lfs, dir->pair[0], 0, &dir->d, sizeof(dir->d));
  294. if (err) {
  295. return err;
  296. }
  297. lfs_off_t off = sizeof(dir->d);
  298. lfs_size_t size = 0x7fffffff & dir->d.size;
  299. while (off < size) {
  300. if (entry && off == entry->off) {
  301. crc = lfs_crc(crc, &entry->d, sizeof(entry->d));
  302. int err = lfs_bd_prog(lfs, dir->pair[0],
  303. off, &entry->d, sizeof(entry->d));
  304. if (err) {
  305. return err;
  306. }
  307. off += sizeof(entry->d);
  308. if (data) {
  309. crc = lfs_crc(crc, data, entry->d.len - sizeof(entry->d));
  310. int err = lfs_bd_prog(lfs, dir->pair[0],
  311. off, data, entry->d.len - sizeof(entry->d));
  312. if (err) {
  313. return err;
  314. }
  315. off += entry->d.len - sizeof(entry->d);
  316. }
  317. } else {
  318. uint8_t data;
  319. int err = lfs_bd_read(lfs, dir->pair[1], off, &data, 1);
  320. if (err) {
  321. return err;
  322. }
  323. crc = lfs_crc(crc, &data, 1);
  324. err = lfs_bd_prog(lfs, dir->pair[0], off, &data, 1);
  325. if (err) {
  326. return err;
  327. }
  328. off += 1;
  329. }
  330. }
  331. while (off < lfs->cfg->block_size-4) {
  332. uint8_t data = 0xff;
  333. crc = lfs_crc(crc, &data, 1);
  334. err = lfs_bd_prog(lfs, dir->pair[0], off, &data, 1);
  335. if (err) {
  336. return err;
  337. }
  338. off += 1;
  339. }
  340. err = lfs_bd_prog(lfs, dir->pair[0], lfs->cfg->block_size-4, &crc, 4);
  341. if (err) {
  342. return err;
  343. }
  344. return lfs_bd_sync(lfs);
  345. }
  346. static int lfs_dir_shift(lfs_t *lfs, lfs_dir_t *dir, lfs_entry_t *entry) {
  347. dir->d.rev += 1;
  348. dir->d.size -= entry->d.len;
  349. lfs_pairswap(dir->pair);
  350. int err = lfs_bd_erase(lfs, dir->pair[0]);
  351. if (err) {
  352. return err;
  353. }
  354. uint32_t crc = 0xffffffff;
  355. crc = lfs_crc(crc, &dir->d, sizeof(dir->d));
  356. err = lfs_bd_prog(lfs, dir->pair[0], 0, &dir->d, sizeof(dir->d));
  357. if (err) {
  358. return err;
  359. }
  360. lfs_off_t woff = sizeof(dir->d);
  361. lfs_off_t roff = sizeof(dir->d);
  362. lfs_size_t size = 0x7fffffff & dir->d.size;
  363. while (woff < size) {
  364. if (roff == entry->off) {
  365. roff += entry->d.len;
  366. } else {
  367. uint8_t data;
  368. int err = lfs_bd_read(lfs, dir->pair[1], roff, &data, 1);
  369. if (err) {
  370. return err;
  371. }
  372. crc = lfs_crc(crc, &data, 1);
  373. err = lfs_bd_prog(lfs, dir->pair[0], woff, &data, 1);
  374. if (err) {
  375. return err;
  376. }
  377. woff += 1;
  378. roff += 1;
  379. }
  380. }
  381. while (woff < lfs->cfg->block_size-4) {
  382. uint8_t data = 0xff;
  383. crc = lfs_crc(crc, &data, 1);
  384. err = lfs_bd_prog(lfs, dir->pair[0], woff, &data, 1);
  385. if (err) {
  386. return err;
  387. }
  388. woff += 1;
  389. }
  390. err = lfs_bd_prog(lfs, dir->pair[0], lfs->cfg->block_size-4, &crc, 4);
  391. if (err) {
  392. return err;
  393. }
  394. return lfs_bd_sync(lfs);
  395. }
  396. static int lfs_dir_append(lfs_t *lfs, lfs_dir_t *dir,
  397. lfs_entry_t *entry, const void *data) {
  398. // check if we fit, if top bit is set we do not and move on
  399. while (true) {
  400. if (dir->d.size + entry->d.len <= lfs->cfg->block_size - 4) {
  401. entry->off = dir->d.size;
  402. dir->d.size += entry->d.len;
  403. return lfs_dir_commit(lfs, dir, entry, data);
  404. }
  405. // we need to allocate a new dir block
  406. if (!(0x80000000 & dir->d.size)) {
  407. lfs_dir_t newdir;
  408. int err = lfs_dir_alloc(lfs, &newdir);
  409. if (err) {
  410. return err;
  411. }
  412. // our allocator doesn't track blocks before being appended,
  413. // so even if we found some blocks, they may not be unique
  414. if (entry->d.type == LFS_TYPE_DIR &&
  415. lfs_paircmp(entry->d.u.dir, newdir.pair) == 0) {
  416. return LFS_ERR_NOSPC;
  417. }
  418. newdir.d.tail[0] = dir->d.tail[0];
  419. newdir.d.tail[1] = dir->d.tail[1];
  420. entry->off = newdir.d.size;
  421. newdir.d.size += entry->d.len;
  422. err = lfs_dir_commit(lfs, &newdir, entry, data);
  423. if (err) {
  424. return err;
  425. }
  426. dir->d.size |= 0x80000000;
  427. dir->d.tail[0] = newdir.pair[0];
  428. dir->d.tail[1] = newdir.pair[1];
  429. return lfs_dir_commit(lfs, dir, NULL, NULL);
  430. }
  431. int err = lfs_dir_fetch(lfs, dir, dir->d.tail);
  432. if (err) {
  433. return err;
  434. }
  435. }
  436. }
  437. static int lfs_dir_remove(lfs_t *lfs, lfs_dir_t *dir, lfs_entry_t *entry) {
  438. // either shift out the one entry or remove the whole dir block
  439. if (dir->d.size == sizeof(dir->d)) {
  440. lfs_dir_t pdir;
  441. int err = lfs_dir_fetch(lfs, &pdir, lfs->root);
  442. if (err) {
  443. return err;
  444. }
  445. while (lfs_paircmp(pdir.d.tail, dir->pair) != 0) {
  446. int err = lfs_dir_fetch(lfs, &pdir, pdir.d.tail);
  447. if (err) {
  448. return err;
  449. }
  450. }
  451. if (!(pdir.d.size & 0x80000000)) {
  452. return lfs_dir_shift(lfs, dir, entry);
  453. } else {
  454. pdir.d.tail[0] = dir->d.tail[0];
  455. pdir.d.tail[1] = dir->d.tail[1];
  456. return lfs_dir_commit(lfs, &pdir, NULL, NULL);
  457. }
  458. } else {
  459. return lfs_dir_shift(lfs, dir, entry);
  460. }
  461. }
  462. static int lfs_dir_next(lfs_t *lfs, lfs_dir_t *dir, lfs_entry_t *entry) {
  463. while (true) {
  464. if (dir->off + sizeof(entry->d) > (0x7fffffff & dir->d.size)) {
  465. if (!(0x80000000 & dir->d.size)) {
  466. entry->off = dir->off;
  467. return LFS_ERR_NOENT;
  468. }
  469. int err = lfs_dir_fetch(lfs, dir, dir->d.tail);
  470. if (err) {
  471. return err;
  472. }
  473. dir->off = sizeof(dir->d);
  474. dir->pos += sizeof(dir->d);
  475. continue;
  476. }
  477. int err = lfs_bd_read(lfs, dir->pair[0], dir->off,
  478. &entry->d, sizeof(entry->d));
  479. if (err) {
  480. return err;
  481. }
  482. dir->off += entry->d.len;
  483. dir->pos += entry->d.len;
  484. if ((0xff & entry->d.type) == LFS_TYPE_REG ||
  485. (0xff & entry->d.type) == LFS_TYPE_DIR) {
  486. entry->off = dir->off - entry->d.len;
  487. return 0;
  488. }
  489. }
  490. }
  491. static int lfs_dir_find(lfs_t *lfs, lfs_dir_t *dir,
  492. lfs_entry_t *entry, const char **path) {
  493. const char *pathname = *path;
  494. size_t pathlen;
  495. while (true) {
  496. nextname:
  497. // skip slashes
  498. pathname += strspn(pathname, "/");
  499. pathlen = strcspn(pathname, "/");
  500. // skip '.' and root '..'
  501. if ((pathlen == 1 && memcmp(pathname, ".", 1) == 0) ||
  502. (pathlen == 2 && memcmp(pathname, "..", 2) == 0)) {
  503. pathname += pathlen;
  504. goto nextname;
  505. }
  506. // skip if matched by '..' in name
  507. const char *suffix = pathname + pathlen;
  508. size_t sufflen;
  509. int depth = 1;
  510. while (true) {
  511. suffix += strspn(suffix, "/");
  512. sufflen = strcspn(suffix, "/");
  513. if (sufflen == 0) {
  514. break;
  515. }
  516. if (sufflen == 2 && memcmp(suffix, "..", 2) == 0) {
  517. depth -= 1;
  518. if (depth == 0) {
  519. pathname = suffix + sufflen;
  520. goto nextname;
  521. }
  522. } else {
  523. depth += 1;
  524. }
  525. suffix += sufflen;
  526. }
  527. // find path
  528. while (true) {
  529. int err = lfs_dir_next(lfs, dir, entry);
  530. if (err) {
  531. return err;
  532. }
  533. if (entry->d.len - sizeof(entry->d) != pathlen) {
  534. continue;
  535. }
  536. int ret = lfs_bd_cmp(lfs, dir->pair[0],
  537. entry->off + sizeof(entry->d), pathlen, pathname);
  538. if (ret < 0) {
  539. return ret;
  540. }
  541. // Found match
  542. if (ret == true) {
  543. break;
  544. }
  545. }
  546. pathname += pathlen;
  547. pathname += strspn(pathname, "/");
  548. if (pathname[0] == '\0') {
  549. return 0;
  550. }
  551. // continue on if we hit a directory
  552. if (entry->d.type != LFS_TYPE_DIR) {
  553. return LFS_ERR_NOTDIR;
  554. }
  555. int err = lfs_dir_fetch(lfs, dir, entry->d.u.dir);
  556. if (err) {
  557. return err;
  558. }
  559. *path = pathname;
  560. }
  561. return 0;
  562. }
  563. /// Top level directory operations ///
  564. int lfs_mkdir(lfs_t *lfs, const char *path) {
  565. // fetch parent directory
  566. lfs_dir_t cwd;
  567. int err = lfs_dir_fetch(lfs, &cwd, lfs->root);
  568. if (err) {
  569. return err;
  570. }
  571. lfs_entry_t entry;
  572. err = lfs_dir_find(lfs, &cwd, &entry, &path);
  573. if (err != LFS_ERR_NOENT) {
  574. return err ? err : LFS_ERR_EXISTS;
  575. }
  576. // Build up new directory
  577. lfs_dir_t dir;
  578. err = lfs_dir_alloc(lfs, &dir);
  579. if (err) {
  580. return err;
  581. }
  582. dir.d.tail[0] = cwd.d.tail[0];
  583. dir.d.tail[1] = cwd.d.tail[1];
  584. err = lfs_dir_commit(lfs, &dir, NULL, NULL);
  585. if (err) {
  586. return err;
  587. }
  588. entry.d.type = LFS_TYPE_DIR;
  589. entry.d.len = sizeof(entry.d) + strlen(path);
  590. entry.d.u.dir[0] = dir.pair[0];
  591. entry.d.u.dir[1] = dir.pair[1];
  592. cwd.d.tail[0] = dir.pair[0];
  593. cwd.d.tail[1] = dir.pair[1];
  594. return lfs_dir_append(lfs, &cwd, &entry, path);
  595. }
  596. int lfs_dir_open(lfs_t *lfs, lfs_dir_t *dir, const char *path) {
  597. dir->pair[0] = lfs->root[0];
  598. dir->pair[1] = lfs->root[1];
  599. int err = lfs_dir_fetch(lfs, dir, dir->pair);
  600. if (err) {
  601. return err;
  602. }
  603. if (strspn(path, "/.") == strlen(path)) {
  604. // can only be something like '/././../.'
  605. dir->head[0] = dir->pair[0];
  606. dir->head[1] = dir->pair[1];
  607. dir->pos = sizeof(dir->d) - 2;
  608. dir->off = sizeof(dir->d);
  609. return 0;
  610. }
  611. lfs_entry_t entry;
  612. err = lfs_dir_find(lfs, dir, &entry, &path);
  613. if (err) {
  614. return err;
  615. } else if (entry.d.type != LFS_TYPE_DIR) {
  616. return LFS_ERR_NOTDIR;
  617. }
  618. err = lfs_dir_fetch(lfs, dir, entry.d.u.dir);
  619. if (err) {
  620. return err;
  621. }
  622. // setup head dir
  623. // special offset for '.' and '..'
  624. dir->head[0] = dir->pair[0];
  625. dir->head[1] = dir->pair[1];
  626. dir->pos = sizeof(dir->d) - 2;
  627. dir->off = sizeof(dir->d);
  628. return 0;
  629. }
  630. int lfs_dir_close(lfs_t *lfs, lfs_dir_t *dir) {
  631. // Do nothing, dir is always synchronized
  632. return 0;
  633. }
  634. int lfs_dir_read(lfs_t *lfs, lfs_dir_t *dir, struct lfs_info *info) {
  635. memset(info, 0, sizeof(*info));
  636. // special offset for '.' and '..'
  637. if (dir->pos == sizeof(dir->d) - 2) {
  638. info->type = LFS_TYPE_DIR;
  639. strcpy(info->name, ".");
  640. dir->pos += 1;
  641. return 1;
  642. } else if (dir->pos == sizeof(dir->d) - 1) {
  643. info->type = LFS_TYPE_DIR;
  644. strcpy(info->name, "..");
  645. dir->pos += 1;
  646. return 1;
  647. }
  648. lfs_entry_t entry;
  649. int err = lfs_dir_next(lfs, dir, &entry);
  650. if (err) {
  651. return (err == LFS_ERR_NOENT) ? 0 : err;
  652. }
  653. info->type = entry.d.type & 0xff;
  654. if (info->type == LFS_TYPE_REG) {
  655. info->size = entry.d.u.file.size;
  656. }
  657. err = lfs_bd_read(lfs, dir->pair[0], entry.off + sizeof(entry.d),
  658. info->name, entry.d.len - sizeof(entry.d));
  659. if (err) {
  660. return err;
  661. }
  662. return 1;
  663. }
  664. int lfs_dir_seek(lfs_t *lfs, lfs_dir_t *dir, lfs_off_t off) {
  665. // simply walk from head dir
  666. int err = lfs_dir_rewind(lfs, dir);
  667. if (err) {
  668. return err;
  669. }
  670. dir->pos = off;
  671. while (off > (0x7fffffff & dir->d.size)) {
  672. off -= 0x7fffffff & dir->d.size;
  673. if (!(0x80000000 & dir->d.size)) {
  674. return LFS_ERR_INVAL;
  675. }
  676. int err = lfs_dir_fetch(lfs, dir, dir->d.tail);
  677. if (err) {
  678. return err;
  679. }
  680. }
  681. dir->off = off;
  682. return 0;
  683. }
  684. lfs_soff_t lfs_dir_tell(lfs_t *lfs, lfs_dir_t *dir) {
  685. return dir->pos;
  686. }
  687. int lfs_dir_rewind(lfs_t *lfs, lfs_dir_t *dir) {
  688. // reload the head dir
  689. int err = lfs_dir_fetch(lfs, dir, dir->head);
  690. if (err) {
  691. return err;
  692. }
  693. dir->pair[0] = dir->head[0];
  694. dir->pair[1] = dir->head[1];
  695. dir->pos = sizeof(dir->d) - 2;
  696. dir->off = sizeof(dir->d);
  697. return 0;
  698. }
  699. /// Index list operations ///
  700. static int lfs_index(lfs_t *lfs, lfs_off_t *off) {
  701. lfs_off_t i = 0;
  702. while (*off >= lfs->cfg->block_size) {
  703. i += 1;
  704. *off -= lfs->cfg->block_size;
  705. *off += 4*lfs_min(lfs_ctz(i)+1, lfs->words-1);
  706. }
  707. return i;
  708. }
  709. static int lfs_index_find(lfs_t *lfs, lfs_block_t head, lfs_size_t size,
  710. lfs_size_t pos, lfs_block_t *block, lfs_off_t *off) {
  711. if (size == 0) {
  712. *block = 0;
  713. *off = 0;
  714. return 0;
  715. }
  716. lfs_off_t current = lfs_index(lfs, &(lfs_off_t){size-1});
  717. lfs_off_t target = lfs_index(lfs, &pos);
  718. while (current > target) {
  719. lfs_size_t skip = lfs_min(
  720. lfs_npw2(current-target+1) - 1,
  721. lfs_min(lfs_ctz(current)+1, lfs->words-1) - 1);
  722. int err = lfs_bd_read(lfs, head, 4*skip, &head, 4);
  723. if (err) {
  724. return err;
  725. }
  726. current -= 1 << skip;
  727. }
  728. *block = head;
  729. *off = pos;
  730. return 0;
  731. }
  732. static int lfs_index_extend(lfs_t *lfs,
  733. lfs_block_t head, lfs_size_t size,
  734. lfs_off_t *block, lfs_block_t *off) {
  735. // go ahead and grab a block
  736. int err = lfs_alloc(lfs, block);
  737. if (err) {
  738. return err;
  739. }
  740. err = lfs_bd_erase(lfs, *block);
  741. if (err) {
  742. return err;
  743. }
  744. if (size == 0) {
  745. *off = 0;
  746. return 0;
  747. }
  748. size -= 1;
  749. lfs_off_t index = lfs_index(lfs, &size);
  750. size += 1;
  751. // just copy out the last block if it is incomplete
  752. if (size != lfs->cfg->block_size) {
  753. for (lfs_off_t i = 0; i < size; i++) {
  754. uint8_t data;
  755. int err = lfs_bd_read(lfs, head, i, &data, 1);
  756. if (err) {
  757. return err;
  758. }
  759. err = lfs_bd_prog(lfs, *block, i, &data, 1);
  760. if (err) {
  761. return err;
  762. }
  763. }
  764. *off = size;
  765. return 0;
  766. }
  767. // append block
  768. index += 1;
  769. lfs_size_t skips = lfs_min(lfs_ctz(index)+1, lfs->words-1);
  770. for (lfs_off_t i = 0; i < skips; i++) {
  771. int err = lfs_bd_prog(lfs, *block, 4*i, &head, 4);
  772. if (err) {
  773. return err;
  774. }
  775. if (i != skips-1) {
  776. err = lfs_bd_read(lfs, head, 4*i, &head, 4);
  777. if (err) {
  778. return err;
  779. }
  780. }
  781. }
  782. *off = 4*skips;
  783. return 0;
  784. }
  785. static int lfs_index_traverse(lfs_t *lfs,
  786. lfs_block_t head, lfs_size_t size,
  787. int (*cb)(void*, lfs_block_t), void *data) {
  788. if (size == 0) {
  789. return 0;
  790. }
  791. lfs_off_t index = lfs_index(lfs, &(lfs_off_t){size-1});
  792. while (true) {
  793. int err = cb(data, head);
  794. if (err) {
  795. return err;
  796. }
  797. if (index == 0) {
  798. return 0;
  799. }
  800. err = lfs_bd_read(lfs, head, 0, &head, 4);
  801. if (err) {
  802. return err;
  803. }
  804. index -= 1;
  805. }
  806. return 0;
  807. }
  808. /// Top level file operations ///
  809. int lfs_file_open(lfs_t *lfs, lfs_file_t *file,
  810. const char *path, int flags) {
  811. // Allocate entry for file if it doesn't exist
  812. lfs_dir_t cwd;
  813. int err = lfs_dir_fetch(lfs, &cwd, lfs->root);
  814. if (err) {
  815. return err;
  816. }
  817. lfs_entry_t entry;
  818. err = lfs_dir_find(lfs, &cwd, &entry, &path);
  819. if (err && err != LFS_ERR_NOENT) {
  820. return err;
  821. }
  822. if (err == LFS_ERR_NOENT) {
  823. if (!(flags & LFS_O_CREAT)) {
  824. return LFS_ERR_NOENT;
  825. }
  826. // create entry to remember name
  827. entry.d.type = LFS_TYPE_REG;
  828. entry.d.len = sizeof(entry.d) + strlen(path);
  829. entry.d.u.file.head = 0;
  830. entry.d.u.file.size = 0;
  831. err = lfs_dir_append(lfs, &cwd, &entry, path);
  832. if (err) {
  833. return err;
  834. }
  835. } else if (entry.d.type == LFS_TYPE_DIR) {
  836. return LFS_ERR_ISDIR;
  837. } else if (flags & LFS_O_EXCL) {
  838. return LFS_ERR_EXISTS;
  839. }
  840. // setup file struct
  841. file->pair[0] = cwd.pair[0];
  842. file->pair[1] = cwd.pair[1];
  843. file->off = entry.off;
  844. file->head = entry.d.u.file.head;
  845. file->size = entry.d.u.file.size;
  846. file->flags = flags;
  847. file->pos = 0;
  848. file->wblock = 0;
  849. file->rblock = 0;
  850. if (flags & LFS_O_TRUNC) {
  851. file->head = 0;
  852. file->size = 0;
  853. }
  854. // add to list of files
  855. file->next = lfs->files;
  856. lfs->files = file;
  857. return 0;
  858. }
  859. int lfs_file_close(lfs_t *lfs, lfs_file_t *file) {
  860. int err = lfs_file_sync(lfs, file);
  861. // remove from list of files
  862. for (lfs_file_t **p = &lfs->files; *p; p = &(*p)->next) {
  863. if (*p == file) {
  864. *p = file->next;
  865. break;
  866. }
  867. }
  868. return err;
  869. }
  870. static int lfs_file_flush(lfs_t *lfs, lfs_file_t *file) {
  871. if (file->rblock) {
  872. // just drop read block
  873. file->rblock = 0;
  874. }
  875. if (file->wblock) {
  876. lfs_off_t pos = file->pos;
  877. // copy over anything after current branch
  878. lfs_file_t orig = {
  879. .head = file->head,
  880. .size = file->size,
  881. .flags = LFS_O_RDONLY,
  882. .pos = file->pos,
  883. .rblock = 0,
  884. };
  885. while (file->pos < file->size) {
  886. uint8_t data;
  887. lfs_ssize_t res = lfs_file_read(lfs, &orig, &data, 1);
  888. if (res < 0) {
  889. return res;
  890. }
  891. res = lfs_file_write(lfs, file, &data, 1);
  892. if (res < 0) {
  893. return res;
  894. }
  895. }
  896. // actual file updates
  897. file->head = file->wblock;
  898. file->size = file->pos;
  899. file->wblock = 0;
  900. file->flags |= LFS_O_DIRTY;
  901. file->pos = pos;
  902. }
  903. return 0;
  904. }
  905. int lfs_file_sync(lfs_t *lfs, lfs_file_t *file) {
  906. int err = lfs_file_flush(lfs, file);
  907. if (err) {
  908. return err;
  909. }
  910. if (file->flags & LFS_O_DIRTY) {
  911. // update dir entry
  912. lfs_dir_t cwd;
  913. int err = lfs_dir_fetch(lfs, &cwd, file->pair);
  914. if (err) {
  915. return err;
  916. }
  917. lfs_entry_t entry = {.off = file->off};
  918. err = lfs_bd_read(lfs, cwd.pair[0], entry.off,
  919. &entry.d, sizeof(entry.d));
  920. if (err) {
  921. return err;
  922. }
  923. if (entry.d.type != LFS_TYPE_REG) {
  924. // sanity check valid entry
  925. return LFS_ERR_INVAL;
  926. }
  927. entry.d.u.file.head = file->head;
  928. entry.d.u.file.size = file->size;
  929. err = lfs_dir_commit(lfs, &cwd, &entry, NULL);
  930. if (err) {
  931. return err;
  932. }
  933. file->flags &= ~LFS_O_DIRTY;
  934. }
  935. return 0;
  936. }
  937. lfs_ssize_t lfs_file_read(lfs_t *lfs, lfs_file_t *file,
  938. void *buffer, lfs_size_t size) {
  939. uint8_t *data = buffer;
  940. lfs_size_t nsize = size;
  941. if ((file->flags & 3) == LFS_O_WRONLY) {
  942. return LFS_ERR_INVAL;
  943. }
  944. if (file->wblock) {
  945. // flush out any writes
  946. int err = lfs_file_flush(lfs, file);
  947. if (err) {
  948. return err;
  949. }
  950. }
  951. size = lfs_min(size, file->size - file->pos);
  952. nsize = size;
  953. while (nsize > 0) {
  954. // check if we need a new block
  955. if (!file->rblock || file->roff == lfs->cfg->block_size) {
  956. int err = lfs_index_find(lfs, file->head, file->size,
  957. file->pos, &file->rblock, &file->roff);
  958. if (err) {
  959. return err;
  960. }
  961. }
  962. // read as much as we can in current block
  963. lfs_size_t diff = lfs_min(nsize, lfs->cfg->block_size - file->roff);
  964. int err = lfs_bd_read(lfs, file->rblock, file->roff, data, diff);
  965. if (err) {
  966. return err;
  967. }
  968. file->pos += diff;
  969. file->roff += diff;
  970. data += diff;
  971. nsize -= diff;
  972. }
  973. return size;
  974. }
  975. lfs_ssize_t lfs_file_write(lfs_t *lfs, lfs_file_t *file,
  976. const void *buffer, lfs_size_t size) {
  977. const uint8_t *data = buffer;
  978. lfs_size_t nsize = size;
  979. if ((file->flags & 3) == LFS_O_RDONLY) {
  980. return LFS_ERR_INVAL;
  981. }
  982. if (file->rblock) {
  983. // drop any reads
  984. int err = lfs_file_flush(lfs, file);
  985. if (err) {
  986. return err;
  987. }
  988. }
  989. if ((file->flags & LFS_O_APPEND) && file->pos < file->size) {
  990. file->pos = file->size;
  991. }
  992. while (nsize > 0) {
  993. // check if we need a new block
  994. if (!file->wblock || file->woff == lfs->cfg->block_size) {
  995. if (!file->wblock) {
  996. // find out which block we're extending from
  997. int err = lfs_index_find(lfs, file->head, file->size,
  998. file->pos, &file->wblock, &file->woff);
  999. if (err) {
  1000. return err;
  1001. }
  1002. }
  1003. // extend file with new blocks
  1004. int err = lfs_index_extend(lfs, file->wblock, file->pos,
  1005. &file->wblock, &file->woff);
  1006. if (err) {
  1007. return err;
  1008. }
  1009. }
  1010. // program as much as we can in current block
  1011. lfs_size_t diff = lfs_min(nsize, lfs->cfg->block_size - file->woff);
  1012. int err = lfs_bd_prog(lfs, file->wblock, file->woff, data, diff);
  1013. if (err) {
  1014. return err;
  1015. }
  1016. file->pos += diff;
  1017. file->woff += diff;
  1018. data += diff;
  1019. nsize -= diff;
  1020. }
  1021. if (file->flags & LFS_O_SYNC) {
  1022. int err = lfs_file_sync(lfs, file);
  1023. if (err) {
  1024. return err;
  1025. }
  1026. }
  1027. return size;
  1028. }
  1029. lfs_soff_t lfs_file_seek(lfs_t *lfs, lfs_file_t *file,
  1030. lfs_soff_t off, int whence) {
  1031. // write out everything beforehand, may be noop if rdonly
  1032. int err = lfs_file_flush(lfs, file);
  1033. if (err) {
  1034. return err;
  1035. }
  1036. // update pos
  1037. lfs_off_t pos = file->pos;
  1038. if (whence == LFS_SEEK_SET) {
  1039. file->pos = off;
  1040. } else if (whence == LFS_SEEK_CUR) {
  1041. file->pos = file->pos + off;
  1042. } else if (whence == LFS_SEEK_END) {
  1043. file->pos = file->size + off;
  1044. }
  1045. return pos;
  1046. }
  1047. lfs_soff_t lfs_file_tell(lfs_t *lfs, lfs_file_t *file) {
  1048. return file->pos;
  1049. }
  1050. int lfs_file_rewind(lfs_t *lfs, lfs_file_t *file) {
  1051. lfs_soff_t res = lfs_file_seek(lfs, file, 0, LFS_SEEK_SET);
  1052. if (res < 0) {
  1053. return res;
  1054. }
  1055. return 0;
  1056. }
  1057. lfs_soff_t lfs_file_size(lfs_t *lfs, lfs_file_t *file) {
  1058. return lfs_max(file->pos, file->size);
  1059. }
  1060. /// General fs oprations ///
  1061. int lfs_stat(lfs_t *lfs, const char *path, struct lfs_info *info) {
  1062. lfs_dir_t cwd;
  1063. int err = lfs_dir_fetch(lfs, &cwd, lfs->root);
  1064. if (err) {
  1065. return err;
  1066. }
  1067. lfs_entry_t entry;
  1068. err = lfs_dir_find(lfs, &cwd, &entry, &path);
  1069. if (err) {
  1070. return err;
  1071. }
  1072. memset(info, 0, sizeof(*info));
  1073. info->type = entry.d.type & 0xff;
  1074. if (info->type == LFS_TYPE_REG) {
  1075. info->size = entry.d.u.file.size;
  1076. }
  1077. err = lfs_bd_read(lfs, cwd.pair[0], entry.off + sizeof(entry.d),
  1078. info->name, entry.d.len - sizeof(entry.d));
  1079. if (err) {
  1080. return err;
  1081. }
  1082. return 0;
  1083. }
  1084. int lfs_remove(lfs_t *lfs, const char *path) {
  1085. lfs_dir_t cwd;
  1086. int err = lfs_dir_fetch(lfs, &cwd, lfs->root);
  1087. if (err) {
  1088. return err;
  1089. }
  1090. lfs_entry_t entry;
  1091. err = lfs_dir_find(lfs, &cwd, &entry, &path);
  1092. if (err) {
  1093. return err;
  1094. }
  1095. lfs_dir_t dir;
  1096. if (entry.d.type == LFS_TYPE_DIR) {
  1097. // must be empty before removal, checking size
  1098. // without masking top bit checks for any case where
  1099. // dir is not empty
  1100. int err = lfs_dir_fetch(lfs, &dir, entry.d.u.dir);
  1101. if (err) {
  1102. return err;
  1103. } else if (dir.d.size != sizeof(dir.d)) {
  1104. return LFS_ERR_INVAL;
  1105. }
  1106. }
  1107. // remove the entry
  1108. err = lfs_dir_remove(lfs, &cwd, &entry);
  1109. if (err) {
  1110. return err;
  1111. }
  1112. // if we were a directory, just run a deorphan step, this should
  1113. // collect us, although is expensive
  1114. if (entry.d.type == LFS_TYPE_DIR) {
  1115. int err = lfs_deorphan(lfs);
  1116. if (err) {
  1117. return err;
  1118. }
  1119. }
  1120. return 0;
  1121. }
  1122. int lfs_rename(lfs_t *lfs, const char *oldpath, const char *newpath) {
  1123. // find old entry
  1124. lfs_dir_t oldcwd;
  1125. int err = lfs_dir_fetch(lfs, &oldcwd, lfs->root);
  1126. if (err) {
  1127. return err;
  1128. }
  1129. lfs_entry_t oldentry;
  1130. err = lfs_dir_find(lfs, &oldcwd, &oldentry, &oldpath);
  1131. if (err) {
  1132. return err;
  1133. }
  1134. // allocate new entry
  1135. lfs_dir_t newcwd;
  1136. err = lfs_dir_fetch(lfs, &newcwd, lfs->root);
  1137. if (err) {
  1138. return err;
  1139. }
  1140. lfs_entry_t preventry;
  1141. err = lfs_dir_find(lfs, &newcwd, &preventry, &newpath);
  1142. if (err && err != LFS_ERR_NOENT) {
  1143. return err;
  1144. }
  1145. bool prevexists = (err != LFS_ERR_NOENT);
  1146. // must have same type
  1147. if (prevexists && preventry.d.type != oldentry.d.type) {
  1148. return LFS_ERR_INVAL;
  1149. }
  1150. lfs_dir_t dir;
  1151. if (prevexists && preventry.d.type == LFS_TYPE_DIR) {
  1152. // must be empty before removal, checking size
  1153. // without masking top bit checks for any case where
  1154. // dir is not empty
  1155. int err = lfs_dir_fetch(lfs, &dir, preventry.d.u.dir);
  1156. if (err) {
  1157. return err;
  1158. } else if (dir.d.size != sizeof(dir.d)) {
  1159. return LFS_ERR_INVAL;
  1160. }
  1161. }
  1162. // move to new location
  1163. lfs_entry_t newentry = preventry;
  1164. newentry.d = oldentry.d;
  1165. newentry.d.len = sizeof(newentry.d) + strlen(newpath);
  1166. if (prevexists) {
  1167. int err = lfs_dir_commit(lfs, &newcwd, &newentry, newpath);
  1168. if (err) {
  1169. return err;
  1170. }
  1171. } else {
  1172. int err = lfs_dir_append(lfs, &newcwd, &newentry, newpath);
  1173. if (err) {
  1174. return err;
  1175. }
  1176. }
  1177. // fetch again in case newcwd == oldcwd
  1178. err = lfs_dir_fetch(lfs, &oldcwd, oldcwd.pair);
  1179. if (err) {
  1180. return err;
  1181. }
  1182. err = lfs_dir_find(lfs, &oldcwd, &oldentry, &oldpath);
  1183. if (err) {
  1184. return err;
  1185. }
  1186. // remove from old location
  1187. err = lfs_dir_remove(lfs, &oldcwd, &oldentry);
  1188. if (err) {
  1189. return err;
  1190. }
  1191. // if we were a directory, just run a deorphan step, this should
  1192. // collect us, although is expensive
  1193. if (prevexists && preventry.d.type == LFS_TYPE_DIR) {
  1194. int err = lfs_deorphan(lfs);
  1195. if (err) {
  1196. return err;
  1197. }
  1198. }
  1199. return 0;
  1200. }
  1201. /// Filesystem operations ///
  1202. static int lfs_init(lfs_t *lfs, const struct lfs_config *cfg) {
  1203. lfs->cfg = cfg;
  1204. lfs->words = lfs->cfg->block_size / sizeof(uint32_t);
  1205. // setup read cache
  1206. lfs->rcache.off = -1;
  1207. if (lfs->cfg->read_buffer) {
  1208. lfs->rcache.buffer = lfs->cfg->read_buffer;
  1209. } else {
  1210. lfs->rcache.buffer = malloc(lfs->cfg->read_size);
  1211. if (!lfs->rcache.buffer) {
  1212. return LFS_ERR_NOMEM;
  1213. }
  1214. }
  1215. // setup program cache
  1216. lfs->pcache.off = -1;
  1217. if (lfs->cfg->prog_buffer) {
  1218. lfs->pcache.buffer = lfs->cfg->prog_buffer;
  1219. } else {
  1220. lfs->pcache.buffer = malloc(lfs->cfg->prog_size);
  1221. if (!lfs->pcache.buffer) {
  1222. return LFS_ERR_NOMEM;
  1223. }
  1224. }
  1225. // setup lookahead
  1226. if (lfs->cfg->lookahead_buffer) {
  1227. lfs->free.lookahead = lfs->cfg->lookahead_buffer;
  1228. } else {
  1229. lfs->free.lookahead = malloc(lfs->cfg->lookahead/8);
  1230. if (!lfs->free.lookahead) {
  1231. return LFS_ERR_NOMEM;
  1232. }
  1233. }
  1234. // setup files as an empty list
  1235. lfs->files = NULL;
  1236. return 0;
  1237. }
  1238. static int lfs_deinit(lfs_t *lfs) {
  1239. // Free allocated memory
  1240. if (!lfs->cfg->read_buffer) {
  1241. free(lfs->rcache.buffer);
  1242. }
  1243. if (!lfs->cfg->prog_buffer) {
  1244. free(lfs->pcache.buffer);
  1245. }
  1246. return 0;
  1247. }
  1248. int lfs_format(lfs_t *lfs, const struct lfs_config *cfg) {
  1249. int err = lfs_init(lfs, cfg);
  1250. if (err) {
  1251. return err;
  1252. }
  1253. // Create free lookahead
  1254. memset(lfs->free.lookahead, 0, lfs->cfg->lookahead/8);
  1255. lfs->free.start = 0;
  1256. lfs->free.off = 0;
  1257. // Create superblock dir
  1258. lfs_dir_t superdir;
  1259. err = lfs_dir_alloc(lfs, &superdir);
  1260. if (err) {
  1261. return err;
  1262. }
  1263. // Write root directory
  1264. lfs_dir_t root;
  1265. err = lfs_dir_alloc(lfs, &root);
  1266. if (err) {
  1267. return err;
  1268. }
  1269. err = lfs_dir_commit(lfs, &root, NULL, NULL);
  1270. if (err) {
  1271. return err;
  1272. }
  1273. lfs->root[0] = root.pair[0];
  1274. lfs->root[1] = root.pair[1];
  1275. // Write superblocks
  1276. lfs_superblock_t superblock = {
  1277. .off = sizeof(superdir.d),
  1278. .d.type = LFS_TYPE_SUPERBLOCK,
  1279. .d.len = sizeof(superblock.d),
  1280. .d.version = 0x00000001,
  1281. .d.magic = {"littlefs"},
  1282. .d.block_size = lfs->cfg->block_size,
  1283. .d.block_count = lfs->cfg->block_count,
  1284. .d.root = {lfs->root[0], lfs->root[1]},
  1285. };
  1286. superdir.d.tail[0] = root.pair[0];
  1287. superdir.d.tail[1] = root.pair[1];
  1288. superdir.d.size += sizeof(superdir.d);
  1289. for (int i = 0; i < 2; i++) {
  1290. // Write both pairs for extra safety, do some finagling to pretend
  1291. // the superblock is an entry
  1292. int err = lfs_dir_commit(lfs, &superdir,
  1293. (const lfs_entry_t*)&superblock,
  1294. (const struct lfs_disk_entry*)&superblock.d + 1);
  1295. if (err) {
  1296. LFS_ERROR("Failed to write superblock at %d", superdir.pair[0]);
  1297. return err;
  1298. }
  1299. }
  1300. // sanity check that fetch works
  1301. err = lfs_dir_fetch(lfs, &superdir, (const lfs_block_t[2]){0, 1});
  1302. if (err) {
  1303. return err;
  1304. }
  1305. return lfs_deinit(lfs);
  1306. }
  1307. int lfs_mount(lfs_t *lfs, const struct lfs_config *cfg) {
  1308. int err = lfs_init(lfs, cfg);
  1309. if (err) {
  1310. return err;
  1311. }
  1312. // setup free lookahead
  1313. lfs->free.start = -lfs->cfg->lookahead;
  1314. lfs->free.off = lfs->cfg->lookahead;
  1315. // load superblock
  1316. lfs_dir_t dir;
  1317. lfs_superblock_t superblock;
  1318. err = lfs_dir_fetch(lfs, &dir, (const lfs_block_t[2]){0, 1});
  1319. if (!err) {
  1320. err = lfs_bd_read(lfs, dir.pair[0],
  1321. sizeof(dir.d), &superblock.d, sizeof(superblock.d));
  1322. lfs->root[0] = superblock.d.root[0];
  1323. lfs->root[1] = superblock.d.root[1];
  1324. }
  1325. if (err == LFS_ERR_CORRUPT ||
  1326. memcmp(superblock.d.magic, "littlefs", 8) != 0) {
  1327. LFS_ERROR("Invalid superblock at %d %d", dir.pair[0], dir.pair[1]);
  1328. return LFS_ERR_CORRUPT;
  1329. }
  1330. if (superblock.d.version > 0x0000ffff) {
  1331. LFS_ERROR("Invalid version %d.%d\n",
  1332. 0xffff & (superblock.d.version >> 16),
  1333. 0xffff & (superblock.d.version >> 0));
  1334. return LFS_ERR_INVAL;
  1335. }
  1336. return err;
  1337. }
  1338. int lfs_unmount(lfs_t *lfs) {
  1339. return lfs_deinit(lfs);
  1340. }
  1341. /// Littlefs specific operations ///
  1342. int lfs_traverse(lfs_t *lfs, int (*cb)(void*, lfs_block_t), void *data) {
  1343. // iterate over metadata pairs
  1344. lfs_dir_t dir;
  1345. lfs_entry_t entry;
  1346. lfs_block_t cwd[2] = {0, 1};
  1347. while (true) {
  1348. for (int i = 0; i < 2; i++) {
  1349. int err = cb(data, cwd[i]);
  1350. if (err) {
  1351. return err;
  1352. }
  1353. }
  1354. int err = lfs_dir_fetch(lfs, &dir, cwd);
  1355. if (err) {
  1356. return err;
  1357. }
  1358. // iterate over contents
  1359. while ((0x7fffffff & dir.d.size) >= dir.off + sizeof(entry.d)) {
  1360. int err = lfs_bd_read(lfs, dir.pair[0], dir.off,
  1361. &entry.d, sizeof(entry.d));
  1362. if (err) {
  1363. return err;
  1364. }
  1365. dir.off += entry.d.len;
  1366. if ((0xf & entry.d.type) == LFS_TYPE_REG) {
  1367. int err = lfs_index_traverse(lfs,
  1368. entry.d.u.file.head, entry.d.u.file.size, cb, data);
  1369. if (err) {
  1370. return err;
  1371. }
  1372. }
  1373. }
  1374. cwd[0] = dir.d.tail[0];
  1375. cwd[1] = dir.d.tail[1];
  1376. if (lfs_pairisnull(cwd)) {
  1377. break;
  1378. }
  1379. }
  1380. // iterate over any open files
  1381. for (lfs_file_t *f = lfs->files; f; f = f->next) {
  1382. if (f->flags & LFS_O_DIRTY) {
  1383. int err = lfs_index_traverse(lfs, f->head, f->size, cb, data);
  1384. if (err) {
  1385. return err;
  1386. }
  1387. }
  1388. if (f->wblock) {
  1389. int err = lfs_index_traverse(lfs, f->wblock, f->pos, cb, data);
  1390. if (err) {
  1391. return err;
  1392. }
  1393. }
  1394. }
  1395. return 0;
  1396. }
  1397. static int lfs_parent(lfs_t *lfs, const lfs_block_t dir[2]) {
  1398. // iterate over all directory directory entries
  1399. lfs_dir_t parent = {
  1400. .d.tail[0] = lfs->root[0],
  1401. .d.tail[1] = lfs->root[1],
  1402. };
  1403. while (true) {
  1404. lfs_entry_t entry;
  1405. int err = lfs_dir_fetch(lfs, &parent, parent.d.tail);
  1406. if (err) {
  1407. return err;
  1408. }
  1409. while (true) {
  1410. int err = lfs_dir_next(lfs, &parent, &entry);
  1411. if (err && err != LFS_ERR_NOENT) {
  1412. return err;
  1413. }
  1414. if (err == LFS_ERR_NOENT) {
  1415. break;
  1416. }
  1417. if ((0xf & entry.d.type) == LFS_TYPE_DIR &&
  1418. lfs_paircmp(entry.d.u.dir, dir) == 0) {
  1419. return true;
  1420. }
  1421. }
  1422. if (lfs_pairisnull(parent.d.tail)) {
  1423. return false;
  1424. }
  1425. }
  1426. }
  1427. int lfs_deorphan(lfs_t *lfs) {
  1428. // iterate over all directories
  1429. lfs_dir_t pdir;
  1430. lfs_dir_t cdir;
  1431. // skip root
  1432. int err = lfs_dir_fetch(lfs, &pdir, lfs->root);
  1433. if (err) {
  1434. return err;
  1435. }
  1436. while (!lfs_pairisnull(pdir.d.tail)) {
  1437. int err = lfs_dir_fetch(lfs, &cdir, pdir.d.tail);
  1438. if (err) {
  1439. return err;
  1440. }
  1441. // only check head blocks
  1442. if (!(0x80000000 & pdir.d.size)) {
  1443. // check if we have a parent
  1444. int parent = lfs_parent(lfs, pdir.d.tail);
  1445. if (parent < 0) {
  1446. return parent;
  1447. }
  1448. if (!parent) {
  1449. // we are an orphan
  1450. LFS_DEBUG("Orphan %d %d", pdir.d.tail[0], pdir.d.tail[1]);
  1451. pdir.d.tail[0] = cdir.d.tail[0];
  1452. pdir.d.tail[1] = cdir.d.tail[1];
  1453. err = lfs_dir_commit(lfs, &pdir, NULL, NULL);
  1454. if (err) {
  1455. return err;
  1456. }
  1457. break;
  1458. }
  1459. }
  1460. memcpy(&pdir, &cdir, sizeof(pdir));
  1461. }
  1462. return 0;
  1463. }