Ackermann’s FunctionThis kernel has

Ackermann’s Function
This kernel has been used to assess the efficiency of the procedure-calling mechanism in ALGOL-like languages. The function has two parameters and is defined recursively. The function Ackermann (3, n) is evaluated for values of n from 1 to 6. The average execution time per call, the number of instructions executed per call, and the amount of stack space required for each call are used to compare various systems.
A listing of the benchmark program in SIMULA is shown in Figure 4.3. The value of the function Ackermann (3, n) is 2n+3 - 3. This knowledge is used in the code to verify the implementation of the benchmark. The number of recursive calls in evaluating Ackermann (3, n) has been shown by Wichmann (1976) to be
(512 × 4n–1 - 15 × 2n+3 + 9n + 37)/3
This expression is used to compute the execution time per call. For Ackermann (3, n), the maximum depth of the procedure calls is 2n+3 - 4. Hence, the amount of stack space required doubles when n is increased by 1.

Kết quả (Việt) 1:

Chức năng của AckermannHạt nhân này đã được sử dụng để đánh giá hiệu quả của cơ chế kêu gọi thủ tục trong ngôn ngữ giống như ALGOL. Các chức năng có hai tham số và định nghĩa đệ quy. Chức năng Ackermann (3, n) được đánh giá cho các giá trị của n từ 1 đến 6. Thời gian thực hiện trung bình một cuộc gọi, số lượng các hướng dẫn thực hiện một cuộc gọi, và số lượng không gian ngăn xếp cần thiết cho mỗi cuộc gọi được sử dụng để so sánh các hệ thống khác nhau.Một danh sách của chương trình chuẩn SIMULA Hiển thị trong hình 4.3. Giá trị của hàm Ackermann (3, n) là 2n + 3-3. Kiến thức này được sử dụng trong mã để xác minh việc thực hiện các điểm chuẩn. Số lượng các đệ quy cuộc gọi trong việc đánh giá Ackermann (3, n) đã được hiển thị bởi Wichmann (năm 1976) là(512 × 4n-1 - 15 × 2n + 3 + 9n + 37) / 3Cụm từ này được sử dụng để tính toán thời gian thực hiện một cuộc gọi. Đối với Ackermann (3, n), độ sâu tối đa của các cuộc gọi thủ tục là 2n + 3-4. Do đó, số lượng không gian ngăn xếp yêu cầu tăng gấp đôi khi n tăng 1.

Kết quả (Việt) 2:

Chức năng Ackermann của
hạt nhân này đã được sử dụng để đánh giá hiệu quả của các cơ chế thủ tục gọi điện thoại trong ngôn ngữ ALGOL-như. Các hàm có hai tham số và được định nghĩa đệ quy. Các chức năng Ackermann (3, n) được đánh giá cho các giá trị của n từ 1 đến 6. Thời gian thực hiện trung bình mỗi cuộc gọi, số lượng hướng dẫn thực hiện cho mỗi cuộc gọi, và số lượng của ngăn xếp không gian cần thiết cho mỗi cuộc gọi được sử dụng để so sánh các hệ thống khác nhau .
Một danh sách các chương trình benchmark trong Simula được thể hiện trong hình 4.3. Các giá trị của hàm Ackermann (3, n) là 2n + 3 - 3. Kiến thức này được sử dụng trong các mã để xác minh việc thực hiện các chuẩn mực. Số lượng các cuộc gọi đệ quy trong việc đánh giá Ackermann (3, n) đã được chứng minh bởi Wichmann (1976) là
(512 × 4n-1-15 × 2n + 3 + 9n + 37) / 3
Biểu thức này được sử dụng để tính toán thực hiện thời gian cho mỗi cuộc gọi. Đối với Ackermann (3, n), độ sâu tối đa các thủ tục gọi là 2n + 3 - 4. đôi Do đó, số lượng ngăn xếp không gian cần thiết khi n tăng lên 1.