Race condition

Several 1985-7 deaths of cancer patients were due to overdoses of radiation resulting from a race condition between concurrent tasks in the Therac-25 software. Errors in medical software have caused deaths. Details in B.W. Boehm, "Software and its Impact: A Quantitative Assessment," Datamation,19(5), 48-59(1973). cần kinh nghiệm khiểm thử, một vài sự hiểu biệt về các pha phát triển của dự án co1 thể có ích, toán học có thể trợ giúp

31p phongk2t1 20-12-2010 307 78   Download

Bài này trình bày về "Giao tiếp giữa các tiến trình" với một số nội dung sau: Một số khái niệm cơ bản, đụng độ (race condition), miền găng (critical section), ngữ cảnh miền găng, giải pháp cho vấn đề miền găng, cấu trúc của các tiến trình, phân loại các giải pháp cho CS, giải thuật,... Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

61p namthangtinhlang_04 15-11-2015 118 3   Download

Bài giảng "Hệ điều hành - Chương 5: Đồng bộ" cung cấp cho người học các kiến thức: Giới thiệu về race condition, giới thiệu các giải pháp tổng quát để giải quyết tranh chấp,... Mời các bạn cùng tham khảo nội dung chi tiết.

21p larachdumlanat 09-11-2020 63 10   Download

Bài 4 - Liên lạc giữa các tiến trình & vấn đề đồng bộ hoá. Chương này gồm có những nội dung chính sau: Các cơ chế liên lạc, race condition, miền găng (critical section), mô hình tổ chức phối hợp hoạt động giữa hài tiến trình,... Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết.

11p tieu_vu16 03-01-2019 41 3   Download

Bài giảng "Hệ điều hành - Chương 5.1: Đồng bộ" cung cấp cho người học các kiến thức: Giới thiệu về race condition, giới thiệu các giải pháp tổng quát để giải quyết tranh chấp, phân tích các chi tiết các vấn đề trong việc giải quyết tranh chấp, yêu cầu của giải pháp trong việc giải quyết tranh chấp, phân nhóm các giải pháp.

20p thiendiadaodien_10 08-01-2019 60 8   Download

Mục tiêu của bài giảng chương 5 giúp các bạn hiểu được vấn đề tranh chấp giữa các tiến trình trong hệ điều hành, biết được các giải pháp để giải quyết tranh chấp, hiểu được các vấn đề trong giải quyết tranh chấp, biết được các yêu cầu của các giải pháp trong việc giải quyết tranh chấp và phân nhóm các giải pháp.

20p phongphong321 05-07-2018 41 2   Download

Bài giảng "Hệ điều hành - Chương 5.1: Liên lạc giữa các tiến trình" cung cấp cho người đọc các kiến thức: Nhu cầu liên lạc, cơ chế liên lạc, Race condition, giải pháp tổng quát, mô hình đảm bảo độc quyền truy xuất,... Mời các bạn cùng tham khảo nội dung chi tiết.

15p doinhugiobay_17 01-03-2016 78 5   Download