home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / os / minix / 3744 < prev    next >
Encoding:
Text File  |  1992-07-21  |  1.8 KB  |  38 lines
  1. Newsgroups: comp.os.minix
  2. Path: sparky!uunet!mcsun!sun4nl!relay.philips.nl!philica!adrie
  3. From: adrie@ica.philips.nl (Adrie Koolen)
  4. Subject: Re: Microkernel discussion
  5. Message-ID: <1992Jul22.072333.1552@ica.philips.nl>
  6. Organization: Philips Consumer Electronics, Eindhoven, The Netherlands
  7. References: <1992Jul21.093145.328@ica.philips.nl> <1992Jul21.135917.3527@philce.ce.philips.nl>
  8. Date: Wed, 22 Jul 1992 07:23:33 GMT
  9. Lines: 27
  10.  
  11. In article <1992Jul21.135917.3527@philce.ce.philips.nl> meulenbr@ce.philips.nl (Frans Meulenbroeks) writes:
  12. >Also the situation where a driver dies is quite rare (but of course it
  13. >can occur). For the time being I decided just to ignore this case.
  14.  
  15. I think that it's not quite rare. The mechanism you're proposing, helps
  16. to easily reinstall drivers in a running system. When you do, a driver
  17. can (and often will) be put in a different process slot. We should
  18. cover this case.
  19.  
  20. Also, although I agree that it takes a lot of time to search for a name
  21. in the process table, things might be not that bad if you use a binary
  22. search method or a hash table. Furthermore, user processes can sendrec
  23. only to/from the MM and FS (or a limited number of other server
  24. processes), so one should have a very small number of processes to
  25. check for when a user process sends a message.
  26.  
  27. >In due time this could be solved by redefining the address to which
  28. >the data is sent. I can imagine that the address consists of e.g.
  29. >proc no. + pid or proc no + name, and that send checks if the
  30. >address is still valid. If not an error could be returned, and the
  31. >caller can check if there is another new process registered under that
  32. >name and rework the address.
  33.  
  34. Good idea. That keeps the speed (but adds parameters).
  35.  
  36. Adrie Koolen (adrie@ica.philips.nl)
  37. Philips Consumer Electronics, Eindhoven, the Netherlands
  38.