Stack Overflow
Stack Overflow

Questions tagged [non-deterministic]

Nondeterminism refers either to a computing system where the result may be one of many specified results or to a theoretical construct in which a computing system is allowed to try many options in parallel to search for a result.

Nondeterminism has several meanings in computing. In theoretical CS, nondeterministic computations are computations that have multiple options specified at various points and allows the computing machine to choose any of them. In programming, a nondeterministic computation is one where the result may vary from run to run due to factors such as thread timing or values from external devices.

238 questions
0
votes
2 answers

Are floating point operations deterministic when running in multiple threads?

Suppose I have a function that runs calculations, example being something like a dot product - I pass in an arrays A, B of vectors and a float array C, and the functions assigns: C[i] = dot(A[i], B[i]); If I create and start two threads that will…
Jake1234
  • 187
  • 1
  • 7
0
votes
2 answers

A NFA accepting ;anguages whose final digit didn't appear before

Give a non-deterministic finite automata(NFA) which accepts the following language: The set of strings over the alphabet {0,1,...,9} such that the final digit has not appeared before. I have encountered this problem on introduction to automata…
Rui R
  • 1
  • 1
0
votes
3 answers

How to get rid of nondeterminism in C++. Tried ADDR_NO_RANDOMIZE, other things

I have a C++ program that is nondeterministic. I run it with an input file, and it runs ok. I run it with the same input file a second time, and it crashes. I'd like to get rid of the nondeterminism in order to make crashes reproducible. I threw…
jyelon
  • 134
  • 7
0
votes
1 answer

Scalar function is non-deterministic

I'd like to persist this field but can't figure out why it's non-deterministic. CREATE FUNCTION GetServiceMinutes ( -- Add the parameters for the function here @StartDate datetime, @EndDate datetime ) RETURNS int WITH…
Cooper
  • 189
  • 1
  • 12
0
votes
2 answers

Non-deterministic output of simple C program

This is an unfinished program I'm writing to learn C (only checks multiples of 2 currently...) Ultimately, I want this to be an implementation of the Sieve of Eratosthenes (prime numbers) The problem I'm having is that the output is…
Collin Quiason Rottinghaus
  • 29
  • 6
0
votes
1 answer

Non-deterministic behavior with Java Multithreading

I wrote a simple program that I am using to practice multithreading in Java. The goal is to test whether or not a Sudoku solution is valid: No repeating numbers in rows, columns, or sub-grids. At this point I don't care that the entries must be…
Phillip Feldman
  • 41
  • 6
0
votes
1 answer

not sure how to fix non-deterministic function issue with pyspark

I am following the snowflake schema. I have a fact table with 9 dimension tables for a redshift warehouse. My ETL workflow is done in was glue. I have simplified the problem to just two tables (one dimension table and one fact). The issue I am…
Justin B.
  • 31
  • 5
0
votes
1 answer

Left Join is filtering rows out of my query in MySQL 5.7 without any left join columns in the where clause

I have a query that joins 4 tables. It returns 35 rows every time I run it. Here it is.. SELECT Lender.id AS LenderId, Loans.Loan_ID AS LoanId, Parcels.Parcel_ID AS ParcelId, tr.Tax_ID AS TaxRecordId, tr.Tax_Year …
redusek
  • 77
  • 4
0
votes
1 answer

MPI functions appear to execute out of order compared to printf()

I am having a very strange code using MPI, in which statements appear to be executed in the wrong order. Specifically, the MPI statement appears to be executing before the printf even though it comes after it in the code. #include #include…
Galaxy
  • 2,363
  • 2
  • 25
  • 59
0
votes
1 answer

True nondeterminism in Haskell

There is much said about 'nondeterminism' in Haskell: The list monad and the Amb monad call themselves nondeterministic. But these functions just model nondeterminism - they (deterministically) generate all possible outcomes. How would one write a…
Ari Fordsham
  • 2,437
  • 7
  • 28
0
votes
1 answer

How to audit user supplied class files to blacklist packages, classes, and methods

I am working on an application that hosts user defined stored procedures that are provided as Java class files. The procedures need to be deterministic, and I want to black list various packages and methods that are sources of non-determinism. I…
aweisberg
  • 131
  • 3
0
votes
0 answers

Is it possible to get floating-point determinism between physical machines by running your program inside a VM?

I have the need to make a fully automated test server for a game we are making, but to keep it reliable we need full floating point determinism. We also want to be able to move our server from one physical machine to another. Is it possible to…
David Rochin
  • 317
  • 3
  • 11
0
votes
1 answer

How instrument Prolog code to check determinism

We want to instrument our Prolog code by automatic determinism checks. So in the spirit of Ciao assertions we would declare :- pred / is , where can take the values: Value Description det have…
user502187
0
votes
1 answer

tensorflow determinism probe (aka debug tool)

I'd like to use the debug probe mentioned here but if I try to import the module as shown in the talk I get a syntax error as follows: from tensorflow-determinism import probe File "", line 1 from…
Dammak
  • 1
  • 2
0
votes
2 answers

Combining bindings for Either type in Haskell

For the following code, is it possible in Haskell to combine the bindings? Here is the original code: Either1 a b = Left1 a | Right1 b either1 :: Either1 () () either1 = Left1 () either2 :: Either1 () () either2 = Right1 () What I want is…
pmichaels
  • 139
  • 6
1 2 3
…
15 16