TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn

Vị từ (predicate) có thể coi là hàm từ tập các đối tượng vào mệnh đề (hoặc giá trị chân lý): P :≡ “is 7 feet tall”; P(Mike) = “Mike is 7 feet tall.” = False. Xâu bit B có độ dài n có thể coi như hàm số từ các số {1, ,n} (vị trí bit) vào các bit {0,1}.E.g., B=101  B(3)=1.

33 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2773 | Lượt tải: 1

Hai tập hợp được nói là bằng nhau nếu và chỉ nếu chúng chứa chính xác cùng các phần tử như nhau. Không quan trọng, tập hợp được định nghĩa và ký hiệu như thế nào. Chẳng hạn: Tập hợp {1, 2, 3, 4} = {x | x là số nguyên trong đó x>0 và x<5 } = {x | x là số nguyên dương bình phương của nó là >0 và <25}

56 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2893 | Lượt tải: 4

Mục tiêu của IPC IPC: Inter-Process Communication Cho phép phối hợp hoạt động giữa các quá trình trong hệ thống Giải quyết đụng độ trên vùng tranh chấp

47 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2516 | Lượt tải: 2

Cơ bản về lập trình POSIX pthread „Lập trình IPC dùng signal, pipe, shared memory „Giải quyết tranh chấp bằng SVR4 semaphore „Giải quyết tranh chấp trên POSIX thread (tự đọc thêm)

71 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3346 | Lượt tải: 4

GNU Compiler Collection (GCC) Thư viện các hàm tiện ích: libc, libstdc++, Các trình biên dịch gcc, g++, gcj, gas, Trình khử lỗi gdb Trình tiện ích khác trong binutils như nm, strip, ar, objdump, ranlib (dùng lệnh info binutils để xem thêm) Tiện ích: gmake

74 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3204 | Lượt tải: 3

Thực hành trên hệ điều hành *nix „Có thể login trực tiếp hay dùng chương trình telnet/ssh để kết nối đến máy *nix „Mỗi người dùng phải có một tài khoản (account) để sử dụng hệ thống. Mỗi tài khoản gồm có: Tên sử dụng (username) Mật khẩu (password) Thư mục làm việc (home directory)

66 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2032 | Lượt tải: 1

Một chương trình đơn giản => chỉ có một vài file  Một chương trình “không đơn giản”  Nhiều dòng lệnh  Nhiều module  Nhiều người tham gia viết

12 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 1995 | Lượt tải: 1

Một chương trình đơn giản => chỉ có một vài file  Một chương trình “không đơn giản”  Nhiều dòng lệnh  Nhiều module  Nhiều người tham gia viết

24 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 1810 | Lượt tải: 1

FAT (File Allocation Table) – Mỗi block đĩa được tượng trưng bởi một entry trong FAT – Block với block nr i được tượng trưng bởi entry với chỉ số (index) i Entry chứa block nr kế tiếp trong file, nếu file gồm nhiều block

40 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2156 | Lượt tải: 3

Dùng các tác vụ thông thường trên file, – truy cập tuần tự (sequential access) truy xuất dữ liệu theo thứ tự, từng byte hoặc record – truy cập bất kỳ (random access)truy xuất dữ liệu, byte hoặc record, tại vị trí bất kỳ – truy cập dùng khóa truy xuất một record dựa vào key của nó

32 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2198 | Lượt tải: 3