TAILIEUCHUNG - Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản

Bài viết đưa ra một hệ thống kiểu để ước lượng cận trên tài nguyên sử dụng của các chương trình đa luồng và sử dụng bộ nhớ giao dịch. Tài nguyên được đơn giản hóa là số vùng bộ nhớ giao dịch được tạo ra. | Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản JOURNAL OF SCIENCE OF HNUE DOI: Educational Sci., 2015, Vol. 60, No. 7A, pp. 80-93 This paper is available online at HỆ THỐNG KIỂU TÍNH CẬN TRÊN SỐ LOG CHO NGÔN NGỮ GIAO DỊCH ĐA LUỒNG TỐI GIẢN Trương Anh Hoàng1 , Nguyễn Ngọc Khải2 1 Trường Đại học Công nghệ - Đại học Quốc Gia Hà Nội 2 Trường Đại học Tài nguyên và Môi trường Hà Nội Tóm tắt. Trong bài báo này, chúng tôi đưa ra một hệ thống kiểu để ước lượng cận trên tài nguyên sử dụng của các chương trình đa luồng và sử dụng bộ nhớ giao dịch. Tài nguyên được đơn giản hóa là số vùng bộ nhớ giao dịch được tạo ra. Hệ thống kiểu được xây dựng cho một ngôn ngữ lõi với các lệnh cơ bản nhất liên quan đến việc tạo luồng và giao dịch. Việc sử dụng ngôn ngữ lõi này giúp việc kiểm tra tính đúng đắn và chính xác của việc ước lượng được rõ ràng hơn đồng thời cũng cho phép mở rộng ra các ngôn ngữ sử dụng bộ nhớ giao dịch khác được thuận lợi. Từ khóa: Hệ thống kiểu, biên tài nguyên, bộ nhớ giao dịch, đa luồng, ngôn ngữ lập trình. 1. Mở đầu Bộ nhớ giao dịch phần mềm [12] là một cấu trúc lập trình nhằm thay thế cho cơ chế đồng bộ bộ nhớ dùng chung dựa trên khóa. Một trong những cơ chế giao dịch mạnh cho phép các giao dịch đan xen việc lồng nhau và việc tạo luồng mới trong giao dịch đang mở được mô tả trong [9]. Theo cơ chế này, một giao dịch được gọi là lồng trong giao dịch khác nếu nó bắt đầu và kết thúc trong giao dịch khác; giao dịch đầu gọi là giao dịch cha, giao dịch sau gọi là giao dịch con. Khi lồng nhau, các giao dịch con phải kết thúc (commit) trước giao dịch cha của chúng được kết thúc. Một giao dịch được gọi là đa luồng khi người lập trình có thể tạo ra luồng mới ngay bên trong giao dịch khi nó chưa kết thúc. Các luồng được tạo ra này chạy song song với luồng đang có giao dịch chưa kết thúc. Để cho phép truy cập đồng thời đến các biến .

• Kỹ thuật lập trình
• Hệ thống kiểu
• Biên tài nguyên
• Bộ nhớ giao dịch
• Ngôn ngữ lập trình
• Số vùng bộ nhớ giao dịch
• Kiểu dáng công nghiệp
• Kiểu dáng công nghiệp trong nước
• Bảo hộ kiểu dáng công nghiệp
• Phát triển bảo hộ kiểu dáng công nghiệp
• Hệ thống bảo hộ kiểu dáng công nghiệp
• Bảo hộ kiểu dáng công nghiệp riêng phần
• Bài giảng Hệ thống máy tính và ngôn ngữ lập trình
• Hệ thống máy tính
• Ngữ lập trình
• Kiểu dữ liệu có cấu trúc
• Kiểu dữ liệu tự định nghĩa
• Khai báo struct
• Khai báo biến kiểu union
• Bài giảng Hệ thống máy tính và ngôn ngữ C
• Ngôn ngữ C
• Kiểu dữ liệu cấu trúc
• Kiểu dữ liệu phức hợp
• Hệ thống thông tin địa lý
• Bài giảng Hệ thống thông tin địa lý
• Dữ liệu hệ thống thông tin địa lý
• Điểm trong hệ thống thông tin địa lý
• Cấu trúc dữ liệu kiểu RASTER
• Cấu trúc dữ liệu kiểu VECTOR
• Kỹ thuật điều khiển vòng hở
• Điều khiển hệ thống cầu trục
• Hệ thống cầu trục
• Hệ thống cần cẩu kiểu con lắc đơn
• Hệ thống cần cẩu kiểu con lắc đôi
• Tài nguyên bộ nhớ
• Hệ thống kiểu để suy ra bộ nhớ log
• Chương trình giao dịch từ biến dùng chung
• Kiểu dữ liệu số nguyên
• Phép toán số học
• Kiểu dữ liệu dấu chấm động
• Hệ thống thông tin trong tổ chức
• Báo cáo Hệ thống thông tin
• Hệ thống thông tin trong Quốc hội
• Kiểu hệ thống thông tin
• Điện tử Quốc hội
• Bài giảng Hệ thống thông tin tổ chức
• Hệ thống thông tin
• Bài giảng Hệ thống thông tin
• Phân tích hệ thống
• Mô hình hóa nghiệp vụ
• Phân tích hệ thống về dữ liệu
• Mô hình dữ liệu thực thể
• Kiểu thuộc tính
• Nuôi trồng thủy sản
• Hệ thống tuần hoàn
• Thành phần của hệ thống tuần hoàn
• Kiểu hệ thống tuần hoàn
• Hệ thống tuần hoàn nuôi trồng thủy sản
• Ứng dụng hệ thống tuần hoàn
• Bài giảng Tin đại cương
• Tin đại cương
• Mảng và kiểu dữ liệu vector
• Kiểu dữ liệu vector
• Kiểu dữ liệu mảng
• Hệ thống chỉ mục
• Nhập và xuất dữ liệu
• Kiểu mảng gốc
• hệ thống điều hoà không khí
• quá trình xử lý nhiệt
• thiết bị điều hoà
• hệ thống điều hoà kiểu thô
• máy điều hoà cửa sổ
• Bài giảng Hệ thống phân phối khí
• Hệ thống phân phối khí
• Động cơ 2 kỳ
• Động cơ 4 kỳ
• Kiểu xupap treo
• Kiểu xupap đặt
• Bài giảng Tích hợp hệ thống
• Tích hợp hệ thống
• Tin học quản lý
• Kiến trúc module
• Hỗ trợ lập trình module
• Kiểu tích hợp module
• Các kiểu ghép nối module
• Hiệu quả xử lý khí H2S
• Xử lý khí H2S
• Hệ thống lọc sinh học
• Kiểu nhỏ giọt chế tạo Việt Nam
• Hệ thống lọc
• Kiểu dữ liệu chuẩn của C
• Phép toán của C
• Cấu trúc tổng quát chương trình C
• Lớp lưu trữ của biến
• Sự chuyển kiểu
• Biến toàn cục
• Phép toán số học trên bit
• Phép toán luận lý trên bit
• Cấu trúc chương trình C
• Khởi động trị cho biến
• Định vị vùng nhớ cho lớp lưu trữ
• Bài giảng Hệ điều hành Linux
• Hệ điều hành Linux
• Hệ thống tập tin
• Quản trị hệ thống tập tin
• Các kiểu tập tin trong Linux
• Liên kết tập tin
• Nhóm lệnh sao chép di chuyển
• hệ thống kenh gió
• phân phối không khí
• giáo trình xây dựng
• thiết kế hệ thống kênh gió
• hệ thống ống kiểu treo
• hệ thống kênh gió ngầm
• Thiết kế hệ thống thông tin
• Phân tích hệ thống thông tin
• Thiết kế hệ thống
• Kiểu của thông điệp
• Cơ sở dữ liệu
• Sai lệch hệ thống
• Vai trò sai lệch hệ thống
• Nghiên cứu sức khỏe
• Giá trị của sự liên quan thống kê
• Kiểu sai lệch chọn lựa
• Kiểm soát sai lệch hệ thống