9 Replies Latest reply on Jan 11, 2011 11:14 PM by junghyun

    How to ensure a write is finished?

    junghyun

      Is there any facility to inform a write operation to main memory is finished?

       

      For example, core 0 writes address A and somehow the data is on the bus ( in case of cache eviction, wirte through, or uncacheable ),

       

      how can core 0 know the data is stored in the main memory completely?

       

       

      What I want to do is transferring large data between core 0 and core 1.

       

      In order to do this, core 0 should notify core 1 that its data is stored to main memory completely, so that core 1 can read the data from main memory.

       

      If core 1 read a little bit early, then it could read stale data.

       

      (if core 1 is much closer to memory controller than core 0)

       

       

      Does anyone know how to solve it?

        • 1. Re: How to ensure a write is finished?
          tedk

          Are you using RCCE? RCCE_recv() is a blocking call. RCCE_recv_test() is the non-blcoking cversion. It sets a variable called test to indicatre whether the message is received or not.

          • 2. Re: How to ensure a write is finished?
            junghyun

            I'm not talking about RCCE. Just write operation of the core.

             

            Even if I use RCCE, It cannot tell the write operation is finished.

             

            For example, let's see the scenario below.

             

            Core 0                                          Core 1

             

            Writes C to addr A

            RCCE_send()

                                                             RCCE_recv()

                                                             Read from addr A

             

             

             

            Can you tell me Core 1 gets C always?

             

            If core 1 is much closer to memory controller, it can read the address before C gets to memory.

             

            I'm not an expert, and it is my assumption.

             

            If I'm wrong, please explain it. Thanks.

            • 3. Re: How to ensure a write is finished?
              tedk

              The RCCE_recv() is a blocking call and will return when C is available. You can write your own mesage passing calls if you want ... the RCCE code is opensource and available. You can look at its GORY version to see the details of how RCCE determines when data are available.

              • 4. Re: How to ensure a write is finished?
                bamarker

                It's probably important to note that the Send and Recv function in RCCE don't go through main memory to transfer data.  They transfer data between the cores through the network and the on-tile communication buffer.  They use synchronization methods to ensure that the core knows WHEN the data is done.  Proximity to the memory controllers doesn't affect anything you're worried about.

                • 5. Re: How to ensure a write is finished?
                  tedk

                  Yes!  Bryan may just have pointed out what is the key issue on this thread. RCCE message passing occurs through the MBP and bypasses L2. I haven't so far seen any user get concerned about the distance of a core from a memory controller.

                   

                  Here are a couple of quotes form the Programmer's Guide.

                   

                   

                  "When a message-passing program sends a message from one core to another, internally it is moving data from the L1 cache of the sending core to its MPB and then to the L1 cache of the receiving core.  The MPB allows L1 cache lines to move between cores without having to use the off-chip memory."

                   

                   

                  "Message-passing data are typed as message-passing buffer type (MPBT). Data typed as MPBT bypass the L2 cache. If you write to data that are already resident in the cache, the cache line may (if L1 is configured as write-through) or may not (if L1 is configured as write-back) be moved to memory."

                  • 6. Re: How to ensure a write is finished?
                    jheld

                    All writes are acknowledged end to end over the NOC and the P54C has only one write buffer (so only one outstanding write).  Therefore, if a producer core writes data to DRAM, then writes a flag to MPB of consumer which is much closer to DRAM than the producer, the DRAM data is guaranteed to be there before the consumer sees the flag change.  There is no race due to the two core's different distance from the DRAM.

                     

                    However, be careful, that presumes you handle caching correctly (or uncacheable R/W are used).  Because there is no cache coherence, stale data in the cache of the consumer can cause problems - it will receive no invalidate from the producer's write.

                    • 7. Re: How to ensure a write is finished?
                      junghyun

                      I don't know I understand your article thoroughly.

                       

                      So, If a core writes to address 0x1000 then writes to address 0xF000, the second write should wait until the acknowledgement of the first write arrives.

                       

                      Is this right?

                       

                       

                      If the second one is released before getting the first acknowledge, then it should be a problem.

                      • 8. Re: How to ensure a write is finished?
                        jheld

                        Yes.  That is what I mean.

                        • 9. Re: How to ensure a write is finished?
                          junghyun

                          What about the relationship between a cacheable write and an uncacheable write?

                           

                          I mean, the caches are not write-allocate.

                           

                          So, the address is not cached now, the write should go through main memory.

                           

                          I think uncacheable writes should not be buffered in write buffer, but cacheable writes should be buffered there.

                           

                           

                          For example, I want to communicate between two cores, so I will use NCM and MPB: NCM for interrupt, MPB for data communication.

                           

                          The scenario is shown below.

                           

                                            core A                                     core B

                           

                          1)  writes a data into MPB

                          2)  generating interrupt to NCM

                          3)                                                      got an interrupt from core A

                          4)                                                      reading a data from MPB

                           

                           

                          If core A sends only one data into MPB which can be buffered in the write buffer and an interrupt generated in 2).

                           

                          According to my assumption, data in MPB can reside in the write buffer, core B cannot read the value core A sent.

                           

                          Am I right or wrong?

                           

                          If core A sends some more data than one, it could be a problem because the last data core A sent cannot be propagated to other cores.