summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2015-04-17 11:42:39 +0200
committerThomas Schwinge <thomas@codesourcery.com>2015-04-17 11:42:57 +0200
commit2c1a3bc85a7b97bea3cf1d0af0fb3750a23097e1 (patch)
treeafa21b911851a0554986a317ad91e83bc50748b0
parentcc19d3b8c66e59b5fea8337eb215cf6a78b42480 (diff)
parent94e499cc669d76a9f64998be3a75e1607261126d (diff)
Merge commit 'cc19d3b8c66e59b5fea8337eb215cf6a78b42480'; remote-tracking branch 'darnassus--hurd-web/master' into HEAD
-rw-r--r--hurd/ada4hurd.mdwn63
-rw-r--r--hurd/documentation.mdwn2
-rw-r--r--hurd/documentation/netfs_ada_results.mdwn88
-rw-r--r--microkernel/mach/gnumach/ports/xen.mdwn4
-rw-r--r--open_issues/_san.mdwn10
5 files changed, 163 insertions, 4 deletions
diff --git a/hurd/ada4hurd.mdwn b/hurd/ada4hurd.mdwn
new file mode 100644
index 0000000..784ad7f
--- /dev/null
+++ b/hurd/ada4hurd.mdwn
@@ -0,0 +1,63 @@
+[[!meta copyright="Copyright © 2015 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled
+[[GNU Free Documentation License|/fdl]]."]]"""]]
+
+# Ada4Hurd
+
+## Introduction
+
+Ada4Hurd provides tools and examples to ease Ada development in Hurd. It is at an early stage.
+
+### ada2def
+
+ * It is based on the [ASIS](http://libre.adacore.com/tools/gnat-gpl-edition/) standard
+ * It analyse an Ada specification and generates some .defs file
+
+### def2ada
+
+ * Using [opentoken](http://stephe-leake.org/ada/opentoken.html) it analyse a .defs file
+ * it can generate server skeleton
+ * it can generate a client library for easy connection to the server
+
+### xmladafs
+
+ * Mainly a translation of xmlfs in Ada
+ * write capabilities development is undergoing
+ * use [xmlada](http://libre.adacore.com/tools/xmlada/)
+
+### hello
+
+ * Hello World example translated in Ada
+
+### netfs_base
+
+ * Mainly a dummy translator to understand netfs mechanisms
+ * [[Some results of netfs experimentation|documentation/netfs_ada_results]]
+
+## Where to find the code
+
+ * Ada4Hurd is a [sourceforge](https://sourceforge.net/projects/ada4hurd/) based project
+ * Mercurial is used as DVCS
+
+ $ hg clone http://hg.code.sf.net/p/ada4hurd/code ada4hurd-code
+
+## Build the code
+
+ * Install the build dependencies as root
+
+ $ apt-get install gnat libopentoken4-dev libxmlada5-dev libasis2014-dev
+
+ * Build
+
+ $ cd ada4hurd-code
+ $ make
+
+ * Play with xmladafs
+
+ $ make trans_on \ No newline at end of file
diff --git a/hurd/documentation.mdwn b/hurd/documentation.mdwn
index 944b5c9..a85f4d4 100644
--- a/hurd/documentation.mdwn
+++ b/hurd/documentation.mdwn
@@ -88,3 +88,5 @@ is included in the section entitled
investigates the mobility aspect of stores
and how it can be generalized and used for other applications.
The background chapter may be of interest to new developers.
+
+ * [[Ada4Hurd]]: some tools to write translators with Ada \ No newline at end of file
diff --git a/hurd/documentation/netfs_ada_results.mdwn b/hurd/documentation/netfs_ada_results.mdwn
new file mode 100644
index 0000000..cc075da
--- /dev/null
+++ b/hurd/documentation/netfs_ada_results.mdwn
@@ -0,0 +1,88 @@
+[[!meta copyright="Copyright © 2015 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled
+[[GNU Free Documentation License|/fdl]]."]]"""]]
+
+# Netfs Ada experimentations
+
+## Rev 05c2ac288ad2
+
+ * Nothing is implemented in the Netfs\_Implementation package
+ * node is the translator inode in directory .
+
+### ls -la .
+
+ * Leads to a call of Validate\_Stat : line 115 of Netfs\_Implementation package
+ * Returns an error :
+ * bash: cd: node: Not a directory
+
+### ls -la node
+
+ * Returns an error :
+ * ls: cannot access node: Not a directory
+ * Leads also to a call of Validate\_Stat : line 115 of Netfs\_Implementation package
+
+### cd node
+
+ * Returns an error :
+ * bash: cd: node: Not a directory
+ * Validate\_Stat get called three times
+
+## Rev 6052185bf877
+
+ * Only a very simple Validate\_State is implemented
+
+### ls -la .
+
+ * Leads to a call of Validate\_Stat : line 120 of Netfs\_Implementation package then a call to Check\_Open\_Permissions : line 13
+ * Returns this error :
+ * "ls: cannot access node: Not a directory"
+
+### ls -la node
+
+ * Returns an error :
+ * ls: cannot access node: Not a directory
+ * Leads to a call of Validate\_Stat : line 120 of Netfs\_Implementation package then a call to Check\_Open\_Permissions : line 13
+
+### cd node
+
+ * Returns an error :
+ * bash: cd: node: Not a directory
+ * Validate\_Stat then Check\_Open\_Permissions sequence is called three times
+
+## Rev dd3e6b7ea5c7
+
+ * Check\_Open\_Permissions implemented
+
+### ls -la .
+ * No more error : node is displayed as a directory
+ * Sequence call : validate\_state / check\_open\_permissions / validate\_state
+
+### ls -la node
+
+ * Returns an error :
+ * ls: reading directory node: Operation not supported
+ * Call sequence :
+ * validate\_state
+ * check\_open\_permissions
+ * validate\_state
+ * validate\_state
+ * check\_open\_permissions
+ * validate\_state
+ * get\_dirents line 90 of netfs\_implementation package
+
+### cd node
+
+ * Hangs
+ * Call sequence :
+ * Validate\_Stat
+ * Check\_Open\_Permissions
+ * Validate\_Stat
+ * Validate\_Stat
+ * Check\_Open\_Permissions
+ * netfs\_implementation.adb:57 Netfs\_Implementation.Attempt\_Lookup \ No newline at end of file
diff --git a/microkernel/mach/gnumach/ports/xen.mdwn b/microkernel/mach/gnumach/ports/xen.mdwn
index f3c990c..1af1925 100644
--- a/microkernel/mach/gnumach/ports/xen.mdwn
+++ b/microkernel/mach/gnumach/ports/xen.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2011, 2013, 2014 Free Software
-Foundation, Inc."]]
+[[!meta copyright="Copyright © 2007, 2008, 2009, 2011, 2013, 2014, 2015 Free
+Software Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
diff --git a/open_issues/_san.mdwn b/open_issues/_san.mdwn
index 5e6c879..5980784 100644
--- a/open_issues/_san.mdwn
+++ b/open_issues/_san.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2012, 2013 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2012, 2013, 2015 Free Software Foundation,
+Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -10,7 +11,7 @@ License|/fdl]]."]]"""]]
[[!meta title="Port the GCC and LLVM/clang Sanitizers (*san) to the Hurd"]]
-[[!tag open_issue_gcc]]
+[[!tag open_issue_gcc open_issue_llvm]]
GCC and LLVM/clang provide several *sanitizers*,
<http://clang.llvm.org/docs/UsersManual.html#controlling-code-generation>, such
@@ -62,3 +63,8 @@ first look they reimplement a lot of [[/glibc]] by directly using
<jakub> richi: that said, I don't want to spend as much time as I've done
so far on it, and in the time I'll allocate for it optimizing the code it
generates is higher on the todo list than ports to other targets
+
+
+# 2015-04-14
+
+[[!message-id "20150414130851.GA6154@type.bordeaux.inria.fr"]].