×

img Acces sibility Controls

Research Projects Banner

Research Projects

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

Implementing Organization

Indian Institute of Technology (IIT)
Principal Investigator
Sathya Peri
Associate Professor
|
Department of Mechanical and Aerospace Engineering, Indian Institute of Technology (IIT), Hyderabad, Telangana
Department of Computer Science and Engineering
CO-Principal Investigator
R. K. Shyamasundar
Professor
|
Civil Engineering Department, Indian Institute of Technology (IIT), Bombay
Department of Computer Science and Engineering
CO-Principal Investigator
C. Krishna Mohan
Professor
|
Department of Mechanical and Aerospace Engineering, Indian Institute of Technology (IIT), Hyderabad, Telangana
Department of Computer Science and Engineering

Project Overview

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.
Funding Organization
Funding Organization
Ministry of Electronics and Information Technology (MeitY)
Quick Information
Area of Research
Computer Sciences and Information Technology
Focus Area
CAD for Reliability and Safety; Communication technology; ICT Tools for Healthcare and Assistive Technology; Security and Defence; Smart City
Sanction Amount
₹ 60.81 L
Status
Ongoing
Output
No. of Research Paper
00
Technologies (If Any)
00
No. of PhD Produced
N/A
Startup (If Any)
00
No. of Patents
Filed :00
Grant :00
arrowtop