Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection

Autor:	Fengqing Jiang, Xinyu Lian, Senén González, Neng Xiong, Klaus-Dieter Schewe
Rok vydání:	2021
Předmět:	Idle Computer science Work stealing Concurrency Parallelism (grammar) Abstract state machines Bridging model ComputerApplications_COMPUTERSINOTHERSYSTEMS Parallel computing Thread (computing) Software_PROGRAMMINGTECHNIQUES Reflection (computer graphics)
Zdroj:	Rigorous State-Based Methods ISBN: 9783030775421 ABZ
Popis:	The BSP bridging model can be exploited to support MapReduce processing. This article describes how this can be realised using a work-stealing approach, where an idle processor can autonomously grab a thread from a partially ordered pool of open threads and execute it. It is further outlined that this can be generalised for the refinement of an unboundedly parallel ASM by a concurrent, reflective BSP-ASM, i.e. the individual agents are associated with reflective ASMs, i.e. they can adapt their own program.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::eb6bd447baba86ba043aa40099de89df https://doi.org/10.1007/978-3-030-77543-8_10 Zobrazit plný text záznamu