SIGPLAN-SIGOPS Interface Meeting最新文献_第3页

Report of session on concurrency 关于并发的会话报告

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808269

J. Dennis, M. D. Schroeder

{"title":"Report of session on concurrency","authors":"J. Dennis, M. D. Schroeder","doi":"10.1145/800021.808269","DOIUrl":"https://doi.org/10.1145/800021.808269","url":null,"abstract":"This session was devoted to discussion of primitives for synchronizing the execution of concurrent processes. Jack Dennis introduced the session by noting that concurrent activity in a computer systems leads to the possibility of nondeterminacy. While most users with applications programs do not want nondeterminate results, some applications are inherently nondeterminate in part, e.g., an airline seat reservation system. At a lower level, the programmers of the operating system itself need to write both determinate and nondeterminate programs. The challenge is in providing primitives at each level in a system which guarantee determinacy when that is required, yet allow the construction of nondeterminate programs when that is required. As a basis for discussion, Dennis invited Rick Holt to make a short presentation on the levels in a computer system and their relationship to synchronizing primitives.\u0000 Holt indicated that the principle reason we have concurrency in computer systems is the economic necessity to run I/O devices in parallel with the much faster central processors. There are also fancier reasons, like constructing nondeterminate computations. Concurrency is usually handled by embedding various synchronizing primitives in the system or in high-level programming languages. In order to decide what primitives are appropriate you need to know what problems are to be solved. The problems being solved depend in turn upon the level of the computer system being considered. A computer system can be divided into five levels: hardware, kernel, nucleus, subsystems, and applications. The kernel multiplexes the central processors, implementing processes. At this level very simple synchronization primitives may be sufficient, like turning off interrupts. A critical problem at this level is the processor allocation strategy and maintaining queues of waiting processes. The nucleus is responsible for sharing devices. We want to be able to write device managers that multiplex data paths and schedule the use of these paths. These managers can be built in two ways: distributed managers that execute as part of user processes or centralized managers that execute in their own processes. Dijkstra has told us how to handle the concurrency generated by decentralized managers using primitives like P and V. Message passing works for centralized managers. (Note that message buffers are an important system resource to be managed. They cannot be managed using message switching, so this management must occur in the kernel.) At the levels of subsystems and applications something more complex and specifically suited to certain applications may be required to control concurrency. At all levels concurrency is interrelated with problems of protection, reliability, and pre-emption. If we ignore these problems we will miss entirely the problems of implementing primitives to control concurrency. Holt also discussed the primitives used at the various levels in the SUE system, a","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114676931","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Programming languages for operating systems 用于操作系统的编程语言

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/390014.808294

R. McKeag

引用次数: 0

A systems implementation language for small computers 一种用于小型计算机的系统实现语言

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/390014.808281

S. Hautaniemi

引用次数: 0

Report of evening session protection 夜间会话保护报告

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808271

P. Neumann

引用次数: 0

Transferability and translation of data 数据的可转移性和翻译

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808295

A. Merten, E. Sibley

引用次数: 1

Procedural encapsulation: A linguistic protection technique 过程封装:一种语言保护技术

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808305

S. Zilles

引用次数: 17

Abstract machines and software design 抽象机器和软件设计

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808288

J. King

引用次数: 1

Report of session on systems programming languages 系统程序设计语言会议报告

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808270

R. Freiburghouse, R. M. Graham

{"title":"Report of session on systems programming languages","authors":"R. Freiburghouse, R. M. Graham","doi":"10.1145/800021.808270","DOIUrl":"https://doi.org/10.1145/800021.808270","url":null,"abstract":"Discussion in this session centered around two major topics: experience using a particular language for systems programming and features which are required or desirable in a systems programming language. In general, as one might expect, the users of a particular language were happy with that language and felt they had made the right choice, even though they were not completely satisfied. There seemed to be general agreement that a higher level language than machine language (assembly language) should be used for systems programming. There was considerable difference of opinion as to how high level the language should be. There was a similar difference of opinion as to what features are desirable, and even necessary, in a systems programming language. Although the session was organized so as to discuss the two major topics separately, there was considerable discussion of desirable and necessary language features mixed in with the discussion of experience with specific languages.\u0000 The session opened with a report by Bob Freiburghouse on the use of PL/I for implementation of Multics. \"In general the project was successful. We're not about to switch to some other programming language. But we would like to enforce more discipline. I think we would like to recognize and enforce a subset of all this. He listed a number of key features, the most important of which was external procedures and external variables. Other important features included structured data with controlled packing, recursion, block structure, high level control statements, type checking, pointers and dynamic storage allocation, and % include. A few extensions were made to the language such as pointer valued functions, functions to construct and take apart pointers, P and V operations, and a notation for referencing Multics segments. In addition, a support routine called the binder was implemented. Using this routine one can combine a number of procedure and data segments into a single module. References to this module can be made using only designated names, all other names originally associated with the segments in the module will be hidden, that is, undefined outside the module.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127551923","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Towards ISMs for OPSs 面向ops的ISMs

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808277

D. Berry

引用次数: 0

An experience in structured programming and transferability 有结构化编程和可转移性的经验

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808290

O. Lecarme

引用次数: 6