Funk2: Causal Reflective Programming Funk2: αιτιώδη στοχαστική προγραμματισμού

Funk2 currently compiles on 32-bit and 64-bit Linux operating systems. Funk2 σήμερα συγκεφαλαιώνει σε 32-bit και 64-bit Linux λειτουργικά συστήματα. 64-bit pointers are recommended because of the amount of memory needed for the reflective capabilities; a 32-bit machine is currently only able to index a few gigabytes of memory. 64-bit δείκτες συνιστάται διότι το ποσό της μνήμης που απαιτείται για τις ανακλαστικές ικανότητες? Ένα 32-bit μηχάνημα είναι σήμερα σε θέση να δείκτη μόνο μερικά gigabytes μνήμης.

The goal of the programming language Funk2 is to enable reflective algorithmic tracing for large heterogenous control systems. Ο στόχος της γλώσσας προγραμματισμού Funk2 είναι να επιτρέψει σε αντανακλαστική αλγοριθμικής για τον εντοπισμό μεγάλων ετερογενών συστημάτων ελέγχου. A few point emphasized in the Funk2 programming language are: Λίγες σημείο υπογραμμίζεται στην Funk2 γλώσσα προγραμματισμού είναι:

Examples of the most basic computational features include: (1) memory creation , (2) memory read , and (3) memory write . Παραδείγματα από τις πιο βασικές υπολογιστικές δυνατότητες περιλαμβάνουν: (1) δημιουργία μνήμης, (2) μνήμης διαβάζει, και (3) μνήμης γράψω. Tracing all causal relationships between these basic features allows tracing the context of all other programmer-defined semantic abstractions . Ανίχνευση όλων των αιτιακών σχέσεων μεταξύ αυτών των βασικών χαρακτηριστικών επιτρέπει τον εντοπισμό πλαίσιο όλων των άλλων που ορίζονται από τον προγραμματιστή σημασιολογική λήψεων. All of these computational features create an intricate trace network of dependencies, automatically traceable and shared by many parallel threads of execution. Όλες αυτές οι υπολογιστικές δυνατότητες δημιουργήσει ένα περίπλοκο δίκτυο ίχνος των εξαρτήσεων, αυτόματα ανιχνεύσιμα και μοιράζονται πολλές παράλληλες κλωστές της εκτέλεσης. Funk2 allows causal tracing to occur modularly to dynamically chosen parts of large commonsense-scale artificial intelligence projects. Funk2 επιτρέπει τον εντοπισμό αιτιώδη να παρουσιαστεί modularly να επιλέγεται δυναμικά τμήματα της commonsense μεγάλης κλίμακας έργα τεχνητής νοημοσύνης. The resulting causal dependency trace networks can be processed by critical causal reflection threads. Η εξάρτηση από το ίχνος που προκύπτει αιτιώδης δίκτυα μπορούν να τύχουν επεξεργασίας από το κρίσιμο αιτιώδη προβληματισμού κλωστές.

Here is how to retrieve the creation Cause for any piece of memory ( [] , the value of the symbol nil , is the only thing that does not reference a piece of memory): Εδώ είναι πώς να ανακτήσει τη δημιουργία Αιτία για κάθε κομμάτι μνήμης ([], η αξία του συμβόλου ανύπαρκτο, είναι το μόνο πράγμα που δεν αναφοράς ένα κομμάτι της μνήμης):

Note that in the Cause object there are multiple named slots holding information in the frame of the cause. Σημειώστε ότι στην προκαλέσει αντιρρήσεις υπάρχουν πολλαπλές ονομάζεται χρονοθυρίδων εκμετάλλευση πληροφοριών στο πλαίσιο της αιτίας. The frames of a Cause are thread , env , name , and args . Τα πλαίσια μιας Αιτία είναι το νήμα, env, όνομα, και args. By default only 7 levels of recursion are printed to the screen. Από προεπιλογή μόνο 7 επίπεδα Αναδρομή έχουν τυπωθεί στην οθόνη. The symbol used for ending a recursion is the astrisk, * .In order to access the slots of an object, you can use funktions that are named to access and mutate objects. Το σύμβολο που χρησιμοποιείται για τερματισμός Αναδρομή είναι η astrisk,. * Για να αποκτήσετε πρόσβαση στο διαθέσιμου χρόνου χρήσης ενός αντικειμένου, μπορείτε να χρησιμοποιήσετε funktions που ονομάζονται να έχουν πρόσβαση και να μεταλλαχθούν αντικείμενα. For example, the following example shows how to retrieve only the name and args slots of a cause object. Για παράδειγμα, το ακόλουθο παράδειγμα δείχνει πώς να ανακτήσει μόνο το όνομα και args διαθέσιμου χρόνου χρήσης ενός προκαλέσει αντιρρήσεις.

Here is an example of how to remember the state of an object at specific historical points in time: Εδώ είναι ένα παράδειγμα του πώς να θυμόμαστε την κατάσταση ενός αντικειμένου σε συγκεκριμένες ιστορικά χρονικά σημεία:

Here is another example of how to remember the state of an object at specific historical points in time: Εδώ είναι ένα άλλο παράδειγμα του πώς να θυμόμαστε την κατάσταση ενός αντικειμένου σε συγκεκριμένες ιστορικά χρονικά σημεία:

Here is one straightforward way to write a "Hello world!" Εδώ είναι ένας απλός τρόπος για να γράψω ένα "Hello World!" program in the Funk2 language: πρόγραμμα της Funk2 γλώσσα:

Here is another more advanced way to holla your planet: Εδώ είναι ένα άλλο πιο προχωρημένο τρόπο να σας holla πλανήτη:

Here is how to define and subsequently call a funktion: Εδώ είναι πώς θα προσδιορίσει και στη συνέχεια καλούμε μια funktion:

Here is how to loop over a list of values: Εδώ είναι πώς να βρόχο σε μια λίστα τιμών:

Here is how to call our funktion above in a parallel thread: Εδώ είναι πώς να καλούν μας funktion πάνω σε ένα παράλληλο thread:

Here is how to serially filter every element in a list: Εδώ είναι πώς να σειριακό φίλτρο κάθε στοιχείο σε μια λίστα:

Here is how to concurrently filter every element in a list: Εδώ είναι πώς να φιλτράρετε ταυτόχρονα κάθε στοιχείο σε μια λίστα:

The scheduler:global_scheduler variable in the global environment can be used as a reference to the global funk2 scheduler for the local machine. Το χρονοδιάγραμμα: global_scheduler μεταβλητή στο παγκόσμιο περιβάλλον μπορεί να χρησιμοποιηθεί ως σημείο αναφοράς για την παγκόσμια funk2 χρονοδιάγραμμα για το τοπικό μηχάνημα. Processor information available from "/dev/proc" during funk2 initial bootstrap compile is available for all machines currently logged into the grid. Processor διαθέσιμες πληροφορίες από το "/ dev / proc" κατά τη διάρκεια της αρχικής funk2 bootstrap καταρτίζουν είναι διαθέσιμο για όλα τα μηχανήματα στιγμή συνδεδεμένοι στο δίκτυο. Grid support is in development, this only shows this information for the local machine. Πλέγμα στήριξης είναι σε εξέλιξη, αυτό δείχνει μόνο την πληροφορία για το τοπικό μηχάνημα. Once support for multiple machines is available, this variable will change into a funktion that takes a machine-id as an argument and returns that machine's scheduler object. Μόλις υποστήριξη για πολλαπλά μηχανήματα είναι διαθέσιμα, αυτή η μεταβλητή θα αλλάζει σε ένα funktion ότι παίρνει μια μηχανή-id ως επιχείρημα ότι η μηχανή και επιστρέφει το χρονοδιάγραμμα αντικείμενο.