镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

any_object possible concurrency problems -> strict checking? #190

Open

Description

@feefladder

Since the any_object class does not specify intent and is passed (AFAIK) as-is to other processes, there could be concurrency problems when multiple processes try to mutate it.

possible solutions

This could be solved manually by the user once custom dependencies are in effect. However, it may be nice to also add intent and strict checking for the any_object class

Activity

  1. benbovy commented on Mar 2, 2022

    @benbovy
    Member

    Hi @joeperdefloep, sorry for the wait, I've been silent in this repository for too long.

    any_object actually implicitly defines VarIntent.OUT, so I think in theory it shouldn't be possible to have a model with another process making reference to it and changing its value.

    • a xs.foreign(..., intent='out') reference to such variable should raise an error at model creation
    • trying to set a value of a xs.foreign(..., intent='in') reference should raise an error at simulation runtime (read-only property)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions