Using Choreography of Actors and Rewriting Rules to Adapt Legacy Fortran Programs to Cloud Computing

Tulika, Eugene; Doroshenko, Anatoliy; Zhereb, Kostiantyn

doi:10.1007/978-3-319-69965-3_5

Information and Communication Technologies in Education, Research, and Industrial Applications

2017

DOI: 10.1007/978-3-319-69965-3_5

|View full text |Cite

Using Choreography of Actors and Rewriting Rules to Adapt Legacy Fortran Programs to Cloud Computing

Eugene Tulika

Anatoliy Doroshenko

Kostiantyn Zhereb

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2019

2020

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

TermWare3 – term rewriting system, based on context-term calculus

Shevchenko

Doroshenko

2019

View full text Add to dashboard Cite

У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та обмеження на співставлення при застосуванні (зовнішній контекст), що дозволяє занурити операції розв'язування імен в математичну семантику переписувальних правил. Описується метод ефективної диспетчеризації вибору правил, а також автоматичне перетворення виразів між системами на основі алгебраїчних типів мови Scala та контекстними термами. Ключові слова: автоматизація розробки програмного забезпечення, мови програмування, переписування термів, системи типів, алгебра типів, аналіз коду, termware.

show abstract

TermWare3 – term rewriting system, based on context-term calculus

Shevchenko

Doroshenko

2019

View full text Add to dashboard Cite

show abstract

Parallel algorithms optimization using Actor Model

Doroshenko

Tulika

2020

View full text Add to dashboard Cite

Introduced methods and instrumentation tools for actor model applied to block recursive algorithms optimization. Created formal model of distribution and coordination of the tasks in computation cluster as asynchronous reactive processes with message-passing represented with an actor model and choreography of actors. Created declarative definitions of algorithms which compiles to the system of actors. Proposed scheme of data placement in a cluster using prioritization of block-recursive operations to reduce idling time, data movement, with increased parallelism in situation of high-speed processors and reduced network bandwidth. Implemented adaptive adjustment of the data placement in a cluster at run time to account for current cluster load. Created autotuning of the actor placement in а cluster which uses statistics of previous runs for optimization. Usage of choreography of actors allows to remove central coordinating element and to avoid hard dependencies between cluster nodes, which provides flexible data placement, improves fault tolerance with no single point of failure and allows to use self-healing.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Using Choreography of Actors and Rewriting Rules to Adapt Legacy Fortran Programs to Cloud Computing

Cited by 2 publications

References 18 publications

TermWare3 – term rewriting system, based on context-term calculus

TermWare3 – term rewriting system, based on context-term calculus

Parallel algorithms optimization using Actor Model

Contact Info

Product

Resources

About