Leon Presser

Learn More
This is a tu tor ia l paper on the l inking and loading stages of the language t rans format ion process Firs t , loaders are classffied and discussed Next, the hnk ing process is t rea ted in te rms of the var ious t imes at whmh it may occur (i e , b inding to logical space). Final ly, the hnk ing and loading func tmns are explained m detail t h rough a(More)
This is a tutorial paper on the coordination of parallel activities It commences with an overview of multiprogrammed operating systems that uncovers an architecture consisting of cooperating, but competing processes working in parallel This is followed by a formal treatment of processes, and an analysis of the fundamental coordination needs of concomitant(More)
Reliability considerations had little influence in the design of the first generation of computers. Notable exceptions being, on the hardware side, some circuitry incorporated into the UNIVAC I for checking purposes, and on the software side, the frequency counts employed by von Neumann and Goldstine for measurement purposes. The second generation of(More)
In a 1967 publication, D. P. Gaver studied a probabilistic model of a multiprogramming computer system. His results have been utilized recently by a number of authors. However, we have observed that Gaver's results contain inconsistencies. These inconsistencies are discussed in detail and a correction suggested and verified through an independent derivation.
A probabilistic model of a multiprogramming system is exercised in order to determine the conditions under which the dynamic repacking of main memory is beneficial. An expression is derived for the maximum interference that a repacking process may introduce before the original performance of the system is degraded. Alternative approaches to repacking are(More)
A design process is a highly creative undertaking that has been generally guided by personal experiences and gross rules of design. This fact has been made explicit and at present the essence of the process of design is under investigation. This important problem is receiving attention in Computer Science. In particular, disciplined program design and(More)