You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This program operates under the assumption that its graphical primitives would eventually replaced by a CSP-like UI and that this change occurs before version 1.0.0.
Until then, it is primarily used to avoid distasteful text editors in the treacherous waters of Windows, Linux, and OSX (which doesn't even build at the time of writing). On most of these systems, the invariant of serialized interaction between windows is upheld by mutexes and other unfortunate things. This editor currently assumes, very incorrectly, that no device will mutate the state of two windows in such a way that non-concurrency safe structures in col.go and grid.go will not have race conditions.
This issue acknowledges and tracks the concurrency safety between these data structures, which, in theory, will fail in spectacular cases such as a mouse event set being buffered and causing two 'Del' commands to be processed from the same column, etc.
The text was updated successfully, but these errors were encountered:
This program operates under the assumption that its graphical primitives would eventually replaced by a CSP-like UI and that this change occurs before version 1.0.0.
Until then, it is primarily used to avoid distasteful text editors in the treacherous waters of Windows, Linux, and OSX (which doesn't even build at the time of writing). On most of these systems, the invariant of serialized interaction between windows is upheld by mutexes and other unfortunate things. This editor currently assumes, very incorrectly, that no device will mutate the state of two windows in such a way that non-concurrency safe structures in col.go and grid.go will not have race conditions.
This issue acknowledges and tracks the concurrency safety between these data structures, which, in theory, will fail in spectacular cases such as a mouse event set being buffered and causing two 'Del' commands to be processed from the same column, etc.
The text was updated successfully, but these errors were encountered: