Out of curiosity the implementer
Out of curiosity, the implementer of the transport entity of Fig. 6-20 has decided to put counters inside the sleep procedure to collect statistics about the conn array. Among these are the number of connections in each of the seven possible states, ni (i = 1, ..., 7). After writing a massive FORTRAN program to analyze the data, our implementer discovers that the relation Σni = MAX_CONN appears to always be true. Are there any other invariants involving only these seven variables?
Membership TRY NOW
  • Access to 800,000+ Textbook Solutions
  • Ask any question from 24/7 available
  • Live Video Consultation with Tutors
  • 50,000+ Answers by Tutors
Relevant Tutors available to help