home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / forth / 4033 < prev    next >
Encoding:
Text File  |  1993-01-28  |  5.3 KB  |  103 lines

  1. Newsgroups: comp.lang.forth
  2. Path: sparky!uunet!math.fu-berlin.de!informatik.tu-muenchen.de!paysan
  3. From: paysan@Informatik.TU-Muenchen.DE (Bernd Paysan)
  4. Subject: Re: Documenting
  5. References: <1993Jan14.122149.16814@Informatik.TU-Muenchen.DE> <C18CFv.GtA@starnine.com> <1993Jan22.105759.20424@Informatik.TU-Muenchen.DE> <C1JoxC.FuK@starnine.com>
  6. Originator: paysan@hphalle5g.informatik.tu-muenchen.de
  7. Sender: news@Informatik.TU-Muenchen.DE (USENET Newssystem)
  8. Organization: Technische Universitaet Muenchen, Germany
  9. Date: Thu, 28 Jan 1993 11:57:10 GMT
  10. Message-ID: <1993Jan28.115710.12916@Informatik.TU-Muenchen.DE>
  11. Lines: 90
  12.  
  13.  
  14. I only want to pick out some lines of your long article:
  15.  
  16. MH>No, under a normal OS, it's primitives are the right ones, and
  17. MH>there is no reason to implement BLOCK because:
  18. MH>
  19. MH>   1. Many disk ops read/write MUCH less than 1024 bytes.
  20. MH>   2. OS's provide their own block-style buffering and usually
  21. MH>      in chunks less than 1024 bytes.
  22.  
  23. Oups. Both my hard disk and my floppy works in chunks exactly 1 K (2
  24. sectors/cluster). Here the HP-UX works with chunks from 512 byte to 4 K,
  25. depending on the size of the disk. My MS-DOS PC works with chunks of 1K for DD,
  26. and 512 bytes for HD floppies. The hard disk read in chunks of 4K, because it is
  27. one partition of 105 MB and it can't be less (8 sectors/cluster).
  28.  
  29. But your second argument is exactly what I say: OS provide block-style buffering
  30. at their low level disk I/O. The OS has to implement block. And if you read
  31. chunks with block-size, the OS works at best. Reading much less than 1K results
  32. in incredibly high overhead.
  33.  
  34. MH>Whatever you bring your Forth or any other Forth up on, however it boots,
  35. MH>whatever it does, it myopically only supports compiled Forth code.
  36.  
  37. And the Church's thesis says: Then it supports everything else, too, because you
  38. can do everything else once you can do it in Forth (or in Turing machine). Forth
  39. is an universal language, and has good performance, too (which Turing's machine
  40. hasn't).
  41.  
  42. MH>At the very best, it might be called a Forth operating system.  But
  43. MH>still, it's only an interactive programming language.
  44.  
  45. And Unix is called "The best programmer's editor" (from Unix freaks, that's not
  46. the flame of a Unix-hater).
  47.  
  48. MH>I feel strongly about this because it's one of the reasons Forth is
  49. MH>so strongly rejected by professionals who KNOW operating systems,
  50. MH>other languages, real-world uses for computers.  Loud
  51. MH>claims that Forth is an operating system is dismissed as so
  52. MH>much hype, and wisely so.
  53.  
  54. I KNOW about operating systems, other languages and real-world uses for
  55. computers. And there are many computers that run only FORTH and nothing else.
  56. According to your words, they won't work, because they have no OS, but only an
  57. interactive language running. How does it run, without OS? If you realy NEED a
  58. file system, why didn't everybody implement it? And I'll give you a reference:
  59. There was an article in the "Vierte Dimension", the german Forth magazine, I
  60. think in 1/89, about "Block World", a unix-style file system implemented by using
  61. the block interface. The implementation differs much from Unix, but the
  62. functionality is about the same.
  63.  
  64. To your claim about "tiny basic": As far as I know, tiny basic implements all
  65. features of ANSI BASIC (which are few enough to call it "tiny"). Tiny pascal is
  66. about the same: You can't compare it with Turbo-Pascal, but it is Pascal. I
  67. think, tiny pascal is distributed with F-PC or related to F-PC.
  68.  
  69. MH>In my mind, the Forth community needs to spend more time figuring out how
  70. MH>to get Forth to LIVE EASILY under real existing operating systems.
  71. MH>Throw out blocks would be a good start.
  72.  
  73. Why do you want to throw out blocks? bigFORTH, LMI Forth, JFORTH and others live
  74. easily under real existing operating systems or MS-DOESn't. There is no READLINE
  75. in many existing operating systems, this is only a C/Forth/Pascal library
  76. function. So stream files with line ends are no real parts of operating system.
  77. Just the other way round: Two years ago, here was a 370 compatible mainframe from
  78. Siemens, running IBM's CMS/VMSP. This OS uses fixed records for storing text
  79. files. Waste of space? Doesn't count. The earlier versions of OS/370 allocated one
  80. cylinder for each file. Hundrets of KB wasted. Very efficient for large files
  81. like data bases or so.
  82.  
  83. MH>It'll make a difference when you fill that 50MB up.  Then the 50%
  84. MH>of space wasted in those BLOCKS will seem more important.
  85.  
  86. The rest of my 50 MB are filled up with text files, binaries and stuff like this.
  87.  
  88. MH>This is the kind of attitude that the "progressives" in this
  89. MH>newsgroup mention often... justification of why the "waste" of BLOCKS
  90. MH>is not important, or why it's OK for Forth source to be in a format
  91. MH>that is completely alien to the host OS.  Rationalization run rampant.
  92.  
  93. Block files aren't completely alien to the host OS. Only native blocks without
  94. files are alien. Conversion is stupid simple. If you don't like blocks, throw
  95. them out in your Forth. I don't want my costomers run away, if I do so. I don't
  96. want my applications to stop run. I don't want to convert all my source files. If
  97. I really need the space, I'd add an online compressor (Data Light for the ST and
  98. Superstore for the PC). They even save 50% or more on stream files. And except
  99. the performance penalty you don't see them.
  100. -- 
  101. Bernd Paysan
  102. "Late answers are wrong answers!"
  103.