[go: up one dir, main page]

Per Brinch Hansen

(Redirected from Brinch Hansen)

Per Brinch Hansen (13 November 1938 – 31 July 2007) was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.

Per Brinch Hansen
Per Brinch Hansen in 1999
Born(1938-11-13)13 November 1938
Died31 July 2007(2007-07-31) (aged 68)
Alma materTechnical University of Denmark
Known for
SpouseMilena
Children2
Awards
Scientific career
FieldsComputer science
Institutions
Websitebrinch-hansen.net

Biography

edit

Early life and education

edit
Per Brinch Hansen as a student in 1959 
Age 21 in 1959

Per Brinch Hansen was born in Frederiksberg, an enclave surrounded by Copenhagen, Denmark. His father, Jørgen Brinch Hansen, worked as a civil engineer, becoming a leading expert in soil mechanics, and later accepting a professorship at Technical University of Denmark. His mother, Elsebeth Brinch Hansen (née Ring), was the daughter of Danish composer Oluf Ring and worked as a hairdresser before marrying.[1]

Brinch Hansen attended Skt. Jørgens Gymnasium and then studied electrical engineering at Technical University of Denmark where he sought an area to pursue that "was still in its pioneering phase" on the belief that "If a subject was being taught, it was probably already too late to make fundamental contributions."[1][2] After a seven-week student internship at IBM's Hursley Laboratory in England, he decided to dedicate his career to computers. Initially focused on computer construction, reading a book on the IBM 7030 Stretch project that described computer organization from a programmer's point of view[3] refocused his interest toward becoming a computer architect.[1]

Regnecentralen

edit
Per Brinch Hansen at age 29, in the RC 4000 computer lab (1967) 
At age 29, in the RC 4000 computer lab (1967)

After completing a Master of Science degree in electronic engineering in 1963, Brinch Hansen landed a job at Regnecentralen, then a research institution under The Danish Academy of Technical Sciences (Akademiet for de Tekniske Videnskaber), working in the compiler group, led by Peter Naur and Jørn Jensen.[2] There, his first significant project was writing a parser for a COBOL compiler for the Siemens 3003 computer.

Subsequently, he wrote a file system to be used during execution of the compiled COBOL programs, later observing:[1]

I now understand that it was really a small operating system, I had programmed. However, in the mid 1960s, the dividing line between language implementation and operating systems was still not clearly understood.

In 1966, Brinch Hansen moved to Henning Isaksson's hardware group at Regnecentralen, by then a company with shareholders. Together with Peter Kraft, he defined the computer architecture and instruction set for Regnecentralen's third computer, the RC 4000, using ALGOL 60 as a hardware description language to produce a formal specification.

Inexperienced with multiprogramming, he used a copy of Cooperating Sequential Processes[4] Edsger Dijkstra had sent him to understand process synchronization using semaphores, and then implemented a specialized RC 4000 real-time monitor for use in managing a fertilizer plant. Peter Kraft and Charles Simonyi, who was still a teenager, wrote a p-code interpreter and data logging task programs that were compiled to p-code.[1]

In the summer of 1967, Brinch Hansen left Regnecentralen's hardware group to become head of RC 4000 software development, where he led a team including Jørn Jensen, Peter Kraft and Søren Lauesen in defining a general-purpose RC 4000 multiprogramming system, with a goal to avoid developing a custom real-time control operating system for every RC 4000 installation, and to support batch processing and time-sharing as well.[1] The resulting system was not a complete operating system, but a small kernel providing the mechanisms upon which operating systems for different purposes could be built.[5] By the spring of 1969, a well-documented, reliable version of the RC 4000 multiprogramming system was running.[1]

Carnegie Mellon University

edit

In late 1970, Brinch Hansen moved to Pittsburgh, accepting an invitation from Alan Perlis to visit the department of computer science at Carnegie Mellon University as a research associate, while he wrote the first systematic textbook on operating system principles.[1][2] During this time, at the 1971 Summer School in Marktoberdorf and a symposium in Belfast, Brinch Hansen, Tony Hoare and Dijkstra began to discuss ideas that evolved into the monitor concept. In the spring of 1972, after reading about the class concept invented by Ole-Johan Dahl and Kristen Nygaard for Simula 67, Brinch Hansen completed his text with a chapter on resource protection that proposed the first monitor notation, using shared classes.[6] In 1973, Operating System Principles was published, becoming the first comprehensive textbook on operating systems.[7]

California Institute of Technology

edit
Per Brinch Hansen at the Taj Mahal, after attending a conference in Bombay (1975) 
At the Taj Mahal, after attending a conference in Bombay (1975)

In July 1972, Brinch Hansen joined the faculty of the California Institute of Technology (Caltech) as an Associate Professor of computer science, where he began work on defining a programming language with concurrent processes and monitors. In April 1974, he distributed a technical report on Concurrent Pascal.[1][2] A Concurrent Pascal compiler for the PDP 11/45, written by Brinch Hansen's doctoral student, Al Hartmann, was released in January 1975.[8] Subsequently, Brinch Hansen began writing model operating systems in Concurrent Pascal, to evaluate the language. In May 1975, he completed Solo, a single-user operating system for development of Concurrent Pascal programs. Next, he rewrote the original RC 4000 real-time scheduler in Concurrent Pascal, taking three days to write it, and three hours of machine time to systematically test it.[6]

When the Caltech computer science department shifted focus toward computer engineering and away from programming Brinch Hansen decided to leave, rather than to seek tenure there.[1]

University of Southern California

edit

In 1976, Brinch Hansen chose University of Southern California (USC) for his next post, so that his family could remain in their Altadena home. Joining the faculty as a tenured full professor, and first chair of a newly created computer science department, he led efforts to identify and attract top-notch faculty to build a first rate department. By 1980, USC's computer science department was ranked by the National Research Council as one of the top ten in the US.[1]

While at USC, Brinch Hansen wrote his second book, The Architecture of Concurrent Programs, based on his work developing operating systems with Concurrent Pascal.[2] Published in 1977, it was the first book on concurrent programming.[9] In 1978, Brinch Hansen became the first computer scientist awarded the Doctor Technices degree, the highest academic distinction within engineering and technological science in Denmark,[10] for the work documented in The Architecture of Concurrent Programs. Later in 1978, Brinch Hansen published the Distributed Processes language concept, proposing the use of remote procedure calls to synchronize processes running across a microcomputer network.[11]

Also in 1978, L. J. Sevins and Steve Goings from Mostek visited Brinch Hansen at USC, where he outlined a low-cost multiprocessor architecture. Mostek began a project to implement such a multiprocessor, with Brinch Hansen working as a consultant.[1] Brinch Hansen developed a new concurrent programming language, Edison, for the project.[12] As with the RC 4000 project, Edison was also used as a formal specification language for the hardware. Mostek got an initial 4-node multiprocessor working and Brinch Hansen wrote a portable Edison compiler on a PDP 11/55, but shortly after, United Technologies acquired Mostek[13] and cancelled the project. In 1982, Brinch Hansen moved the Edison system to an IBM Personal Computer (PC), and then published his third book, Programming a Personal Computer.[14]

In 1982, Brinch Hansen was named the first Henry Salvatori Professor of Computer Science at USC.[1]

University of Copenhagen

edit

In 1984, feeling homesick for Denmark after 14 years abroad, Brinch Hansen left USC and joined the faculty of the University of Copenhagen as a Professor of datalogy.[1] In 1985, he was elected a Fellow of the Institute of Electrical and Electronics Engineers (IEEE).[15] Later in 1985, his fourth book Brinch Hansen on Pascal Compilers, which he used for his own compiler course, was published.[16]

While designing a multicomputer operating system for Danish company GN Elmi, Brinch Hansen concluded he needed a new language, this time leveraging the message passing paradigm of Hoare's CSP.[1] The resulting language, Joyce, removed a major limitation of CSP by introducing parallel recursion.[17] Brinch Hansen developed a portable implementation on an IBM PC.[1]

Syracuse University

edit
Per Brinch Hansen on vacation in Washington, D.C. (1990) 
On vacation in Washington, D.C. (1990)

After finding that neither he nor his family felt at home in Denmark, Brinch Hansen decided to return to the US, but discovered that their immigration status required them to do so very quickly. Brinch Hansen contacted John Reynolds at Syracuse University and in 1987 he joined the faculty as a Distinguished Professor.[1]

Working with his student Rangachari Anand, Joyce was moved to an Encore Multimax 320 multiprocessor at SU's Northeast Parallel Architectures Center. Recognizing the scaling limitations of multiprocessors, however, Brinch Hansen sought a suitable multicomputer for further work. Acquiring a Meiko Computing Surface in 1989, he began experimenting with scientific applications by developing parallel programs for Householder's method (reduction) and then N-body simulation as learning exercises, and was surprised to find that both programs had nearly identical control structures. Concluding that both fit an "all-pairs paradigm," he then focused on exploring reusable parallel algorithm structures he termed "programming paradigms" or "generic programs" (later, popularly known as "design patterns").[1] In 1995, Brinch Hansen's fifth book, Studies in Computational Science: Parallel Programming Paradigms was published,[18] with programs rewritten in SuperPascal, a fully implemented publication language he created for parallel algorithms.[19]

Last years

edit

In his later years, Brinch Hansen published a retrospective of his most important papers, The Search for Simplicity (1996),[20] a text for a course in programming for non-majors, Programming for Everyone in Java (1999),[21] a retrospective on the evolution of operating systems, Classic Operating Systems: From Batch Processing to Distributed Systems (2001),[22] and a retrospective on the evolution of concurrent programming, The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls (2002).[23] He self-published a 2004 memoir, A Programmer's Story: The Life of a Computer Pioneer, on his website.[1]

In 2002, Brinch Hansen was awarded the IEEE Computer Pioneer Award "For pioneering development in operating systems and concurrent programming exemplified by work on the RC 4000 multiprogramming system, monitors, and Concurrent Pascal."[15]

On July 31, 2007, Brinch Hansen died, shortly after being diagnosed with terminal cancer.[24]

Personal life

edit

Brinch Hansen met his wife Milena (née Hrastar) on a class trip to Yugoslavia in 1962. They married in 1965 and had two children, daughter Mette and son Thomas.[1]

Scientific contributions and influence

edit

In a career spanning five decades, Brinch Hansen made seminal contributions in the areas of operating systems, concurrent computing and parallel and distributed computing that were influential in shaping the development of those fields and advancing them from ad hoc techniques to systematic engineering disciplines.[15] The influence of his work was amplified by his "relentless search for simplicity,"[15] his insistence on clarity, writing and rewriting his papers many times before publishing them,[20] becoming "one of the best explainers in the business,"[25] and his commitment to testing concepts in working systems – Brinch Hansen implemented and distributed working systems for new concepts he developed, noting:

It is not uncommon for a computer scientist to make a proposal without testing whether it is any good in practice. After spending 3 days writing up the monitor proposal and 3 years implementing it, I can very well understand this temptation. It is perhaps also sometimes a human response to the tremendous pressure on university professors to get funding and recognition fast. Nevertheless, we must remember that only one thing counts in engineering: Does it work (not "might it work" or "wouldn't it be nice if it did")?[26]

Operating systems

edit

The RC 4000 multiprogramming system introduced the now-standard concept of an operating system kernel and the separation of mechanism and policy in operating system design. Modern microkernel architectures trace their roots to the extensible nucleus architecture of the RC 4000.[15] Improving microkernel performance was a major theme in operating system research for three decades after the RC 4000.

Brinch Hansen's text, Operating System Principles, was the first comprehensive textbook on operating systems. Eventually published in six languages (English, Japanese, German, Czech, Polish and Serbo-Croatian),[1] it remained in print for decades, and years after the RC 4000 system it described had become outdated. In 1990, nearly two decades after its initial publication, P. J. Plauger reviewed it, saying:

This book is terribly dated. It describes many of the RC4000's operating-system algorithms. The RC4000 is slow, small, and starved for peripherals by today's standards. The algorithms are presented in a subset of Pascal. Why bother? The answer is that Brinch Hansen is one of the best explainers in the business. He explains things clearly and to the point. He has an eye for the general principle behind the example, but manages to avoid unnecessary abstraction. After all these years, he is still a pleasure to read.[25]

In 2005, Association for Computing Machinery (ACM) members voted Operating System Principles a top 25 classic book, in a survey to choose out-of-print classic books to add to the ACM Digital Library. Operating System Principles ranked 15th in the survey, appearing on 8.8% of ballots.[27] It is now available from the ACM Digital Library.

Using Concurrent Pascal, Brinch Hansen demonstrated that it was feasible to fully implement operating systems in high level languages, and that doing so reduced the development effort by one to two orders of magnitude.[28] Furthermore, entire operating systems could be published, and understood in their entirety. Brinch Hansen did precisely that in The Architecture of Concurrent Programs, leading Roy Maddux and Harlan Mills to declare:

Part two of the book is indeed remarkable. Here, an entire operating system is visible, with every line of program open to scrutiny. There is no hidden mystery, and after studying such extensive examples, the reader feels that he could tackle similar jobs and that he could change the system at will. Never before have we seen an operating system shown in such detail and in a manner so amenable to modification.[29]

Concurrent programming

edit

Brinch Hansen and Hoare developed the monitor concept. Brinch Hansen published the first monitor notation, adopting the class concept of Simula 67,[7] and invented a queueing mechanism.[30] Hoare refined the rules of process resumption.[31] Brinch Hansen created the first implementation of monitors, in Concurrent Pascal.[6] More than a dozen additional monitor-based languages had been created by 1990: Simone, Modula, CSP/k, CCNPascal, PLY, Pascal Plus, Mesa, SB-Mod, Concurrent Euclid, Pascalc, Concurrent C, Emerald, Real-time Euclid, Pascal-FC, Turing Plus, Predula.[6]

Concurrent Pascal was the first concurrent programming language:[29] the first language developed specifically for concurrent programming, and more importantly, the first language to demonstrate that it was possible to incorporate secure,[32] high-level facilities for concurrency, where the system could guarantee that processes access disjoint sets of variables only and do not interfere with each other in time dependent ways.[23] Hoare described it as "an outstanding example of the best of academic research in this area."[33]

Source and portable code for Concurrent Pascal and the Solo operating system were distributed to at least 75 companies and 100 universities in 21 countries, resulting in its widespread adoption, porting and adaptation in both industry and academia.[6] Greg Andrews observed that Concurrent Pascal and monitors "greatly influenced most subsequent concurrent language proposals."[6]

Brinch Hansen's The Architecture of Concurrent Programs was the first book on concurrent programming,[29] and was eventually published in three languages (English, Japanese, and German).[1] More than a dozen years after its publication, P. J. Plauger observed:

Sure, improvements have been made in the past dozen years. We have better synchronization algorithms and fancier (if not necessarily better) languages with concurrency control. But you won't find a better overview of concurrent programming than this book. At least I haven't found one.[25]

In 2005, ACM members voted The Architecture of Concurrent Programs a top 25 classic book, ranking it 18th in the survey, and appearing on 8% of ballots.[27] It is now available from the ACM Digital Library.

Distributed computing and remote procedure call

edit

Remote procedure calls used in modern operating systems trace their roots back to the RC 4000 multiprogramming system,[15] which used a request-response communication protocol for process synchronization.[34]

In his 1978 paper on distributed processes, Brinch Hansen proposed a language for distributed computing based on external requests consisting of procedure calls between processes.[35] This later became known in an operating system context as the remote procedure call.[36]

Later, Brinch Hansen developed two languages extending Hoare's CSP message-passing paradigm with parallel recursion,[17][19] and showed how to efficiently implement such.[37]

Honors and awards

edit

Programming languages

edit

Quotations

edit
  • Writing is a rigorous test of simplicity: It is just not possible to write convincingly about ideas that cannot be understood[20]
  • Programming is the art of writing essays in crystal clear prose and making them executable[9]

Publications

edit
Books
  • Operating System Principles (1973, ISBN 0-13-637843-9)
  • The Architecture of Concurrent Programs (1977, ISBN 0-13-044628-9)
  • Programming a Personal Computer (1983, ISBN 0-13-730267-3)
  • Brinch Hansen on Pascal Compilers (1985, ISBN 0-13-083098-4)
  • Studies in Computational Science: Parallel Programming Paradigms (1995, ISBN 0-13-439324-4)
  • The Search for Simplicity: Essays in Parallel Programming (1996, ISBN 0-81-867566-7)
  • Programming for Everyone in Java (1999, ISBN 0-387-98683-9)
  • Classic Operating Systems: From Batch Processing to Distributed Systems (editor, 2001, ISBN 0-387-95113-X)
  • The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls (editor, 2002, ISBN 0-387-95401-5)
  • A Programmer's Story: The Life of a Computer Pioneer (2004, available at http://brinch-hansen.net/)
Selected papers

See also

edit

References

edit
  1. ^ a b c d e f g h i j k l m n o p q r s t u v Brinch Hansen, Per (2004). A Programmer's Story: The Life of a Computer Pioneer.
  2. ^ a b c d e Haigh, Thomas (19 February 2003). "Per Brinch Hansen" (PDF). IEEE Annals of the History of Computing. 25: 80–83. doi:10.1109/MAHC.2003.1179888. S2CID 2279629.
  3. ^ Buchholz, Werner (1962). Planning a Computer System: Project Stretch (PDF). Archived from the original (PDF) on 3 April 2017. Retrieved 14 December 2015.
  4. ^ Dijkstra, Edsger (September 1965). "Cooperating Sequential Processes". Technological University, Eindhoven, the Netherlands.
  5. ^ Brinch Hansen, Per (April 1970). "The nucleus of a multiprogramming system" (PDF). Communications of the ACM. 13 (4): 238–241. CiteSeerX 10.1.1.105.4204. doi:10.1145/362258.362278. S2CID 9414037.
  6. ^ a b c d e f Brinch Hansen, Per (April 1993). "Monitors and Concurrent Pascal: a personal history" (PDF). 2nd ACM Conference on the History of Programming Languages.
  7. ^ a b Brinch Hansen, Per (1973). Operating System Principles. Prentice Hall. ISBN 978-0-13-637843-3.
  8. ^ Hartmann, Alfred C. (1977). A Concurrent Pascal Compiler for Minicomputers. Lecture Notes in Computer Science. Vol. 50. Heidelberg, Germany: Springer-Verlag Lecture Notes in Computer Science. doi:10.1007/3-540-08240-9. ISBN 978-3-540-08240-8. S2CID 2960929.
  9. ^ a b Brinch Hansen, Per (1977). The Architecture of Concurrent Programs. Prentice Hall. ISBN 978-0-13-044628-2.
  10. ^ "The Classical Degree of Doctor Technices (Dr.techn.) – DTU". Technical University of Denmark. Retrieved 14 December 2015.
  11. ^ Brinch Hansen, Per (November 1978). "Distributed processes: a concurrent programming concept" (PDF). Communications of the ACM. 21 (11): 934–941. CiteSeerX 10.1.1.107.3108. doi:10.1145/359642.359651. S2CID 11610744.
  12. ^ Brinch Hansen, Per (April 1981). "The Design of Edison" (PDF). Software: Practice and Experience.
  13. ^ Lueck, Thomas J. (18 October 1985). "Mostek, Big Chip Maker, Shut". The New York Times. ISSN 0362-4331. Retrieved 15 December 2015.
  14. ^ Brinch Hansen, Per (1982). Programming a Personal Computer. Prentice Hall. ISBN 978-0-13-730267-3.
  15. ^ a b c d e f "Per Brinch Hansen". Computer.org. IEEE Computer Society. Retrieved 14 December 2015.
  16. ^ Brinch Hansen, Per (1985). Brinch Hansen on Pascal Compilers. Prentice Hall. ISBN 978-0-13-083098-2.
  17. ^ a b Brinch Hansen, Per (January 1987). "Joyce—A programming language for distributed systems" (PDF). Software: Practice and Experience.
  18. ^ Brinch Hansen, Per (1995). Studies in Computational Science: Parallel Programming Paradigms. Prentice Hall. ISBN 978-0-13-439324-7.
  19. ^ a b Brinch Hansen, Per (August 1994). "SuperPascal—A publication language for parallel scientific computing" (PDF). Concurrency—Practice and Experience.
  20. ^ a b c Brinch Hansen, Per (1996). The Search for Simplicity. IEEE Computer Society Press. ISBN 978-0-81-867566-9.
  21. ^ Brinch Hansen, Per (1999). Programming for Everyone in Java. Springer-Verlag. ISBN 978-0-387-98683-8.
  22. ^ Brinch Hansen, Per (2001). Classic Operating Systems: From Batch Processing to Distributed Systems. Springer-Verlag. ISBN 978-0-387-95113-3.
  23. ^ a b Brinch Hansen, Per (2002). The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls. Springer-Verlag. ISBN 978-0-387-95401-1.
  24. ^ "LC Smith mourns passing of Professor Per Brinch Hansen". SU Engineering & Computer Science. Archived from the original on 22 December 2015. Retrieved 14 December 2015.
  25. ^ a b c Plauger, P. J. (February 1990). "State of the Art". Embedded Systems Programming.
  26. ^ Brinch Hansen, Per (April 1976). "Innovation and trivia in program engineering (Guest Editorial)". Software: Practice and Experience.
  27. ^ a b Patterson, David (March 2006). "Reviving Your Favorite CS Books". Communications of the ACM. 49 (3): 31. doi:10.1145/1118178.1118213. S2CID 1537883.
  28. ^ Brinch Hansen, Per (April 1976). "The Solo operating system: a Concurrent Pascal program" (PDF). Software: Practice and Experience.
  29. ^ a b c Maddux, R. & Mills, H. (May 1979). "Review of The Architecture of Concurrent Programs". Computer. 12 (5): 102. doi:10.1109/mc.1979.1658762.
  30. ^ Brinch Hansen, Per (July 1972). "Structured multiprogramming (Invited Paper)". Communications of the ACM. 15 (7): 574–578. doi:10.1145/361454.361473. S2CID 14125530.
  31. ^ Hoare, C. A. R. (October 1974). "Monitors: an operating system structuring concept". Communications of the ACM. 17 (10): 549–557. CiteSeerX 10.1.1.24.6394. doi:10.1145/355620.361161. S2CID 1005769.
  32. ^ Hoare, C. A. R. (1974). "Hints on programming language design". In Computer Systems Reliability, C. Bunyan, Ed.: 505–534.
  33. ^ Hoare, C. A. R. (1976). "Hints on the design of a programming language for real-time command and control". In Real-time Software: International State of the Art Report, J.P. Spencer, Ed.: 685–699.
  34. ^ Brinch Hansen, Per (1969). RC 4000 Computer Software: Multiprogramming System (PDF). Copenhagen, Denmark: Regnecentralen.
  35. ^ Brinch Hansen, Per (November 1978). "Distributed processes: a concurrent programming concept" (PDF). Communications of the ACM. 21 (11): 934–941. CiteSeerX 10.1.1.107.3108. doi:10.1145/359642.359651. S2CID 11610744.
  36. ^ Andrews, Greg (1991). Concurrent Programming: Principles and Practice. Redwood City, CA: Benjamin Cummings. ISBN 978-0-80-530086-4.
  37. ^ Brinch Hansen, Per (December 1995). "Efficient parallel recursion" (PDF). SIGPLAN Notices.
edit