Processing

Please wait...

Settings

Settings

Goto Application

1. WO2013101744 - SYSTEM AND METHOD FOR STABILITY GUARANTEES IN CONCURRENT SOFTWARE

Publication Number WO/2013/101744
Publication Date 04.07.2013
International Application No. PCT/US2012/071309
International Filing Date 21.12.2012
IPC
G06F 9/44 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
44Arrangements for executing specific programs
G06F 9/30 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
30Arrangements for executing machine instructions, e.g. instruction decode
CPC
G06F 8/41
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
G06F 8/443
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
44Encoding
443Optimisation
G06F 8/458
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
45Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
458Synchronisation, e.g. post-wait, barriers, locks
Applicants
  • SYBASE, INC. [US]/[US]
Inventors
  • FARRAR, Daniel, James
Agents
  • LEE, Michael, Q.
Priority Data
13/722,60120.12.2012US
61/581,31529.12.2011US
61/667,30902.07.2012US
Publication Language English (en)
Filing Language English (EN)
Designated States
Title
(EN) SYSTEM AND METHOD FOR STABILITY GUARANTEES IN CONCURRENT SOFTWARE
(FR) SYSTÈME ET PROCÉDÉ POUR GARANTIES DE STABILITÉ DANS UN LOGICIEL CONCURRENT
Abstract
(EN) A flexible, extensible and efficient compile-time mechanism that leverages native high-level application programming language constructs (e.g., the template and macro features of C++), thus minimizing any programmer or a software developer learning curve and eliminating the need for programming tool (e.g., compiler) changes, to identify and control aspects of shared resource access in concurrent software at the time of source code compilation.
(FR) L'invention porte sur un mécanisme souple, extensible et efficace au moment de la compilation qui tire profit de constructions de langage de programmation d'application de haut niveau natives (par exemple, les fonctions modèle et macro de C++), réduisant ainsi la courbe d'apprentissage de n'importe quel programmeur ou d'un développeur de logiciel et éliminant le besoin de modifications d'un outil de programmation (par exemple, un compilateur), afin d'identifier et de commander des aspects d'accès aux ressources partagées dans un logiciel concurrent au moment de la compilation du code source.
Related patent documents
Latest bibliographic data on file with the International Bureau