OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

Darwin

1. An href="module.php?name=Lexikon&file=search&eid=1&query=operating system">operating system based on the href="module.php?name=Lexikon&file=search&eid=1&query=FreeBSD">FreeBSD version of href="module.php?name=Lexikon&file=search&eid=1&query=Unix">Unix, running on top of a href="module.php?name=Lexikon&file=search&eid=1&query=microkernel">microkernel (href="module.php?name=Lexikon&file=search&eid=1&query=Mach">Mach 3.0 with darwin 1.02) that offers advanced networking, services such as the href="module.php?name=Lexikon&file=search&eid=1&query=Apache">Apache href="module.php?name=Lexikon&file=search&eid=1&query=web server">web server, and support for both href="module.php?name=Lexikon&file=search&eid=1&query=Macintosh">Macintosh and Unix href="module.php?name=Lexikon&file=search&eid=1&query=file systems">file systems. Darwin was originally released in March 1999. It currently runs on href="module.php?name=Lexikon&file=search&eid=1&query=PowerPC">PowerPC based Macintosh computers, and, in October 2000, was being ported to href="module.php?name=Lexikon&file=search&eid=1&query=Intel">Intel processor-based computers and compatible systems by the Darwin community. 2. A general purpose structuring tool of use in building complex href="module.php?name=Lexikon&file=search&eid=1&query=distributed systems">distributed systems from diverse components and diverse component interaction mechanisms. Darwin is being developed by the Distributed Software Engineering Section of the Department of Computing at href="module.php?name=Lexikon&file=search&eid=1&query=Imperial College">Imperial College. It is in essence a href="module.php?name=Lexikon&file=search&eid=1&query=declarative">declarative binding language which can be used to define hierarchic compositions of interconnected components. Distribution is dealt with orthogonally to system structuring. The language allows the specification of both static structures and dynamic structures which evolve during execution. The central abstractions managed by Darwin are components and services. Bindings are formed by manipulating references to services. The href="module.php?name=Lexikon&file=search&eid=1&query=operational semantics">operational semantics of Darwin is described in terms of the href="module.php?name=Lexikon&file=search&eid=1&query=Pi-calculus">Pi-calculus, href="module.php?name=Lexikon&file=search&eid=1&query=Milner">Milner' s calculus of mobile processes. The correspondence between the treatment of names in the Pi-calculus and the management of service references in Darwin leads to an elegant and concise Pi-calculus model of Darwin' s href="module.php?name=Lexikon&file=search&eid=1&query=operational semantics">operational semantics. The model has proved useful in arguing the correctness of Darwin implementations and in designing extensions to Darwin and reasoning about their behaviour. {Distributed Software Engineering Section (http://www-dse.doc.ic.ac.uk/)}. {Darwin publications (http://scorch.doc.ic.ac.uk/dse-papers/darwin/)}. E-mail: Jeff Magee , Naranker Dulay . 3. href="module.php?name=Lexikon&file=search&eid=1&query=Core War">Core War. (2003-08-08)

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.1038 Seconds, with 17 Database-Queries