Multi-Threaded Actors

In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of active objects which share a message queue. We provide a formal operational semantics, and a description of a Java-based...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Electronic proceedings in theoretical computer science Ročník 223; číslo Proc. ICE 2016; s. 51 - 66
Hlavní autoři: Azadbakht, Keyvan, de Boer, Frank S., Serbanescu, Vlad
Médium: Journal Article
Jazyk:angličtina
Vydáno: Open Publishing Association 10.08.2016
ISSN:2075-2180, 2075-2180
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of active objects which share a message queue. We provide a formal operational semantics, and a description of a Java-based implementation for the basic programming abstractions describing multi-threaded actors. Finally, we evaluate our proposal by means of an example application.
AbstractList In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of active objects which share a message queue. We provide a formal operational semantics, and a description of a Java-based implementation for the basic programming abstractions describing multi-threaded actors. Finally, we evaluate our proposal by means of an example application.
Author Azadbakht, Keyvan
de Boer, Frank S.
Serbanescu, Vlad
Author_xml – sequence: 1
  givenname: Keyvan
  surname: Azadbakht
  fullname: Azadbakht, Keyvan
  organization: Centrum Wiskunde en Informatica
– sequence: 2
  givenname: Frank S.
  surname: de Boer
  fullname: de Boer, Frank S.
  organization: Centrum Wiskunde en Informatica
– sequence: 3
  givenname: Vlad
  surname: Serbanescu
  fullname: Serbanescu, Vlad
  organization: Centrum Wiskunde en Informatica
BookMark eNpNkM1LAzEQxYNUsNaexLt32XXysfk4lqXWQksF13PIJlndsjaSrAf_e2Mr4jAwwzv83uNdoskhHDxC1xhKRoDdL5-a-rkkhJbsDE0JiKogWMLk33-B5intIQ9VhCk-RTfbz2Hsi-YteuO8u13YMcR0hc47MyQ__70z9PKwbOrHYrNbrevFprCkEmPBmLCtEQRaY01FPWACwKHDIDl3ebON9LwFrITKgsXcC86sAAK4Io7O0PrEdcHs9Ufs30380sH0-iiE-KpNHHs7eN16rrhpcXarmAIquXICPDUgJeQgmXV3YtkYUoq---Nh0D8F6WNBOhekGf0GcEdVdg
Cites_doi 10.1016/j.tcs.2008.09.019
10.1007/BFb0026570
10.1007/978-3-540-71316-6_22
10.1016/j.scico.2013.03.011
10.1007/978-3-642-14107-2_13
10.1109/SCCC.2007.4
10.1016/j.jlap.2004.03.002
10.1007/s10270-006-0011-2
10.1109/99.660313
10.1016/j.scico.2014.11.014
10.1007/978-3-319-39519-7_7
10.1007/978-3-319-18941-3_1
10.1002/cpe.956
10.1007/978-3-642-25271-6_8
10.1109/MDM.2008.45
10.1007/978-3-642-38493-6_7
10.1007/978-3-540-74792-5_5
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.4204/EPTCS.223.4
DatabaseName CrossRef
DOAJ Open Access Full Text
DatabaseTitle CrossRef
DatabaseTitleList
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
EndPage 66
ExternalDocumentID oai_doaj_org_article_be696ab172054903869d70e3a0880447
10_4204_EPTCS_223_4
GroupedDBID 5VS
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-LOGICAL-c257t-447cba720baca53e0120060f10866d66d0398e6b019796d6c16e764c7020152d3
IEDL.DBID DOA
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000390324700005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2075-2180
IngestDate Fri Oct 03 12:46:16 EDT 2025
Sat Nov 29 02:05:26 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Issue Proc. ICE 2016
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c257t-447cba720baca53e0120060f10866d66d0398e6b019796d6c16e764c7020152d3
OpenAccessLink https://doaj.org/article/be696ab172054903869d70e3a0880447
PageCount 16
ParticipantIDs doaj_primary_oai_doaj_org_article_be696ab172054903869d70e3a0880447
crossref_primary_10_4204_EPTCS_223_4
PublicationCentury 2000
PublicationDate 2016-08-10
PublicationDateYYYYMMDD 2016-08-10
PublicationDate_xml – month: 08
  year: 2016
  text: 2016-08-10
  day: 10
PublicationDecade 2010
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2016
Publisher Open Publishing Association
Publisher_xml – name: Open Publishing Association
References Johnsen (Johnsen2016) 2016; 115
Schäfer (SchaferP10) 2010
Dagum (dagum1998openmp) 1998; 5
Pierce (Pierce94) 1995
Johnsen (johnsen10fmco) 2010
Plotkin (Plotkin04a) 2004; 60
Caromel (Caromel08) 2008
Fernandez-Reyes (part2016) 2016
Henrio (henrio2013multi) 2013
De Boer (BoerCJ07) 2007
Haustein (haustein2006jac) 2006; 18
Scholliers (ScholliersTM14) 2014; 80
Van Cutsem (MBDM07) 2007
Haller (Haller2009202) 2009; 410
Brandauer (brandauer2015parallel) 2015
Johnsen (JohnsenO07) 2007; 6
Sirjani (Sirjani06) 2007
References_xml – volume: 410
  start-page: 202
  issue: 2
  year: 2009
  ident: Haller2009202
  article-title: Scala actors: Unifying thread-based and event-based programming
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2008.09.019
– start-page: 187
  volume-title: Theory and Practice of Parallel Programming
  year: 1995
  ident: Pierce94
  article-title: Concurrent objects in a process calculus
  doi: 10.1007/BFb0026570
– start-page: 316
  volume-title: Programming Languages and Systems
  year: 2007
  ident: BoerCJ07
  article-title: A complete guide to the future
  doi: 10.1007/978-3-540-71316-6_22
– volume: 80
  start-page: 52
  year: 2014
  ident: ScholliersTM14
  article-title: Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model
  publication-title: Science of Computer Programming
  doi: 10.1016/j.scico.2013.03.011
– start-page: 275
  volume-title: ECOOP 2010–Object-Oriented Programming
  year: 2010
  ident: SchaferP10
  article-title: JCoBox: Generalizing active objects to concurrent components
  doi: 10.1007/978-3-642-14107-2_13
– start-page: 3
  volume-title: Chilean Society of Computer Science, 2007. SCCC'07. XXVI International Conference of the
  year: 2007
  ident: MBDM07
  article-title: Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks
  doi: 10.1109/SCCC.2007.4
– volume: 60
  start-page: 17
  issue: 61
  year: 2004
  ident: Plotkin04a
  article-title: A structural approach to operational semantics
  publication-title: J. Log. Algebr. Program.
  doi: 10.1016/j.jlap.2004.03.002
– volume: 6
  start-page: 39
  issue: 1
  year: 2007
  ident: JohnsenO07
  article-title: An asynchronous communication model for distributed concurrent objects
  publication-title: Software & Systems Modeling
  doi: 10.1007/s10270-006-0011-2
– volume: 5
  start-page: 46
  issue: 1
  year: 1998
  ident: dagum1998openmp
  article-title: OpenMP: an industry standard API for shared-memory programming
  publication-title: Computational Science & Engineering, IEEE
  doi: 10.1109/99.660313
– volume: 115
  start-page: 3
  year: 2016
  ident: Johnsen2016
  article-title: A formal model of service-oriented dynamic object groups
  publication-title: Science of Computer Programming
  doi: 10.1016/j.scico.2014.11.014
– start-page: 101
  volume-title: International Conference on Coordination Languages and Models
  year: 2016
  ident: part2016
  article-title: ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations
  doi: 10.1007/978-3-319-39519-7_7
– start-page: 1
  volume-title: Formal Methods for Multicore Programming
  year: 2015
  ident: brandauer2015parallel
  article-title: Parallel objects for multicores: A glimpse at the parallel language encore
  doi: 10.1007/978-3-319-18941-3_1
– volume: 18
  start-page: 519
  issue: 5
  year: 2006
  ident: haustein2006jac
  article-title: Jac: declarative Java concurrency
  publication-title: Concurrency and Computation: Practice and Experience
  doi: 10.1002/cpe.956
– start-page: 142
  volume-title: Formal Methods for Components and Objects
  year: 2010
  ident: johnsen10fmco
  article-title: ABS: A core language for abstract behavioral specification
  doi: 10.1007/978-3-642-25271-6_8
– volume-title: Mobile Data Management, 2008. MDM'08. 9th International Conference on
  year: 2008
  ident: Caromel08
  article-title: Keynote 1-Strong Programming Model for Strong Weak Mobility: The ProActive Parallel Suite
  doi: 10.1109/MDM.2008.45
– start-page: 90
  volume-title: COORDINATION
  year: 2013
  ident: henrio2013multi
  article-title: Multi-threaded Active Objects.
  doi: 10.1007/978-3-642-38493-6_7
– start-page: 102
  volume-title: Formal Methods for Components and Objects
  year: 2007
  ident: Sirjani06
  article-title: Rebeca: Theory, applications, and tools
  doi: 10.1007/978-3-540-74792-5_5
SSID ssj0000392496
Score 2.0086498
Snippet In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor...
SourceID doaj
crossref
SourceType Open Website
Index Database
StartPage 51
Title Multi-Threaded Actors
URI https://doaj.org/article/be696ab172054903869d70e3a0880447
Volume 223
WOSCitedRecordID wos000390324700005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 20201231
  omitProxy: false
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: DOA
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: M~E
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEB6kePDis2J9sYde08ZNNtkca2nxoKXgCr2FvBa8VKm1R3-7k-xW6smLsOQQlpCZ2dlvApnvA-gj4vpcWUpUqQzh3mJK5U6S4CI44gdR1onE9VHOZuVioeY7Ul_xTlhDD9w4bmiDUMJYxFksLhRlpVBe0sAMpgflPPWRU6l2DlPpH8ziuSIpyyEmEsQx2jTn8Zzy4WRejZ8HCIwD_guOdlj7E7xMj-GwrQuzUbOfE9gLy1M42mouZG0KnkE3dcySCkNgfPDZKMnldOFlOqnGD6SVNiAOc2RNcOPOGrTJGmcKFmILKxW0jrpHwuODBpRBWCzApMIJdyeCFNxJrO4QcT07h87ybRkuIDOWF1Yyz7yRnNbOSJYXtTIsV66ojelBf2uhfm8YLDRW_tEROjlCoyM078F9tP7nlUg7nSYwGLoNhv4rGJf_scgVHKCRgiTe2WvorFef4Qb23Wb9-rG6TXHG8elr8g2NTKaQ
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Multi-Threaded+Actors&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Azadbakht%2C+Keyvan&rft.au=de+Boer%2C+Frank+S.&rft.au=Serbanescu%2C+Vlad&rft.date=2016-08-10&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=223&rft.spage=51&rft.epage=66&rft_id=info:doi/10.4204%2FEPTCS.223.4&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_223_4
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon