אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט1 פרק 9 נקודות חשובות בתרגיל 10 Guarded Operation

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט2 מבנה הפרויקט

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט3 הבטים שונים (OMD1) ארכיטקטורה של המערכת-מחלקות

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט4 הבטים שונים (OMD 2) מבנה של Composite חשוב

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט5 הבטים שונים (OMD 3) בניית המערכת

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט6 הבטים שונים (OMD 4) מבנה Packages בלי מחלקות

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט7 הבטים שונים (OMD 5) מבנה Packages עם מחלקות

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט8 בניית מערכת (1): >

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט9 בניית מערכת (2): Sys מחלקה המיועדת רק לבנות יתר המופעים Sys::Sys() { Adc::getInstance();}

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט10 בניית מערכת (3): Sensor שילוב בין singleton ל association Sensor::Sensor() {itsAdc = Adc::getInstance();}

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט11 התנהגות של המערכת: Statecharts

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט12 פעולות read() של מחלקות Sensor enum eChannel { VOLTAGE, TEMPERATURE, PRESSURE, CALIBRATION }; int TemperatureSensor::read() { int n; n = itsAdc->read ( TEMPERATURE ); n *= 5; return n; } int PressureSensor::read() {return( 10 * itsAdc->read( PRESSURE ));} int VoltageSensor::read() { int n = itsAdc->read( VOLTAGE ); n *= 3; n /= 2; return n; }

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט13 פעולות read() של מחלקת Adc (1)

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט14 פעולות read() של מחלקת Adc (2) //file Adc.h class Adc { public: int value;... //etc. } //file Adc.cpp int Adc::read(echannel aChannel) { int i,n; itsMux.select( aChannel ); for ( i=0,n=0; i<8; i++ ) { if ( itsDataIn.isHigh() ) n = ( n << 1 ) + 1; else n = ( n << 1 ) ; } value = n; return n; } //file Mux.h class Mux { private: eChannel channel;... //etc. } //file Mux.cpp void Mux::select (eChannel aChannel) {channel=aChannel;} //file DataIn.cpp bool DataIn::isHigh() { return ( rand() % 2 == 0{;( bool DataIn::isLow() { return (!isHigh());}

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט15 Guarded Operation- Mutexs Rhapsody provides OMProtected which is a mutex (or binary semaphore) for protecting consecutive access to devices. OMProtected can be used as follows: –attribute OMProtected myMutex; –free myMutex.free(); –lock myMutex.lock();

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט16 Unguarded Access to Adc::read() In the following example, each Sensor calls the Adc::read() operation to measure Voltage / Temperature or Pressure. The read operation selects the appropriate multiplexor input and does eight serial reads on DataIn.

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט17 Unguarded Behavior Current read() operation is interrupted by another.

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט18 Guarding Operations Rhapsody can use the mutex OMProtected to guard access to a particular operation to stop concurrent access. This can be done by setting the property concurrency from sequential to guarded. All operations in a same class, that are guarded will be guarded by the same mutex.

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט19 Guarded Behavior Concurrent read() operation is blocked by mutex and is executed when current read() ends.

אביב תשס"ה JCTתיכון תוכנה: ד"ר ראובן גלנט20 Guarded Operation : Code