Soft updates, hard problems
Posted Jul 3, 2009 16:34 UTC (Fri) by quotemstr
In reply to: Soft updates, hard problems
Parent article: Soft updates, hard problems
It seems like it ought to be possible to describe the on-disk format in some higher level form that allows a tool to work out the dependences between various updates automatically, dramatically improving the maintainability of the filesystem. If nothing else, it seems like it ought to reduce the chance of error.
Hear, hear! An even better example than your VLIW compiler would be the humble parser generator: have you read
the incomprehensible muck that vomits forth from bison? However unintelligible, it works every time.
The difference is that for VLIW instruction sets and parsers, respectively, we have a higher-level forms in which to express the problem: high-level languages and BNF grammars, respectively. What would the equivalent representation be for on-disk data structures? Does there exist today a general representation for data dependencies?
to post comments)