Bài giảng Hệ điều hành - Chương 7: Quản lý bộ nhớ (Phần 1) - Trường Đại học công nghệ thông tinGiả sử bộ nhớ chính được cấp phát các phân vùng có kích thước là 600K, 500K, 200K, 300K (theo thứ tự), sau khi thực thi xong, các tiến trình có kích thước 212K, 417K, 112K, 426K (theo thứ tự) sẽ được cấp phát bộ nhớ như thế nào, nếu sử dụng: Thuật toán First fit, Best fit, Next fit, Worst fit? Thuật toán nào cho phép sử dụng bộ nhớ hiệ...
37 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 2126 | Lượt tải: 0
Bài giảng Hệ điều hành - Chương 6: Deadlocks - Trường Đại học công nghệ thông tinNếu hệ thống đang ở trạng thái safe -> không deadlock Nếu hệ thống đang ở trạng thái unsafe -> có thể dẫn đến deadlock Tránh deadlock bằng cách bảo đảm hệ thống không đi đến trạng thái unsafe
28 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 1503 | Lượt tải: 0
Bài giảng Hệ điều hành - Chương 5: Đồng bộ (Phần 3) - Trường Đại học công nghệ thông tinBiết được các giải pháp đồng bộ tiến trình theo kiểu “Sleep & Wake up” bao gồm: Semaphore Critical Region Monitor Áp dụng các giải pháp này vào các bài toán đồng bộ kinh điển
52 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 1792 | Lượt tải: 0
Giáo trình cơ sở dữ liệu - Chương 8: Tối ưu truy vấn - ĐH Khoa học tự nhiên HCMBước 4 - Với mỗi phép chiếu, áp dụng các qui tắc 3, 9 và 10 để đưa phép chiếu xuống càng sâu càng tốt Bước 5 - Tập trung các phép chọn (qui tắc 4) - Loại bỏ các phép chiếu vô ích (qui tắc 3)
21 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 937 | Lượt tải: 0
Giáo trình cơ sở dữ liệu - Chương 7: Ràng buộc toàn vẹn - ĐH Khoa học tự nhiên HCM2. Trưởng phòng phải sinh sau năm 1975 3. Một phòng phải có tối thiểu 1 nhân viên nữ 4. Trưởng phòng phải là người lớn tuổi nhất trong phòng ban đó. 5. Nếu một nhân viên đã là trưởng phòng thì nhân viên đó không làm người quản lý. 6. Nhân viên và nhân viên quản lý của nhân viên đó phải thuộc về 1 phòng
72 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1869 | Lượt tải: 0
Giáo trình cơ sở dữ liệu - Chương 6: Phép tính qun hệ - ĐH Khoa học tự nhiên HCMBiểu thức được gọi là an toàn nếu: - Những giá trị xuất hiện trong các bộ của biểu thức phải thuộc về miền giá trị của P - Lượng từ : biểu thức x (Q(x)) đúng khi và chỉ khi xác định được giá trị của x thuộc dom(Q) làm cho Q(x) đúng - Lượng từ : biểu thức x (Q(x)) đúng khi và chỉ khi Q(x) đúng với mọi giá trị của x thuộc dom(Q)
44 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1164 | Lượt tải: 1
Bài giảng Hệ điều hành - Chương 5: Đồng bộ (Phần 2) - Trường Đại học công nghệ thông tinCác giải pháp phần mềm Sử dụng giải thuật kiểm tra luân phiên Sử dụng các biến cờ hiệu Giải pháp của Peterson Giải pháp Bakery Các giải pháp phần cứng Cấp ngắt Chỉ thị TSL
22 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 891 | Lượt tải: 0
Bài giảng Hệ điều hành - Ôn tập giữa kỳ - Trường Đại học công nghệ thông tinGiới thiệu tổng quan về hệ điều hành Cấu trúc hệ điều hành Quản lý tiến trình Định thời CPU
18 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 1253 | Lượt tải: 0
Bài giảng Hệ điều hành - Chương 5: Đồng bộ (Phần 1) - Trường Đại học công nghệ thông tinRace condition Các giải pháp tổng quát để giải quyết tranh chấp 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 Các nhóm các giải pháp
20 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 884 | Lượt tải: 0
Bài giảng Hệ điều hành - Chương 4: Định thời CPU (Phần 2) - Trường Đại học công nghệ thông tinTại sao phải định thời? Nêu các bộ định thời và mô tả về chúng? Các tiêu chuẩn định thời CPU? Có bao nhiêu giải thuật định thời? Kể tên? Mô tả và nêu ưu điểm, nhược điểm của từng giải thuật định thời? FCFS, SJF, SRTF, RR, Priority Scheduling, HRRN, MQ, MFQ
33 trang | Chia sẻ: dntpro1256 | Ngày: 20/11/2020 | Lượt xem: 2323 | Lượt tải: 0
