The Working Set Model for Program Behavior

Peter J. Denning, 1968, Communications of the ACM

About this paperEnglish中文日本語beside Englishbeside 中文beside 日本語

This paper is under a licence that does not allow it to be reproduced, so what is here is its front matter and a short abstract. Read it at the publisher's page.

Mô hình Working Set cho Hành vi của Chương trình

Peter J. Denning

Viện Công nghệ Massachusetts, Cambridge, Massachusetts

Có lẽ lý do cơ bản nhất dẫn đến sự thiếu vắng một phương pháp xử lý tổng quát về phân bổ tài nguyên trong các hệ thống máy tính hiện đại là sự thiếu vắng một mô hình đầy đủ về hành vi của chương trình. Trong bài báo này, một mô hình mới, "mô hình working set", được phát triển. Working set của các trang liên kết với một tiến trình, được định nghĩa là tập hợp các trang được sử dụng gần đây nhất của nó, cung cấp tri thức quan trọng cho việc quản lý động các bộ nhớ phân trang. "Tiến trình" và "working set" được chỉ ra là những biểu hiện của cùng một hoạt động tính toán đang diễn ra; sau đó "nhu cầu bộ xử lý" và "nhu cầu bộ nhớ" được định nghĩa; và phân bổ tài nguyên được xây dựng thành bài toán cân bằng các nhu cầu với thiết bị sẵn có.

TỪ KHÓA VÀ CỤM TỪ: các khái niệm chung về hệ điều hành, đa xử lý, đa chương trình, hệ điều hành, hành vi chương trình, các mô hình chương trình, phân bổ tài nguyên, lập lịch, phân bổ lưu trữ

PHÂN LOẠI CR: 4.30, 4.32

  1. Giới thiệu

Phân bổ tài nguyên là một công việc phức tạp. Gần đây đã có nhiều cuộc thảo luận về lập lịch tiến trình và quản lý bộ nhớ lõi, tuy nhiên việc phát triển các kỹ thuật đã tiến triển độc lập theo cả hai hướng này. Không ai phủ nhận rằng cần có một phương pháp tiếp cận thống nhất. Ở đây chúng tôi chỉ ra rằng có thể phát triển một phương pháp tiếp cận thống nhất. Bắt đầu từ quan sát rằng mọi chương trình đang chạy đều đặt ra các nhu cầu đồng thời lên tất cả tài nguyên hệ thống, đặc biệt là bộ xử lý và bộ nhớ, cuối cùng chúng tôi định nghĩa "nhu cầu hệ thống"; bài toán phân bổ sẽ bao gồm việc cân bằng các nhu cầu với các tài nguyên sẵn có.

References

  1. Dennis, J. B., and Van Horn, E. C. Programming semantics for multiprogrammed computations. Comm. ACM 9 (Mar. 1966), 143–155.
  2. Ramamoorthy, C. V. The analytic design of a dynamic look ahead and program segmenting system for multiprogrammed computers. Proc. ACM 21st Nat. Conf. 1966. Thompson Book Co., Washington, D.C., pp. 229–239.
  3. Fano, R. M., and David, E. E. On the social implications of accessible computing. Proc. AFIPS 1965 Fall Joint Comput. Conf., Vol. 27, Part 2. Thompson Book Co., Washington, D.C., pp. 243–247.
  4. Selwyn, L. L. The information utility. Indust. Man. Rev. 7, 2 (spring, 1966).
  5. Parkhill, D. The Challenge of the Computer Utility. Addison-Wesley, Reading, Mass., 1966.
  6. Dennis, J. B. Segmentation and the design of multiprogrammed computer systems. J. ACM 12, 4 (Oct. 1965), 589–602.
  7. Arden, B. W., et al. Program and address structure in a time-sharing environment. J. ACM 13, 1 (Jan. 1966), 1–16.
  8. Saltzer, J. H. Traffic control in a multiplexed computer system. M.I.T. Project MAC Tech. Rep. MAC-TR-30, M.I.T., Cambridge, Mass., July 1966.
  9. Dennis, J. B. Program structure in a multi-access computer. Project MAC Tech. Rep. MAC-TR-11, M.I.T., Cambridge, Mass.
  10. Fine, G. H., McIsaac, P. V., and Jackson, C. W. Dynamic program behavior under paging. Proc. ACM 21st Nat. Conf. 1966. Thompson Book Co., Washington, D.C., pp. 223–228.
  11. Varian, L., and Coffman, E. An empirical study of the behavior of programs in a paging environment. Proc. ACM Symp. on Operating Principles, Gatlinburg, Tenn., Oct. 1967.
  12. Kilburn, T., et al. One-level storage system. IRE Trans. EC-11, 2 (Apr. 1962).
  13. Belady, L. A. A study of replacement algorithms for a virtual storage computer. IBM Systems J. 5, 2 (1966), 78–101.
  14. Progress Report III, M.I.T. Project MAC, 1965–66, pp. 63–66.
  15. Denning, P. J. Memory allocation in multiprogrammed computers. Project MAC Computation Structures Group Memo 24, M.I.T., Cambridge, Mass., Mar. 1966.
  16. Fife, D. W. An optimization model for time-sharing. Proc. AFIPS 1966 Spring Joint Comput. Conf., Vol. 28. Spartan Books, New York, pp. 97–104.
  17. Oppenheimer, G., and Weizer, N. Resource management for a medium scale time-sharing operating system. Comm. ACM 11, 5 (May 1968), 313–322.

Read off the page by a vision model reading the page images using olmOCR-2-7B-1025-FP8. Translated into Tiếng Việt by gpt-5, against glossary version 7. Translated from the English.