Ngôn ngữ lập trình mới cho máy tính hiệu suất caoMột nhóm nhà khoa học máy tính Viện Công
Ngôn ngữ lập trình mới cho máy tính hiệu suất cao
Một nhóm nhà khoa học máy tính Viện Công nghệ Massachusetts đã phát triển một ngôn ngữ lập trình mới, cho phép duy trì tốc độ tính toán cao, chính xác và tiêu tốn ít tài nguyên máy.
Máy tính hiệu suất cao rất cần thiết để thực hiện các nhiệm vụ với số lượng tác vụ ngày càng tăng như xử lý hình ảnh, các ứng dụng học sâu khác nhau trên mạng nơron thần kinh, phải xử lý một khối lượng dữ liệu khổng lồ với tốc độ nhanh chóng hợp lý.
Một nhóm nhà nghiên cứu, chủ yếu thuộc MIT, tuyên bố rằng trên thực tế, đều có thể đáp ứng được cả tốc độ và độ chính xác. Amanda Liu, nghiên cứu sinh TS năm thứ 2 tại Phòng thí nghiệm Khoa học Máy tính và Trí tuệ Nhân tạo (CSAIL) cho biết, với ngôn ngữ lập trình mới, viết riêng cho máy tính hiệu suất cao, tốc độ và độ chính xác không cần phải cạnh tranh. Thay vào đó, cả hai yêu cầu này đều được đáp ứng trong các chương trình được viết.
Liu cùng với TS Gilbert Louis Bernstein thuộc Đại học California tại Berkeley, PGS Adam Chlipala và PGS Jonathan Ragan-Kelley của MIT giới thiệu tiềm năng của ngôn ngữ sáng tạo mới được phát triển “ A Tensor Language ” (ATL) vào tháng 1/2022 tại hội nghị Nguyên tắc của Ngôn ngữ Lập trình ở Philadelphia.
Mọi chương trình viết bằng ngôn ngữ mới nhằm tạo ra một số duy nhất hoặc một tensor. Tensor là tổng quát của vectơ và ma trận. Vector là các đối tượng một chiều (thường được biểu diễn bằng mũi tên) và ma trận là mảng số 2 chiều, tensor là mảng n chiều như có dạng mảng 3x3x3 hoặc có kích thước cao hơn hay thấp hơn.
Do máy tính hiệu suất cao tiêu tốn nhiều tài nguyên nên cần phải viết các chương trình thành một dạng tối ưu để tăng tốc độ. Giả sử 1 ảnh được đại diện bởi một mảng 100 × 100 số, mỗi số tương ứng với một pixel và cần lấy giá trị trung bình cho những con số này. Điều đó được thực hiện trong một phép tính hai giai đoạn bằng cách xác định giá trị trung bình của mỗi hàng và sau đó lấy giá trị trung bình của mỗi cột. ATL có một bộ công cụ liên quan, được gọi là “khuôn khổ” khiến quy trình hai bước này được chuyển đổi thành quy trình một bước nhanh hơn.
Phương pháp mới đảm bảo sự tối ưu hóa này chính xác bằng giải pháp sử dụng công cụ, được gọi là trợ lý chứng minh. Ngôn ngữ mới của nhóm được xây dựng trên cơ sở một ngôn ngữ hiện có, Coq chứa một trợ lý chứng minh. Trợ lý chứng minh có khả năng chứng minh các khẳng định theo phương thức toán học nghiêm ngặt.
Coq còn có một đặc điểm nội hàm khác, các chương trình được viết bằng Coq hoặc các bản chuyển thể luôn kết thúc và không thể chạy mãi trên các vòng lặp vô tận (điều đó có thể xảy ra với các chương trình được viết bằng Java). Chạy một chương trình để có một câu trả lời duy nhất, một số hoặc một tensor.
ATL hiện nay là ngôn ngữ tensor đầu tiên và duy nhất có những tính năng tối ưu đã được xác minh chính thức.
Với ATL, các kỹ sư phần mềm có thể tuân thủ phương pháp tiếp cận có nguyên tắc để viết lại các chương trình nhằm tối ưu hóa các máy tính hiệu suất cao dễ dàng hơn và đảm bảo tính chính xác.
(Báo Khoa học và Đời sống)
Trả lời cho các câu 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 dưới đây:
Ý chính của bài viết trên là gì?
Đáp án đúng là: A
Đọc tư liệu và rút ra nội dung chính.
Đáp án cần chọn là: A
Ưu điểm của ngôn ngữ lập trình mới là gì?
Đáp án đúng là: B
Đọc tư liệu và giải thích.
Đáp án cần chọn là: B
Vì sao Amanda Liu cho rằng tốc độ và độ chính xác không cần phải cạnh tranh?
Đáp án đúng là: D
Đọc tư liệu, lựa chọn phương án.
Đáp án cần chọn là: D
ATL được giới thiệu tại hội nghị bởi ai?
Đáp án đúng là: B
Đọc kĩ đoạn 3 để chọn đáp án phù hợp.
Đáp án cần chọn là: B
Vì sao cần phải viết các chương trình thành một dạng tối ưu để tăng tốc độ?
Đáp án đúng là: B
Đọc tư liệu và trả lời câu hỏi.
Đáp án cần chọn là: B
Tensor được hiểu là gì?
Đáp án đúng là: A
Đọc tư liệu và giải thích.
Đáp án cần chọn là: A
Đâu là đặc điểm nội hàm của Coq?
Đáp án đúng là: D
Đọc tư liệu và trả lời câu hỏi.
Đáp án cần chọn là: D
Nhận định nào sau đây KHÔNG đúng?
Đáp án đúng là: B
Đọc tư liệu và trả lời câu hỏi.
Đáp án cần chọn là: B
Nhận định nào dưới đây chính xác về ATL hiện nay.
Đáp án đúng là: C
Đọc đoạn trích và trả lời câu hỏi.
Đáp án cần chọn là: C
ATL có ảnh hưởng như thế nào đến các kỹ sư phần mềm?
Đáp án đúng là: B
Đọc kỹ đoạn trích và trả lời câu hỏi.
Đáp án cần chọn là: B
Quảng cáo
Group 2K8 ôn Thi ĐGNL & ĐGTD Miễn Phí
>> 2K8 Chú ý! Lộ Trình Sun 2026 - 3IN1 - 1 lộ trình ôn 3 kì thi (Luyện thi 26+ TN THPT, 90+ ĐGNL HN, 900+ ĐGNL HCM, 70+ ĐGTD - Click xem ngay) tại Tuyensinh247.com.Đầy đủ theo 3 đầu sách, Thầy Cô giáo giỏi, luyện thi theo 3 giai đoạn: Nền tảng lớp 12, Luyện thi chuyên sâu, Luyện đề đủ dạng đáp ứng mọi kì thi.
 |
 |
 |
 |
 |
 |
 |
 |
Hỗ trợ - Hướng dẫn
-
024.7300.7989
-
1800.6947
(Thời gian hỗ trợ từ 7h đến 22h)
Email: lienhe@tuyensinh247.com
