int pdcspath_fetch (struct pdcspath_entry * entry);
The general idea is that you don't read from the Stable Storage every time you access the files provided by the facilites. We store a copy of the content of the stable storage WRT various paths in these structs. We read these structs when reading the files, and we will write to these structs when writing to the files, and only then write them back to the Stable Storage.