lfs.c 44 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772
  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. if (!lfs->cfg->lookahead_buffer) {
  1247. free(lfs->free.lookahead);
  1248. }
  1249. return 0;
  1250. }
  1251. int lfs_format(lfs_t *lfs, const struct lfs_config *cfg) {
  1252. int err = lfs_init(lfs, cfg);
  1253. if (err) {
  1254. return err;
  1255. }
  1256. // Create free lookahead
  1257. memset(lfs->free.lookahead, 0, lfs->cfg->lookahead/8);
  1258. lfs->free.start = 0;
  1259. lfs->free.off = 0;
  1260. // Create superblock dir
  1261. lfs_dir_t superdir;
  1262. err = lfs_dir_alloc(lfs, &superdir);
  1263. if (err) {
  1264. return err;
  1265. }
  1266. // Write root directory
  1267. lfs_dir_t root;
  1268. err = lfs_dir_alloc(lfs, &root);
  1269. if (err) {
  1270. return err;
  1271. }
  1272. err = lfs_dir_commit(lfs, &root, NULL, NULL);
  1273. if (err) {
  1274. return err;
  1275. }
  1276. lfs->root[0] = root.pair[0];
  1277. lfs->root[1] = root.pair[1];
  1278. // Write superblocks
  1279. lfs_superblock_t superblock = {
  1280. .off = sizeof(superdir.d),
  1281. .d.type = LFS_TYPE_SUPERBLOCK,
  1282. .d.len = sizeof(superblock.d),
  1283. .d.version = 0x00000001,
  1284. .d.magic = {"littlefs"},
  1285. .d.block_size = lfs->cfg->block_size,
  1286. .d.block_count = lfs->cfg->block_count,
  1287. .d.root = {lfs->root[0], lfs->root[1]},
  1288. };
  1289. superdir.d.tail[0] = root.pair[0];
  1290. superdir.d.tail[1] = root.pair[1];
  1291. superdir.d.size += sizeof(superdir.d);
  1292. for (int i = 0; i < 2; i++) {
  1293. // Write both pairs for extra safety, do some finagling to pretend
  1294. // the superblock is an entry
  1295. int err = lfs_dir_commit(lfs, &superdir,
  1296. (const lfs_entry_t*)&superblock,
  1297. (const struct lfs_disk_entry*)&superblock.d + 1);
  1298. if (err) {
  1299. LFS_ERROR("Failed to write superblock at %d", superdir.pair[0]);
  1300. return err;
  1301. }
  1302. }
  1303. // sanity check that fetch works
  1304. err = lfs_dir_fetch(lfs, &superdir, (const lfs_block_t[2]){0, 1});
  1305. if (err) {
  1306. return err;
  1307. }
  1308. return lfs_deinit(lfs);
  1309. }
  1310. int lfs_mount(lfs_t *lfs, const struct lfs_config *cfg) {
  1311. int err = lfs_init(lfs, cfg);
  1312. if (err) {
  1313. return err;
  1314. }
  1315. // setup free lookahead
  1316. lfs->free.start = -lfs->cfg->lookahead;
  1317. lfs->free.off = lfs->cfg->lookahead;
  1318. // load superblock
  1319. lfs_dir_t dir;
  1320. lfs_superblock_t superblock;
  1321. err = lfs_dir_fetch(lfs, &dir, (const lfs_block_t[2]){0, 1});
  1322. if (!err) {
  1323. err = lfs_bd_read(lfs, dir.pair[0],
  1324. sizeof(dir.d), &superblock.d, sizeof(superblock.d));
  1325. lfs->root[0] = superblock.d.root[0];
  1326. lfs->root[1] = superblock.d.root[1];
  1327. }
  1328. if (err == LFS_ERR_CORRUPT ||
  1329. memcmp(superblock.d.magic, "littlefs", 8) != 0) {
  1330. LFS_ERROR("Invalid superblock at %d %d", dir.pair[0], dir.pair[1]);
  1331. return LFS_ERR_CORRUPT;
  1332. }
  1333. if (superblock.d.version > 0x0000ffff) {
  1334. LFS_ERROR("Invalid version %d.%d\n",
  1335. 0xffff & (superblock.d.version >> 16),
  1336. 0xffff & (superblock.d.version >> 0));
  1337. return LFS_ERR_INVAL;
  1338. }
  1339. return err;
  1340. }
  1341. int lfs_unmount(lfs_t *lfs) {
  1342. return lfs_deinit(lfs);
  1343. }
  1344. /// Littlefs specific operations ///
  1345. int lfs_traverse(lfs_t *lfs, int (*cb)(void*, lfs_block_t), void *data) {
  1346. // iterate over metadata pairs
  1347. lfs_dir_t dir;
  1348. lfs_entry_t entry;
  1349. lfs_block_t cwd[2] = {0, 1};
  1350. while (true) {
  1351. for (int i = 0; i < 2; i++) {
  1352. int err = cb(data, cwd[i]);
  1353. if (err) {
  1354. return err;
  1355. }
  1356. }
  1357. int err = lfs_dir_fetch(lfs, &dir, cwd);
  1358. if (err) {
  1359. return err;
  1360. }
  1361. // iterate over contents
  1362. while ((0x7fffffff & dir.d.size) >= dir.off + sizeof(entry.d)) {
  1363. int err = lfs_bd_read(lfs, dir.pair[0], dir.off,
  1364. &entry.d, sizeof(entry.d));
  1365. if (err) {
  1366. return err;
  1367. }
  1368. dir.off += entry.d.len;
  1369. if ((0xf & entry.d.type) == LFS_TYPE_REG) {
  1370. int err = lfs_index_traverse(lfs,
  1371. entry.d.u.file.head, entry.d.u.file.size, cb, data);
  1372. if (err) {
  1373. return err;
  1374. }
  1375. }
  1376. }
  1377. cwd[0] = dir.d.tail[0];
  1378. cwd[1] = dir.d.tail[1];
  1379. if (lfs_pairisnull(cwd)) {
  1380. break;
  1381. }
  1382. }
  1383. // iterate over any open files
  1384. for (lfs_file_t *f = lfs->files; f; f = f->next) {
  1385. if (f->flags & LFS_O_DIRTY) {
  1386. int err = lfs_index_traverse(lfs, f->head, f->size, cb, data);
  1387. if (err) {
  1388. return err;
  1389. }
  1390. }
  1391. if (f->wblock) {
  1392. int err = lfs_index_traverse(lfs, f->wblock, f->pos, cb, data);
  1393. if (err) {
  1394. return err;
  1395. }
  1396. }
  1397. }
  1398. return 0;
  1399. }
  1400. static int lfs_parent(lfs_t *lfs, const lfs_block_t dir[2]) {
  1401. // iterate over all directory directory entries
  1402. lfs_dir_t parent = {
  1403. .d.tail[0] = lfs->root[0],
  1404. .d.tail[1] = lfs->root[1],
  1405. };
  1406. while (true) {
  1407. lfs_entry_t entry;
  1408. int err = lfs_dir_fetch(lfs, &parent, parent.d.tail);
  1409. if (err) {
  1410. return err;
  1411. }
  1412. while (true) {
  1413. int err = lfs_dir_next(lfs, &parent, &entry);
  1414. if (err && err != LFS_ERR_NOENT) {
  1415. return err;
  1416. }
  1417. if (err == LFS_ERR_NOENT) {
  1418. break;
  1419. }
  1420. if ((0xf & entry.d.type) == LFS_TYPE_DIR &&
  1421. lfs_paircmp(entry.d.u.dir, dir) == 0) {
  1422. return true;
  1423. }
  1424. }
  1425. if (lfs_pairisnull(parent.d.tail)) {
  1426. return false;
  1427. }
  1428. }
  1429. }
  1430. int lfs_deorphan(lfs_t *lfs) {
  1431. // iterate over all directories
  1432. lfs_dir_t pdir;
  1433. lfs_dir_t cdir;
  1434. // skip root
  1435. int err = lfs_dir_fetch(lfs, &pdir, lfs->root);
  1436. if (err) {
  1437. return err;
  1438. }
  1439. while (!lfs_pairisnull(pdir.d.tail)) {
  1440. int err = lfs_dir_fetch(lfs, &cdir, pdir.d.tail);
  1441. if (err) {
  1442. return err;
  1443. }
  1444. // only check head blocks
  1445. if (!(0x80000000 & pdir.d.size)) {
  1446. // check if we have a parent
  1447. int parent = lfs_parent(lfs, pdir.d.tail);
  1448. if (parent < 0) {
  1449. return parent;
  1450. }
  1451. if (!parent) {
  1452. // we are an orphan
  1453. LFS_DEBUG("Orphan %d %d", pdir.d.tail[0], pdir.d.tail[1]);
  1454. pdir.d.tail[0] = cdir.d.tail[0];
  1455. pdir.d.tail[1] = cdir.d.tail[1];
  1456. err = lfs_dir_commit(lfs, &pdir, NULL, NULL);
  1457. if (err) {
  1458. return err;
  1459. }
  1460. break;
  1461. }
  1462. }
  1463. memcpy(&pdir, &cdir, sizeof(pdir));
  1464. }
  1465. return 0;
  1466. }