But can it bypass the magic performed by the SSD controller? In particular, can it be certain that a flush is really a flush?
If the disk decides to falsely report a flush, there's not much you can do about it from the user side, no?
F* file system – file search that reads SSD directly bypassing OS kernel
11–20 of 54 posts
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#12But can it match the speed and reliability of the venerable Windows Search?
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#13This is practically the most useless project becuase you can not run it without sudo permissions, but it was insanely fun to work on it supports ext4, btrfs, and apfs. Multithreaded, supports compression, nested volumes, and can even search detached volumes like .iso and .dmg without mounting An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands
Pretty cool to read it directly from the associated device XD
Did you write a metadata parser for most of the filesystems?
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#14This is practically the most useless project becuase you can not run it without sudo permissions, but it was insanely fun to work on it supports ext4, btrfs, and apfs. Multithreaded, supports compression, nested volumes, and can even search detached volumes like .iso and .dmg without mounting An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands
[deleted]
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#15This is practically the most useless project becuase you can not run it without sudo permissions, but it was insanely fun to work on it supports ext4, btrfs, and apfs. Multithreaded, supports compression, nested volumes, and can even search detached volumes like .iso and .dmg without mounting An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands
> cause clankers can not run sudo commands
They absolutely can. There's nothing special about a these harnesses. You automate sudo the same way you would automate in any other context. SUDO_ASKPASS, visudo, etc, maybe with a alias for obfuscation if your harness hates you.
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#16Dumb title.
It works by reading the block device in /dev directly, wouldn't it also work on an HDD, flash drive or a memory card?
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#17It might bypass the fs, but it does not bypass the kernel. Cool, though!
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#18Dumb title. It works by reading the block device in /dev directly, wouldn't it also work on an HDD, flash drive or a memory card?
I assume the author just meant SSD as a synonym for "main internal disk", since that is usually an SSD these days.
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#19It is sad that that FFS doesn't support FFS (BSD Fast File System) which inspired the architecture of the ext filesystem (and was the basis for a lot of unix filesystems).
Re: F* file system – file search that reads SSD directly bypassing OS kernel
#20Saw the name and was disappointed that this wasn't some kind of verified file system written in the F* programming language (https://fstar-lang.org).
I don't think I'd ever trust or use this, but still, good job OP :)