- / -

- / -

This thesis concerns two main research areas of distributed web services deployed on cloud computing infrastructure. The first category is about monitoring of cloud computing infrastructure. In chapter 2 a novel general technique is used to infer relationships between different service components in a data center. This approach relies on a small set of fuzzy rules, produced by a hybrid genetic algorithm with high classification rate. Furthermore, the strength of detected dependencies is measured. Although we do not know the ground truth about relationships in a network, the proposed method mines realistic relationships without having any previous information about network topology and infrastructure. This approach can be a useful monitoring tool for administrators to obtain a clear view of what is happening in the underlying network. Finally, because of the simplicity of our algorithm and the flexibility of FIM, an online approach seems feasible. The second major problem, which is addressed in chapter 3, is the automated resource control of consolidated web applications on cloud computing infrastructure. ACRA is an innovative modeling and controlling technique of distributed services that are co-located on server cluster. The system dynamics are modeled by a group of linear state space models, which cover all the range of workload conditions. Because of the variant workload conditions, there are non-linear term and uncertainties which are modeled by an additive term in the local linear models. Due to the several types of service transactions with varying time and resources demands there are many desired candidate reference values of the SLOs during a day. Due to these requirements and the workload circumstances, we choose the appropriate model and we compute the closest feasible operating point according to several optimization criteria. Then using a set-theoretic technique a state feedback controller is designed that successfully leads and stabilize the system in the region of the equilibrium point. ACRA controller computes a positively invariant set on the state-space, which includes the target set and drives the system trajectories in it. Thus provide stability guarantee and high levels of robustness against system disturbances and nonlinearities. Furthermore we compare ACRA with an MPC and a PI controller and the results are very promising, since our solution outperforms the two other approaches. Secondly, a unified local level modeling and control framework for consolidated web services in a server cluster was presented, which can be a vital element of a holistic distributed control platform. Admission control and resource allocation were addressed as a common decision problem. Stability and constraint satisfaction was guaranteed. A real testbed was built and from a range of examples, in different operating conditions, we can conclude that both the identification scheme and controller provide high level of QoS. A novel component of this approach is the determination of a set of feasible operating (equilibrium) points which allows choosing the appropriate equilibrium point, depending only on what our objectives are, such as maximizing throughput, minimizing consumption or maximizing profit. Evaluation shows that our approach has high performance compared to well-known solutions, such as queuing models and measurement approach of equilibrium points. Both controllers succeed in their main targets respectively to the already proposed studies in literature. Firstly they satisfy the SLA requirements and the constraints of the underlying cloud computing infrastructure. To the best of our knowledge they are the only studies that calculate a set of feasible operating points that ensure system stability. Furthermore they adopt modern control theory and beyond the stability guarantee they introduce new control properties such as positively invariant sets , ultimate boundedness and e- contractive sets. / Στη παρούσα διδακτορική διατριβή δύο ερευνητικά θέματα επιλύονται. Αρχικά αναπτύσσεται μια τεχνική παρακολούθηση της δικτυακής κίνησης με σκοπό την εύρεση λειτουργικών σχέσεων μεταξύ των διάφορων μερών μιας δικτυακής εφαρμογής. Στο δεύτερο μέρος επιλύεται το πρόβλημα της αυτοματοποιημένη διανομής των πόρων σε δικτυακές εφαρμογές που μοιράζονται ένα κοινό περιβάλλον ΥΑΝ ( Υπολογιστική Αρχιτεκτονική Νέφους). Στόχος του πρώτου κεφαλαίου της διατριβής σε σχέση με την υπάρχουσα βιβλιογραφία είναι η δημιουργία ενός εργαλείου ανάλυσης της δικτυακής κίνησης έτσι ώστε να γίνονται κατανοητές οι λειτουργικές σχέσεις μεταξύ μερών των κατανεμημένων δικτυακών υπηρεσιών. Αυτός ο γράφος είναι πρωτεύον εργαλείο για πολλές εργασίες ενός διαχειριστή που εντάσσονται στο πεδίο της ανάλυσης της απόδοσης και της ανάλυσης των αρχικών αιτίων. Για παράδειγμα η ανίχνευση λανθασμένων εγκαταστάσεων ή διαδικτυακών επιθέσεων και ο σχεδιασμός για την επέκταση η μετατροπή των ΥΑΝ υποδομών. Το δεύτερο μέρος της παρούσας διατριβής ασχολείται με το θέμα της αυτοματοποιημένης κατανομής των υπολογιστικών πόρων ενός υπολογιστικού κέντρου ΥΑΝ σε ένα σύνολο εγκατεστημένων δικτυακών εφαρμογών. Η σύγχρονη τεχνολογία της εικονικοποίησης είναι ο κύριος παράγοντας για την «συστέγαση» πολλών κατανεμημένων υπηρεσιών σε υπολογιστικά κέντρα ΥΑΝ. Το ΕΑΚΠ (έλεγχος αποδοχής και κατανομή πόρων) είναι ένα αυτόνομο πλαίσιο μοντελοποίησης και ελέγχου, το οποίο παρέχει ακριβή μοντέλα και λύνει ενοποιημένα τα προβλήματα ΕΑ και ΚΠ των δικτυακών εφαρμογών που είναι συγκεντρωμένες σε υπολογιστικά κέντρα ΥΑΝ. Στόχος του ΕΑΚΠ είναι να μεγιστοποιεί την είσοδο των αιτήσεων των χρηστών στη παρεχόμενη υπηρεσία εκπληρώνοντας παράλληλα και τις προδιαγεγραμμένες απαιτήσεις ΠΥ (Ποιότητα Υπηρεσίας). Ο δεύτερος τοπικός ελεγκτής που παρουσιάζεται σε αυτή τη διατριβή είναι ένα αυτόνομο πλαίσιο μοντελοποίησης και ελέγχου κατανεμημένων δικτυακών εφαρμογών σε περιβάλλον ΥΑΝ, το οποίο λύνει συγχρόνως τα προβλήματα ΕΑ και ΚΠ με ενιαίο τρόπο.

Στην παρούσα εργασία παρουσιάζονται εφαρμογές των στοχαστικών διαδικασιών στα λεγόμενα κοινωνικά συστήματα από τη σκοπιά του προγραμματισμού ανθρώπινου δυναμικού (manpower planning). O προγραμματισμός του ανθρώπινου δυναμικού έχει να κάνει με την κατάλληλη τοποθέτηση των μελών του συστήματος στις σωστές θέσεις, σε αριθμούς οι οποίοι εγγυώνται την ομαλή λειτουργία. Αρχικά αναπτύσσουμε το μη ομογενές Μαρκοβιανό σύστημα (ΜΟΜΣ), το οποίο έχει ως βάση του τις Μαρκοβιανές αλυσίδες: η συμπεριφορά του καθορίζεται από την οριακή ή σε πεπερασμένο χρόνο συμπεριφορά μιας μη ομογενούς Μαρκοβιανής αλυσίδας. Το ΜΟΜΣ, είναι ένα μαθηματικό μοντέλο, το οποίο αποτέλεσε μια θεωρία ενοποίησης μέσα σε ένα κοινό πλαίσιο, πολλών γνωστών στοχαστικών μοντέλων προγραμματισμού ανθρώπινου δυναμικού. Στη συνέχεια επικεντρωνόμαστε στον έλεγχο της συμπεριφοράς του μοντέλου. Για το σκοπό αυτό, ορίζουμε μια σχέση για το αναμενόμενο κόστος λειτουργίας και αμοιβών του ΜΟΜΣ. Στη σχέση αυτή δίνουμε τη γενικότερη δυνατή μορφή, έτσι ώστε να περιλαμβάνει ως ειδικές περιπτώσεις αρκετές από τις παραλλαγές των συναρτήσεων κόστους-αμοιβών που υπάρχουν. Τέλος, με τη βοήθεια του προγραμματισμού στόχων (Goal Programming), ελέγχουμε τις ροές του ΜΟΜΣ προκειμένου να επιτευχθεί μια ικανοποιητική συμπεριφορά σύμφωνα με κάποιους στόχους, καθώς το σύστημα περνάει τις τρεις φάσεις λειτουργίας του, δηλ. την παροδική, την ημι-παροδική και τη φάση στατιστικής ισορροπίας. / Manpower planning deals with aspects of human resources management and has been given considerable attention in the last decades. In the attempt to simulate the evolution of a manpower system and predict its future properties, mathematical models were proved to be extremely helpful both for descriptive and optimization purposes. Manpower systems have been modeled in several ways, deterministic or stochastic. The attempt of determine and regulate future structures in a manpower planning system is based mainly on the selection of appropriate recruitment distribution vectors. This effort gives rise to the control problem in mathematical manpower planning. The control of manpower systems has been of considerable concern in recent times. In a series of articles and books beginning back in the early 70's, the problem of finding appropriate recruitment policies was considered, and various mathematical models were developed according to several criteria and practical considerations. In the present work aspiration levels and priorities using goal programming are employed in a NHMS which evolves in three phases, the transient, the semi-transient and the equilibrium phase. The general goal programming framework is used in several variations which depend on the phase, in order to detect appropriate input policies that can achieve a satisfactory trade off between operational cost and target attainability.

Οι ηλεκτροµηχανικές συσκευές αποθήκευσης δεδοµένων πολύ µικρής κλίµακας που βασίζονται στη χρήση ανιχνευτών (probes) αποτελούν ανερχόµενες εναλλακτικές επιλογές για τη βελτίωση της πυκνότητας αποθήκευσης, του χρόνου πρόσβασης των δεδοµένων και της απαιτούµενης ισχύος σε σχέση µε τις συµβατικές αποθηκευτικές συσκευές. Μία υλοποίηση µιας τέτοιας συσκευής χρησιµοποιεί θερµοµηχανικές µεθόδους για την αποθήκευση πληροφορίας σε λεπτές µεµβράνες πολυµερών υλικών. Σε αυτή την περίπτωση, η ψηφιακή πληροφορία αποθηκεύεται µε τη µορφή κοιλωµάτων πάνω στο πολυµερές υλικό, οι οποίες δηµιουργούνται από τις άκρες των ανιχνευτών διαµέτρου µερικών nm. Με στόχο την αύξηση του ρυθµού εγγραφής και ανάγνωσης χρησιµοποιούνται διατάξεις από ανιχνευτές που λειτουργούν παράλληλα, µε κάθε ανιχνευτή να εκτελεί λειτουργίες εγγραφής/ανάγνωσης/διαγραφής σε ξεχωριστό αποθηκευτικό πεδίο. Βασικές απαιτήσεις κατά τη λειτουργία τέτοιων συσκευών αποτελούν η εξαιρετικά µεγάλη ακρίβεια και η µικρή καθυστέρηση κατά τη µετακίνηση των ανιχνευτών πάνω από το πολυµερές υλικό. Η παρούσα διατριβή έχει ως αντικείµενο τη µελέτη των διατάξεων κίνησης και τη σχεδίαση πρωτότυπων αρχιτεκτονικών ελέγχου, που οδηγούν στη βελτίωση της απόδοσης των απαιτούµενων, σε συσκευές τέτοιου τύπου, λειτουργιών ελέγχου. Η µετατόπιση του αποθηκευτικού µέσου σε σχέση µε τη διάταξη των ανιχνευτών επιτυγχάνεται µε τη χρησιµοποίηση µικρής κλίµακας scanners, που έχουν δυνατότητες κίνησης σε δύο κατευθύνσεις (x/y). Πληροφορία για τη θέση του microscanner στις δύο κατευθύνσεις παρέχεται από θερµικούς αισθητήρες ανίχνευσης θέσης που κατασκευάζονται µαζί µε τη διάταξη µε τους ανιχνευτές και τοποθετούνται πάνω από το κινητό πλαίσιο. Η πλήρης κατανόηση της συµπεριφοράς των διατάξεων αυτών αποτελεί απαραίτητο στοιχείο για τον αποτελεσµατικό σχεδιασµό και την ανάλυση των συστηµάτων ελέγχου. Στα πλαίσια της διατριβής δηµιουργήθηκε ένα πλήρες µοντέλο της διάταξης του microscanner και των θερµικών αισθητήρων ανίχνευσης θέσης. Σύγκριση της απόκρισης του µοντέλου µε τις πειραµατικές µετρήσεις καταδεικνύει ότι το µοντέλο προσεγγίζει µε εξαιρετική ακρίβεια την απόκριση του συστήµατος. Το σύστηµα ελέγχου περιλαµβάνει, στην αρχή, τη λειτουργία αναζήτησης/ αποκατάστασης, κατά την οποία το σύστηµα εντοπίζει τη θέση όπου απαιτείται να πραγµατοποιηθεί εγγραφή ή ανάγνωση πληροφορίας µε εκκίνηση µία αυθαίρετη θέση του κινητού πλαισίου. Απαίτηση του συστήµατος κατά τη λειτουργία αυτή είναι η ελαχιστοποίηση του χρόνου πρόσβασης των δεδοµένων. Η γρήγορη πρόσβαση στα δεδοµένα αποτελεί µια σηµαντική πρόκληση στις συµβατικές αποθηκευτικές συσκευές. Με το πλεονέκτηµα των ελαφρύτερων µηχανικών µερών, οι υπό µελέτη συσκευές αποθήκευσης βασισµένες στην τεχνολογία MEMS θεωρούνται βασικές υποψήφιες για τη βελτίωση του χρόνου πρόσβασης των δεδοµένων. Οι σχετικές προοπτικές των συσκευών αυτών διερευνώνται αναλυτικά στα πλαίσια της διατριβής. Συγκεκριµένα, αρχικά µελετάται η απόδοση διαφόρων συστηµάτων µε βάση τη θεωρία ελέγχου βέλτιστου χρόνου. Τα αποτελέσµατα της µελέτης δίνουν το θεωρητικά βέλτιστο χρόνο πρόσβασης και την εξάρτησή του από τις παραµέτρους του κάθε συστήµατος. Στη συνέχεια, περιγράφεται η αρχιτεκτονική ελέγχου για τη λειτουργία αναζήτησης και παρουσιάζονται τα αποτελέσµατα που αντλήθηκαν από το περιβάλλον προσοµοίωσης και από την πειραµατική διάταξη. Τα αποτελέσµατα καταδεικνύουν ότι οι χρόνοι πρόσβασης των δεδοµένων που είναι δυνατό να επιτευχθούν µε τις συσκευές αυτές, είναι σηµαντικά µικρότεροι σε σχέση µε τις συµβατικές. Στη συνέχεια, ακολουθεί η λειτουργία παρακολούθησης, όπου η θέση των ανιχνευτών πρέπει να παραµένει στο κέντρο του επιθυµητού καναλιού, κατά τη διάρκεια εγγραφής/ανάγνωσης των δεδοµένων. Η απαίτηση για µεγάλη ακρίβεια στη µετακίνηση πάνω από τη νοητή γραµµή του κέντρου του καναλιού, της µίας ή περισσότερων κεφαλών που χρησιµοποιούνται κατά την εγγραφή/ανάγνωση, είναι σηµαντική για όλους τους τύπους αποθηκευτικών συσκευών. Οι απαιτήσεις για ακρίβεια γίνονται ακόµα πιο µεγάλες και κρίσιµες, στην περίπτωση των υπό µελέτη αποθηκευτικών συσκευών, όπου η ψηφιακή πληροφορία αποθηκεύεται σε µία περιοχή µε µέγεθος µερικών nm. Το σύστηµα ελέγχου, κατά τη λειτουργία αυτή, οφείλει να παρακολουθεί το επιθυµητό σήµα αναφοράς, και ταυτόχρονα να έχει ικανοποιητική απόρριψη των διαταραχών και να επιτυγχάνει την απαιτούµενη ακρίβεια ως προς τον προσδιορισµό της θέσης. Παράλληλα, σηµαντικό παράγοντα βελτιστοποίησης αυτής της λειτουργίας, αποτελεί ο ρυθµός εγγραφής/ανάγνωσης των δεδοµένων. Η πρώτη προσέγγιση για την αρχιτεκτονική ελέγχου, κατά τη λειτουργία αυτή, βασίζεται στην παρεχόµενη από τους θερµικούς αισθητήρες ανίχνευσης, πληροφορία της θέσης του microscanner. Η αρχιτεκτονική βασίζεται στον αλγόριθµο του γραµµικού τετραγωνικού ρυθµιστή (LQG) και η αξιολόγησή της γίνεται µε κριτήρια την ικανότητα παρακολούθησης της εισόδου, την απόρριψη των διαταραχών και την ακρίβεια ως προς τον προσδιορισµό της θέσης. Τα αποτελέσµατα που εξήχθησαν, κατά την υλοποίηση της αρχιτεκτονικής ελέγχου στην πειραµατική διάταξη, αναδεικνύουν ότι η αρχιτεκτονική πληρεί τις απαιτήσεις και η ακρίβεια µερικών nm που επιτυγχάνεται στον προσδιορισµό της θέσης επιτρέπει την αξιόπιστη εγγραφή και κατόπιν ανάγνωση δεδοµένων από την αποθηκευτική συσκευή. Μειονέκτηµα της παραπάνω προσέγγισης αποτελεί ο χαµηλής συχνότητας θόρυβος των θερµικών αισθητήρων, που επηρεάζει τη σωστή λειτουργία του κλειστού συστήµατος σε µεγάλες περιόδους λειτουργίας της συσκευής. Το πρόβληµα αυτό επιλύεται µε µία πρωτότυπη προσέγγιση που αναπτύχθηκε στα πλαίσια της διατριβής και βασίζεται στην πληροφορία, την προερχόµενη από τους θερµικούς αισθητήρες ανίχνευσης θέσης, σε συνδυασµό µε το προερχόµενο από το αποθηκευτικό µέσο σήµα σφάλµατος θέσης. Ο σχεδιασµός του συστήµατος ελέγχου, στην περίπτωση αυτή, εκµεταλλεύεται την εκ των προτέρων γνώση των χαρακτηριστικών θορύβου ως προς τη συχνότητα των δύο αισθητήρων ανίχνευσης θέσης, έτσι ώστε το σύστηµα ελέγχου που προκύπτει να χρησιµοποιεί την πιο αξιόπιστη µέτρηση σε κάθε περιοχή συχνοτήτων. Το πλαίσιο του σθεναρού ελέγχου, H∞, χρησιµοποιείται κατά το σχεδιασµό αυτής της αρχιτεκτονικής ελέγχου, µε διαχωρισµό ως προς τη συχνότητα. Με χρήση αυτής της µεθόδου, το σύστηµα ελέγχου δεν επηρεάζεται από τον χαµηλής συχνότητας θόρυβο των θερµικών αισθητήρων. Τα αποτελέσµατα που εξήχθησαν κατά την υλοποίηση της αρχιτεκτονικής ελέγχου στην πειραµατική διάταξη επιβεβαιώνουν τα παραπάνω. Η µέθοδος αυτή είναι πιο γενική και µπορεί να εφαρµοστεί σε κάθε πρόβληµα ελέγχου, που έχει δύο ή και περισσότερους αισθητήρες µε διαφορετικά χαρακτηριστικά απόδοσης σε διαφορετικές περιοχές συχνοτήτων. / Micro-electro-mechanical-system (MEMS)-based scanning-probe storage devices are emerging as potential ultra-high-density, low-access-time, and low-power alternatives to conventional data storage. One implementation of probe-based storage uses thermomechanical means to store and retrieve information in thin polymer films. Digital information is stored by making indentations on the thin polymer film with the tips of atomic force microscope (AFM) cantilevers, which are a few nanometers in diameter. To increase the data rate, an array of probes is used, in which each probe performs read/write/erase operations over an individual storage field. One of the primary challenges in building such devices is the extreme accuracy and the short latency required in the navigation of the probes over the polymer medium. This dissertation describes the design of novel control architectures and the characterization of their performance. The associated modelling effort, theoretical analysis, simulation work and experimental results are presented. Displacement of the storage medium relative to the array of cantilevers is achieved by using silicon-based micro-scanners with x/y-displacement capabilities. The x/y positional information can be provided by thermal position sensors that are fabricated on the cantilever-array chip and positioned directly above the scan table. A thorough understanding of the dynamics of these parts of the device is essential for effective design and analysis of the control architectures. In this dissertation a complete model of the micro-scanner and the thermal position sensors was developed. Comparison of the model response with the experimental data have shown that the model approximates the system response with an excellent accuracy. In general, the servo system in such a storage device has two functions. First, it locates the target track to which information is to be written or read back from, starting from an arbitrary initial position of the scan table carrying the storage medium. This is achieved by the so-called seek-and-settle procedure. The data access time depends on the duration of this operation, and therefore the minimization of its duration constitutes an important optimization factor. The speed of data access is a significant bottleneck in today’s computing systems. With the advantage of the lighter moving stage MEMS-based storage devices are widely touted to improve access times. In this dissertation these perspectives are examined in detail. Initially the time-optimal control theory has been studied for different system models and their performance has been examined regarding the optimal access time. The results of this study have provided the theoretically optimal access time for each model and its dependence on the system parameters. The control architecture for the seek operation has been designed. The simulation and experimental results show that the possible access times that can be achieved are significantly smaller than the conventional storage devices. The second function of the control system is to maintain the position of the read/write probes on the centre of the target track as they are being scanned along the length of this track during the normal read/write operation. This is achieved by the so-called track-follow procedure. Precise positioning and navigation of the read/write head(s) on the track centerlines is of paramount importance in all types of storage devices. The requirements become more crucial in the devices under study, where in order to achieve reliable storage and retrieval of data, accuracy in the order of a few nanometers in the scanner motion is needed. Therefore, the tracking of the reference signal, the disturbance rejection capabilities and the positioning resolution are considered as performance measures for the control system in this operation. Similarly, the read/write data rate constitutes an important optimization factor for this operation. The first approach of the control architecture for the track-follow procedure uses the position information from the thermal sensors. The control of the position in the x/y directions is realized using two independent feedback loops and each controller is based on the linear quadratic Gaussian regulator (LQG). For the evaluation of the proposed control architecture a detailed analysis has been performed in terms of the tracking performance, the disturbance rejection and the positioning resolution. The proposed architecture has been implemented in the experimental set-up and the analytical results are in agreement with those obtained experimentally. The experimental results show that the accuracy in the motion of the micro-scanner obtained with the proposed control architecture allows reliable storage and retrieval of data in the storage device. The disadvantage of the above control scheme originates from the low frequency noise of the thermal sensors that affects the closed loop performance for long term operation of the device. A novel control architecture was developed that addresses this problem by using medium-derived position information along with the thermal positioning sensor. The objective of this method is, using the a priori knowledge of the noise characteristics of the two sensors, to create a control structure that utilizes the best measurement in different frequency regions. The framework of the H∞ robust control was used for the design of this new frequency separated control architecture. Using this method the control system is not affected from the low frequency noise of the thermal sensors. The experimental results validate the performance of the proposed method. The developed methodology is more general and can be applied to any control problem that has two or more sensors with different performance characteristics in different frequency regions.