Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10....

15
Πολυτεχνική Σχολή

Transcript of Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10....

Page 1: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Πολυτεχνική Σχολή

Page 2: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Καθηγητής Ιωάννης Γαροφαλάκης, Πρόεδρος

Καθηγητής Ευστράτιος Γαλλόπουλος, Διευθυντής ΠΣ

Διδάσκοντες Μαθήματος Τεχνολογίας και Προγραμματισμού Υπολογιστών

Καθηγητής Γεώργιος Αλεξίου Αναπλ. Καθηγητής Ιωάννης Χατζηλυγερούδης Επίκουρος Καθηγητής Χρήστος Μακρής Λέκτορας Σπυρίδων Βούλγαρης ΕΔΙΠ Αριστείδης Ηλίας

Page 3: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Το Τμήμα

• Ιστορία

• Χώροι

• Τομείς Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών

Λογικού των Υπολογιστών

Υλικού και Αρχιτεκτονικής των Υπολογιστών

• Εργαστήρια- Υπολογιστικό Κέντρο

• Μαθήματα

• Εκδηλώσεις (επίσκεψη Justin Cappos)

• Φοιτητικές Ομάδες

Page 4: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Επαγγελματικά Δικαιώματα

• ηλεκτρονικοί υπολογιστές,

• τηλεπικοινωνίες, τηλεπικοινωνιακά συστήματα και δίκτυα,

• πληροφορική και πληροφοριακά συστήματα

• συστήματα αυτοματισμού, επεξεργασίας σημάτων, επεξεργασίας εικόνας και ήχου, επεξεργασίας ομιλίας, γραφικών, κ.λπ.

Page 5: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Συμβουλές «Δασκάλων»

• Μην εφησυχάσετε

• Δουλέψτε στο πρώτο έτος για να βάλετε τις βάσεις που οφείλετε στον εαυτό σας

Page 6: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

6

ΩΡΕΣ ΔΕΥΤΕΡΑ ΤΡΙΤΗ ΤΕΤΑΡΤΗ ΠΕΜΠΤΗ ΠΑΡΑΣΚΕΥΗ

9-10 Τεχνολογία και Προγραμματισμός

Υπολογιστών

(ΒΑ) Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Τεχνολογία και

Προγρ/σμός Υπολογιστών

(ΒΑ) - (φροντιστήριο)

Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Διακριτά

Μαθηματικά

(ΒΑ)

Χ. Μπούρας

Διακριτά

Μαθηματικά

(ΒΑ) - (φροντιστήριο)

Χ. Μπούρας

10-11 Τεχνολογία και Προγραμματισμός

Υπολογιστών

(ΒΑ) Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Τεχνολογία και

Προγρ/σμός Υπολογιστών

(ΒΑ) - (φροντιστήριο)

Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Διακριτά

Μαθηματικά

(ΒΑ)

Χ. Μπούρας

Διακριτά

Μαθηματικά

(ΒΑ) - (φροντιστήριο)

Χ. Μπούρας

11-12 Τεχνολογία και Προγραμματισμός

Υπολογιστών

(ΒΑ) Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Τεχνολογία και

Προγρ/σμός Υπολογιστών

(ΒΑ) - (φροντιστήριο)

Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης,

Α. Ηλίας

12-13 Τεχνολογία και Προγραμματισμός

Υπολογιστών

(ΒΑ) Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Μαθηματικά Ι

(ΒΑ)

Β. Παπαγεωργίου

Αγγλική Γλώσσα

(ΑΠ7)

Σ. Ατματζίδη

13-14 Τεχνολογία και

Προγραμματισμός Υπολογιστών

(ΒΑ) Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Μαθηματικά Ι

(ΒΑ)

Β. Παπαγεωργίου

Φυσική

(ΒΑ)

Χ. Χρηστίδης

Αγγλική Γλώσσα

(ΑΠ7)

Σ. Ατματζίδη

14-15 Τεχνολογία και

Προγραμματισμός Υπολογιστών

(ΒΑ) Χ. Μακρής,

Ι. Χατζηλυγερούδης,

Γ. Αλεξίου, Σ. Βούλγαρης, Α. Ηλίας

Μαθηματικά Ι

(ΒΑ)

Β. Παπαγεωργίου

Φυσική

(ΒΑ)

Χ. Χρηστίδης

Αγγλική Γλώσσα

(ΑΠ7)

Σ. Ατματζίδη

15-16 Φυσική

(ΒΑ)

Χ. Χρηστίδης

16-17 Φυσική

(ΒΑ) - (φροντιστήριο)

Χ. Χρηστίδης

17-18 Λογική Σχεδίαση Ι

(ΒΑ)

Χ. Βέργος

Λογική Σχεδίαση Ι

(ΒΑ) - (φροντιστήριο)

Χ. Βέργος

Μαθηματικά Ι

(ΒΑ) - (φροντιστήριο)

Β. Παπαγεωργίου

18-19 Λογική Σχεδίαση Ι

(ΒΑ)

Χ. Βέργος

Λογική Σχεδίαση Ι

(ΒΑ) - (φροντιστήριο)

Χ. Βέργος

Μαθηματικά Ι

(ΒΑ) - (φροντιστήριο)

Β. Παπαγεωργίου

Page 7: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

• Γνωριμία με τα θέματα και τα γνωστικά αντικείμενα της επιστήμης μας

• Κατανόηση του χώρου

• Σύνδεση εφαρμογών και θεωρίας των ΤΠΕ

• Βάσεις για τη συνέχεια

• Όραμα για την επιστήμη

• Κατευθύνσεις

Τεχνολογία και Προγραμματισμός Υπολογιστών

Στόχος

Page 8: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Τεχνολογία και Προγραμματισμός Υπολογιστών

Προσδοκώμενα Αποτελέσματα

Γεφύρωση του χάσματος

Λυκείου-ΑΕΙ

Εισαγωγή στον κόσμο της

Πληροφορικής και των

Υπολογιστών

Γνωριμία με τα αντικείμενα του

ΤΜΗΥΠ

Δημιουργία των

απαραίτητων βάσεων

Διασύνδεση των

διατομεακών αντικειμένων

Κατανόηση των

εφαρμογών των γνωστικών

αντικειμένων

Κατανόηση της διατομεακής

συνοχής

Page 9: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Επιστήμη των Υπολογιστών

Τεχνολογία και Προγραμματισμός Υπολογιστών

Δομή Ενοτήτων

• Μέρη του Υπολογιστή • Οργάνωση υπολογιστών

• Αρχές Γλωσσών Προγραμματισμού • Γλώσσα Προγραμματισμού C • Δομές δεδομένων • Βάσεις δεδομένων • Ασφάλεια • Τεχνολογία λογισμικού • Τεχνητή νοημοσύνη, κ.ά.

• Λειτουργικά Συστήματα

• Δίκτυα υπολογιστών και Διαδίκτυο

• Εφαρμογές

• Αριθμητικά συστήματα

• Αλγοριθμική Λογική

• Μαθηματικά για υπολογιστές

Page 10: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Τεχνολογία και Προγραμματισμός Υπολογιστών

Βιβλιογραφία

Page 11: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Τεχνολογία και Προγραμματισμός Υπολογιστών

Πρόσθετη Βιβλιογραφία

• Χορηγία του Τμήματος

• Οπότε μην το δηλώσετε στο «ΕΥΔΟΞΟΣ»

Page 12: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Τεχνολογία και Προγραμματισμός Υπολογιστών

Διαδικαστικά

• Ωρολόγιο Πρόγραμμα Μαθήματος

• Διαδικτυακοί Τόποι (http://software.hpclab.ceid.upatras.gr/)

• Εργαστηριακές Ασκήσεις

• Η τελική εργαστηριακή εξέταση λαμβάνει το 10% του τελικού βαθμού

Page 13: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Τεχνολογία και Προγραμματισμός Υπολογιστών

Διαδικαστικά- Γιατί C;

• Είναι σχετικά μικρή και εύκολη στην εκμάθηση υποστηρίζοντας top down/modular σχεδιασμό και δομημένο προγραμματισμό

• Υπάρχει μεγάλη εγκατεστημένη βάση εφαρμογών που αναπτύχθηκαν με τη γλώσσα αυτή.

• Μπορεί να διαχειριστεί: δυαδικά ψηφία (bits), ψηφιολέξεις (bytes), συμβολοσειρές (words), δείκτες (pointers).

• Μπορεί να χρησιμοποιηθεί για χαμηλού επιπέδου προγραμματισμό επιτρέποντας άμεση πρόσβαση στους πόρους του υπολογιστή. Συνεπώς είναι κατάλληλη γλώσσα για ανάπτυξη προγραμμάτων συστήματος (systems programs) όπως είναι: λειτουργικά συστήματα (operating systems), διερμηνευτές (interpreters), συντάκτες (editors), συμβολομεταφραστές (assemblers), μεταγλωττιστές (compilers), διαχειριστές βάσεων δεδομένων (database managers).

Page 14: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Ομιλία Dr. Justin Cappos NetCheck: Network Diagnoses from Blackbox Traces

Παρασκευή, 2 Οκτωβρίου 2015

Π200 (πίσω από κτίριο Β) This talk introduces NetCheck, a tool to diagnose network problems in large and complex applications. NetCheck uses traces from existing blackbox tracing mechanisms, such as strace, to diagnose network problems in real world applications. NetCheck can diagnose faults without any specific information about the underlying network or application. NetCheck does this by (1) totally ordering the distributed set of input traces, and by (2) utilizing a network model to identify points in the totally ordered execution where the traces deviated from the behavior a programmer is likely to expect. The key insight in this work is to perform network problem diagnosis by understanding how the programmer expects the network to operate and look for differences in the observed behavior. Our evaluation demonstrates that NetCheck is able to accurately diagnose failures without relying on any application- or network-specific information. For instance, NetCheck correctly identified the existence of NAT devices, simultaneous network disconnection/reconnection, and platform portability issues. In a more targeted evaluation, we have found thatNetCheck correctly detects over 95% of the network problems reported in popular projects like Python, Apache, and Ruby. When applied to traces of faults observed by a network administrator in a live network, NetCheck identified the primary cause of the fault in 90% of the cases. NetCheck performs diagnosis efficiently and can process a GB-long trace in about 2 minutes.

I will also give an overview of the Computer Science and Engineering department at NYU and discuss opportunities for PhD students, interns, and full time developer positions in New York City.

Page 15: Πολυχνική Σχολήsoftware.hpclab.ceid.upatras.gr/presentation/ypodoxi... · 2015. 10. 6. · NetCheck: Network Diagnoses from Blackbox Traces Παρακυή, 2 Οκωβρίου

Καλή Σταδιοδρομία