Search: in
Self-hosting
Self-hosting in Encyclopedia Encyclopedia
  Tutorials     Encyclopedia     Videos     Books     Software     DVDs  
       





Self-hosting

The term self-hosting was coined to refer to the use of a computer program as part of the toolchain or operating system that produces new versions of that same program for example, a compiler that can compile its own source code. Self-hosting software is commonplace on personal computers and larger systems. Other programs that are typically self-hosting include kernels, assemblers, shells and revision control software.

If a system is so new that no software has been written for it, then software is developed on another self-hosting system and placed on a storage device that the new system can read. Development continues this way until the new system can reliably host its own development. Development of the Linux operating system, for example, was initially hosted on a Minix system. Writing new software development tools "from the metal" (that is, without using another host system) is rare and in many cases impractical.

Contents


History

The first self-hosting compiler (excluding assemblers) was written for Lisp by Hart and Levin at MIT in 1962. They wrote a Lisp compiler in Lisp, testing it inside an existing Lisp interpreter. Once they had improved the compiler to the point where it could compile its own source code, it was self-hosting.[1]

The compiler as it exists on the standard compiler tape is a machine language program that was obtained by having the S-expression definition of the compiler work on itself through the interpreter. (AI Memo 39)[1]

This technique is only possible when an interpreter already exists for the very same language that is to be compiled. It borrows directly from the notion of running a program on itself as input, which is also used in various proofs in theoretical computer science, such as the proof that the halting problem is undecidable.

Examples

Several programming languages are self-hosting, in the sense that a compiler for the language can be written in that same language. Self-hosting is an attribute of a particular language implementation and not of the programming language in general. The first compiler for a new programming language can be written in another language (in rare cases, machine language) or can be produced using bootstrapping. Programming languages which have been self-hosted include Ada, BASIC, C, CoffeeScript, F#, FASM, Forth, Haskell, Java, Lisp, Modula-2, OCaml, Oberon, Pascal, Python, Scala, Smalltalk, and Vala.

See also

References

fr:Auto-h bergement (informatique) ja: pt:Auto-hospedagem






Source: Wikipedia | The above article is available under the GNU FDL. | Edit this article



Search for Self-hosting in Tutorials
Search for Self-hosting in Encyclopedia
Search for Self-hosting in Videos
Search for Self-hosting in Books
Search for Self-hosting in Software
Search for Self-hosting in DVDs
Search for Self-hosting in Store




Advertisement




Self-hosting in Encyclopedia
Self-hosting top Self-hosting

Home - Add TutorGig to Your Site - Disclaimer

©2011-2013 TutorGig.info All Rights Reserved. Privacy Statement