Programming in the MINIX 3 Environment

MiniFAQ about MINIX 3 Programming

This document covers some of the technical issues about using MINIX 3 and writing code for it.

Q: How can I learn to program in C?

A: The first edition of Andy Tanenbaum's Operating Systems Design and Implementation included an Introduction to C appendix. Alas, with a much bigger Minix 2.0 there was no room for this in the OSDI 2nd ed. It's also a bit out of date, as it describes the original version of C (often referred to as "K&R C") defined in the 1978 first edition of The C Programming Language by Brian Kernighan and Dennis Ritchie. The 1988 second edition describes "ANSI C" or "Standard C" which is the reference language for implementing POSIX, although the POSIX standard allows "Common Usage C" using pre-standard features. After the OSDI 2nd ed. text, a copy of The C Programming Language, 2nd ed. is the most useful book you can own to understand or program in Minix.

Q: In addition to C, what else do I need to know to program in the Minix environment?

A: A classic book is Brian Kernighan and Rob Pike's Unix Programming Environment, unfortunately now out of print, but check Amazon.com or other sources of used books. This book emphasizes the use of small programs that do parts of large jobs, and suggests starting with shell scripts, replacing standard commands in the script with custom C programs as needed until the overall system is able to the job at hand well enough. The same authors' newer book The Practice of Programming (1999) is also of interest, although probably not as useful to a beginning programmer. W. Richard Stevens' Advanced Programming in the UNIX(R) Environment is another book with a wealth of information about how to use the resources provided by a Unix-like environment, but it also is not a beginner's book.

Q: How about shell script programming?

A: The Minix shell, ash, is similar to bash, the standard shell in most Linux distributions. A series of articles on Bash by example is well worth a look, although not everything is applicable to Minix. If you are willing to buy a big book the Unix Power Tools compendium (Shelley Powers, Jerry Peek, and numerous other authors and contributors) gives lots of hints on using Unix shells and commands and has several chapters on scripts. Hint: the current edition of Unix Power Tools is the 3rd. If you find a discounted 2nd edition at 1/3rd of the price you may find this an attractive bargain. The information doesn't go stale, and for the Minix text-based console environment an older reference may be good enough.

Q: I hear a lot about security problems, any hints on secure programming?

Even though at the start you may think that your programs on your little non-networked Minix system will never be a security threat, it is a good idea to learn a little bit about secure programming early in your programming career. A useful reference is the Secure Programming for Linux and Unix HOWTO by David A. Wheeler

Q: What programming languages and compilers are supported by Minix?

The Minix operating system itself and the various utilities and programs that are part of the Minix distribution are written in C, and the distribution includes a C compiler. In fact, Minix also provides compilers for Pascal and Modula2; the compilers were constructed using the Amsterdam Compiler Kit, known as ACK. A "front end" for each language produces intermediate code which is compiled to assembly language by the rest of the compiler system. See the cc(1), pc(1), m2(1) and the ACK(7) man pages for more information. The ACK license is similar to the Minix license. For more information about ACK see the Amsterdam Compiler Kit Information Sheet which includes a link to the ftp site for download of the compiler source code. There are other programming options in Minix:

Other C compilers:
- C386 is an alternative to the ACK compiler for 32-bit Minix available from Dave Walker at http://homepage.ntlworld.com/itimpi/index.htm. Source code is available, and there is also a C68 for Minix-68K version.
- Gcc is the standard Minix-vmd compiler. A search of the net returns a lot of old references to ports of gcc to pre-1.7 standard Minix versions. As I started to write this I thought I recalled a current port of gcc to Minix, but I can't locate it. Gcc uses a lot of resources, and may use the floating point registers, which are not available in standard Minix. Source code is available for gcc. I think the interest in using gcc was mostly because of the absence of an ANSI C compiler and support for 32-bit instructions in the time of Minix 1.5 and earlier versions. Interest in using gcc on Minix diminished when the current ACK ANSI-C compiler with 32-bit support was made available as part of the standard Minix distribution.
- The TenDRA C/C++ Compiler has been ported to Minix by Jose Juan Mendoza Rodriguez <josejuanmr@users.sourceforge.net>. He has set up a SourceForge project at http://tendra4minix.sourceforge.net/. More information and downloads are available there. I have posted here a copy of the README for TenDRA C/C++ compiler (version 4.1.2) for Minix 2.0.2. as posted to comp.os.minix in February 2004.
Compilers and interpreters for other languages:
- BASIC: The Brandy BASIC language interpreter, version 1.0.16, has been ported to Minix by Harald Arnesen <harald@skogtun.org>. See the b116m.txt descriptive file or download b116m.tar.Z in the contributed software section.
- FORTRAN: A FORTRAN to C converter has been ported to Minix and is available on this system. See the f2c.txt descriptive file or download f2c.tar.Z in the contributed software section.
- Perl: A port of Perl 5 is available on this system. See the perl.txt descriptive file or download perl.tar.Z in the contributed software section.
- Python -- new 1/2005: Python version 1.5.2 (not the latest version, but less resource hungry than the latest version) has been ported to Minix by Michael Kennett. It is available on this system as either a binary or a source distribution. See the py152-bin.txt or py152-src.txt descriptive files or download py152-bin.taz or py152-src.taz in the contributed software section.
- Does anyone remember RATFOR? This is the "RATional FORtran" preprocessor for FORTRAN described in the original Software Tools book by Brian Kernighan and P. J. Plauger. This 1976 book is still in print. RATFOR has been ported to Minix and is available on this system. See the ratfor.txt descriptive file or download ratfor.tar.Z in the contributed software section. This is a pre-processor, so you need FORTRAN, too, to use it.

Q: Is there a Minix assembly language programming manual?

A: No, not as such (* but see below). Minix assembly language uses a syntax that is derived from the assembly language of other Unix systems, and as such looks a little strange at first to those who are used to Microsoft MASM and similar assemblers. There are several documents about Minix assembly language which may be helpful here:

Pc-ix-assem.txt is the closest thing we have to a manual. It describes 16-bit Minix assembly language. The 32-bit language has additional instructions, but the description of syntax and pseudo-ops makes this a useful reference.
The page titled Minix assembly pseudo-ops, sections, and comments has answers from Kees Bot to questions that were asked on the comp.os.minix newsgroup about these aspects of Minix assembly programming.
Pc-ack-assem.txt: a brief discussion by Kees Bot of the evolution of Minix's assembly language through different versions of Minix.
Assm_example.txt is a simple assembly language "Hello World" illustrating how an assembly program can be assembled and linked. This demo was written for Minix 1.5, a Minix 2.0 version would be slightly different.
*Mini-manual: Soon after I answered the question above, "Is there a Minix assembly language programming manual?" in the negative, somebody posted a pointer to a nice document entitled Introduction to Intel x86 Assembly Language in Minix on the comp.os.minix newsgroup. (The above link is to an html document, there is also a PDF version available). The author is Carl Burch of St John's University (Minnesota, USA). This document describes the language recognized by the open-source assembler NASM, which is very similar to the assembly language of Minix.
Intel and AMD Architecture and Programming Manuals are available on the web. These companies want people to program for their products, of course, and they provide lots of information.
There is a Protected Mode Tutorial at http://my.execpc.com/~geezer/os/pm.htm, a site maintained by Chris Giese. The page is oriented toward programming MS-DOS applications, but it offers a good brief overview of how protected mode works.
Wangzhi (quakewang@mail.whut.edu.cn) provided a translation into English of a Minix Assembly Language Manual, originally written in Chinese by Mao Yao and Yang Songhua. It includes a number of examples written by Wangzhi. The previous link is to an HTML version. He also provided a PDF version.

Q: Do you know of any tutorials on assembly language programming?

A: Randall Hyde's The Art of Assembly Language Programming website site offers downloads of versions of his assembly programming text in three flavors: for 16-bit DOS, for 32-bit Windows, and for 32-bit Linux. There's a lot of other interesting stuff on this site.

Q: Why is OS support needed for MMX or floating point math?

A: This answer was extracted from a comment on comp.os.minix:

From: kjb=733301@cs.vu.nl (Kees J Bot)
Subject: Re: MMX/3DNow support was RE: MINIX Development?
Date: Wed, 23 Jul 2003 20:15:03 +0200

This is really a hardware floating point issue, because the MMX registers share the FP registers. This was done so that MMX unaware OSen can still support MMX programs, because when they save and restore the FP registers then the MMX state is also saved and restored if that happens to be what the FP registers are used for. This saving and restoring is what Minix doesn't do. So if two processes use FP/MMX then a context switch from one to the other will clobber the FP state of both. What is needed to make this work is a trap handler that reacts to the use of FP, so that Minix can save the FP state of the process that last used FP and load the FP state of the current process. On a context switch Minix merely sets the "don't use FP" bit in some register. Costs? One FP interrupt handler, some FP save/restore/setup code, some memory per process to store the FP state into, and some memory to store the FP state when a user process catches a signal. (Not sure about the signal business, much check with Philip.) This isn't much work, we can simply take Minix-vmd's code, but I haven't seen any need yet. Minix has to use software FP as distributed, or it won't run on your old 386, so Minix itself doesn't need it. Anyone here who wants to use Minix for some heavy number crunching? If so then I could be persuaded to add an ENABLE_FPU to the next release, by default off. I don't care about MMX, that's way too exotic for Minix.

Q: Is there an assembly syntax inconsistency in MINIX?

A: Assembly language files for Minix sometimes use inconsistent syntax. The question was discussed in this exchange on the comp.os.minix newsgroup during May and June, 2004.