1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
//! ext2 / ext3 / ext4 filesystem implementation.
//!
//! v1 writes ext2 (no journal, no extents, no htree). Feature-flag wiring
//! for ext3/ext4 follows in P4; the on-disk format types are intentionally
//! shared so adding the deltas does not duplicate the superblock /
//! group-descriptor / inode encoders.
//!
//! ## Streaming
//!
//! Only *metadata* is kept in memory during a write — per-group bitmaps,
//! the in-progress inode table (one slot per allocated inode), and the
//! data blocks of directories being assembled. File contents are streamed
//! straight to the device through a fixed-size buffer; no file is ever
//! fully resident in memory regardless of size.
//!
//! ## Binary-exact compatibility with genext2fs
//!
//! Defaults are chosen to match `genext2fs -d <dir> -f -q` (-f = zero
//! timestamps, -q = squash uids/perms). See `tests/ext2_genext2fs_compat.rs`
//! for the diff harness once it lands.
pub mod build_plan;
pub mod constants;
pub mod csum;
pub mod dir;
pub mod extent;
pub mod group;
pub mod inode;
pub mod layout;
pub mod superblock;
pub mod xattr;
pub use build_plan::BuildPlan;
use std::io::Read;
use constants::{INO_ROOT_DIR, SUPERBLOCK_OFFSET};
use group::{GroupDesc, set_bit, set_first_n, test_bit};
use inode::{Inode, SpecialKind};
use layout::Layout;
use superblock::Superblock;
use crate::Result;
use crate::block::BlockDevice;
use crate::fs::rootdevs::{RootDevs, device_table};
use crate::fs::{DeviceKind, FileMeta, FileSource};
/// Which member of the ext family to produce. Controls which feature flags
/// are set and whether a journal is allocated. ext4-specific format work
/// (extent tree, 64-bit, flex_bg, ...) lands incrementally — v1 accepts
/// `Ext4` but currently emits the same on-disk layout as ext3, which
/// modern kernels mount as ext4 once the feature flags are set.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum FsKind {
#[default]
Ext2,
Ext3,
Ext4,
}
impl FsKind {
/// Whether this kind uses a journal.
pub fn has_journal(self) -> bool {
matches!(self, FsKind::Ext3 | FsKind::Ext4)
}
}
/// Options accepted by [`Ext::format_with`].
///
/// Defaults mirror `genext2fs -d <dir> -f -q -B 1024`: 1 KiB blocks, no
/// features, all-zero UUID + label, mtime 0, 5% reserved blocks, lost+found
/// pre-allocated.
#[derive(Debug, Clone)]
pub struct FormatOpts {
pub kind: FsKind,
pub block_size: u32,
pub blocks_count: u32,
pub inodes_count: u32,
pub uuid: [u8; 16],
pub volume_label: [u8; 16],
pub mtime: u32,
pub reserved_blocks_percent: u8,
pub create_lost_found: bool,
/// Journal size in FS blocks. Only used when `kind.has_journal()`.
/// 0 → pick a sensible default (256 blocks).
pub journal_blocks: u32,
/// When set, regular files are written sparsely: any block that is
/// entirely zero is left unallocated (a hole) instead of consuming a
/// data block. The file still reads back identically. Off by default
/// so plain ext2 output stays byte-for-byte comparable with genext2fs.
pub sparse: bool,
/// When true, only groups 0 and 1 plus groups whose number is a power
/// of 3, 5, or 7 hold a superblock + GDT backup; the rest skip them.
/// Advertised on disk by `RO_COMPAT_SPARSE_SUPER`. Off by default so
/// raw-ext2 output stays binary-exact with genext2fs (which doesn't
/// emit sparse_super); on by default for ext3/ext4 (which match mke2fs).
pub sparse_super: bool,
}
impl Default for FormatOpts {
fn default() -> Self {
Self {
kind: FsKind::Ext2,
block_size: 1024,
blocks_count: 1024,
inodes_count: 16,
uuid: [0; 16],
volume_label: [0; 16],
mtime: 0,
reserved_blocks_percent: 5,
create_lost_found: true,
journal_blocks: 0,
sparse: false,
sparse_super: false,
}
}
}
/// In-memory state of a block group during writing.
#[derive(Debug, Clone)]
struct GroupState {
block_bitmap: Vec<u8>,
inode_bitmap: Vec<u8>,
desc: GroupDesc,
}
/// An open / under-construction ext filesystem.
///
/// During the build phase the on-disk state may be inconsistent: bitmaps
/// and inode-table entries are only written when [`Ext::flush`] runs
/// (called automatically at the end of [`Ext::format_with`] for the empty
/// FS case, and explicitly after a batch of `add_*` calls).
#[derive(Debug)]
pub struct Ext {
pub sb: Superblock,
pub layout: Layout,
/// Which ext flavour to write — controls extent-vs-indirect block
/// pointers, FILETYPE in dirents, etc.
pub kind: FsKind,
/// When set, all-zero blocks in regular files are written as holes.
pub sparse: bool,
groups: Vec<GroupState>,
/// Next free inode number to hand out (starts at first_ino).
next_inode: u32,
/// Inodes allocated so far during this build session. Written to the
/// on-disk inode table during [`flush_metadata`].
inodes: Vec<(u32, Inode)>,
/// Data blocks staged for write (typically directory data blocks and
/// indirect-block tables, which we assemble in memory). Regular file
/// data is NOT staged here — it streams straight to the device.
data_blocks: Vec<(u32, Vec<u8>)>,
/// Directory data blocks staged in `data_blocks`, tagged with their
/// owning directory inode. Used at flush time to stamp the per-block
/// CRC32C checksum tail when `metadata_csum` is active.
dir_blocks: Vec<(u32, u32)>,
}
impl Ext {
/// Format the device, returning an `Ext` handle. At return the on-disk
/// image is a valid ext2 containing just the root directory (and
/// `/lost+found` if requested in `opts`).
pub fn format_with(dev: &mut dyn BlockDevice, opts: &FormatOpts) -> Result<Self> {
let layout = layout::plan_with(
opts.block_size,
opts.blocks_count,
opts.inodes_count,
opts.sparse_super,
)?;
let total_bytes = layout.blocks_count as u64 * layout.block_size as u64;
if dev.total_size() < total_bytes {
return Err(crate::Error::InvalidArgument(format!(
"ext: device has {} bytes, need {total_bytes}",
dev.total_size()
)));
}
// Zero the FS region. Backends may treat this as a sparse hole.
dev.zero_range(0, total_bytes)?;
// Build superblock.
let mut sb = Superblock::ext2_default();
sb.blocks_count = layout.blocks_count;
sb.inodes_count = layout.inodes_count;
sb.first_data_block = layout.first_data_block;
sb.log_block_size = layout.block_size.trailing_zeros() - 10;
sb.log_frag_size = sb.log_block_size;
sb.blocks_per_group = layout.blocks_per_group;
sb.frags_per_group = layout.blocks_per_group;
sb.inodes_per_group = layout.inodes_per_group;
sb.mtime = opts.mtime;
sb.wtime = opts.mtime;
sb.uuid = opts.uuid;
sb.volume_name = opts.volume_label;
sb.r_blocks_count =
(layout.blocks_count as u64 * opts.reserved_blocks_percent as u64 / 100) as u32;
sb.lastcheck = opts.mtime;
// Initialise per-group bitmaps with metadata blocks already marked
// as used, plus padding-bit-as-used tails for short groups and small
// inode counts.
let bs = layout.block_size;
let mut groups = Vec::with_capacity(layout.groups.len());
for g in &layout.groups {
let mut block_bitmap = vec![0u8; bs as usize];
let mut inode_bitmap = vec![0u8; bs as usize];
// Mark metadata blocks of this group as used.
for blk in g.start_block..g.data_start {
set_bit(&mut block_bitmap, blk - g.start_block);
}
// For 1 KiB blocks where first_data_block == 1, block 0 (boot
// block) is outside the bitmap entirely. Higher block sizes
// overlap the boot region with block 0 itself, which IS the
// first block of group 0, so it must be marked used: that's
// already covered above because block 0 lies in [start, data_start).
let group_blocks = g.end_block - g.start_block + 1;
// Bits past the group's last valid block are marked used so the
// allocator never picks them.
for bit in group_blocks..(bs * 8) {
set_bit(&mut block_bitmap, bit);
}
// Same on the inode bitmap.
for bit in layout.inodes_per_group..(bs * 8) {
set_bit(&mut inode_bitmap, bit);
}
let desc = GroupDesc {
block_bitmap: g.block_bitmap,
inode_bitmap: g.inode_bitmap,
inode_table: g.inode_table,
free_blocks_count: 0,
free_inodes_count: 0,
used_dirs_count: 0,
flags: 0,
};
groups.push(GroupState {
block_bitmap,
inode_bitmap,
desc,
});
}
let mut ext = Self {
sb,
layout,
kind: opts.kind,
sparse: opts.sparse,
groups,
next_inode: 0,
inodes: Vec::new(),
data_blocks: Vec::new(),
dir_blocks: Vec::new(),
};
// Set feature flags up front — before create_root / create_lost_found
// run — so those build their directory blocks with the right layout
// (FILETYPE dirents, metadata_csum tail). The journal feature is set
// here too; allocate_journal itself runs further down.
if matches!(opts.kind, FsKind::Ext4) {
ext.sb.feature_incompat |= constants::feature::INCOMPAT_EXTENTS;
// FILETYPE is required for metadata_csum's directory checksum
// tail (the tail uses the dirent file_type byte as its marker),
// and matches mke2fs ext4 anyway.
ext.sb.feature_incompat |= constants::feature::INCOMPAT_FILETYPE;
// Match mke2fs: a fresh ext4 carries CRC32C metadata checksums.
ext.sb.feature_ro_compat |= constants::feature::RO_COMPAT_METADATA_CSUM;
}
if opts.sparse_super {
ext.sb.feature_ro_compat |= constants::feature::RO_COMPAT_SPARSE_SUPER;
}
if opts.kind.has_journal() {
ext.sb.feature_compat |= constants::feature::COMPAT_HAS_JOURNAL;
}
// Reserve inodes 1..first_ino-1 (1..=10 for dynamic rev).
let first_ino = ext.sb.first_ino;
set_first_n(&mut ext.groups[0].inode_bitmap, first_ino - 1);
ext.next_inode = first_ino;
// Create the root directory at inode 2.
ext.create_root(opts.mtime)?;
// Optional /lost+found.
if opts.create_lost_found {
ext.create_lost_found(dev, opts.mtime)?;
}
// Optional journal (ext3 / ext4). JBD2 requires a minimum of 1024
// blocks; smaller journals are rejected by the kernel + e2fsck.
if opts.kind.has_journal() {
let blocks = if opts.journal_blocks == 0 {
1024
} else {
opts.journal_blocks
};
ext.allocate_journal(blocks, opts.mtime)?;
ext.sb.journal_inum = constants::INO_JOURNAL;
}
ext.recompute_free_counts();
ext.flush_metadata(dev)?;
Ok(ext)
}
/// Whether the `metadata_csum` feature is active on this filesystem.
fn has_metadata_csum(&self) -> bool {
self.sb.feature_ro_compat & constants::feature::RO_COMPAT_METADATA_CSUM != 0
}
/// Whether directory entries carry a `file_type` byte (`INCOMPAT_FILETYPE`).
fn has_filetype(&self) -> bool {
self.sb.feature_incompat & constants::feature::INCOMPAT_FILETYPE != 0
}
/// The filesystem-wide checksum seed. genfs never sets the
/// `metadata_csum_seed` feature, so the seed is always derived from the
/// UUID.
fn csum_seed(&self) -> u32 {
csum::fs_seed(&self.sb.uuid, None)
}
/// Wire `data_blocks` into an inode's block-pointer array. Picks the
/// representation based on the filesystem kind: ext4 uses an extent
/// tree (depth 0, up to 4 leaves, no extra metadata blocks); ext2/3 use
/// the classic direct + single-indirect + double-indirect scheme.
/// Returns the number of metadata (indirection) blocks allocated.
fn fill_block_pointers(&mut self, inode: &mut Inode, data: &[u32]) -> Result<u32> {
if matches!(self.kind, FsKind::Ext4) {
return self.fill_block_pointers_extent(inode, data);
}
self.fill_block_pointers_indirect(inode, data)
}
/// Ext4 path: pack `data` into an extent tree stored directly in
/// `i_block` and set `EXT4_EXTENTS_FL` on the inode. Allocates no extra
/// metadata blocks for depth-0 trees (the cap is 4 extents per inode).
fn fill_block_pointers_extent(&mut self, inode: &mut Inode, data: &[u32]) -> Result<u32> {
let runs = extent::coalesce(data);
let packed = extent::pack_into_iblock(&runs)?;
// Decode the 60 packed bytes back into the 15 u32 slots of i_block.
for (i, slot) in inode.block.iter_mut().enumerate() {
let off = i * 4;
*slot = u32::from_le_bytes(packed[off..off + 4].try_into().unwrap());
}
inode.flags |= constants::EXT4_EXTENTS_FL;
Ok(0)
}
/// Ext2 / Ext3 path: direct + single + double indirection. v1 cap.
/// At 1 KiB blocks that's up to 12 + 256 + 256² ≈ 65 MiB; at 4 KiB
/// it's ~4 GiB.
///
/// A `0` in `data` is a hole (sparse file): the corresponding block
/// pointer stays 0, and an indirect block whose entire range is holes
/// is not allocated at all.
fn fill_block_pointers_indirect(&mut self, inode: &mut Inode, data: &[u32]) -> Result<u32> {
let bs = self.layout.block_size;
let ptrs_per_block = (bs / 4) as usize;
let n = data.len();
let n_direct = constants::N_DIRECT.min(n);
inode.block[..n_direct].copy_from_slice(&data[..n_direct]);
let mut allocated_meta = 0u32;
let mut consumed = n_direct;
if consumed < n {
// Single-indirect — only allocate the indirect block if at least
// one block in its range is actually present.
let take = (n - consumed).min(ptrs_per_block);
let range = &data[consumed..consumed + take];
if range.iter().any(|&b| b != 0) {
let ind = self.alloc_data_block()?;
allocated_meta += 1;
inode.block[constants::IDX_INDIRECT] = ind;
let mut buf = vec![0u8; bs as usize];
for (i, &b) in range.iter().enumerate() {
buf[i * 4..i * 4 + 4].copy_from_slice(&b.to_le_bytes());
}
self.data_blocks.push((ind, buf));
}
consumed += take;
}
if consumed < n {
// Double-indirect. Each sub-indirect block is allocated only if
// its range has a non-hole block; the double-indirect block
// itself is allocated only if at least one sub-indirect is.
let mut dind_buf = vec![0u8; bs as usize];
let mut dind_slot = 0;
let mut any_sub = false;
while consumed < n {
if dind_slot >= ptrs_per_block {
return Err(crate::Error::Unsupported(
"ext: file exceeds direct+single+double indirection capacity".into(),
));
}
let take = (n - consumed).min(ptrs_per_block);
let range = &data[consumed..consumed + take];
if range.iter().any(|&b| b != 0) {
let ind = self.alloc_data_block()?;
allocated_meta += 1;
any_sub = true;
dind_buf[dind_slot * 4..dind_slot * 4 + 4].copy_from_slice(&ind.to_le_bytes());
let mut ind_buf = vec![0u8; bs as usize];
for (i, &b) in range.iter().enumerate() {
ind_buf[i * 4..i * 4 + 4].copy_from_slice(&b.to_le_bytes());
}
self.data_blocks.push((ind, ind_buf));
}
consumed += take;
dind_slot += 1;
}
if any_sub {
let dind = self.alloc_data_block()?;
allocated_meta += 1;
inode.block[constants::IDX_DOUBLE_INDIRECT] = dind;
self.data_blocks.push((dind, dind_buf));
}
}
Ok(allocated_meta)
}
/// Allocate the journal inode (inode 8) and its data blocks. The first
/// data block is initialised with a JBD2 v2 journal superblock marking
/// the journal as clean (s_start = 0, so no recovery needed). The rest
/// of the journal is zeroed by the up-front zero_range, which JBD2
/// reads as empty log blocks.
fn allocate_journal(&mut self, blocks: u32, mtime: u32) -> Result<()> {
let ino = constants::INO_JOURNAL;
let bs = self.layout.block_size;
let mut data = Vec::with_capacity(blocks as usize);
for _ in 0..blocks {
data.push(self.alloc_data_block()?);
}
let mut inode = Inode::regular(blocks * bs, 0o600, 0, 0, mtime);
let meta_blocks = self.fill_block_pointers(&mut inode, &data)?;
inode.blocks_512 = (blocks + meta_blocks) * (bs / 512);
// Build the JBD2 v2 journal superblock for block 0 of the journal.
let jsb = build_jbd2_superblock(bs, blocks);
self.data_blocks.push((data[0], jsb));
self.inodes.push((ino, inode));
Ok(())
}
/// Allocate inode #2 (the root dir), give it a fresh data block with
/// "." and "..", and stage both for write.
fn create_root(&mut self, mtime: u32) -> Result<()> {
let ino = INO_ROOT_DIR;
set_bit(&mut self.groups[0].inode_bitmap, ino - 1);
let blk = self.alloc_data_block()?;
let csum_tail = self.has_metadata_csum();
let with_filetype = self.has_filetype();
let block_bytes =
dir::make_initial_dir_block(ino, ino, self.layout.block_size, with_filetype, csum_tail);
let mut inode = Inode::directory(self.layout.block_size, 0o755, 0, 0, mtime);
inode.block[0] = blk;
inode.blocks_512 = self.layout.block_size / 512;
self.groups[0].desc.used_dirs_count += 1;
self.inodes.push((ino, inode));
self.data_blocks.push((blk, block_bytes));
self.dir_blocks.push((blk, ino));
Ok(())
}
/// Create the conventional /lost+found directory pre-allocated to 16 KiB.
fn create_lost_found(&mut self, dev: &mut dyn BlockDevice, mtime: u32) -> Result<()> {
let bs = self.layout.block_size;
let target_data_blocks: u32 = 16384u32.div_ceil(bs);
// Allocate inode first (uses next_inode).
let ino = self.alloc_inode()?;
// Allocate data blocks sequentially.
let mut data_blocks = Vec::with_capacity(target_data_blocks as usize);
for _ in 0..target_data_blocks {
data_blocks.push(self.alloc_data_block()?);
}
let mut inode = Inode::directory(16384, 0o700, 0, 0, mtime);
let meta_blocks = self.fill_block_pointers(&mut inode, &data_blocks)?;
inode.blocks_512 = (target_data_blocks + meta_blocks) * (bs / 512);
// First data block: "." / "..". All blocks of lost+found are
// directory blocks owned by inode `ino`.
let csum_tail = self.has_metadata_csum();
let with_filetype = self.has_filetype();
let dir_block =
dir::make_initial_dir_block(ino, INO_ROOT_DIR, bs, with_filetype, csum_tail);
self.data_blocks.push((data_blocks[0], dir_block));
self.dir_blocks.push((data_blocks[0], ino));
// All trailing data blocks: empty-placeholder entry so e2fsck reads
// them as well-formed empty dir blocks.
for &blk in &data_blocks[1..] {
self.data_blocks
.push((blk, dir::make_empty_dir_block(bs, csum_tail)));
self.dir_blocks.push((blk, ino));
}
self.groups[0].desc.used_dirs_count += 1;
self.inodes.push((ino, inode));
// Add to root dir + bump root's link count (a new subdir's ".." is
// a fresh link to the parent).
self.add_entry_to_dir_block_for(
dev,
INO_ROOT_DIR,
b"lost+found",
ino,
constants::DENT_DIR,
)?;
self.patch_inode(dev, INO_ROOT_DIR, |i| i.links_count += 1)?;
Ok(())
}
/// Append a dir entry into the data block(s) of the directory whose
/// inode is `dir_inode`. v1: only ever touches the directory's first
/// data block; full-block error if it doesn't fit.
fn add_entry_to_dir_block_for(
&mut self,
dev: &mut dyn BlockDevice,
dir_inode: u32,
name: &[u8],
child_ino: u32,
file_type: u8,
) -> Result<()> {
self.ensure_inode_staged(dev, dir_inode)?;
// Resolve the dir's first data block via file_block (handles both
// direct-pointer ext2 dirs and extent-encoded ext4 dirs uniformly).
let inode_copy = self
.inodes
.iter()
.find(|(i, _)| *i == dir_inode)
.map(|(_, i)| *i)
.unwrap();
let dir_block_num = self.file_block(dev, &inode_copy, 0)?;
if dir_block_num == 0 {
return Err(crate::Error::InvalidImage(format!(
"ext: dir inode {dir_inode} has no first data block"
)));
}
self.ensure_block_staged(dev, dir_block_num)?;
// This block is a directory block; tag it so flush stamps its
// checksum tail (no-op if already recorded).
if !self.dir_blocks.iter().any(|(b, _)| *b == dir_block_num) {
self.dir_blocks.push((dir_block_num, dir_inode));
}
let usable = dir::usable_dir_len(self.layout.block_size, self.has_metadata_csum());
let with_filetype = self.has_filetype();
let block = self
.data_blocks
.iter_mut()
.find(|(b, _)| *b == dir_block_num)
.map(|(_, bytes)| bytes)
.unwrap();
append_dir_entry(block, name, child_ino, file_type, with_filetype, usable)
}
/// Mutate an inode in place. If the inode isn't already in the staged
/// cache, reads it from disk first so the mutation is preserved across
/// the next flush.
fn patch_inode<F: FnOnce(&mut Inode)>(
&mut self,
dev: &mut dyn BlockDevice,
ino: u32,
f: F,
) -> Result<()> {
self.ensure_inode_staged(dev, ino)?;
for (i_no, i) in self.inodes.iter_mut() {
if *i_no == ino {
f(i);
return Ok(());
}
}
unreachable!("ensure_inode_staged guarantees the inode is present")
}
/// Ensure inode `ino` is in the staged write set, fetching from disk if
/// not. No-op if already staged.
fn ensure_inode_staged(&mut self, dev: &mut dyn BlockDevice, ino: u32) -> Result<()> {
if self.inodes.iter().any(|(i, _)| *i == ino) {
return Ok(());
}
let inode = self.read_inode(dev, ino)?;
self.inodes.push((ino, inode));
Ok(())
}
/// Ensure block `blk` is in the staged write set, fetching from disk
/// if not. No-op if already staged.
fn ensure_block_staged(&mut self, dev: &mut dyn BlockDevice, blk: u32) -> Result<()> {
if self.data_blocks.iter().any(|(b, _)| *b == blk) {
return Ok(());
}
let mut buf = vec![0u8; self.layout.block_size as usize];
self.read_block(dev, blk, &mut buf)?;
self.data_blocks.push((blk, buf));
Ok(())
}
/// Reserve the next available inode. Inode `N` lives in group
/// `(N-1) / inodes_per_group` at bitmap bit `(N-1) % inodes_per_group`,
/// so a monotonic `next_inode` counter spans all groups.
fn alloc_inode(&mut self) -> Result<u32> {
if self.next_inode > self.layout.inodes_count {
return Err(crate::Error::Unsupported(format!(
"ext: out of inodes (allocated {}, max {})",
self.next_inode - 1,
self.layout.inodes_count
)));
}
let ino = self.next_inode;
let g = ((ino - 1) / self.layout.inodes_per_group) as usize;
let idx = (ino - 1) % self.layout.inodes_per_group;
set_bit(&mut self.groups[g].inode_bitmap, idx);
self.next_inode += 1;
Ok(ino)
}
/// Allocate a single data block. Scans groups in order and returns the
/// first free data block, so callers get contiguous runs within a group
/// (good for extent coalescing) and spill into later groups when a group
/// fills up.
fn alloc_data_block(&mut self) -> Result<u32> {
for gi in 0..self.layout.groups.len() {
let layout_g = self.layout.groups[gi];
let start_rel = layout_g.data_start - layout_g.start_block;
let group_blocks = layout_g.end_block - layout_g.start_block + 1;
let bitmap = &mut self.groups[gi].block_bitmap;
for bit in start_rel..group_blocks {
if !test_bit(bitmap, bit) {
set_bit(bitmap, bit);
return Ok(layout_g.start_block + bit);
}
}
}
Err(crate::Error::Unsupported(
"ext: filesystem has no free data blocks".into(),
))
}
fn recompute_free_counts(&mut self) {
let mut total_free_blocks = 0u64;
let mut total_free_inodes = 0u64;
for (i, g) in self.layout.groups.iter().enumerate() {
let group_blocks = g.end_block - g.start_block + 1;
let used_blocks = popcount_bits(&self.groups[i].block_bitmap, 0, group_blocks);
let free_blocks = group_blocks - used_blocks;
let used_inodes = popcount_bits(
&self.groups[i].inode_bitmap,
0,
self.layout.inodes_per_group,
);
let free_inodes = self.layout.inodes_per_group - used_inodes;
self.groups[i].desc.free_blocks_count = free_blocks as u16;
self.groups[i].desc.free_inodes_count = free_inodes as u16;
total_free_blocks += free_blocks as u64;
total_free_inodes += free_inodes as u64;
}
self.sb.free_blocks_count = total_free_blocks as u32;
self.sb.free_inodes_count = total_free_inodes as u32;
}
/// Write all staged state to the device. Primary superblock is written
/// **last** to maintain the "torn write → unmountable, not corrupt"
/// invariant.
fn flush_metadata(&mut self, dev: &mut dyn BlockDevice) -> Result<()> {
let bs = self.layout.block_size as u64;
// Build encoded GDT (same for every group copy). Each descriptor
// occupies `desc_size` bytes on disk (32 classic, 64 for 64-bit);
// the encoded 32-byte form goes in the low bytes, the rest stays
// zero — correct for sub-2^32-block filesystems.
//
// With metadata_csum, each descriptor also carries the CRC32C of
// its group's block + inode bitmaps (offsets 24 / 26) and a
// descriptor checksum (`bg_checksum`, offset 30) chained after the
// seed and the group number.
let desc_size = self.layout.desc_size;
let with_csum = self.has_metadata_csum();
let seed = self.csum_seed();
// Bitmap checksums cover only the in-use prefix of each bitmap:
// blocks_per_group/8 bytes for the block bitmap, inodes_per_group/8
// for the inode bitmap (both group counts are multiples of 8).
let bbm_len = (self.layout.blocks_per_group / 8) as usize;
let ibm_len = (self.layout.inodes_per_group / 8) as usize;
let mut gdt = vec![0u8; self.layout.gdt_blocks as usize * bs as usize];
for (i, g) in self.groups.iter().enumerate() {
let off = i * desc_size;
let desc = &mut gdt[off..off + desc_size];
desc[..constants::GROUP_DESC_SIZE].copy_from_slice(&g.desc.encode());
if with_csum {
let bbm = csum::bitmap(seed, &g.block_bitmap[..bbm_len]) as u16;
let ibm = csum::bitmap(seed, &g.inode_bitmap[..ibm_len]) as u16;
desc[24..26].copy_from_slice(&bbm.to_le_bytes());
desc[26..28].copy_from_slice(&ibm.to_le_bytes());
// bg_checksum is computed over the descriptor with its own
// 2 bytes zeroed (they already are — fresh buffer).
let bg = csum::group_desc(seed, i as u32, desc);
desc[30..32].copy_from_slice(&bg.to_le_bytes());
}
}
// For each group: write SB + GDT backup only when this group holds
// one (under sparse_super, groups 0/1 and powers of 3/5/7 do);
// bitmaps live in every group regardless.
for (i, g) in self.layout.groups.iter().enumerate() {
if g.has_superblock {
if i != 0 {
let mut sb_copy = self.sb.clone();
sb_copy.block_group_nr = i as u16;
dev.write_at(g.start_block as u64 * bs, &self.encode_sb(&sb_copy))?;
}
// GDT block(s):
// - group 0 (first_data_block=1): GDT at block 2 (after SB at 1)
// - group 0 (first_data_block=0): GDT at block 1 (SB shares block 0)
// - other groups: GDT at start_block + 1 (after the SB copy)
let gdt_off = if i == 0 {
if self.layout.first_data_block == 1 {
2 * bs
} else {
bs
}
} else {
(g.start_block as u64 + 1) * bs
};
dev.write_at(gdt_off, &gdt)?;
}
dev.write_at(g.block_bitmap as u64 * bs, &self.groups[i].block_bitmap)?;
dev.write_at(g.inode_bitmap as u64 * bs, &self.groups[i].inode_bitmap)?;
}
// Write all staged inodes into their slots in the inode table.
for (ino, inode) in &self.inodes {
let (group, idx_in_group) = self.inode_location(*ino);
let table_block = self.layout.groups[group as usize].inode_table;
let off = table_block as u64 * bs + idx_in_group as u64 * self.layout.inode_size as u64;
dev.write_at(off, &self.encode_inode(*ino, inode))?;
}
// Write staged data blocks. Directory blocks get their CRC32C
// checksum-tail stamped first when metadata_csum is active: the
// checksum covers the whole block minus its trailing 4 bytes,
// chained after the seed, the owning dir's inode number, and that
// inode's generation.
for (blk, bytes) in &mut self.data_blocks {
if with_csum && let Some((_, dir_ino)) = self.dir_blocks.iter().find(|(b, _)| b == blk)
{
let generation = self
.inodes
.iter()
.find(|(i, _)| i == dir_ino)
.map(|(_, i)| i.generation)
.unwrap_or(0);
// The checksum covers everything before the 12-byte tail
// dirent; the value is stored in that tail's last 4 bytes.
let n = bytes.len();
let c = csum::dir_block(seed, *dir_ino, generation, &bytes[..n - 12]);
bytes[n - 4..].copy_from_slice(&c.to_le_bytes());
}
dev.write_at(*blk as u64 * bs, bytes)?;
}
// Primary SB last.
dev.write_at(SUPERBLOCK_OFFSET, &self.encode_sb(&self.sb))?;
dev.sync()?;
Ok(())
}
/// Encode an inode, stamping its CRC32C checksum (`l_i_checksum_lo` at
/// offset 124) when `metadata_csum` is set. With 128-byte inodes there
/// is no room for `i_checksum_hi`, so only the low 16 bits are stored —
/// the kernel handles a 16-bit inode checksum for small inodes.
fn encode_inode(&self, ino: u32, inode: &Inode) -> [u8; inode::INODE_BASE_SIZE] {
let mut buf = inode.encode();
if self.has_metadata_csum() {
// Zero the checksum field before summing — an inode read back
// from disk (modify-after-open) carries its previous checksum
// in osd2, which must not feed into the recomputed value.
buf[124..126].fill(0);
let c = csum::inode(self.csum_seed(), ino, inode.generation, &buf);
buf[124..126].copy_from_slice(&((c & 0xffff) as u16).to_le_bytes());
}
buf
}
/// Encode a superblock, stamping the CRC32C `s_checksum` field when the
/// `metadata_csum` feature is set. Without the feature the field stays
/// zero (the kernel ignores it).
fn encode_sb(&self, sb: &Superblock) -> [u8; constants::SUPERBLOCK_SIZE] {
let mut buf = sb.encode();
if self.has_metadata_csum() {
// s_checksum_type (offset 0x175) must be 1 (CRC32C) — the kernel
// refuses to mount a metadata_csum FS otherwise. Set it before
// computing the checksum so it's covered.
buf[0x175] = 1;
let c = csum::superblock(&buf);
buf[1020..1024].copy_from_slice(&c.to_le_bytes());
}
buf
}
fn inode_location(&self, ino: u32) -> (u32, u32) {
let g = (ino - 1) / self.layout.inodes_per_group;
let idx = (ino - 1) % self.layout.inodes_per_group;
(g, idx)
}
// ──────────────────────────── populate API ───────────────────────────
//
// These methods stage in-memory state (bitmaps, inode table, dir blocks)
// and stream regular-file data straight to the device. Call
// [`Ext::flush`] when done to persist the staged metadata.
/// Create a regular file under `parent_ino` with the given name and
/// metadata, streaming bytes from `src` straight to the device through a
/// fixed-size buffer. The file is *never* fully resident in memory.
pub fn add_file_to(
&mut self,
dev: &mut dyn BlockDevice,
parent_ino: u32,
name: &[u8],
src: FileSource,
meta: FileMeta,
) -> Result<u32> {
let len = src.len()?;
let (mut reader, _) = src.open()?;
self.add_file_to_streaming(dev, parent_ino, name, &mut *reader, len, meta)
}
/// Like [`Self::add_file_to`] but pulls bytes from any [`std::io::Read`]
/// instead of a [`FileSource`]. Useful when streaming from a borrowed
/// reader (e.g. another filesystem's `open_file_reader`) where the
/// `'static` lifetime in `FileSource::Reader` doesn't fit.
pub fn add_file_to_streaming(
&mut self,
dev: &mut dyn BlockDevice,
parent_ino: u32,
name: &[u8],
reader: &mut dyn std::io::Read,
len: u64,
meta: FileMeta,
) -> Result<u32> {
let bs = self.layout.block_size;
if len > u32::MAX as u64 {
return Err(crate::Error::Unsupported(
"ext: file > 4 GiB requires LARGE_FILE (deferred to ext4)".into(),
));
}
let n_data_blocks = len.div_ceil(bs as u64) as u32;
let ino = self.alloc_inode()?;
let mut inode = Inode::regular(
len as u32,
meta.mode & 0o7777,
meta.uid,
meta.gid,
meta.mtime,
);
// Stream one block at a time. Each block is read into a fixed
// buffer (the file is never fully resident in memory). In sparse
// mode an all-zero block becomes a hole: `data_blocks[i] == 0`
// means logical block i is unallocated and reads back as zero.
let mut buf = vec![0u8; bs as usize];
let mut data_blocks = Vec::with_capacity(n_data_blocks as usize);
let mut remaining = len;
let mut allocated_data = 0u32;
for _ in 0..n_data_blocks {
let to_read = remaining.min(bs as u64) as usize;
buf.fill(0);
reader.read_exact(&mut buf[..to_read])?;
if self.sparse && buf.iter().all(|&b| b == 0) {
data_blocks.push(0);
} else {
let blk = self.alloc_data_block()?;
dev.write_at(blk as u64 * bs as u64, &buf[..to_read])?;
data_blocks.push(blk);
allocated_data += 1;
}
remaining -= to_read as u64;
}
debug_assert_eq!(remaining, 0);
let allocated_meta_blocks = self.fill_block_pointers(&mut inode, &data_blocks)?;
inode.blocks_512 = (allocated_data + allocated_meta_blocks) * (bs / 512);
self.inodes.push((ino, inode));
self.add_entry_to_dir_block_for(dev, parent_ino, name, ino, constants::DENT_REG)?;
Ok(ino)
}
/// Create a subdirectory under `parent_ino`. Allocates one data block
/// holding "." / "..", patches the parent's link count.
pub fn add_dir_to(
&mut self,
dev: &mut dyn BlockDevice,
parent_ino: u32,
name: &[u8],
meta: FileMeta,
) -> Result<u32> {
let bs = self.layout.block_size;
let ino = self.alloc_inode()?;
let blk = self.alloc_data_block()?;
let mut inode = Inode::directory(bs, meta.mode & 0o7777, meta.uid, meta.gid, meta.mtime);
// For ext4, encode the single data block as an inline extent tree;
// for ext2/3, store the block number directly in i_block[0].
if matches!(self.kind, FsKind::Ext4) {
self.fill_block_pointers_extent(&mut inode, &[blk])?;
} else {
inode.block[0] = blk;
}
inode.blocks_512 = bs / 512;
let csum_tail = self.has_metadata_csum();
let with_filetype = self.has_filetype();
let block_bytes =
dir::make_initial_dir_block(ino, parent_ino, bs, with_filetype, csum_tail);
self.data_blocks.push((blk, block_bytes));
self.dir_blocks.push((blk, ino));
self.inodes.push((ino, inode));
self.groups[0].desc.used_dirs_count += 1;
self.add_entry_to_dir_block_for(dev, parent_ino, name, ino, constants::DENT_DIR)?;
self.patch_inode(dev, parent_ino, |i| i.links_count += 1)?;
Ok(ino)
}
/// Create a symbolic link. Targets ≤ 60 bytes are stored inline in
/// `i_block[0..15]` (the "fast symlink" optimization — no data block
/// allocated, blocks_512 stays at zero). Longer targets get a data block.
pub fn add_symlink_to(
&mut self,
dev: &mut dyn BlockDevice,
parent_ino: u32,
name: &[u8],
target: &[u8],
meta: FileMeta,
) -> Result<u32> {
if target.len() > 4095 {
return Err(crate::Error::Unsupported(
"ext: symlink target > 4095 bytes".into(),
));
}
let bs = self.layout.block_size;
let ino = self.alloc_inode()?;
let mut inode = Inode::symlink(
target.len() as u32,
meta.mode & 0o7777,
meta.uid,
meta.gid,
meta.mtime,
);
// Fast symlink: target fits in i_block (60 bytes = 15 × 4).
const FAST_MAX: usize = 60;
if target.len() <= FAST_MAX {
// Pack target bytes into i_block array.
let mut packed = [0u8; FAST_MAX];
packed[..target.len()].copy_from_slice(target);
for (i, slot) in inode.block.iter_mut().enumerate() {
let off = i * 4;
*slot = u32::from_le_bytes(packed[off..off + 4].try_into().unwrap());
}
// blocks_512 stays 0; no data block.
} else {
// Slow symlink: target gets a data block.
let blk = self.alloc_data_block()?;
inode.block[0] = blk;
inode.blocks_512 = bs / 512;
let mut buf = vec![0u8; bs as usize];
buf[..target.len()].copy_from_slice(target);
dev.write_at(blk as u64 * bs as u64, &buf)?;
}
self.inodes.push((ino, inode));
self.add_entry_to_dir_block_for(dev, parent_ino, name, ino, constants::DENT_LNK)?;
Ok(ino)
}
/// Create a device node, FIFO, or socket. No data blocks are allocated;
/// for char/block devices the major+minor are encoded into `i_block\[0\]`.
#[allow(clippy::too_many_arguments)]
pub fn add_device_to(
&mut self,
dev: &mut dyn BlockDevice,
parent_ino: u32,
name: &[u8],
kind: DeviceKind,
major: u32,
minor: u32,
meta: FileMeta,
) -> Result<u32> {
let ino = self.alloc_inode()?;
let special = match kind {
DeviceKind::Char => SpecialKind::Char,
DeviceKind::Block => SpecialKind::Block,
DeviceKind::Fifo => SpecialKind::Fifo,
DeviceKind::Socket => SpecialKind::Socket,
};
let inode = Inode::special(
special,
major,
minor,
meta.mode & 0o7777,
meta.uid,
meta.gid,
meta.mtime,
);
let ft = match kind {
DeviceKind::Char => constants::DENT_CHR,
DeviceKind::Block => constants::DENT_BLK,
DeviceKind::Fifo => constants::DENT_FIFO,
DeviceKind::Socket => constants::DENT_SOCK,
};
self.inodes.push((ino, inode));
self.add_entry_to_dir_block_for(dev, parent_ino, name, ino, ft)?;
Ok(ino)
}
/// Remove the file / empty directory / symlink / device node at the
/// absolute path `path`. Frees its inode and data blocks and unlinks it
/// from its parent directory. A non-empty directory is rejected.
pub fn remove_path(&mut self, dev: &mut dyn BlockDevice, path: &str) -> Result<()> {
let (parent, name) = split_path(std::path::Path::new(path))?;
let parent_str = parent
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument("ext: non-UTF-8 path".into()))?;
let parent_ino = self.path_to_inode(dev, parent_str)?;
// Locate the target entry in the parent directory.
let entries = self.list_inode(dev, parent_ino)?;
let target_ino = entries
.iter()
.find(|e| e.name.as_bytes() == name.as_bytes())
.map(|e| e.inode)
.ok_or_else(|| crate::Error::InvalidArgument(format!("ext: no such entry {name:?}")))?;
let target = self.read_inode(dev, target_ino)?;
let is_dir = target.mode & constants::S_IFMT == constants::S_IFDIR;
if is_dir {
let children = self.list_inode(dev, target_ino)?;
let non_self = children
.iter()
.filter(|e| e.name != "." && e.name != "..")
.count();
if non_self != 0 {
return Err(crate::Error::InvalidArgument(format!(
"ext: directory {name:?} is not empty ({non_self} entries)"
)));
}
}
// Free the target's data + indirection blocks, then its inode.
self.free_inode_blocks(dev, &target)?;
self.free_inode(target_ino);
// Stage a zeroed inode so flush writes a clean (links=0) slot.
self.inodes.retain(|(i, _)| *i != target_ino);
self.inodes.push((target_ino, Inode::default()));
// Unlink from the parent directory.
self.unlink_dir_entry(dev, parent_ino, name.as_bytes())?;
if is_dir {
// The removed dir's ".." was a link to the parent.
self.patch_inode(dev, parent_ino, |i| {
i.links_count = i.links_count.saturating_sub(1);
})?;
self.groups[0].desc.used_dirs_count =
self.groups[0].desc.used_dirs_count.saturating_sub(1);
}
Ok(())
}
/// Free every data block (and classic indirection metadata block) an
/// inode references. No-op for inodes with no allocated blocks (fast
/// symlinks, device nodes).
fn free_inode_blocks(&mut self, dev: &mut dyn BlockDevice, inode: &Inode) -> Result<()> {
if inode.blocks_512 == 0 {
return Ok(());
}
let bs = self.layout.block_size;
let n_blocks = (inode.size as u64).div_ceil(bs as u64) as u32;
for n in 0..n_blocks {
let phys = self.file_block(dev, inode, n)?;
if phys != 0 {
self.free_block(phys);
}
}
// Classic indirection metadata blocks (extent inodes keep their tree
// inline in i_block, so they have no external metadata blocks).
if inode.flags & constants::EXT4_EXTENTS_FL == 0 {
let ind = inode.block[constants::IDX_INDIRECT];
if ind != 0 {
self.free_block(ind);
}
let dind = inode.block[constants::IDX_DOUBLE_INDIRECT];
if dind != 0 {
let mut buf = vec![0u8; bs as usize];
self.read_block(dev, dind, &mut buf)?;
for i in 0..(bs as usize / 4) {
let sub = u32::from_le_bytes(buf[i * 4..i * 4 + 4].try_into().unwrap());
if sub != 0 {
self.free_block(sub);
}
}
self.free_block(dind);
}
}
Ok(())
}
/// Clear the block-bitmap bit for an absolute block number.
fn free_block(&mut self, blk: u32) {
for (gi, g) in self.layout.groups.iter().enumerate() {
if blk >= g.start_block && blk <= g.end_block {
group::clear_bit(&mut self.groups[gi].block_bitmap, blk - g.start_block);
return;
}
}
}
/// Clear the inode-bitmap bit for an inode number.
fn free_inode(&mut self, ino: u32) {
let (g, idx) = self.inode_location(ino);
group::clear_bit(&mut self.groups[g as usize].inode_bitmap, idx);
}
/// Remove the named entry from a directory's first data block by
/// merging its `rec_len` into the preceding entry.
fn unlink_dir_entry(
&mut self,
dev: &mut dyn BlockDevice,
dir_inode: u32,
name: &[u8],
) -> Result<()> {
self.ensure_inode_staged(dev, dir_inode)?;
let inode_copy = self
.inodes
.iter()
.find(|(i, _)| *i == dir_inode)
.map(|(_, i)| *i)
.unwrap();
let dir_block_num = self.file_block(dev, &inode_copy, 0)?;
self.ensure_block_staged(dev, dir_block_num)?;
if !self.dir_blocks.iter().any(|(b, _)| *b == dir_block_num) {
self.dir_blocks.push((dir_block_num, dir_inode));
}
let with_filetype = self.has_filetype();
let usable = dir::usable_dir_len(self.layout.block_size, self.has_metadata_csum());
let block = self
.data_blocks
.iter_mut()
.find(|(b, _)| *b == dir_block_num)
.map(|(_, bytes)| bytes)
.unwrap();
let mut off = 0usize;
let mut prev_off: Option<usize> = None;
loop {
let entry = dir::decode_entry(&block[off..], with_filetype).ok_or_else(|| {
crate::Error::InvalidImage("corrupt dir entry while unlinking".into())
})?;
let rec_len = entry.rec_len;
if entry.inode != 0 && entry.name == name {
match prev_off {
Some(p) => {
// Absorb this entry's rec_len into the previous one.
let prev = dir::decode_entry(&block[p..], with_filetype)
.expect("prev entry decodes");
let merged = (prev.rec_len + rec_len) as u16;
block[p + 4..p + 6].copy_from_slice(&merged.to_le_bytes());
}
None => {
// First entry (normally "."): just void the inode.
block[off..off + 4].fill(0);
}
}
return Ok(());
}
let next = off + rec_len;
if next >= usable {
break;
}
prev_off = Some(off);
off = next;
}
Err(crate::Error::InvalidArgument(format!(
"ext: entry {name:?} not found in directory"
)))
}
/// Persist all staged metadata (bitmaps, inode table, dir blocks,
/// superblock) to the device. The primary superblock is written last.
pub fn flush(&mut self, dev: &mut dyn BlockDevice) -> Result<()> {
self.recompute_free_counts();
self.flush_metadata(dev)
}
/// Recursively copy a host directory into `parent_ino`. Each file's
/// contents are streamed via `FileSource::HostPath` (never fully loaded
/// in memory). Mode bits are taken from host metadata; uid, gid, and
/// timestamps are squashed to 0 to keep the output reproducible.
/// Override per-entry by populating the tree yourself.
pub fn populate_from_host_dir(
&mut self,
dev: &mut dyn BlockDevice,
parent_ino: u32,
src: &std::path::Path,
) -> Result<()> {
use std::os::unix::fs::{FileTypeExt, PermissionsExt};
for entry in std::fs::read_dir(src)? {
let entry = entry?;
let meta = entry.metadata()?;
let ft = meta.file_type();
let name = entry.file_name();
let name_bytes = name.as_encoded_bytes();
let mode = (meta.permissions().mode() & 0o7777) as u16;
let fmeta = FileMeta {
mode,
uid: 0,
gid: 0,
mtime: 0,
atime: 0,
ctime: 0,
};
if ft.is_dir() {
let child = self.add_dir_to(dev, parent_ino, name_bytes, fmeta)?;
self.populate_from_host_dir(dev, child, &entry.path())?;
} else if ft.is_file() {
let src_path = entry.path();
self.add_file_to(
dev,
parent_ino,
name_bytes,
FileSource::HostPath(src_path),
fmeta,
)?;
} else if ft.is_symlink() {
let target = std::fs::read_link(entry.path())?;
let target_str = target.to_string_lossy();
self.add_symlink_to(dev, parent_ino, name_bytes, target_str.as_bytes(), fmeta)?;
} else if ft.is_block_device() || ft.is_char_device() {
use std::os::unix::fs::MetadataExt;
let rdev = meta.rdev();
// Linux dev_t: major in bits 8..19 and 32..47, minor in 0..7 and 20..31.
// For typical small device numbers the canonical formulas:
let major = ((rdev >> 8) & 0xfff) | ((rdev >> 32) & !0xfff);
let minor = (rdev & 0xff) | ((rdev >> 12) & !0xff);
let kind = if ft.is_char_device() {
DeviceKind::Char
} else {
DeviceKind::Block
};
self.add_device_to(
dev,
parent_ino,
name_bytes,
kind,
major as u32,
minor as u32,
fmeta,
)?;
} else if ft.is_fifo() {
self.add_device_to(dev, parent_ino, name_bytes, DeviceKind::Fifo, 0, 0, fmeta)?;
} else if ft.is_socket() {
self.add_device_to(dev, parent_ino, name_bytes, DeviceKind::Socket, 0, 0, fmeta)?;
}
}
Ok(())
}
/// One-shot: scan a host directory, compute the needed FS geometry via
/// [`BuildPlan`], format the device, populate it, and flush. The closest
/// analogue to `genext2fs -d <dir> img.ext2` — except sizing is exact.
pub fn build_from_host_dir(
dev: &mut dyn BlockDevice,
src: &std::path::Path,
kind: FsKind,
block_size: u32,
) -> Result<Self> {
let mut plan = BuildPlan::new(block_size, kind);
plan.scan_host_path(src)?;
let opts = plan.to_format_opts();
let mut ext = Self::format_with(dev, &opts)?;
ext.populate_from_host_dir(dev, INO_ROOT_DIR, src)?;
ext.flush(dev)?;
Ok(ext)
}
/// Create `/dev` with the standard set of device nodes for `kind` —
/// the building block for `--rootdevs minimal | standard`. The `/dev`
/// directory is owned by `root:root` mode 0755; each node's permissions
/// follow the conventional Linux defaults from the device-numbers
/// registry (e.g. `console` is 0600, `null` is 0666).
///
/// Pass [`RootDevs::None`] to do nothing (returns `Ok(None)`).
/// Returns the inode number of `/dev` on success.
pub fn populate_rootdevs(
&mut self,
dev: &mut dyn BlockDevice,
kind: RootDevs,
owner_uid: u32,
owner_gid: u32,
mtime: u32,
) -> Result<Option<u32>> {
if kind == RootDevs::None {
return Ok(None);
}
let entries = device_table(kind);
if entries.is_empty() {
return Ok(None);
}
let dir_meta = FileMeta {
mode: 0o755,
uid: owner_uid,
gid: owner_gid,
mtime,
atime: mtime,
ctime: mtime,
};
let dev_ino = self.add_dir_to(dev, INO_ROOT_DIR, b"dev", dir_meta)?;
for e in entries {
let meta = FileMeta {
mode: e.mode,
uid: owner_uid,
gid: owner_gid,
mtime,
atime: mtime,
ctime: mtime,
};
self.add_device_to(
dev,
dev_ino,
e.name.as_bytes(),
e.kind,
e.major,
e.minor,
meta,
)?;
}
Ok(Some(dev_ino))
}
// ──────────────────────────────── reader API ─────────────────────────
//
// These methods do NOT touch the staged write state; they read directly
// from the device every time.
/// Open an existing ext filesystem from `dev`. Parses the primary
/// superblock, every group descriptor, and both bitmaps per group.
/// Inode-table and data-block contents are read lazily.
pub fn open(dev: &mut dyn BlockDevice) -> Result<Self> {
let mut sb_buf = [0u8; constants::SUPERBLOCK_SIZE];
dev.read_at(constants::SUPERBLOCK_OFFSET, &mut sb_buf)?;
let sb = Superblock::decode(&sb_buf)?;
// When metadata_csum is set, the superblock carries a CRC32C in its
// last 4 bytes. A mismatch means the image is corrupt — refuse it
// rather than silently working from bad metadata.
if sb.feature_ro_compat & constants::feature::RO_COMPAT_METADATA_CSUM != 0 {
let stored = u32::from_le_bytes(sb_buf[1020..1024].try_into().unwrap());
let computed = csum::superblock(&sb_buf);
if stored != computed {
return Err(crate::Error::InvalidImage(format!(
"ext: superblock checksum mismatch (stored {stored:#010x}, computed {computed:#010x})"
)));
}
}
let mut layout = layout::from_superblock(&sb)?;
// GDT location: same logic as the writer.
let bs = layout.block_size as u64;
let gdt_off = if layout.first_data_block == 1 {
2 * bs
} else {
bs
};
let mut gdt = vec![0u8; layout.gdt_blocks as usize * bs as usize];
dev.read_at(gdt_off, &mut gdt)?;
let desc_size = layout.desc_size;
let mut groups = Vec::with_capacity(layout.groups.len());
for i in 0..layout.groups.len() {
let off = i * desc_size;
let desc = GroupDesc::decode(&gdt[off..off + constants::GROUP_DESC_SIZE]);
// The metadata positions in `layout.groups[i]` were *computed*
// assuming the classic contiguous layout. With flex_bg (and in
// general for any third-party writer) the descriptor is the
// authoritative source — overwrite the computed positions with
// the on-disk pointers so inode/bitmap reads land correctly.
layout.groups[i].block_bitmap = desc.block_bitmap;
layout.groups[i].inode_bitmap = desc.inode_bitmap;
layout.groups[i].inode_table = desc.inode_table;
let mut block_bitmap = vec![0u8; bs as usize];
dev.read_at(desc.block_bitmap as u64 * bs, &mut block_bitmap)?;
let mut inode_bitmap = vec![0u8; bs as usize];
dev.read_at(desc.inode_bitmap as u64 * bs, &mut inode_bitmap)?;
groups.push(GroupState {
block_bitmap,
inode_bitmap,
desc,
});
}
// next_inode: first clear bit in group 0's inode bitmap past the
// reserved range. (Subsequent groups can be tackled later.)
let mut next_inode = sb.first_ino;
while next_inode <= layout.inodes_per_group
&& test_bit(&groups[0].inode_bitmap, next_inode - 1)
{
next_inode += 1;
}
// Infer kind from feature flags on the parsed superblock so reads
// post-open know whether to expect extent trees or indirect blocks.
let kind = if sb.feature_incompat & constants::feature::INCOMPAT_EXTENTS != 0 {
FsKind::Ext4
} else if sb.feature_compat & constants::feature::COMPAT_HAS_JOURNAL != 0 {
FsKind::Ext3
} else {
FsKind::Ext2
};
Ok(Self {
sb,
layout,
kind,
// Default sparse off for an opened image; the caller can flip it
// via `set_sparse` before adding files.
sparse: false,
groups,
next_inode,
inodes: Vec::new(),
data_blocks: Vec::new(),
dir_blocks: Vec::new(),
})
}
/// Enable or disable sparse-file writing for subsequent `add_file_to`
/// calls. Useful after [`Ext::open`], which defaults it off.
pub fn set_sparse(&mut self, sparse: bool) {
self.sparse = sparse;
}
/// Read inode number `ino`. Consults the in-memory staged-write cache
/// first so a caller can interleave `add_*` and read calls without an
/// explicit flush; falls back to the on-disk inode table.
pub fn read_inode(&self, dev: &mut dyn BlockDevice, ino: u32) -> Result<Inode> {
if ino == 0 || ino > self.layout.inodes_count {
return Err(crate::Error::InvalidArgument(format!(
"ext: inode {ino} out of range"
)));
}
for (i, staged) in &self.inodes {
if *i == ino {
return Ok(*staged);
}
}
let (group, idx) = self.inode_location(ino);
let table_block = self.layout.groups[group as usize].inode_table;
let bs = self.layout.block_size as u64;
let off = table_block as u64 * bs + idx as u64 * self.layout.inode_size as u64;
let mut buf = [0u8; inode::INODE_BASE_SIZE];
dev.read_at(off, &mut buf)?;
Ok(Inode::decode(&buf))
}
/// Read a single block's contents into `out`. Consults staged data
/// blocks first (dir blocks built up during writes) and falls back to
/// the device.
fn read_block(&self, dev: &mut dyn BlockDevice, blk: u32, out: &mut [u8]) -> Result<()> {
for (b, bytes) in &self.data_blocks {
if *b == blk {
out.copy_from_slice(bytes);
return Ok(());
}
}
let bs = self.layout.block_size as u64;
dev.read_at(blk as u64 * bs, out)?;
Ok(())
}
/// Return the absolute block number for the `n`-th block (0-indexed) of
/// the file at inode `ino`. Picks the representation based on the
/// inode flags: `EXT4_EXTENTS_FL` → walk the extent tree;
/// otherwise → direct + single-indirect (double/triple deferred).
pub fn file_block(&self, dev: &mut dyn BlockDevice, ino: &Inode, n: u32) -> Result<u32> {
if ino.flags & constants::EXT4_EXTENTS_FL != 0 {
return self.file_block_extent(ino, n);
}
if (n as usize) < constants::N_DIRECT {
return Ok(ino.block[n as usize]);
}
let ptrs_per_block = self.layout.block_size / 4;
let n_off = n - constants::N_DIRECT as u32;
if n_off < ptrs_per_block {
let ind = ino.block[constants::IDX_INDIRECT];
if ind == 0 {
return Err(crate::Error::InvalidImage(
"ext: indirect block index unset".into(),
));
}
let mut buf = vec![0u8; self.layout.block_size as usize];
self.read_block(dev, ind, &mut buf)?;
let off = (n_off as usize) * 4;
return Ok(u32::from_le_bytes(buf[off..off + 4].try_into().unwrap()));
}
Err(crate::Error::Unsupported(
"ext: double/triple indirection not yet supported in reader".into(),
))
}
/// Resolve logical block `n` against an inode that uses an inline
/// (depth-0) ext4 extent tree.
fn file_block_extent(&self, ino: &Inode, n: u32) -> Result<u32> {
// The 15-slot u32 i_block array overlays as a 60-byte extent tree.
let mut buf = [0u8; 60];
for (i, slot) in ino.block.iter().enumerate() {
let off = i * 4;
buf[off..off + 4].copy_from_slice(&slot.to_le_bytes());
}
let magic = u16::from_le_bytes(buf[0..2].try_into().unwrap());
if magic != extent::EXT4_EXT_MAGIC {
return Err(crate::Error::InvalidImage(format!(
"ext4: extent header magic {magic:#06x} != {:#06x}",
extent::EXT4_EXT_MAGIC
)));
}
let entries = u16::from_le_bytes(buf[2..4].try_into().unwrap()) as usize;
let depth = u16::from_le_bytes(buf[6..8].try_into().unwrap());
if depth != 0 {
return Err(crate::Error::Unsupported(
"ext4: multi-level extent trees not yet supported in reader".into(),
));
}
for i in 0..entries {
let off = 12 + i * 12;
let ee_block = u32::from_le_bytes(buf[off..off + 4].try_into().unwrap());
let ee_len = u16::from_le_bytes(buf[off + 4..off + 6].try_into().unwrap());
let ee_start_hi = u16::from_le_bytes(buf[off + 6..off + 8].try_into().unwrap()) as u64;
let ee_start_lo = u32::from_le_bytes(buf[off + 8..off + 12].try_into().unwrap()) as u64;
// Uninitialized extents have ee_len in the [32768, 65535] range
// and represent zero blocks; we don't emit those but tolerate
// them on read.
let len = if ee_len > extent::MAX_LEN_PER_EXTENT {
ee_len - extent::MAX_LEN_PER_EXTENT
} else {
ee_len
};
if n >= ee_block && n < ee_block + len as u32 {
let phys = (ee_start_hi << 32) | ee_start_lo;
return Ok((phys + (n - ee_block) as u64) as u32);
}
}
// Logical block not covered by any extent → sparse hole, reads as zero.
Ok(0)
}
/// List the entries of the directory inode `ino`. Returns
/// [`crate::Error::InvalidArgument`] if `ino` is not a directory.
pub fn list_inode(
&self,
dev: &mut dyn BlockDevice,
ino: u32,
) -> Result<Vec<crate::fs::DirEntry>> {
let inode = self.read_inode(dev, ino)?;
if inode.mode & constants::S_IFMT != constants::S_IFDIR {
return Err(crate::Error::InvalidArgument(format!(
"ext: inode {ino} is not a directory"
)));
}
let bs = self.layout.block_size;
let n_blocks = inode.size.div_ceil(bs);
let mut out = Vec::new();
let with_filetype = self.sb.feature_incompat & constants::feature::INCOMPAT_FILETYPE != 0;
let mut block_buf = vec![0u8; bs as usize];
for n in 0..n_blocks {
let blk = self.file_block(dev, &inode, n)?;
if blk == 0 {
continue;
}
self.read_block(dev, blk, &mut block_buf)?;
let mut off = 0usize;
while off < block_buf.len() {
let Some(entry) = dir::decode_entry(&block_buf[off..], with_filetype) else {
break;
};
if entry.inode != 0 && !entry.name.is_empty() {
let child = self.read_inode(dev, entry.inode)?;
out.push(crate::fs::DirEntry {
name: String::from_utf8_lossy(entry.name).into_owned(),
inode: entry.inode,
kind: kind_from_mode(child.mode),
});
}
off += entry.rec_len;
if entry.rec_len == 0 {
break;
}
}
}
Ok(out)
}
/// Resolve an absolute path (must start with '/') to its inode number.
/// Each component is matched exactly; symlinks are NOT followed in v1.
pub fn path_to_inode(&self, dev: &mut dyn BlockDevice, path: &str) -> Result<u32> {
if !path.starts_with('/') {
return Err(crate::Error::InvalidArgument(format!(
"ext: path must be absolute, got {path:?}"
)));
}
let mut cur = constants::INO_ROOT_DIR;
for comp in path.split('/').filter(|c| !c.is_empty()) {
let entries = self.list_inode(dev, cur)?;
let next = entries
.iter()
.find(|e| e.name == comp)
.map(|e| e.inode)
.ok_or_else(|| {
crate::Error::InvalidArgument(format!("ext: no such entry {comp:?} in path"))
})?;
cur = next;
}
Ok(cur)
}
/// Open a streaming reader over the regular file at `ino`. The reader
/// holds a mutable borrow of `dev` for its lifetime; reads pull the
/// file's data blocks lazily through a per-block fetch.
/// Read this inode's extended attributes. Combines two storage
/// locations: inline xattrs in the extended inode body (when
/// `inode_size > 128`, post-`i_extra_isize`) and external block
/// xattrs (pointed at by `inode.file_acl`). Inline entries come
/// first to match the kernel's ordering.
///
/// The per-block CRC32C isn't validated here.
pub fn read_xattrs(&self, dev: &mut dyn BlockDevice, ino: u32) -> Result<Vec<xattr::Xattr>> {
let mut out = Vec::new();
// Inline xattrs only exist when the on-disk inode is bigger than
// the classic 128 bytes.
if self.layout.inode_size > inode::INODE_BASE_SIZE as u16 {
out.extend(self.read_inline_xattrs(dev, ino)?);
}
let inode = self.read_inode(dev, ino)?;
if inode.file_acl != 0 {
let bs = self.layout.block_size as usize;
let mut block = vec![0u8; bs];
dev.read_at(inode.file_acl as u64 * bs as u64, &mut block)?;
out.extend(xattr::decode_block(&block)?);
}
Ok(out)
}
/// Read inline xattrs from the extended-inode area. `read_inode`
/// only returns the 128-byte base struct, so this re-reads the full
/// on-disk inode (`layout.inode_size` bytes) and walks anything past
/// the standard fields + `i_extra_isize`.
fn read_inline_xattrs(&self, dev: &mut dyn BlockDevice, ino: u32) -> Result<Vec<xattr::Xattr>> {
let (group, idx) = self.inode_location(ino);
let table_block = self.layout.groups[group as usize].inode_table;
let bs = self.layout.block_size as u64;
let inode_size = self.layout.inode_size as usize;
let off = table_block as u64 * bs + idx as u64 * inode_size as u64;
let mut buf = vec![0u8; inode_size];
dev.read_at(off, &mut buf)?;
// i_extra_isize is the first u16 of the extended area at offset 128.
if buf.len() < 130 {
return Ok(Vec::new());
}
let extra_isize = u16::from_le_bytes(buf[128..130].try_into().unwrap()) as usize;
let inline_start = inode::INODE_BASE_SIZE + extra_isize;
if inline_start >= buf.len() {
return Ok(Vec::new());
}
xattr::decode_inline(&buf[inline_start..])
}
/// Attach the given extended attributes to a freshly-staged inode.
/// Allocates one data block, encodes the xattrs into it, stamps the
/// CRC32C if `metadata_csum` is on, points `inode.file_acl` at the
/// new block, and sets `COMPAT_EXT_ATTR` on the superblock.
///
/// `ino` MUST refer to an inode that was just added via one of the
/// `add_*_to` methods (i.e. it lives in `self.inodes`). Setting
/// xattrs on a disk-resident inode is a separate code path and is
/// not implemented in v1.
pub fn set_xattrs(
&mut self,
dev: &mut dyn BlockDevice,
ino: u32,
xattrs: &[xattr::Xattr],
) -> Result<()> {
if xattrs.is_empty() {
return Ok(());
}
let bs = self.layout.block_size;
let mut block = xattr::encode_block(xattrs, bs as usize)?;
let block_num = self.alloc_data_block()?;
if self.has_metadata_csum() {
xattr::stamp_checksum(&mut block, self.csum_seed(), block_num as u64);
}
dev.write_at(block_num as u64 * bs as u64, &block)?;
let entry = self
.inodes
.iter_mut()
.find(|(i, _)| *i == ino)
.ok_or_else(|| {
crate::Error::Unsupported(format!(
"ext: set_xattrs on disk-resident inode {ino} not yet supported"
))
})?;
entry.1.file_acl = block_num;
entry.1.blocks_512 += bs / 512;
self.sb.feature_compat |= constants::feature::COMPAT_EXT_ATTR;
Ok(())
}
/// Read the target of the symlink at inode `ino`. Errors if the inode
/// isn't a symlink.
///
/// ext stores short symlinks (≤ 60 bytes) inline in the inode's
/// `block` array; longer ones go through the normal block-pointer
/// machinery and are streamed via [`Self::open_file_reader`].
pub fn read_symlink_target(&self, dev: &mut dyn BlockDevice, ino: u32) -> Result<String> {
use std::io::Read as _;
let inode = self.read_inode(dev, ino)?;
if inode.mode & constants::S_IFMT != constants::S_IFLNK {
return Err(crate::Error::InvalidArgument(format!(
"ext: inode {ino} is not a symlink"
)));
}
let size = inode.size as usize;
// Fast (inline) symlink: target is in the 60 bytes of block[].
if size <= 60 && inode.blocks_512 == 0 {
let mut bytes = [0u8; 60];
for (i, &w) in inode.block.iter().enumerate() {
bytes[i * 4..i * 4 + 4].copy_from_slice(&w.to_le_bytes());
}
return Ok(String::from_utf8_lossy(&bytes[..size]).into_owned());
}
// Slow symlink: stored in data blocks, same as a regular file's body.
// Spoof the mode bits so open_file_reader accepts it.
let mut reg_inode = inode;
reg_inode.mode = (reg_inode.mode & !constants::S_IFMT) | constants::S_IFREG;
let reader = FileReader {
ext: self,
dev,
inode: reg_inode,
pos: 0,
block_buf: vec![0u8; self.layout.block_size as usize],
cached_block: u32::MAX,
};
let mut buf = Vec::with_capacity(size);
let mut r = reader;
r.read_to_end(&mut buf)?;
buf.truncate(size);
Ok(String::from_utf8_lossy(&buf).into_owned())
}
pub fn open_file_reader<'a>(
&'a self,
dev: &'a mut dyn BlockDevice,
ino: u32,
) -> Result<FileReader<'a>> {
let inode = self.read_inode(dev, ino)?;
if inode.mode & constants::S_IFMT != constants::S_IFREG {
return Err(crate::Error::InvalidArgument(format!(
"ext: inode {ino} is not a regular file"
)));
}
Ok(FileReader {
ext: self,
dev,
inode,
pos: 0,
block_buf: vec![0u8; self.layout.block_size as usize],
cached_block: u32::MAX,
})
}
}
/// Streaming reader over a regular file's data blocks. Constructed via
/// [`Ext::open_file_reader`]. Reads pull one FS block at a time from the
/// device into an internal buffer; no full-file allocation.
pub struct FileReader<'a> {
ext: &'a Ext,
dev: &'a mut dyn BlockDevice,
inode: Inode,
pos: u64,
block_buf: Vec<u8>,
/// Block number currently in `block_buf`, or `u32::MAX` if empty.
cached_block: u32,
}
impl<'a> Read for FileReader<'a> {
fn read(&mut self, out: &mut [u8]) -> std::io::Result<usize> {
let total = self.inode.size as u64;
if self.pos >= total {
return Ok(0);
}
let bs = self.ext.layout.block_size as u64;
let block_idx = (self.pos / bs) as u32;
let block_off = (self.pos % bs) as usize;
if self.cached_block != block_idx {
let abs = self
.ext
.file_block(self.dev, &self.inode, block_idx)
.map_err(std::io::Error::other)?;
if abs == 0 {
self.block_buf.fill(0);
} else {
self.dev
.read_at(abs as u64 * bs, &mut self.block_buf)
.map_err(std::io::Error::other)?;
}
self.cached_block = block_idx;
}
let remaining_in_block = bs as usize - block_off;
let remaining_in_file = (total - self.pos) as usize;
let n = out.len().min(remaining_in_block).min(remaining_in_file);
out[..n].copy_from_slice(&self.block_buf[block_off..block_off + n]);
self.pos += n as u64;
Ok(n)
}
}
/// Build a JBD2 v2 journal superblock for a clean (never-mounted) journal.
/// Layout per linux/include/linux/jbd2.h; note that JBD2 fields are
/// **big-endian** on disk, unlike the rest of the ext filesystem.
fn build_jbd2_superblock(block_size: u32, journal_blocks: u32) -> Vec<u8> {
let mut buf = vec![0u8; block_size as usize];
// journal_header_s: h_magic, h_blocktype, h_sequence (each u32 BE)
buf[0..4].copy_from_slice(&0xC03B_3998u32.to_be_bytes()); // h_magic
buf[4..8].copy_from_slice(&4u32.to_be_bytes()); // h_blocktype = SB v2
// 8..12: h_sequence — zero
// journal_superblock_s body:
buf[12..16].copy_from_slice(&block_size.to_be_bytes()); // s_blocksize
buf[16..20].copy_from_slice(&journal_blocks.to_be_bytes()); // s_maxlen
buf[20..24].copy_from_slice(&1u32.to_be_bytes()); // s_first = 1
buf[24..28].copy_from_slice(&1u32.to_be_bytes()); // s_sequence
// 28..32: s_start = 0 → CLEAN journal, no recovery needed
// 32..36: s_errno = 0
// 36..48: feature_{compat,incompat,ro_compat} = 0
// 48..64: s_uuid = 0
buf[64..68].copy_from_slice(&1u32.to_be_bytes()); // s_nr_users = 1
// rest zero
buf
}
/// Split an absolute path into (parent path, last component). Errors for
/// paths that don't start with '/', that ARE just '/', or whose last
/// component contains a slash (defensive).
fn split_path(path: &std::path::Path) -> Result<(std::path::PathBuf, String)> {
let s = path
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument(format!("ext: non-UTF-8 path {path:?}")))?;
if !s.starts_with('/') {
return Err(crate::Error::InvalidArgument(format!(
"ext: path must be absolute, got {s:?}"
)));
}
if s == "/" {
return Err(crate::Error::InvalidArgument(
"ext: cannot create or remove the root".into(),
));
}
let trimmed = s.trim_end_matches('/');
let (parent, name) = match trimmed.rsplit_once('/') {
Some((p, n)) => (if p.is_empty() { "/" } else { p }, n),
None => {
return Err(crate::Error::InvalidArgument(format!(
"ext: bad path {s:?}"
)));
}
};
Ok((std::path::PathBuf::from(parent), name.to_string()))
}
impl crate::fs::Filesystem for Ext {
type FormatOpts = FormatOpts;
fn format(dev: &mut dyn BlockDevice, opts: &Self::FormatOpts) -> Result<Self> {
Self::format_with(dev, opts)
}
fn open(dev: &mut dyn BlockDevice) -> Result<Self> {
Self::open(dev)
}
fn create_file(
&mut self,
dev: &mut dyn BlockDevice,
path: &std::path::Path,
src: FileSource,
meta: FileMeta,
) -> Result<()> {
let (parent, name) = split_path(path)?;
let parent_str = parent
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument("ext: non-UTF-8 parent path".into()))?;
let parent_ino = self.path_to_inode(dev, parent_str)?;
self.add_file_to(dev, parent_ino, name.as_bytes(), src, meta)?;
Ok(())
}
fn create_dir(
&mut self,
dev: &mut dyn BlockDevice,
path: &std::path::Path,
meta: FileMeta,
) -> Result<()> {
let (parent, name) = split_path(path)?;
let parent_str = parent.to_str().unwrap();
let parent_ino = self.path_to_inode(dev, parent_str)?;
self.add_dir_to(dev, parent_ino, name.as_bytes(), meta)?;
Ok(())
}
fn create_symlink(
&mut self,
dev: &mut dyn BlockDevice,
path: &std::path::Path,
target: &std::path::Path,
meta: FileMeta,
) -> Result<()> {
let (parent, name) = split_path(path)?;
let parent_str = parent.to_str().unwrap();
let parent_ino = self.path_to_inode(dev, parent_str)?;
let target_bytes = target
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument("ext: non-UTF-8 symlink target".into()))?
.as_bytes();
self.add_symlink_to(dev, parent_ino, name.as_bytes(), target_bytes, meta)?;
Ok(())
}
fn create_device(
&mut self,
dev: &mut dyn BlockDevice,
path: &std::path::Path,
kind: DeviceKind,
major: u32,
minor: u32,
meta: FileMeta,
) -> Result<()> {
let (parent, name) = split_path(path)?;
let parent_str = parent.to_str().unwrap();
let parent_ino = self.path_to_inode(dev, parent_str)?;
self.add_device_to(dev, parent_ino, name.as_bytes(), kind, major, minor, meta)?;
Ok(())
}
fn remove(&mut self, dev: &mut dyn BlockDevice, path: &std::path::Path) -> Result<()> {
let s = path
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument("ext: non-UTF-8 path".into()))?;
self.remove_path(dev, s)
}
fn list(
&mut self,
dev: &mut dyn BlockDevice,
path: &std::path::Path,
) -> Result<Vec<crate::fs::DirEntry>> {
let s = path
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument("ext: non-UTF-8 path".into()))?;
let ino = self.path_to_inode(dev, s)?;
self.list_inode(dev, ino)
}
fn read_file<'a>(
&'a mut self,
dev: &'a mut dyn BlockDevice,
path: &std::path::Path,
) -> Result<Box<dyn Read + 'a>> {
let s = path
.to_str()
.ok_or_else(|| crate::Error::InvalidArgument("ext: non-UTF-8 path".into()))?;
let ino = self.path_to_inode(dev, s)?;
let reader = self.open_file_reader(dev, ino)?;
Ok(Box::new(reader))
}
fn flush(&mut self, dev: &mut dyn BlockDevice) -> Result<()> {
Self::flush(self, dev)
}
}
/// Translate an ext mode word into a [`crate::fs::EntryKind`].
fn kind_from_mode(mode: u16) -> crate::fs::EntryKind {
use crate::fs::EntryKind;
match mode & constants::S_IFMT {
constants::S_IFREG => EntryKind::Regular,
constants::S_IFDIR => EntryKind::Dir,
constants::S_IFLNK => EntryKind::Symlink,
constants::S_IFCHR => EntryKind::Char,
constants::S_IFBLK => EntryKind::Block,
constants::S_IFIFO => EntryKind::Fifo,
constants::S_IFSOCK => EntryKind::Socket,
_ => EntryKind::Unknown,
}
}
/// Append a dir entry to a directory block by shrinking the existing last
/// entry to its natural minimum and writing the new entry into the freed
/// tail. `usable` is the byte length available for real entries — the whole
/// block, or `block_size - 12` when `metadata_csum` reserves a checksum
/// tail. The last real entry's `rec_len` runs up to `usable`.
fn append_dir_entry(
block: &mut [u8],
name: &[u8],
inode: u32,
file_type: u8,
with_filetype: bool,
usable: usize,
) -> Result<()> {
let needed = dir::min_rec_len(name.len());
let mut off = 0usize;
let last_off: usize;
loop {
let entry = dir::decode_entry(&block[off..], with_filetype).ok_or_else(|| {
crate::Error::InvalidImage("corrupt dir entry while appending".into())
})?;
let next = off + entry.rec_len;
if next >= usable {
last_off = off;
break;
}
off = next;
}
let last_entry = dir::decode_entry(&block[last_off..], with_filetype).expect("decode last");
let last_min = dir::min_rec_len(last_entry.name.len());
let last_real_end = last_off + last_entry.rec_len;
let new_entry_off = last_off + last_min;
let new_entry_space = last_real_end - new_entry_off;
if new_entry_space < needed {
return Err(crate::Error::Unsupported(
"ext: dir block full — multi-block directories not yet implemented".into(),
));
}
// Shrink the last entry's rec_len.
block[last_off + 4..last_off + 6].copy_from_slice(&(last_min as u16).to_le_bytes());
// Encode the new entry into a buffer, then copy.
let mut tail = Vec::with_capacity(new_entry_space);
dir::encode_entry(
&mut tail,
inode,
name,
new_entry_space as u16,
file_type,
with_filetype,
);
debug_assert_eq!(tail.len(), new_entry_space);
block[new_entry_off..new_entry_off + new_entry_space].copy_from_slice(&tail);
Ok(())
}
fn popcount_bits(bm: &[u8], start: u32, end: u32) -> u32 {
(start..end).filter(|&i| test_bit(bm, i)).count() as u32
}
#[cfg(test)]
mod tests {
use super::*;
use crate::block::MemoryBackend;
#[test]
fn format_creates_clean_filesystem() {
let mut dev = MemoryBackend::new(1024 * 1024);
let opts = FormatOpts::default();
let ext = Ext::format_with(&mut dev, &opts).expect("format");
assert_eq!(ext.sb.magic, constants::EXT2_MAGIC);
assert_eq!(ext.sb.blocks_count, 1024);
assert_eq!(ext.sb.inodes_count, 16);
assert_eq!(ext.sb.block_size(), 1024);
}
}