non-deterministic
Nondeterministic Algorithms [closed]
It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical andcannot be开发者_如何学编程 reasonably answered in its current for[详细]
2023-03-28 19:14 分类:问答Fair concurrent `map` function in haskell?
Say I am simulating a network of some sort, and have a function which broadcasts a value over a list of Chans:[详细]
2023-03-04 21:24 分类:问答SQL: What is the best way to display (near) realtime site activity over a time interval? i.e. "Messages sent in the last hour"
The goal is to update the UI as frequently as possible but performance is a concern and hits to the database should be minimised.[详细]
2023-02-24 04:40 分类:问答Why is the non-deterministic choice function in Curry's std lib not defined straightforwardly but rather with a helper 2-argument function?
Consider a function choose in Curry programming language with the specification that \"(choose xs) non-deterministically chooses one element from the list xs\".[详细]
2023-02-13 22:43 分类:问答How do disk controllers handle concurrent writes to same sector in absence of write barriers?
When I open a file with O_DIRECT|O_ASYNC and do two concurrent writes to the same disk sector, without a fsync or fdatasync in between, does the linux disk subsystem or the Hardware disk controllers o[详细]
2023-01-27 22:01 分类:问答How can DIR* get EBADF error?
I have some code that I have inherited which is part of a class for iterating, accessing the directory content and uses boost::filesystem::path.The code reads in part:[详细]
2023-01-15 06:41 分类:问答segmentation fault when using pthreads , in a nondeterministic manner
The problem is that when I run the code below, on a single core, sometimes it runs correctly,and sometimes I get segmentation fault. Probably this problem will occure more frequently on a multi-core m[详细]
2022-12-14 11:09 分类:问答