BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/288
DTSTAMP:20230914T125918Z
SUMMARY:Correctness of Closed Nesting in Software Transactional Memory Syst
 ems
DESCRIPTION:Speaker: Dr. Sathya Peri (Indian Institute of Technology\, Patn
 a\nDepartment of Computer Science and Engineering\nPatna 800013)\n\nAbstra
 ct: \nThere has been considerable interest in Software Transactional Memor
 y in recent years. The reason for rise in STM is due to rise of multicore 
 computers. To fully utlize the power of these machines\, applications need
  to be able to harness the parallelism of the underlying hardware. This is
  commonly achieved using multi-threading. Yet writing correct and scalable
  multi-threaded programs is far from trivial. In multi-threaded programs s
 ets of semantically related actions may need to execute in mutual exclusio
 n to avoid semantic inconsistencies.\nTraditionally\, multi-threaded progr
 ams were developed in conjunction with locks to address these issues. But 
 programming with locks has many disadvantages such as deadlocks\, priority
  inversion etc. and makes it difficult to build scalable software systems.
  Importantly\, lock based software components are difficult to compose i.e
 . build larger software systems using simpler software components. Composi
 tion of software components is a very important property which is the basi
 s of modular programming. Nesting of transactions is a way of achieving Co
 mposition. \nIn this talk\, I will explain about how closed nesting can b
 e achieved with Software Transactional Memory. I will talk about correctne
 ss requirements of Closed Nested executions. I will then describe correctn
 ess criteia that we developed and then describe about an implementation ba
 sed on them.\n
URL:https://www.tcs.tifr.res.in/web/events/288
DTSTART;TZID=Asia/Kolkata:20120704T113000
DTEND;TZID=Asia/Kolkata:20120704T123000
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR