Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Kỹ thuật lập trình
Hệ thống kiểu để suy ra bộ nhớ log của chương trình giao dịch từ biến dùng chung
tailieunhanh - Hệ thống kiểu để suy ra bộ nhớ log của chương trình giao dịch từ biến dùng chung
Bài viết tiến hành cải tiến hệ thống kiểu để tính được tài nguyên tối đa cần sử dụng của chương trình giao dịch đa luồng một cách hoàn toàn tự động. Người lập trình không cần thực hiện bước tính toán thủ công các tham số như trong nghiên cứu trước. Tài nguyên trong nghiên cứu này được cụ thể hóa là bộ nhớ log của các giao dịch. Để thực hiện được công việc này, ngôn ngữ cũng đã được cải tiến, bổ sung và chúng cũng gần với ngôn ngữ thực tế hơn. | Chuyên san Công nghệ thông tin và Truyền thông - Số 11 04-2018 HỆ THỐNG KIỂU ĐỂ SUY RA BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG Nguyễn Ngọc Khải1 Trương Anh Hoàng2 Tóm tắt Trong nghiên cứu trước đây chúng tôi đã xây dựng một hệ thống kiểu để tính tài nguyên tối đa cần sử dụng của một chương trình giao dịch đa luồng. Tuy nhiên tài nguyên này được tính toán dựa trên các tham số là tài nguyên mà mỗi giao dịch cần sử dụng. Những tham số này do người lập trình phải tự tính toán thủ công dựa trên mã nguồn của chương trình. Vì vậy kết quả đó vẫn mang tính phương pháp và bán tự động chưa thuận tiện cho người lập trình. Trong nghiên cứu này chúng tôi cải tiến hệ thống kiểu để tính được tài nguyên tối đa cần sử dụng của chương trình giao dịch đa luồng một cách hoàn toàn tự động. Người lập trình không cần thực hiện bước tính toán thủ công các tham số như trong nghiên cứu trước. Tài nguyên trong nghiên cứu này được cụ thể hóa là bộ nhớ log của các giao dịch. Để thực hiện được công việc này ngôn ngữ cũng đã được cải tiến bổ sung và chúng cũng gần với ngôn ngữ thực tế hơn. In previous works we built a type system for calculating the maximum resource usage of a transactional program. However this resource was calculated based on the parameters. These parameters were the resources that transactions need to use and calculated manually based on analysis source code of program by the programmer. Therefore the result was still methodical and semi-automatic leading to inconvenient to be used for programmers. In this work we have improved the type system with fully automatic functions for inferring the maximum resources usage of transactional programs. Based on this result the programmers do not need to calculate manually parameters like previous work. The resources here are specified into the log memory of the transaction. In order to do this the language is also improved complementary and it is closer to the actual language. Từ khóa Đa luồng Bộ nhớ giao dịch Hệ thống
Hồng Hà
71
16
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Chương 7: Bộ nhớ bán dẫn
20
92
1
Giáo trình Hệ điều hành - V1.0 Chương: Bộ nhớ ảo
19
145
0
Hệ thống kiểu để suy ra bộ nhớ log của chương trình giao dịch từ biến dùng chung
16
61
1
Giáo trình : Kiến trúc máy tính - Photocopyable
70
97
0
QUẢN LÝ BỘ NHỚ
24
59
0
Tổ chức bộ nhớ_chương 3
9
60
0
Bài tập bộ nhớ cache
4
171
1
Giáo trình Kiến trúc hệ điều hành: Phần 2
55
85
0
Giáo trình Hệ điều hành: Phần 2 - Từ Minh Phương
94
33
1
Luận văn Thạc sỹ Công nghê thông tin: Tính cận trên bộ nhớ log của chương trình sử dụng giao dịch
53
76
2
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461887
55
Giới thiệu :Lập trình mã nguồn mở
14
22723
61
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10906
530
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10083
447
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9540
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8302
1127
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8248
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7867
2220
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6713
253
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5795
1391
TỪ KHÓA LIÊN QUAN
Kỹ thuật lập trình
Bộ nhớ giao dịch
Hệ thống kiểu
Ngôn ngữ lập trình
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
Luận văn Thạc sỹ Công nghê thông tin
Kỹ thuật phần mềm
Bộ nhớ giao dịch phần mềm
Ngôn ngữ giao dịch
Software Transactional Memory
Luận văn Thạc sĩ
Công nghệ thông tin
Tính cận trên bộ nhớ Log
Chương trình giao dịch
Bộ nhớ Log
Chương trình sử dụng giao dịch
Ngôn ngữ TM
Tính chất của giao dịch
Biên tài nguyên
Số vùng bộ nhớ giao dịch
Bộ nhớ chương trình
bộ phận phối lệnh
thiết bị giao tiếp vào ra
bộ nhớ số liệu
bộ phiên dịch
TÀI LIỆU MỚI ĐĂNG
Bibliography on Medieval Women, Gender, and Medicine 1980-2009
82
211
0
01-05-2024
Management and Services Part 1
10
160
0
01-05-2024
Báo cáo nghiên cứu khoa học " KẾT QUẢ NGHIÊN CỨU BƯỚC ĐẦU VỀ THIÊN ĐỊCH CHÂN KHỚP TRÊN CÂY THANH TRÀ Ở THỪA THIÊN HUẾ "
7
176
0
01-05-2024
Lịch sử Đội TNTP Hồ Chí Minh - CHƯƠNG III VÂNG LỜI BÁC DẠY, LÀM NGHÌN VIỆC TỐT, CHỐNG MỸ, CỨU NƯỚC, THIẾU NIÊN SĂN SÀNG
45
138
0
01-05-2024
XỬ TRÍ CHẤN THƯƠNG SỌ NÃO KÍN
1
115
1
01-05-2024
Christmas Meditations on the Twelve Holy Days
173
106
0
01-05-2024
báo cáo hóa học:" Increased androgen receptor expression in serous carcinoma of the ovary is associated with an improved survival"
6
101
0
01-05-2024
A CMOS Self-Powered Front-End Architecture for Subcutaneous Event-Detector Devices
176
92
0
01-05-2024
báo cáo hóa học:" Perceptions of rewards among volunteer caregivers of people living with AIDS working in faith-based organizations in South Africa: a qualitative study"
10
84
0
01-05-2024
BÀI GIẢNG Biến Đổi Năng Lượng Điện Cơ - TS. Hồ Phạm Huy
137
95
0
01-05-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7867
2220
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5795
1391
Ebook Chào con ba mẹ đã sẵn sàng
112
3772
1233
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5334
1136
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8302
1127
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3518
644
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10906
530
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3695
525
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4071
516
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4136
480
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.