Search: (more)
Header

M.Sc. Maximilian Senftleben

email
m_senftl (at) cs.uni-kl.de
phone
+49 631 205 2197
fax
+49 631 205 4409
address
P.O. Box 3049
67653 Kaiserslautern
Germany
building/room
48/472
research interests
Memory consistency determines the communication of several processors on a shared memory according to certain rules. A memory consistency model describes the allowed behavior in a suitable way: This could be either by providing an implementation, a set of (programmer) rules, or a definition of the allowed observable memory ordering. A memory system is called weak if it allows more behaviors than sequential consistency. The optimization of multicore processors often allows reordering or buffering of memory instructions which therefore leads to weak memory consistency as the observed behavior may differ from sequential consistency. So far, my field of research covers:
  • processor architectures with respect to weak memory consistency
  • verification techniques for multithreaded programs on weak memory
  • general purpose processor memory optimizations
see also my poster
publications
all | authored | edited/supervised | talks