Αρχές προγραμματισμού με ταυτοχρονισμό και κατανομή λογισμικού /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Greek English |
| Published: |
Θεσσαλονίκη :
Τζιόλας,
c2016.
|
| Edition: | 2η έκδ. |
| Subjects: |
Table of Contents:
- Πρόλογος
- 1. Τι είναι ο προγραμματισμός ταυτοχρονισμού (ΠΤ)
- 2. Η αγαίρεση του προγραμματισμού με ταυτοχρονισμό
- 3. Πρόβλημα του κρίσιμου τομέα (ΚΤ)
- 4. Επαλήθευση προγραμμάτων ταυτοχρονισμού
- 5. Προηγμένοι αλγόριθμοι για το πρόβλημα του κρίσιμου τομέα (ΚΤ)
- 6. Σηματοφορείς (semaphores)
- 7. Επιτηρητές (monitors)
- 8. Κανάλια
- 9. Χώροι πλειάδων
- 10. Κατανεμημένοι αλγόριθμοι
- 11. Καθολικές ιδιότητες
- 12. Συναίνεση
- 13. Συστήματα πραγματικού χρόνου (Real-Time Systems)
- Παράρτημα: I. Συμβολισμός ψευδοκώδικα
- II. Ανασκόπηση μαθηματικής λογικής
- III. Προβλήματα ΠΤ
- IV. Εργαλεία λογισμικού
- V. Επιπλέον αναγνώσματα
- Βιβλιογραφία.