Changes between Version 9 and Version 10 of TLMDT

Timestamp:

May 17, 2011, 11:59:40 AM (13 years ago)

Author:

gioja

Comment:

--

TLMDT

@@ -231 +231 @@
 {{{#!c++
 //Global Synchronisation
-// T = Time - Δ = quantum 
-If (T.global_input + Δqlc < T.local_crossbar)
+// T = Time - Q = quantum 
+If (T.global_input + Qqlc < T.local_crossbar)
    If (null_command of vci_transaction received from global crossbar)
       T.global_input = T.local_crossbar
@@ -239 +239 @@
    //Local Synchonisation
    For every local target
-      if(T.local_target + Δqlc < T.local_crossbar)
+      if(T.local_target + Qqlc < T.local_crossbar)
          send a null_command to the target
          T.local_target = T.local_crossbar
    //Global Synchronisation
-   If (T.global_input + Δqlc < T.local_crossbar)
+   If (T.global_input + Qqlc < T.local_crossbar)
       send a null_command to the global_crossbar
    //Initiators Synchronisation
@@ -269 +269 @@
 T.global_crossbar = min(all T inputs)
 For every input
-   If (T.input <= T.global_crossbar + Δqgc)
+   If (T.input <= T.global_crossbar + Qqgc)
       //Synchronization
       If(Req.type == Null_command)
@@ -284 +284 @@
 }}}
 == 10. Proof of the deadlock free feature
+What is to be proven : If a vci_transaction (local) waits on the external_crossbar (TSAR), it will be arbitrated.
+If the vci_transaction is global, the local external_crossbar input will have a greater time due to the null_response treatment.
+If there is more than one vci_transaction, the cluster the lowest one is considered, the others are already allowing the arbitration and can be neglect.
+
+{{{#!c++
+//Qqt : quantum targets - Qqlc : quantum local crossbar - Qqgc : quantum global crossbar
+//Δlocal - Δglobal : routing delays
+//EC  : External_crossbar
+//C   : Cluster which transmitted the transaction and need arbitration
+}}}
+{{{#!c++
+//Demonstrating that with condition : for every cluster else than C :
+T.EC_input > T.EC_input.C
+
+//Time of the pending request
+T.EC_input.C = minT.C.initiator = minT.global_crossbar_inputs - Δlocal //due to null_responses
+
+//Condition for locking the cluster :
+minT.initiator + Δlocal > minT.global_crossbar_inputs + Qqgc
+minT.initiator > T.EC_input.C + Qqgc
+
+//Condition for a memory cache to get a temporal information
+T.local_crossbar.memory_cache_output +Qqlc <= T.local_crossbar
+T.local_crossbar - Qqlc >= T.memory_cache
+
+//Condition for an input from the external_crossbar to get a temporal information
+T.memory_cache.EC_output + Qqt <= T.memory_cache
+T.memory_cache - Qqt >= T.EC_input
+T.local_crossbar - Qqlc - Qqt >= T.memory_cache - Qqt >= T.EC_input
+
+//minimum timer without update
+minT.EC_input = T.local_crossbar - Qqlc - Qqt + 1
+
+//The clusters are locked
+T.local_crossbar > T.EC_input.C + Qqgc
+T.local_crossbar - Qqlc - Qqt + 1 > T.EC_input.C + Qqgc - Qqlc - Qqt + 1
+minT.EC_input > T.EC_input.C + Qqgc - (Qqlc + Qqt) +1
+
+Then if Qqgc - (Qqlc + Qqt) + 1 > 0 , The inequality  -- minT.EC_input > T.EC_input.C -- is true too
+
+Thus
+
+Qqgc - (Qqlc + Qqt) + 1 > 0
+Qqgc > Qqlc + Qqt - 1
+-------------------
+Qqgc >= Qqlc + Qqt
+-------------------
+
+QED
+
+}}}
 == 11. Locating the loss in precision
 == 12. Adjust precision / performance for a simulation