Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Ext4"”.
-
Efektivní metoda čtení adresářových položek v souborovém systému Ext4
… procházení adresářů v souborovém systému ext4. Datová struktura HTree, jenž je v současné době použita k implementaci adresářu v ext4 zvládá velmi dobře náhodné přístupy do adresáře, avšak není optimalizována pro sekvenční procházení. Tato práce přináší analýzu tohoto problému. Nejprve …
-
Certifying a crash-safe file system
… of fsync and fdatasync, based on Linux ext4's behavior. FSCQ also introduces disk sequences and disk relations to help formalize the metadata-prefix specification. The evaluation shows that FSCQ enables end-to-end verification of application crash safety, and that FSCQ's optimizations …
-
Hard Drive Command Capture and Sequential Stream Detection
… was run on multiple file systems (ext2, ext3, ext4, Btrfs) to compare the effects of stream allocation across file systems. It is shown that stream allocation is consistent across file systems suggesting stream detection may be a valuable workload identification tool.</p>
-
Certifying checksum-based logging in the RapidFSCQ crash-safe filesystem
… achieve I/O performance on par with Linux ext4. Thus, this thesis contributes a formal model of hash function behavior with practical application to certified computer systems.
-
Designing multicore scalable filesystems with durability and crash consistency
… that matches or exceeds that of Linux ext4.
-
Verifying a concurrent, crash-safe file system with sequential reasoning
… good performance compared to Linux NFS exporting ext4 over a range of benchmarks: at least 60% the throughput even on the most challenging concurrent benchmarks, and 90% on other workloads.
-
Forensic framework for honeypot analysis
… for the examination of the recently deployed Ext4 file system. Each respective chapter includes the necessary background information and an examination of related work as well as the architecture, design, conceptual prototyping, and results from testing each major framework component.
-
Verifying Confidentiality Under Nondeterminism for Storage Systems
… FSCQ verified file system but worse compared to ext4 file system.
-
Systems and applications for persistent memory
… gains over traditional file systems (such as ext4) on a RAMDISK-like PM block device. Finally, we address the problem of designing memory-based applications for systems with both DRAM and PM by extending our system software to manage both the tiers. We demonstrate for several representative …