Decrease size
Reset to Default
Increase size

Proposal Number: 6918

Domain: Information & Communication Technology

Theme(s): CAD for Reliability and Safety
Communication technology
ICT Tools for Healthcare and Assistive Technology
Security and Defence
Smart City

Supporting Central Government Agency:

Budget (Rs. Lakhs): 60.81

Principal Investigator: Sathya Peri

Principal Investigator Institute: Indian Institute of Technology Hyderabad

Co-Investigators:
R.K. Shyamasundar ,Indian Institute of Technology Bombay
C. Krishna Mohan ,Indian Institute of Technology Hyderabad

Domain: Information & Communication Technology

Project Title

An Efficient Software Framework for developing Reliable Multi-threaded Applications for Multi-Core Architectures

Project Images

Image Caption:Working of a STM System

Web Abstract

The objective of this project is to develop an efficient software framework for "Developing Reliable Multi-threaded Applications for Multi-Core Architectures". The software framework will manage all the shared memory for the programmer and remove the burden of concurrency control. In addition to these desirable features, the proposed software will not have any undesirable side-effects. Further, the software developed will have a notion of progress incorporated into it. We plan to demonstrate the effectiveness of the software framework by theoretically showing its correctness as well developing a mini-prototype for linux system.

The software framework will be based on the notion of Software Transactional Memory Sysmtes (STMs). STMs approach has garnered significant interest as an elegant alternative for developing parallel programs. STMs address many of the shortcomings of lock based systems and do not have undesirable side-effects.