Messages in this thread | | | Date | Sun, 16 Jan 2000 21:15:40 -0500 (EST) | From | Alexander Viro <> | Subject | Re: [Patch] Cleanup struct gendisk registration, 2.3.40-pre1 |
| |
On Mon, 17 Jan 2000, Guest section DW wrote:
> What one would like is a formal description of the global invariants. > What the obligations of all routines are. > If there is such a description, then every driver writer will go through > his code with these rules in hand to verify that his code complies. > But presently the rules are only in the minds of some people. > The way to write a driver is to take another one that works, copy it, > modify the obvious things, test a little and release it. > Alessandro's book will help in understanding what this other driver does, > but is far from a formal specification. > > As long as we do not provide the rules you cannot blame driver writers.
Yup. And I want to make those rule as simple as possible. And yes, text documenting them is going to be the part of thing.
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
| |