BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/369
DTSTAMP:20230914T125922Z
SUMMARY:Correctness of Closed Nesting in Software Transactional Memory Syst
 ems
DESCRIPTION:Speaker: Sathya Peri (Indian Institute of Technology\nDepartmen
 t of Computer Science and Engineering\nNavin Government Polytechnic Campus
 \nPatliputra Colony\nPatna 800 013\n )\n\nAbstract: \nThere has been cons
 iderable interest in Software Transactional Memory in recent years. The re
 ason for rise in STM is due to rise of multicore computers. To fully utili
 ze the power of these machines\, applications need to be able to harness t
 he 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 sets of semantically rela
 ted actions may need to execute in mutual exclusion to avoid semantic inco
 nsistencies.\n \nTraditionally\, multi-threaded programs were developed i
 n conjunction with locks to address these issues. But programming with loc
 ks 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 softw
 are systems using simpler software components. Composition of software com
 ponents is a very important property which is the basis of modular program
 ming. Nesting of transactions is a way of achieving Composition. \n \nIn
  this talk\, I will explain about how closed nesting can be achieved with 
 Software Transactional Memory. I will talk about correctness requirements 
 of Closed Nested executions. I will then describe correctness criteria tha
 t we developed and then describe about an implementation based on them.\n
  \n
URL:https://www.tcs.tifr.res.in/web/events/369
DTSTART;TZID=Asia/Kolkata:20130522T160000
DTEND;TZID=Asia/Kolkata:20130522T170000
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR