×

The programming language C and the operating system UNIX. (English) Zbl 0631.68005

Translation from Itogi Nauki Tekh., Ser. Teor. Veroyatn., Mat. Stat., Teor. Kibern. 23, 118-151 (Russian) (1985; Zbl 0601.68009).

MSC:

68N01 General topics in the theory of software
68N25 Theory of operating systems

Citations:

Zbl 0601.68009

Software:

INGRES
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] V. V. Leonas and F. R. Tsang, Report No. 0284.0046187. Technical Project of Software for Multiprocessor Computer Complex ?Él’brus-1B12? [in Russian], VNTI Center (1984).
[2] A. G. Marchuk, ?Propositions on creation of portable operating system,? in: Theoretical Problems of Parallel Programming and Multiprocessor Computers [in Russian], Novosibirsk (1983), pp. 31?45.
[3] Yu. V. Stupin, Automation Methods for Physical Experiments and Installations on the Basis of Computers [in Russian], Énergoatomizdat, Moscow (1983).
[4] M. F. Banahan and A. Rutter, UNIX ? the Book, Sigma Technical Press (1982), Distributed by John Wiley & Sons Ltd.
[5] R. F. Bergeron and M. I. Rochkind, ?Software tools and components,? Bell System Tech. J.,61, No. 6, 1177?1195 (1982). · doi:10.1002/j.1538-7305.1982.tb04337.x
[6] G. S. Blair, D. Hutchison, and W. D. Shepherd, ?MIMAS ? a network operating system for strathnet,? Proc. 3rd Int. Conf. on Distributed Comput. Syst., Miami/Fort Lauderdale, Fl., USA, 18?22 Oct. 1982, IEEE, New York, USA (1982), pp. 212?217.
[7] G. S. Blair, J. A. Mariani, and W. D. Shepherd, ?A practical extension to UNIX* for interprocess communication,? Software ? Pract. Exper.,13, No. 1, 45?58 (1983).
[8] S. R. Bourne, ?The UNIX shell,? Bell System Tech. J.,57, No. 6, 1971?1990 (1978). · doi:10.1002/j.1538-7305.1978.tb02139.x
[9] S. R. Bourne, The UNIX System, Addison-Wesley (1982). · Zbl 0546.28009
[10] I. R. Breiland and R. A. Friedernson, ?Designer’s workbench: the user environment,? Bell System Tech. J.,59, No. 9, 1767?1792 (1980). · doi:10.1002/j.1538-7305.1980.tb03061.x
[11] J. W. Bruce, A. Kemmerer, and G. J. Popek, ?Specification and verification of the UCLA UNIX security,? Commun. ACM,23, No. 2, 118?131 (1980). · Zbl 0427.68032 · doi:10.1145/358818.358825
[12] J. D. Bruner and A. B. Reeves, ?An image processing system with computer network distribution capabilities,? Proc. of PRIP 82, IEEE Comp. Soc. Conf. on Pattern Recogn. and Image Processing. Las Vegas, Nev.,USA, 14?17 June 1982, IEEE, New York, USA (1982). pp. 447?450.
[13] F. J. Burkowski and W. F. Mackey, ?Micro-C: a universal high level language for microcomputers,? MIMI’77; Proc. Inst. Symp. on Mini and Micro Comput., Montreal, Que., Canada, 11?18 Nov. 1977, IEEE, New York, No. 4, 27?31 (1978).
[14] L. F. Cabrera and J. F. Paris, ?Comparing user response times on paged and swapped UNIX by the terminal probe method,? Proc. Comput. Performance Evaluation Users Group, 17th Meeting, SanAntonio, TXUSA, 16?19 Nov. 1981, NBS, Washington DC, USA (1981), pp. 157?168.
[15] K. Christian, The UNIX Operating System, Wiley-Interscience (1983). · Zbl 0579.68003
[16] A. Cleary and R. Bird, ?Variations on operating systems,? Data Process.,24, No. 8, 18?19 (1982). · doi:10.1016/0011-684X(82)90102-2
[17] H. Cohen and J. C. Kaufeld Jr., ?The network operations center system,? Bell System Tech. J.,57, No. 6, 2289?2304 (1978). · doi:10.1002/j.1538-7305.1978.tb02155.x
[18] R. P. A. Collinson, ?The Cambridge ring and Unix,? Software ? Pract. Exper.,12, No. 6, 583?594 (1982). · doi:10.1002/spe.4380120609
[19] S. A. Conrad and L. B. Wolfenson, ?A complex facility for the C programming language,? IEEE Trans. Biomed. Eng.,29, No. 2, 145?146 (1982). · doi:10.1109/TBME.1982.325022
[20] C. Corbett and I. H. Witten, ?On the inclusion and replacement of documentation graphics in computer type-setting,? Comput. J.,25, No. 2, 272?277 (1982). · doi:10.1093/comjnl/25.2.272
[21] M. Dahmke, Microcomputer Operating Systems, Byte Books, Subsidiary of McGraw-Hill (1982).
[22] T. A. Dolotta, R. C. Haisht, and J. R. Mashey, ?Programmer’s workbench,? Bell System Tech. J.,57, No. 6, 2177?2200 (1978). · doi:10.1002/j.1538-7305.1978.tb02148.x
[23] T. A. Dolotta, S. B. Olsson, and A. G. Petrucelly (eds.), UNIX User’s Manual, Vols. 1, 2, Holt, Reinhart and Winston (1983).
[24] D. J. Ellenberger, ?AIDE ? a tool for computer architecture design,? Proc. Conf. ACM IEEE 18th Design Automation, Nashville, TN, USA, 29 June?1 July, 1981, IEEE, New York USA (1981), pp. 796?803.
[25] R. H. Ewald and L. D. Maas, Interactive Graphics on the CRAY-1 Supercomputer, Los Alamos Scientific Labs., NM, Dept. of Energy (1978).
[26] R. S. Fabry, Proposal for Configuration Control for the ARPA Standard Version of the UNIX Operating System, Tech. Rept., Calif. Univ., Berkeley, Electronics Res. Labs. (1980).
[27] T. E. Ferrin and R. Langridge, ?Interactive computer graphics with the UNIX time-sharing system,? Comput. Graphics,13, No. 4, 320?331 (1980). · doi:10.1145/988500.988508
[28] A. R. Feuer, The C Puzzle Book, Prentice-Hall, NJ (1982).
[29] P. A. Fitzhorn and G. R. Johnson, ?C: toward a concise syntatic description,? SIGPLAN Notic.,16, No. 12, 14?21 (1981). · doi:10.1145/954262.954265
[30] D. Freedman, ?Portable operating systems fight for 16-bit machines,? Mini-Micro Syst. (USA),15, No. 9, 237?240 (1982).
[31] R. Gauthier, Using the UNIX System, A Prentice-Hall Company, Reston, Virginia (1981).
[32] A. F. de Geus, ?A new structure for the UNIX kernel,? TW Rept. Math. Inst. Rijks Univ. Groningen, No. 256 (1983).
[33] M. Gien, ?SOL: a UNIX environment in Pascal,? Compcon 83. Intellectual Leverage for the Information Society, San Francisco CA, USA, 28 Feb?3 March 1983, IEEE, New York USA (1983), pp. 184A-D.
[34] R. B. Greenberg, ?The UNIX operating system and the XENIX standard operating environment,? Byte,6, No. 6, 248?264 (1981).
[35] J. R. Groff and P. N. Weinberg, Understanding UNIX: A Conceptual Guide, Que Corporation (1984).
[36] J. R. Groff and P. N. Weinberg, UNIX: Using the Bourne Shell, Que Corporation (1984).
[37] M. E. Grzelakowski, J. H. Campbell, and M. R. Dubman, ?The 3B20D processor and DMERT operating systems: DMERT operating system,? Bell System Tech. J.,62, No. 1, 303?322 (1983). · doi:10.1002/j.1538-7305.1983.tb04397.x
[38] L. Hancock and M. Krieger, The C Primer, McGraw-Hill (1982).
[39] D. M. Harvald, ?High-speed data acquisition: running a real-time process and a time-shared system (UNIX) concurrently,? Software ? Pract. Exper.,10, No. 4, 273?281 (1980). · doi:10.1002/spe.4380100404
[40] A. V. Hays Jr., B. J. Richmond, and L. M. Optican, ?A UNIX-based multiple-process system for real-time data,? Electron. Conventions, El Secundo, CA, USA (1982).
[41] M. J. Heffler, ?Description of a menu creation and interpretation system,? Software ?Pract. Exper.,12, No. 3, 269?281 (1982). · doi:10.1002/spe.4380120308
[42] D. Herbinson-Evans, ?A dancer among us (computer application),? Austral. Comput. Sci. Commun.,3, No. 1A, 68?73 (1981).
[43] J. G. Herman and S. L. Bernstein, Monitoring, Control and Management of the Defense Data Network, Conf. Rec. Eascon 82. 15th Ann. Electr. and Aerospace Syst. Conf., Washington DC, USA, IEEE, New York (1982).
[44] Hewlett-Packard, Elec. News, Nov. 22, 18, 24 (1982).
[45] T. Hogan, The C Programmers Handbook, R. G. Brady (1984).
[46] R. C. Holt, Concurrent Euclid, the UNIX System and TUNIS, Addison-Wesley (1983).
[47] R. C. Holt, ?TUNIS: a UNIX look-alike written in concurrent EUCLID,? Oper. Syst. Rev.,16, No. 1, 4?5 (1982). · Zbl 05445389 · doi:10.1145/1041466.1041467
[48] P. Hughes, ?The operating system of the future,? Microcomputings,6, No. 6, 28?31 (1982).
[49] Kai Hwang, W. J. Croft, G. H. Goble, B. W. Wah, F. A. Briggs, W. R. Simmons, and C. L. Coates, ?A UNIX-based local computer network with load balancing,? Computer,15, No. 4, 55?65 (1982). · Zbl 05332033 · doi:10.1109/MC.1982.1653998
[50] Information Transfer Software, New Sci., Aug.5, 336 (1982).
[51] E. L. Ivie, ?The programmer’s workbench ? a machine for software development,? Commun. ACM,20, No. 10, 746?753 (1977). · doi:10.1145/359842.359856
[52] P. J. Jalics and T. S. Heines, ?Transporting a portable operating system: UNIX to IBM minicomputer,? Commun. ACM,26, No. 12, 1066?1071 (1983). · doi:10.1145/358476.358504
[53] S. C. Johnson, ?Language development tools on the UNIX system,? Computer,13, No. 8, 16?21 (1980). · Zbl 05332672 · doi:10.1109/MC.1980.1653741
[54] S. C. Johnson and D. M. Ritchie, ?Portability of C programs and the UNIX system,? Bell System Tech. J.,57, No. 6, 2021?2048 (1978). · doi:10.1002/j.1538-7305.1978.tb02141.x
[55] A. I. Karshraer, D. J. Depree, and J. Phelan, ?The New Mexico State University ring-star system: a distributed UNIX environment,? Software ? Pract. Exper.,13, No. 12, 1157?1168 (1983). · doi:10.1002/spe.4380131206
[56] B. W. Kernighan, M. E. Lesk, and J. F. Ossana Jr., ?Document preparation,? Bell System Tech. J.,57, No. 6, 2115?2135 (1978). · doi:10.1002/j.1538-7305.1978.tb02145.x
[57] B. W. Kernighan and J. R. Mashey, ?The UNIX programming enviornment,? Computer,14, No. 4, 12?24 (1981). · Zbl 05332019 · doi:10.1109/C-M.1981.220408
[58] B. W. Kernighan and S. P. Morgan, ?The UNIX operating system: a model for software design,? Science,215, 799?783 (1982). · doi:10.1126/science.215.4534.779
[59] B. W. Kernighan and R. Pike, UNIX Programming Environment, Prentice-Hall (1984).
[60] B. W. Kernighan and P. J. Plauger, Software Tools, Addison-Wesley, Reading, MA (1976).
[61] B. W. Kernighan and D. M. Ritchie, The C Programming Language, A Prentice-Hall Company, Englewood Cliffs, New Jersey (1978), DEC Edition (1983). · Zbl 0701.68014
[62] KSOS Secure UNIX Operating System Users Manual (Kernelized Secure Operating System), Ford Aerospace and Communie. Corp., Palo Alto, CA, Western Development Labs. Div., Dec. (1980).
[63] R. L. Kummerfeld and P. R. Lauder, ?The Sydney UNIX network,? Austral. Comput. J.,13, No. 2, 52?57 (1981).
[64] M. S. Landy, Y. Cohen, and G. Sperling, ?HIPS: a UNIX-based processing system,? Comput. Vision, Graph., and Image Process.,25, No. 3, 331?347 (1984). · doi:10.1016/0734-189X(84)90199-3
[65] LAN9000 Local Area Network, HP9000 Data Communications, Hewlett-Packard, p. 16 (1983).
[66] G. Lee and D. Wiegandt, ?Interfacing CAMAC to a UNIX system,? Interfaces in Computing,1, 329?337 (1983). · doi:10.1016/0252-7308(83)90028-4
[67] D. Libes, ?UNIX and CP/M,? Microsystems,4, No. 1, 26?34 (1983).
[68] I. G. Lima, R. Hopkings, L. Marshall, D. Mundy, and P. Treleaven, ?Decentralized control flow-based on UNIX,? SIGPLAN Notic.,18, No. 6, 192?201 (1983). · doi:10.1145/872728.806866
[69] H. O. Lind, UNIX NSW Front and Enhancement, Vol. II, Bolt Baranek and Newman, Inc., Cambridge, MA, Rome Air Development Center, Griffiss AFB, NY, June (1981).
[70] A. N. Lomuto and N. Lomuto, A UNIX Primer, Prentice-Hall (1983).
[71] C. E. Landwehr, ?A Survey of Formal Models for Computer Security,? Naval Res. Lab., Washington, DC, Sept. (1981).
[72] G. W. R. Luderer, H. Che, and W. T. Marshall, ?A virtual circuit switch as the basis for distributed systems,? J. Telecommun. Networks,1, No. 2, 147?160 (1982).
[73] G. W. R. Luderer, J. F. Maranzano, and B. A. Tague, ?A UNIX operating system as a base for application,? Bell System Tech. J.,57, No. 6, 2201?2207 (1978). · doi:10.1002/j.1538-7305.1978.tb02149.x
[74] H. Lycklama, ?UNIX on a microprocessor,? Bell System Tech. J.,57, No. 6, 2087?2101 (1978). · doi:10.1002/j.1538-7305.1978.tb02143.x
[75] H. Lycklama and D. L. Bayer, ?The MERT operating system,? Bell System Tech. J.,57, No. 6, 2049?2086 (1978). · doi:10.1002/j.1538-7305.1978.tb02142.x
[76] M. R. Martin, ?UNIX and local computer networking,? IEEE Comput. Soc., No. 397, 318?322 (1982).
[77] P. H. McDonald and T. J. Thompson, ?Designer’s workbench: the programmer environment,? Bell System Tech. J.,59, No. 9, 1793?1809 (1980). · doi:10.1002/j.1538-7305.1980.tb03062.x
[78] H. McGilton and R. Morgan, Introduction to the UNIX System, McGraw-Hill (1983). · Zbl 0693.68003
[79] C. Morgan and B. Sufrin, ?Specification of the UNIX filing system,? IEEE Trans. Software Eng.,10, No. 2, 128?142 (1984). · Zbl 0532.68031 · doi:10.1109/TSE.1984.5010215
[80] S. P. Morgan, ?UNIX system: making computers easier to use,? Bell Lab. Res.,56, No. 11, 308?313 (1978).
[81] C. G. Murray and P. M. D. Gray,?Using language C for real-time control of microprocessor system with small memory,? J. Microcomput. Appl.,5, No. 1, 1?12 (1982). · doi:10.1016/0745-7138(82)90039-2
[82] C. Myers and G. Munsey, ?A multiprocessor minicomputer designed for UNIX,? Comput. Des.,21, No. 2, 87?96 (1982).
[83] E. R. Nagelbergerg and M. A. Pilla, ?RBCS/RCMAS ? converting to the MERT operating system,? Bell System Tech. J.,57, No. 6, 2275?2287 (1978). · doi:10.1002/j.1538-7305.1978.tb02154.x
[84] D. A. Nowitz and M. E. Lesk, ?Implementation of UNIX network,? Comput. Commun.,5, No. 1, 30?34 (1982). · doi:10.1016/0140-3664(82)90006-8
[85] L. A. Q’Neile, ?Designer’s workbench: philosophy,? Bell System Tech. J.,59, No. 9, 1757?1765 (1980). · doi:10.1002/j.1538-7305.1980.tb03060.x
[86] F. Panzieri and S. K. Shrivastava, ?Reliable remote calls for distributed UNIX: an implementation study,? Proc. 2nd Symp. Reliab. Distrib. Software and Database Syst., Pittsburgh, PA, 19?21 July, 1982, Silver Spring, MD (1982), pp. 127?133.
[87] G. Perlman, The Design of an Interface to a Programming System and MENUNIX. A Menu-Based Interface to UNIX (User Manual). California Univ., San Diego, La Jolla, Center for Human Inf. Process., Nov. (1981).
[88] T. Plum, Learning to Program in C, Plum Hall, Cardiff, N.J. (1983).
[89] A. V. Pohm, J. A. Davis, S. Christiansen, G. Bridges, and R. E. Horton, ?Local network of mini and microcomputers for experiment support,? Comput. Networks,3, No. 6, 381?387 (1979).
[90] G. J. Popek, Secure Reliable Processing Systems, Calif. Univ., Los Angeles. Dept. of Comput. Sci., Semiannual Tech. Rept., No. 79-30, July (1981).
[91] R. G. Preister, Programming in C, Prentice-Hall (1983).
[92] J. Purdun, C Programming Guide, Que Corporation (1983).
[93] J. Purdun, T. Leslie, A. Stegemoller, C Programming Library, Que Corporation (1984).
[94] R. F. Rashid, ?Interprocess communication facility for UNIX,? Proc. of IFIP W. G. 6.4 Int. Workshop on Local Networks, North-Holland, Amsterdam-New York (1981), pp. 319?354.
[95] R. F. Rashid and G. G. Robertson, ?ACCENT: a communication oriented network operating system kernel,? Oper. Syst. Rev.,15, No. 5, 65?75 (1981). · doi:10.1145/1067627.806593
[96] D. M. Ritchie, ?UNIX time-sharing system: a retrospective,? Bell System Tech. J.,57, No. 6, 1947?1969 (1978). · doi:10.1002/j.1538-7305.1978.tb02138.x
[97] D. M. Ritchie, S. C. Johnson, M. E. Lesk, and B. W. Kernighan, ?The C programming language,? Bell System Tech. J.,57, No. 6, 1991?2019 (1988). · doi:10.1002/j.1538-7305.1978.tb02140.x
[98] D. M. Ritchie and K. Thompson, ?UNIX time-sharing system,? Commun. ACM,17, No. 7, 365?375 (1974). · doi:10.1145/361011.361061
[99] D. M. Ritchie and K. Thompson, ?UNIX time-sharing system,? Bell System Tech. J.,57, No. 6, 1905?1929 (1978). · doi:10.1002/j.1538-7305.1978.tb02136.x
[100] D. M. Ritchieand, K. Thompson, ?Some further aspects of the UNIX time-sharing system,? Mini-Micro Software,6, No. 3, 9?11 (1981).
[101] W. D. Roome, ?Programmer’s workbench: new tools for software development,? Bell Lab. Rec.,57, No. 1, 19?25 (1979).
[102] L. A. Rowe and K. P. Birman, ?A local network based on the UNIX operating system,? IEEE Trans. Software Eng.,8, No. 2, 137?146 (1982). · Zbl 05341334 · doi:10.1109/TSE.1982.234956
[103] A. Rozenblat, ?1982 award for achievement,? Electronics,55, No. 21, 108?111 (1982).
[104] A. Rutter, The Big Red Book of C, Sigma Technical Press (1984).
[105] M. Ryer, ?Developing an Ada-programming support environment,? Mini-micro Syst. (USA),15, No. 9, 223?726 (1982).
[106] F. Samish, ?UNIX: still just over the horizon,? Micro Decis., No. 20, 166?168 (1983).
[107] M. Schindler, ?Technology forecast software,? Electron. Des.,31, No. 1, 244?262 (1983).
[108] T. O. Sideloottem and L. Wortman, C Programming Tutor, R. G. Brady (1984).
[109] P. P. Silvester, The UNIXTM System Guidebook, Springer (1984).
[110] J. L. Steffen, ?Experience with a portable debugging tool,? Software ? Pract. Exper.,14, No. 4, 332?334 (1984).
[111] M. Stonebraker, Requiem for a Data Base System, Mem. Rept., Calif. Univ., Berkeley, Electron. Res. Lab., Jan. (1979). · Zbl 0396.68018
[112] M. Stonebraker, E. Wong, P. Kreps, and G. Held, The Design and Implementation of INGRES, Calif. Univ., Berkeley, Electronics Res. Lab., Air Force Office of Sci. Res., Boiling AFB, DC (1976).
[113] B. Stroustrup, ?Classes: an abstract data type facility for the C language,? SIGPLAN Notic.,117, No. 1, 42?51 (1982). · doi:10.1145/947886.947893
[114] R. A. Thomas, S. Emerson, J. Yates, and J. Campbell, A Business Guide to the UNIX System, Addison-Wesley (1984).
[115] R. A. Thomas and J. Yates, A User Guide to the UNIX System, Osborn/McGraw-Hill, Berkeley, California (1982).
[116] R. H. Thomas, UNIX NSW Front End, Bolt Beranek and Newman Inc., Cambridge, MA, Rome Air Development Center, Griffiss AFB, NY, Mar. (1980).
[117] R. H. Thomas, H. O. Lind, and S. G. Toner, UNIX NSW Front End Enhancements, Vol. 1, Bolt Beranek and Newman Inc., Cambridge, MA, Rome Air Development Center, Griffiss AFB, NY, No. 4, June (1981).
[118] K. Thompson, ?UNIX implementation,? Bell System Tech. J.,57, No. 6, 1931?1946 (1978). · doi:10.1002/j.1538-7305.1978.tb02137.x
[119] T. J. Thompson, ?Designer’s workbench: providing a production environment,? Bell System Tech. J.,59, No. 9, 1811?1825 (1980). · doi:10.1002/j.1538-7305.1980.tb03063.x
[120] B. W. Unger and P. R. Mutalik, Modular Implementation and Simulation of the UNIX Operating System, Proc. Summer Comput. Simul. Conf., Newport Beach, Calif., 24?26 July (1978).
[121] Unity of VMS and UNIX, ICP Software J., Spec. Rep., 25 (1982).
[122] M. Waite, D. Martin, and S. Prata, UNIX Primer Plus, Howard W. Sams & Co. Inc., USA (1983).
[123] P. T. Withington and D. J. Solomon, A Secure Message System for the Distributed Processing Project, Fin. Tech. Rept., Mitre Corp., Bedford, MA, Rome Ain Development Center, Griffiss AFB, NY, Mar. (1981).
[124] B. J. Wolker, R. A. Kemmerer, and G. J. Popoerk,?Specification and verification of UCLA UNIX security kernel,? Commun. ACM,23, No. 2, 118?131 (1980). · Zbl 0427.68032 · doi:10.1145/358818.358825
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.