Hi Antti, > For the block layer it should be enough to just write the blocks and > notify the upper layer when they have been committed. > > For the FFS (and ext2) model, the best paper is probably the one on soft > updates, which describes the original consistency problem, and how you > can render most writes asynchronous if you track the dependencies of > writes in memory: > https://www.usenix.org/legacy/publications/library/proceedings/usenix99/full_papers/mckusick/mckusick.pdf > > For block level journalling, the canonical reference is probably the > BeOS file system book: > http://www.nobius.org/~dbg/practical-file-system-design.pdf
thank you for the references. > Now, I think ballooning would be quite easy. In theory it's as simple > as adjusting the rump_physmemlimit, recalculating the derived values > (including telling it to the buffer cache), and kicking the pagedaemon. > The only problem I can see at the moment is that you cannot set the > value too low, and there's no real way knowing what "too low" is, so > that will take some playing around with. Plus, there is of course the > usual weeding out of cases where theory does not match reality. Interesting. > Second, with non-preemptive threads, the thread scheduler is the event > loop. I don't really see much difference in a thread programming > interface and an event loop interface, except that the thread Indeed, I think that both are pretty much equivalent. I am not arguing against the use of non-preemptive threads at all. Sorry if my qualms against threads came across too general. I meant to refer to preemptive threading only. > I don't see any reason why you could not run a rump kernel on top of a > single Genode thread. Perhaps we are misunderstanding each other? Thanks to Justin's and your response, things have become clear now. I wrongly presumed that Rump kernel threads have to be preemptively scheduled. I am happy to learn that this is not the case. Cheers Norman ------------------------------------------------------------------------------ New Year. New Location. New Benefits. New Data Center in Ashburn, VA. GigeNET is offering a free month of service with a new server in Ashburn. Choose from 2 high performing configs, both with 100TB of bandwidth. Higher redundancy.Lower latency.Increased capacity.Completely compliant. http://p.sf.net/sfu/gigenet _______________________________________________ rumpkernel-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/rumpkernel-users
