This contains my bachelors thesis and associated tex files, code snippets and maybe more. Topic: Data Movement in Heterogeneous Memories with Intel Data Streaming Accelerator
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

69 lines
8.0 KiB

  1. \chapter{Design}
  2. \label{chap:design}
  3. % Ist das zentrale Kapitel der Arbeit. Hier werden das Ziel sowie die
  4. % eigenen Ideen, Wertungen, Entwurfsentscheidungen vorgebracht. Es kann
  5. % sich lohnen, verschiedene Möglichkeiten durchzuspielen und dann
  6. % explizit zu begründen, warum man sich für eine bestimmte entschieden
  7. % hat. Dieses Kapitel sollte - zumindest in Stichworten - schon bei den
  8. % ersten Festlegungen eines Entwurfs skizziert werden.
  9. % Es wird sich aber in einer normal verlaufenden
  10. % Arbeit dauernd etwas daran ändern. Das Kapitel darf nicht zu
  11. % detailliert werden, sonst langweilt sich der Leser. Es ist sehr
  12. % wichtig, das richtige Abstraktionsniveau zu finden. Beim Verfassen
  13. % sollte man auf die Wiederverwendbarkeit des Textes achten.
  14. % Plant man eine Veröffentlichung aus der Arbeit zu machen, können von
  15. % diesem Kapitel Teile genommen werden. Das Kapitel wird in der Regel
  16. % wohl mindestens 8 Seiten haben, mehr als 20 können ein Hinweis darauf
  17. % sein, daß das Abstraktionsniveau verfehlt wurde.
  18. \todo{write introductory paragraph}
  19. \section{Detailed Task Description}
  20. \todo{write this section}
  21. \begin{itemize}
  22. \item give slightly more detailed task Description
  23. \item perspective of "what problems have to be solved"
  24. \item not "what is querry driven prefetching"
  25. \end{itemize}
  26. \section{Cache Design} \label{sec:design:cache}
  27. The task of prefetching is somewhat aligned with that of a cache. As a cache is more generic and allows use beyond Query Driven Prefetching, the choice was made to solve the prefetching offload by implementing an offloading \texttt{Cache}. When referring to the provided implementation, \texttt{Cache} will be used from now on. The interface with \texttt{Cache} must provide three basic functions: requesting a memory block to be cached, accessing a cached memory block and synchronizing cache with the source memory. The latter operation comes in to play when the data that is cached may also be modified, requiring the entry to be updated with the source or the other way around. Due to the many possible setups and use cases, the user should also be responsible for choosing cache placement and the copy method. As re-caching is resource intensive, data should remain in the cache for as long as possible while being removed when memory pressure due to restrictive memory size drives the \texttt{Cache} to flush unused entries. \par
  28. \subsection{Interface}
  29. To allow rapid integration and ease developer workload, a simple interface was chosen. As this work primarily focuses on caching static data, the choice was made only to provide cache invalidation and not synchronization. Given a memory address, \texttt{Cache::Invalidate} will remove all entries for it. The other two operations are provided in one single function, which we shall call \texttt{Cache::Access} henceforth, receiving a data pointer and size it takes care of either submitting a caching operation if the pointer received is not yet cached or returning the cache entry if it is. The cache placement and assignment of the task to accelerators are controlled by the user. In addition to the two basic operations outlined before, the user also is given the option to flush the cache using \texttt{Cache::Flush} of unused elements manually or to clear it completely with \texttt{Cache::Clear}. \par
  30. As caching is performed asynchronously, the user may wish to wait on the operation. This would be beneficial if there are other threads making progress in parallel while the current thread waits on its data becoming available in the faster cache, speeding up local computation. To achieve this, the \texttt{Cache::Access} will return an instance of an object which from hereinafter will be referred to as \texttt{CacheData}. Through \texttt{CacheData::GetDataLocation} a pointer to the cached data will be retrieved, while also providing \texttt{CacheData::WaitOnCompletion} which must only return when the caching operation has completed and during which the current thread is put to sleep, allowing other threads to progress. \par
  31. \subsection{Cache Entry Reuse} \label{subsec:design:cache-entry-reuse}
  32. When multiple consumers wish to access the same memory block through the \texttt{Cache}, we could either provide each with their own entry, or share one entry for all consumers. The first option may cause high load on the accelerator due to multiple copy operations being submitted and also increases the memory footprint of the system. The latter option requires synchronization and more complex design. As the cache size is restrictive, the latter was chosen. The already existing \texttt{CacheData} will be extended in scope to handle this by allowing copies of it to be created which must synchronize with each other for \texttt{CacheData::WaitOnCompletion} and \texttt{CacheData::GetDataLocation}. \par
  33. \subsection{Cache Entry Lifetime} \label{subsec:design:cache-entry-lifetime}
  34. By allowing multiple references to the same entry, memory management becomes a concern. Freeing the allocated block must only take place when all copies of a \texttt{CacheData} instance are destroyed, therefore tying cache entry lifetime to the lifetime of the longest living copy of the original instance. This makes access to the entry legal during the lifetime of any \texttt{CacheData} instance, while also guaranteeing that \texttt{Cache::Clear} will not have any unforeseen side effects, as deallocation only takes place when the last consumer has \texttt{CacheData} go out of scope or manually deletes it. \par
  35. \subsection{Usage Restrictions}
  36. As cache invalidation applies mainly to non-static data which this work does not focus on, two restrictions are placed on the invalidation operation. This permits drastically simpler cache design, as a fully coherent cache would require developing a thread safe coherence scheme which is outside our scope. \par
  37. Firstly, overlapping areas in the cache will cause undefined behaviour during invalidation of any one of them. Only the entries with the equivalent source pointer will be invalidated, while other entries with differing source pointers which, due to their size, still cover the now invalidated region, will not be invalidated. At this point, the cache may and may continue to contain invalid elements. \par
  38. Secondly, invalidation is to be performed manually, requiring the programmer to remember which points of data are at any given point in time cached and invalidating them upon modification. No ordering guarantees will be given for this situation, possibly leading to threads still having a pointer to now-outdated entries and continuing their progress with this. \par
  39. Due to its reliance on libnuma for memory allocation and thread pinning, \texttt{Cache} will only work on systems where this library is present, excluding, most notably, Windows from the compatibility list. \par
  40. \subsection{Accelerator Usage} \label{subsec:implementation:accel-usage}
  41. Compared with the challenges of ensuring correct entry lifetime and thread safety, the application of \gls{dsa} for the task of duplicating data is simple, thanks partly to \gls{intel:dml} \cite{intel:dmldoc}. Upon a call to \texttt{Cache::Access} and determining that the given memory pointer is not present in cache, work will be submitted to the Accelerator. Before, however, the desired location must be determined which the user-defined cache placement policy function handles. With the desired placement obtained, the copy policy then determines, which nodes should take part in the copy operation which is equivalent to selecting the Accelerators following \ref{subsection:dsa-hwarch}. This causes the work to be split upon the available accelerators to which the work descriptors are submitted at this time. The handlers that \gls{intel:dml} \cite{intel:dmldoc} provides will then be moved to the \texttt{CacheData} instance to permit the callee to wait upon caching completion. As the choice of cache placement and copy policy is user-defined, one possibility will be discussed in \ref{chap:implementation}. \par
  42. \cleardoublepage
  43. %%% Local Variables:
  44. %%% TeX-master: "diplom"
  45. %%% End: